@@ -16,88 +16,10 @@ jobs:
16
16
fail-fast : false
17
17
matrix :
18
18
include :
19
- - name : flambda2_runtime5
20
- config : --enable-middle-end=flambda2 --enable-runtime5
21
- os : ubuntu-latest
22
-
23
- - name : flambda2_dev
24
- config : --enable-middle-end=flambda2 --enable-dev
25
- os : ubuntu-latest
26
-
27
- - name : flambda2_dev_runtime5
28
- config : --enable-middle-end=flambda2 --enable-dev --enable-runtime5
29
- os : ubuntu-latest
30
-
31
- - name : flambda2_debug_runtime5
32
- config : --enable-middle-end=flambda2 --enable-runtime5
33
- os : ubuntu-latest
34
- build_ocamlparam : ' '
35
- use_runtime : d
36
- ocamlrunparam : " v=0,V=1"
37
-
38
- - name : flambda2_debug_runtime
39
- config : --enable-middle-end=flambda2
40
- os : ubuntu-latest
41
- build_ocamlparam : ' '
42
- use_runtime : d
43
- ocamlrunparam : " v=0,V=1"
44
-
45
- - name : flambda2_o3
46
- config : --enable-middle-end=flambda2
47
- os : ubuntu-latest
48
- build_ocamlparam : ' '
49
- ocamlparam : ' _,O3=1'
50
-
51
- - name : flambda2_o3_heap
52
- config : --enable-middle-end=flambda2 --disable-stack-allocation
53
- os : ubuntu-latest
54
- build_ocamlparam : ' '
55
- ocamlparam : ' _,O3=1'
56
-
57
- - name : flambda2_o3_advanced_meet_frame_pointers_runtime5_polling
58
- config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5 --enable-poll-insertion --enable-flambda-invariants
59
- os : ubuntu-latest
60
- build_ocamlparam : ' '
61
- ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200,flambda2-join-algorithm=n-way'
62
-
63
- - name : flambda2_o3_advanced_meet_frame_pointers_runtime5_debug
64
- config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5
65
- os : ubuntu-latest
66
- build_ocamlparam : ' '
67
- use_runtime : d
68
- ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200,cfg-invariants=1,cfg-eliminate-dead-trap-handlers=1,flambda2-join-algorithm=n-way'
69
-
70
- - name : flambda2_frame_pointers_oclassic_polling
71
- config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-poll-insertion --enable-flambda-invariants
72
- os : ubuntu-latest
73
- build_ocamlparam : ' '
74
- ocamlparam : ' _,Oclassic=1'
75
- disable_testcases : ' testsuite/tests/typing-local/regression_cmm_unboxing.ml testsuite/tests/int64-unboxing/test.ml'
76
-
77
19
- name : flambda2_macos_arm64
78
20
config : --enable-middle-end=flambda2 --disable-warn-error
79
21
os : macos-latest
80
22
81
- - name : flambda2_macos_arm64_runtime5_irc
82
- config : --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
83
- os : macos-latest
84
- build_ocamlparam : ' _,w=-46,regalloc=irc'
85
- ocamlparam : ' _,w=-46,regalloc=irc'
86
-
87
- - name : flambda2_macos_arm64_debug_runtime5_irc
88
- config : --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
89
- os : macos-latest
90
- build_ocamlparam : ' _,w=-46,regalloc=irc'
91
- ocamlparam : ' _,w=-46,regalloc=irc'
92
- use_runtime : d
93
- ocamlrunparam : " v=0,V=1"
94
-
95
- - name : flambda2_macos_arm64_runtime5_ls
96
- config : --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
97
- os : macos-latest
98
- build_ocamlparam : ' _,w=-46,regalloc=ls'
99
- ocamlparam : ' _,w=-46,regalloc=ls'
100
-
101
23
- name : flambda2_macos_arm64_gi
102
24
config : --enable-middle-end=flambda2 --disable-warn-error
103
25
os : macos-latest
@@ -112,69 +34,6 @@ jobs:
112
34
use_runtime : d
113
35
ocamlrunparam : " v=0,V=1"
114
36
115
- - name : flambda2_ubuntu_arm64_runtime5_irc
116
- config : --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
117
- os : ubuntu-24.04-arm
118
- build_ocamlparam : ' _,w=-46,regalloc=irc'
119
- ocamlparam : ' _,w=-46,regalloc=irc'
120
-
121
- - name : flambda2_ubuntu_arm64_debug_runtime5_ls
122
- config : --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
123
- os : ubuntu-24.04-arm
124
- build_ocamlparam : ' _,w=-46,regalloc=ls'
125
- ocamlparam : ' _,w=-46,regalloc=ls'
126
- use_runtime : d
127
- ocamlrunparam : " v=0,V=1"
128
-
129
- - name : irc
130
- config : --enable-middle-end=flambda2
131
- os : ubuntu-latest
132
- build_ocamlparam : ' _,w=-46,regalloc=irc'
133
- ocamlparam : ' _,w=-46,regalloc=irc'
134
- check_arch : true
135
-
136
- - name : irc_polling
137
- config : --enable-middle-end=flambda2 --enable-poll-insertion
138
- os : ubuntu-latest
139
- build_ocamlparam : ' _,w=-46,regalloc=irc'
140
- ocamlparam : ' _,w=-46,regalloc=irc'
141
- check_arch : true
142
-
143
- - name : irc_frame_pointers
144
- config : --enable-middle-end=flambda2 --enable-frame-pointers
145
- os : ubuntu-latest
146
- build_ocamlparam : ' _,w=-46,regalloc=irc'
147
- ocamlparam : ' _,w=-46,regalloc=irc'
148
- check_arch : true
149
-
150
- - name : ls
151
- config : --enable-middle-end=flambda2
152
- os : ubuntu-latest
153
- build_ocamlparam : ' _,w=-46,regalloc=ls'
154
- ocamlparam : ' _,w=-46,regalloc=ls'
155
- check_arch : true
156
-
157
- - name : gi
158
- config : --enable-middle-end=flambda2
159
- os : ubuntu-latest
160
- build_ocamlparam : ' _,w=-46,regalloc=gi'
161
- ocamlparam : ' _,w=-46,regalloc=gi'
162
- check_arch : true
163
-
164
- - name : cfg-invariants
165
- config : --enable-middle-end=flambda2
166
- os : ubuntu-latest
167
- build_ocamlparam : ' _,w=-46,regalloc=cfg,cfg-invariants=1,cfg-eliminate-dead-trap-handlers=1'
168
- ocamlparam : ' _,w=-46,regalloc=cfg,cfg-invariants=1,cfg-eliminate-dead-trap-handlers=1'
169
- check_arch : true
170
-
171
- - name : vectorizer
172
- config : --enable-middle-end=flambda2
173
- os : ubuntu-latest
174
- build_ocamlparam : ' _,w=-46,regalloc=cfg,vectorize=1'
175
- ocamlparam : ' _,w=-46,regalloc=cfg,vectorize=1'
176
- check_arch : true
177
-
178
37
env :
179
38
J : " 3"
180
39
run_testsuite : " true"
0 commit comments