1 files changed, 42 insertions, 0 deletions
diff --git a/testsuite/tests/tool-ocaml/t172-pushenvacc3.ml b/testsuite/tests/tool-ocaml/t172-pushenvacc3.ml
new file mode 100644
index 0000000000..093f7f1e4e
--- /dev/null
+++ b/testsuite/tests/tool-ocaml/t172-pushenvacc3.ml
@@ -0,0 +1,42 @@
+open Lib;;
+let x = 5 in
+let y = 4 in
+let z = 3 in
+let f _ = z + y + x in
+if f 0 <> 12 then raise Not_found
+;;
+
+(**
+       0 CONSTINT 42
+       2 PUSHACC0 
+       3 MAKEBLOCK1 0
+       5 POP 1
+       7 SETGLOBAL Lib
+       9 BRANCH 18
+      11 ENVACC1 
+      12 PUSHENVACC2 
+      13 PUSHENVACC3 
+      14 ADDINT 
+      15 ADDINT 
+      16 RETURN 1
+      18 CONSTINT 5
+      20 PUSHCONSTINT 4
+      22 PUSHCONST3 
+      23 PUSHACC0 
+      24 PUSHACC2 
+      25 PUSHACC4 
+      26 CLOSURE 3, 11
+      29 PUSHCONSTINT 12
+      31 PUSHCONST0 
+      32 PUSHACC2 
+      33 APPLY1 
+      34 NEQ 
+      35 BRANCHIFNOT 42
+      37 GETGLOBAL Not_found
+      39 MAKEBLOCK1 0
+      41 RAISE 
+      42 POP 4
+      44 ATOM0 
+      45 SETGLOBAL T172-pushenvacc3
+      47 STOP 
+**)