1 files changed, 25 insertions, 0 deletions

diff --git a/nacl/okcompilers/main.c b/nacl/okcompilers/main.c
new file mode 100644
index 00000000..3b7efa25
--- /dev/null
+++ b/nacl/okcompilers/main.c
@@ -0,0 +1,25 @@
+extern int not3(int);
+extern int bytes(int);
+extern long long shr32(long long);
+extern double double5(void);
+extern int longbytes(void);
+extern int intbytes(void);
+
+int main(int argc,char **argv)
+{
+  if (intbytes() != sizeof(int)) return 100;
+  if (longbytes() != sizeof(long)) return 100;
+
+  if (not3(3)) return 100;
+
+  /* on ppc32, gcc -mpowerpc64 produces SIGILL for >>32 */
+  if (!not3(shr32(1))) return 100;
+
+  /* on pentium 1, gcc -march=pentium2 produces SIGILL for (...+7)/8 */
+  if (bytes(not3(1)) != 1) return 100;
+
+  /* on pentium 1, gcc -march=prescott produces SIGILL for double comparison */
+  if (double5() < 0) return 100;
+
+  return 0;
+}