Skip to content

Commit f2547de

Browse files
authored
flambda-backend: Compile more stdlib files with -O3 (#380)
1 parent 3620c58 commit f2547de

File tree

7 files changed

+10
-5
lines changed

7 files changed

+10
-5
lines changed

stdlib/camlinternalAtomic.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313
(* *)
1414
(**************************************************************************)
1515

16+
[@@@ocaml.flambda_o3]
17+
1618
(* CamlinternalAtomic is a dependency of Stdlib, so it is compiled with
1719
-nopervasives. *)
1820
external ( == ) : 'a -> 'a -> bool = "%eq"

stdlib/either.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313
(* *)
1414
(**************************************************************************)
1515

16+
[@@@ocaml.flambda_o3]
17+
1618
type ('a, 'b) t = Left of 'a | Right of 'b
1719

1820
let left v = Left v

stdlib/stdlib.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515
(**************************************************************************)
1616

1717
[@@@ocaml.warning "-49"]
18+
[@@@ocaml.flambda_o3]
1819

1920
(* Exceptions *)
2021

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
Fatal error: exception Stdlib.Exit
2-
Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 401, characters 28-54
2+
Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 402, characters 28-54
33
Called from Pr2195 in file "pr2195.ml", line 24, characters 6-19
44
Re-raised at Pr2195 in file "pr2195.ml", line 29, characters 4-41
Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Fatal error: exception Stdlib.Exit
2-
Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 401, characters 28-54
3-
Called from Stdlib.open_in in file "stdlib.ml" (inlined), line 406, characters 2-45
2+
Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 402, characters 28-54
3+
Called from Stdlib.open_in in file "stdlib.ml" (inlined), line 407, characters 2-45
44
Called from Pr2195 in file "pr2195.ml", line 24, characters 6-19
55
Re-raised at Pr2195 in file "pr2195.ml", line 29, characters 4-41

testsuite/tests/lib-dynlink-initializers/test10_main.byte.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Error: Failure("Plugin error")
2-
Raised at Stdlib.failwith in file "stdlib.ml", line 31, characters 17-33
2+
Raised at Stdlib.failwith in file "stdlib.ml", line 32, characters 17-33
33
Called from Test10_plugin.g in file "test10_plugin.ml", line 3, characters 2-21
44
Called from Test10_plugin.f in file "test10_plugin.ml", line 6, characters 2-6
55
Called from Test10_plugin in file "test10_plugin.ml", line 10, characters 2-6

testsuite/tests/lib-dynlink-initializers/test10_main.native.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Error: Failure("Plugin error")
2-
Raised at Stdlib.failwith in file "stdlib.ml", line 31, characters 17-33
2+
Raised at Stdlib.failwith in file "stdlib.ml", line 32, characters 17-33
33
Called from Test10_plugin.g in file "test10_plugin.ml", line 2, characters 15-38
44
Called from Test10_plugin in file "test10_plugin.ml", line 10, characters 2-6
55
Called from Dynlink.Native.run.(fun) in file "otherlibs/dynlink/dynlink.ml", line 250, characters 12-29

0 commit comments

Comments
 (0)