Skip to content

Commit 03c372f

Browse files
gretay-jsgretay-js
committed
Regenerate dune.inc
1 parent 1551b15 commit 03c372f

File tree

1 file changed

+24
-43
lines changed

1 file changed

+24
-43
lines changed

‎tests/backend/checkmach/dune.inc

Lines changed: 24 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -3,25 +3,25 @@
33
(alias runtest)
44
(enabled_if (= %{context_name} "main"))
55
(deps s.ml t.ml)
6-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
6+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
77

88
(rule
99
(alias runtest)
1010
(enabled_if (= %{context_name} "main"))
1111
(deps t5.ml test_assume.ml)
12-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
12+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
1313

1414
(rule
1515
(alias runtest)
1616
(enabled_if (= %{context_name} "main"))
1717
(deps test_match_on_mutable_state.ml)
18-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
18+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
1919

2020
(rule
2121
(alias runtest)
2222
(enabled_if (= %{context_name} "main"))
2323
(deps test_flambda.ml)
24-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
24+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
2525

2626
(rule
2727
(enabled_if (= %{context_name} "main"))
@@ -464,13 +464,13 @@
464464
(alias runtest)
465465
(enabled_if (= %{context_name} "main"))
466466
(deps t7.ml)
467-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
467+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
468468

469469
(rule
470470
(alias runtest)
471471
(enabled_if (= %{context_name} "main"))
472472
(deps test_stub_dep.ml test_stub.ml)
473-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
473+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
474474

475475
(rule
476476
(enabled_if (= %{context_name} "main"))
@@ -571,13 +571,13 @@
571571
(alias runtest)
572572
(enabled_if (= %{context_name} "main"))
573573
(deps test_zero_alloc_opt1.ml)
574-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check opt -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
574+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check opt -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
575575

576576
(rule
577577
(alias runtest)
578578
(enabled_if (= %{context_name} "main"))
579579
(deps test_zero_alloc_opt2.ml)
580-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check opt -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
580+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check opt -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
581581

582582
(rule
583583
(enabled_if (= %{context_name} "main"))
@@ -636,25 +636,6 @@
636636
(deps test_misplaced_assume.output test_misplaced_assume.output.corrected)
637637
(action (diff test_misplaced_assume.output test_misplaced_assume.output.corrected)))
638638

639-
(rule
640-
(enabled_if (= %{context_name} "main"))
641-
(targets test_misplaced_attr.output.corrected)
642-
(deps (:ml test_misplaced_attr.ml) filter.sh)
643-
(action
644-
(with-outputs-to test_misplaced_attr.output.corrected
645-
(pipe-outputs
646-
(with-accepted-exit-codes 0
647-
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
648-
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
649-
(run "./filter.sh")
650-
))))
651-
652-
(rule
653-
(alias runtest)
654-
(enabled_if (= %{context_name} "main"))
655-
(deps test_misplaced_attr.output test_misplaced_attr.output.corrected)
656-
(action (diff test_misplaced_attr.output test_misplaced_attr.output.corrected)))
657-
658639
(rule
659640
(enabled_if (= %{context_name} "main"))
660641
(targets test_attr_check.output.corrected)
@@ -754,7 +735,7 @@
754735
(alias runtest)
755736
(enabled_if (= %{context_name} "main"))
756737
(deps test_raise_message.ml)
757-
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -function-layout topological -dcse -dzero-alloc-checker -dump-into-file -O3 -warn-error +a)))
738+
(action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check default -function-layout topological -dcse -dzero-alloc -dump-into-file -O3 -warn-error +a)))
758739

759740
(rule
760741
(enabled_if (= %{context_name} "main"))
@@ -803,7 +784,7 @@
803784
(pipe-outputs
804785
(with-accepted-exit-codes 2
805786
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
806-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
787+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
807788
(run "./filter.sh")
808789
))))
809790

@@ -822,7 +803,7 @@
822803
(pipe-outputs
823804
(with-accepted-exit-codes 2
824805
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
825-
-zero-alloc-check all -checkmach-details-cutoff 20 -O3))
806+
-zero-alloc-check all -zero-alloc-checker-details-cutoff 20 -O3))
826807
(run "./filter.sh")
827808
))))
828809

@@ -841,7 +822,7 @@
841822
(pipe-outputs
842823
(with-accepted-exit-codes 2
843824
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
844-
-zero-alloc-check opt -checkmach-details-cutoff 20 -O3))
825+
-zero-alloc-check opt -zero-alloc-checker-details-cutoff 20 -O3))
845826
(run "./filter.sh")
846827
))))
847828

@@ -860,7 +841,7 @@
860841
(pipe-outputs
861842
(with-accepted-exit-codes 2
862843
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
863-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
844+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
864845
(run "./filter.sh")
865846
))))
866847

@@ -886,7 +867,7 @@
886867
(pipe-outputs
887868
(with-accepted-exit-codes 2
888869
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
889-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
870+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
890871
(run "./filter.sh")
891872
))))
892873

@@ -905,7 +886,7 @@
905886
(pipe-outputs
906887
(with-accepted-exit-codes 2
907888
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
908-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
889+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
909890
(run "./filter.sh")
910891
))))
911892

@@ -931,7 +912,7 @@
931912
(pipe-outputs
932913
(with-accepted-exit-codes 2
933914
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
934-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
915+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
935916
(run "./filter.sh")
936917
))))
937918

@@ -950,7 +931,7 @@
950931
(pipe-outputs
951932
(with-accepted-exit-codes 2
952933
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
953-
-zero-alloc-check all -checkmach-details-cutoff 20 -O3))
934+
-zero-alloc-check all -zero-alloc-checker-details-cutoff 20 -O3))
954935
(run "./filter.sh")
955936
))))
956937

@@ -969,7 +950,7 @@
969950
(pipe-outputs
970951
(with-accepted-exit-codes 2
971952
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
972-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
953+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
973954
(run "./filter.sh")
974955
))))
975956

@@ -988,7 +969,7 @@
988969
(pipe-outputs
989970
(with-accepted-exit-codes 2
990971
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
991-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
972+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
992973
(run "./filter.sh")
993974
))))
994975

@@ -1007,7 +988,7 @@
1007988
(pipe-outputs
1008989
(with-accepted-exit-codes 2
1009990
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
1010-
-zero-alloc-check default -checkmach-details-cutoff 20 -O3))
991+
-zero-alloc-check default -zero-alloc-checker-details-cutoff 20 -O3))
1011992
(run "./filter.sh")
1012993
))))
1013994

@@ -1026,7 +1007,7 @@
10261007
(pipe-outputs
10271008
(with-accepted-exit-codes 2
10281009
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
1029-
-zero-alloc-check default -checkmach-join -2 -checkmach-details-cutoff 20 -O3))
1010+
-zero-alloc-check default -zero-alloc-checker-join -2 -zero-alloc-checker-details-cutoff 20 -O3))
10301011
(run "./filter_fatal_error.sh")
10311012
))))
10321013

@@ -1045,7 +1026,7 @@
10451026
(pipe-outputs
10461027
(with-accepted-exit-codes 2
10471028
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
1048-
-zero-alloc-check default -checkmach-join 2 -checkmach-details-cutoff 20 -O3))
1029+
-zero-alloc-check default -zero-alloc-checker-join 2 -zero-alloc-checker-details-cutoff 20 -O3))
10491030
(run "./filter.sh")
10501031
))))
10511032

@@ -1064,7 +1045,7 @@
10641045
(pipe-outputs
10651046
(with-accepted-exit-codes 2
10661047
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
1067-
-zero-alloc-check default -checkmach-join 0 -checkmach-details-cutoff 20 -O3))
1048+
-zero-alloc-check default -zero-alloc-checker-join 0 -zero-alloc-checker-details-cutoff 20 -O3))
10681049
(run "./filter.sh")
10691050
))))
10701051

@@ -1083,7 +1064,7 @@
10831064
(pipe-outputs
10841065
(with-accepted-exit-codes 2
10851066
(run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
1086-
-zero-alloc-check default -checkmach-join 0 -checkmach-details-cutoff 3 -O3))
1067+
-zero-alloc-check default -zero-alloc-checker-join 0 -zero-alloc-checker-details-cutoff 3 -O3))
10871068
(run "./filter.sh")
10881069
))))
10891070

0 commit comments

Comments
 (0)