Ajout d'un test pour checkbound.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 22 insertions, 0 deletions

diff --git a/testasmcomp/main.c b/testasmcomp/main.c
index eecd117fa..feeea9ff4 100644
--- a/testasmcomp/main.c
+++ b/testasmcomp/main.c
@@ -77,5 +77,27 @@ int main(argc, argv)
   }
 #endif
 #endif
+#ifdef CHECKBOUND
+  { extern void checkbound1(), checkbound2();
+    extern void call_gen_code();
+    long x, y;
+    x = atoi(argv[1]);
+    if (argc >= 3) {
+      y = atoi(argv[2]);
+      if ((unsigned long) x < (unsigned long) y)
+        printf("Should not trap\n");
+      else
+        printf("Should trap\n");
+      call_gen_code(checkbound2, y, x);
+    } else {
+      if (2 < (unsigned long) x)
+        printf("Should not trap\n");
+      else
+        printf("Should trap\n");
+      call_gen_code(checkbound1, x);
+    }
+    printf("OK\n");
+  }
+#endif
   return 0;
 }