Promote tests

poechsel · poechsel · commit 168450e8b03f · 2021-05-27T15:09:29.000+01:00
diff --git a/testsuite/tests/backtrace/inline_test.reference b/testsuite/tests/backtrace/inline_test.reference
@@ -1,5 +1 @@
 File "inline_test.ml", line 14, characters 2-24
-File "inline_test.ml", line 17, characters 2-5
-File "inline_test.ml", line 20, characters 12-17
-File "inline_test.ml", line 23, characters 5-8
-File "inline_test.ml", line 26, characters 2-6
diff --git a/testsuite/tests/backtrace/inline_traversal_test.reference b/testsuite/tests/backtrace/inline_traversal_test.reference
@@ -1,5 +1 @@
 File inline_traversal_test.ml:14, raise
-File inline_traversal_test.ml:17
-File inline_traversal_test.ml:20
-File inline_traversal_test.ml:23
-File inline_traversal_test.ml:27
diff --git a/testsuite/tests/backtrace/lazy.reference b/testsuite/tests/backtrace/lazy.reference
@@ -3,12 +3,10 @@ Raised at Lazy.l1 in file "lazy.ml", line 7, characters 28-45
 Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27
 Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11
 Called from Lazy.test1 in file "lazy.ml", line 10, characters 11-24
-Called from Lazy.run in file "lazy.ml" (inlined), line 19, characters 4-11
-Called from Lazy in file "lazy.ml", line 26, characters 2-11
+Called from Lazy.run in file "lazy.ml", line 19, characters 4-11
 Uncaught exception Not_found
 Raised at Lazy.l2 in file "lazy.ml", line 12, characters 28-45
 Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27
 Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11
 Called from Lazy.test2 in file "lazy.ml", line 15, characters 6-15
-Called from Lazy.run in file "lazy.ml" (inlined), line 19, characters 4-11
-Called from Lazy in file "lazy.ml", line 27, characters 2-11
+Called from Lazy.run in file "lazy.ml", line 19, characters 4-11
diff --git a/testsuite/tests/backtrace/pr2195.opt.reference b/testsuite/tests/backtrace/pr2195.opt.reference
@@ -1,5 +1,5 @@
 Fatal error: exception Stdlib.Exit
-Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml" (inlined), line 399, characters 28-54
+Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 399, characters 28-54
 Called from Stdlib.open_in in file "stdlib.ml" (inlined), line 404, characters 2-45
 Called from Pr2195 in file "pr2195.ml", line 24, characters 6-19
 Re-raised at Pr2195 in file "pr2195.ml", line 29, characters 4-41
diff --git a/testsuite/tests/basic-modules/anonymous.ocamlopt.flambda.reference b/testsuite/tests/basic-modules/anonymous.ocamlopt.flambda.reference
@@ -16,5 +16,7 @@
         (seq
           (ignore
             (let (*match* = (setfield_ptr 0 s "Hello World!")) (makeblock 0)))
-          (let (drop = (function param 0) *match* = (apply drop (field 0 s)))
+          (let
+            (drop = (function param 0)
+             *match* = (apply drop (field_mut 0 s)))
             (makeblock 0 A B f s drop)))))))
diff --git a/testsuite/tests/flambda/effects.reference b/testsuite/tests/flambda/effects.reference
@@ -1 +1 @@
-0.
+0.
diff --git a/testsuite/tests/parsetree/locations_test.compilers.reference b/testsuite/tests/parsetree/locations_test.compilers.reference
@@ -593,7 +593,6 @@ Ptop_def
                 Pexp_constant PConst_int (4,None)
       ]
   ]
-
 Line 2, characters 12-13:
 2 | let x = M.( 3; 4 );;
                 ^
diff --git a/testsuite/tests/statmemprof/comballoc.opt.reference b/testsuite/tests/statmemprof/comballoc.opt.reference
@@ -9,7 +9,7 @@ Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
 Called from Comballoc in file "comballoc.ml", line 69, characters 2-35
 4: 0.42 true
-Raised by primitive operation at Comballoc.f4 in file "comballoc.ml" (inlined), line 11, characters 11-20
+Raised by primitive operation at Comballoc.f4 in file "comballoc.ml", line 11, characters 11-20
 Called from Comballoc.f in file "comballoc.ml", line 14, characters 13-17
 Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
@@ -25,7 +25,7 @@ Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
 Called from Comballoc in file "comballoc.ml", line 69, characters 2-35
 4: 0.01 true
-Raised by primitive operation at Comballoc.f4 in file "comballoc.ml" (inlined), line 11, characters 11-20
+Raised by primitive operation at Comballoc.f4 in file "comballoc.ml", line 11, characters 11-20
 Called from Comballoc.f in file "comballoc.ml", line 14, characters 13-17
 Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
@@ -41,7 +41,7 @@ Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
 Called from Comballoc in file "comballoc.ml", line 69, characters 2-35
 4: 0.83 true
-Raised by primitive operation at Comballoc.f4 in file "comballoc.ml" (inlined), line 11, characters 11-20
+Raised by primitive operation at Comballoc.f4 in file "comballoc.ml", line 11, characters 11-20
 Called from Comballoc.f in file "comballoc.ml", line 14, characters 13-17
 Called from Comballoc.test in file "comballoc.ml", line 39, characters 25-48
 Called from Stdlib__list.iter in file "list.ml", line 110, characters 12-15
diff --git a/testsuite/tests/statmemprof/thread_exit_in_callback.reference b/testsuite/tests/statmemprof/thread_exit_in_callback.reference
@@ -1 +0,0 @@
-Fatal error hook: Thread.exit called from a memprof callback.
diff --git a/testsuite/tests/translprim/ref_spec.compilers.reference b/testsuite/tests/translprim/ref_spec.compilers.reference
@@ -17,7 +17,7 @@
          cst_rec = (makemutable 0 0 0)
          gen_rec = (makemutable 0 0 0)
          flt_rec = (makemutable 0 (*,float) 0 0.)
-         flt_rec' = (makearray[float] 0. 0.))
+         flt_rec' = (makefloatblock Mutable 0. 0.))
         (seq (setfield_imm 1 int_rec 2) (setfield_imm 1 var_rec 66)
           (setfield_ptr 1 vargen_rec [0: 66 0])
           (setfield_ptr 1 vargen_rec 67) (setfield_imm 1 cst_rec 1)
diff --git a/testsuite/tests/warnings/w55.flambda.reference b/testsuite/tests/warnings/w55.flambda.reference
@@ -1,16 +1,24 @@
 File "w55.ml", line 25, characters 10-26:
 25 | let g x = (f [@inlined]) x
                ^^^^^^^^^^^^^^^^
-Warning 55: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer decided not to inline the function given its definition)
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer decided not to inline the function given its definition)
 File "w55.ml", line 29, characters 10-27:
 29 | let i x = (!r [@inlined]) x
                ^^^^^^^^^^^^^^^^^
-Warning 55: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer did not know what function was being applied)
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer did not know what function was being applied)
 File "w55.ml", line 33, characters 10-26:
 33 | let h x = (j [@inlined]) x
                ^^^^^^^^^^^^^^^^
-Warning 55: Cannot inline: [@inlined] attributes may not be used on partial applications
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attributes may not be used on partial applications
+File "w55.ml", line 39, characters 12-30:
+39 | let b x y = (a [@inlined]) x y
+                 ^^^^^^^^^^^^^^^^^^
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer decided not to inline the function given its definition)
+File "w55.ml", line 39, characters 12-30:
+39 | let b x y = (a [@inlined]) x y
+                 ^^^^^^^^^^^^^^^^^^
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer did not know what function was being applied)
 File "w55.ml", line 42, characters 10-26:
 42 | let d x = (c [@inlined]) x
                ^^^^^^^^^^^^^^^^
-Warning 55: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer decided not to inline the function given its definition)
+Warning 55 [inlining-impossible]: Cannot inline: [@inlined] attribute was not used on this function application (the optimizer decided not to inline the function given its definition)
diff --git a/testsuite/tests/warnings/w59.flambda.reference b/testsuite/tests/warnings/w59.flambda.reference
@@ -1,30 +0,0 @@
-File "w59.ml", line 46, characters 2-43:
-46 |   Obj.set_field (Obj.repr o) 0 (Obj.repr 3);
-       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 59 [flambda-assignment-to-non-mutable-value]: A potential assignment to a non-mutable value was detected 
-in this source file.  Such assignments may generate incorrect code 
-when using Flambda.
-File "w59.ml", line 47, characters 2-43:
-47 |   Obj.set_field (Obj.repr p) 0 (Obj.repr 3);
-       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 59 [flambda-assignment-to-non-mutable-value]: A potential assignment to a non-mutable value was detected 
-in this source file.  Such assignments may generate incorrect code 
-when using Flambda.
-File "w59.ml", line 48, characters 2-43:
-48 |   Obj.set_field (Obj.repr q) 0 (Obj.repr 3);
-       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 59 [flambda-assignment-to-non-mutable-value]: A potential assignment to a non-mutable value was detected 
-in this source file.  Such assignments may generate incorrect code 
-when using Flambda.
-File "w59.ml", line 49, characters 2-43:
-49 |   Obj.set_field (Obj.repr r) 0 (Obj.repr 3)
-       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 59 [flambda-assignment-to-non-mutable-value]: A potential assignment to a non-mutable value was detected 
-in this source file.  Such assignments may generate incorrect code 
-when using Flambda.
-File "w59.ml", line 56, characters 2-7:
-56 |   set o
-       ^^^^^
-Warning 59 [flambda-assignment-to-non-mutable-value]: A potential assignment to a non-mutable value was detected 
-in this source file.  Such assignments may generate incorrect code 
-when using Flambda.

Original file line number	Diff line number	Diff line change
`@@ -593,7 +593,6 @@ Ptop_def`
`593`	`593`	`Pexp_constant PConst_int (4,None)`
`594`	`594`	`]`
`595`	`595`	`]`
`596`		`-`
`597`	`596`	`Line 2, characters 12-13:`
`598`	`597`	`2 \| let x = M.( 3; 4 );;`
`599`	`598`	`^`
Original file line number	Diff line number	Diff line change
`@@ -1 +0,0 @@`
`1`		`-Fatal error hook: Thread.exit called from a memprof callback.`