summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml15
1 files changed, 15 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml
new file mode 100644
index 0000000000..efa958fd29
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t330-compact-1.ml
@@ -0,0 +1,15 @@
+open Lib;;
+Gc.compact ();;
+
+(**
+ 0 CONSTINT 42
+ 2 PUSHACC0
+ 3 MAKEBLOCK1 0
+ 5 POP 1
+ 7 SETGLOBAL Lib
+ 9 CONST0
+ 10 C_CALL1 gc_compaction
+ 12 ATOM0
+ 13 SETGLOBAL T330-compact-1
+ 15 STOP
+**)