From e1a5fe42d53e2cdf1e27e333782dff8b311edf5f Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Tue, 31 Dec 2024 10:54:43 +0000 Subject: [PATCH] CI: simplify the regalloc jobs (#3389) --- .github/workflows/build.yml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c9193354c58..7ba2cf29628 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -99,36 +99,36 @@ jobs: - name: irc config: --enable-middle-end=flambda2 os: ubuntu-latest - build_ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' - ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' + build_ocamlparam: '_,w=-46,regalloc=irc' + ocamlparam: '_,w=-46,regalloc=irc' check_arch: true - name: irc_polling config: --enable-middle-end=flambda2 --enable-poll-insertion os: ubuntu-latest - build_ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' - ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' + build_ocamlparam: '_,w=-46,regalloc=irc' + ocamlparam: '_,w=-46,regalloc=irc' check_arch: true - name: irc_frame_pointers config: --enable-middle-end=flambda2 --enable-frame-pointers os: ubuntu-latest - build_ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' - ocamlparam: '_,w=-46,regalloc=irc,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=IRC_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1' + build_ocamlparam: '_,w=-46,regalloc=irc' + ocamlparam: '_,w=-46,regalloc=irc' check_arch: true - name: ls config: --enable-middle-end=flambda2 os: ubuntu-latest - build_ocamlparam: '_,w=-46,regalloc=ls,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=LS_ORDER:layout,regalloc-validate=1' - ocamlparam: '_,w=-46,regalloc=ls,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=LS_ORDER:layout,regalloc-validate=1' + build_ocamlparam: '_,w=-46,regalloc=ls' + ocamlparam: '_,w=-46,regalloc=ls' check_arch: true - name: gi config: --enable-middle-end=flambda2 os: ubuntu-latest - build_ocamlparam: '_,w=-46,regalloc=gi,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=GI_PRIORITY_HEURISTICS:interval-length,regalloc-param=GI_SELECTION_HEURISTICS:first-available,regalloc-param=GI_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1,cfg-cse-optimize=1,vectorize=1' - ocamlparam: '_,w=-46,regalloc=gi,regalloc-param=SPLIT_LIVE_RANGES:on,regalloc-param=GI_PRIORITY_HEURISTICS:interval-length,regalloc-param=GI_SELECTION_HEURISTICS:first-available,regalloc-param=GI_SPILLING_HEURISTICS:flat-uses,regalloc-validate=1,cfg-cse-optimize=1,vectorize=1' + build_ocamlparam: '_,w=-46,regalloc=gi,cfg-cse-optimize=1,vectorize=1' + ocamlparam: '_,w=-46,regalloc=gi,cfg-cse-optimize=1,vectorize=1' check_arch: true - name: cfg-selection