8000 Refactor CI regalloc jobs. by xclerc · Pull Request #4148 · oxcaml/oxcaml · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Refactor CI regalloc jobs. #4148

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jun 26, 2025
Merged

Refactor CI regalloc jobs. #4148

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
43fd7c3
Refactor CI regalloc jobs.
xclerc Jun 17, 2025
a02f2e4
Remove debug output.
xclerc Jun 17, 2025
7c14d7d
Remove job related to "advanced meet".
xclerc Jun 25, 2025
e9175fa
No longer need to check without stack allocation.
xclerc Jun 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
98 changes: 25 additions & 73 deletions .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,25 +60,6 @@ jobs:
build_ocamlparam: ''
ocamlparam: '_,O3=1'

- name: flambda2_o3_heap
config: --enable-middle-end=flambda2 --disable-stack-allocation
os: ubuntu-latest
build_ocamlparam: ''
ocamlparam: '_,O3=1'

- name: flambda2_o3_advanced_meet_frame_pointers_runtime5_polling
config: --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5 --enable-poll-insertion --enable-flambda-invariants
os: ubuntu-latest
build_ocamlparam: ''
ocamlparam: '_,O3=1,flambda2-expert-cont-lifting-budget=200,flambda2-join-algorithm=n-way'

- name: flambda2_o3_advanced_meet_frame_pointers_runtime5_debug
config: --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5
os: ubuntu-latest
build_ocamlparam: ''
use_runtime: d
ocamlparam: '_,O3=1,flambda2-expert-cont-lifting-budget=200,cfg-invariants=1,cfg-eliminate-dead-trap-handlers=1,flambda2-join-algorithm=n-way'

- name: flambda2_frame_pointers_oclassic_polling
config: --enable-middle-end=flambda2 --enable-frame-pointers --enable-poll-insertion --enable-flambda-invariants
os: ubuntu-latest
Expand All @@ -90,60 +71,36 @@ jobs:
config: --enable-middle-end=flambda2 --disable-warn-error
os: macos-latest

- name: flambda2_macos_arm64_runtime5_irc
- name: flambda2_macos_arm64_runtime5_regalloc
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
os: macos-latest
build_ocamlparam: '_,w=-46,regalloc=irc'
ocamlparam: '_,w=-46,regalloc=irc'
build_ocamlparam: '_,w=-46,save-ir-before=register_allocation'
ocamlparam: '_,w=-46,save-ir-before=register_allocation'
run_regalloc_tool: true

- name: flambda2_macos_arm64_debug_runtime5_irc
- name: flambda2_macos_arm64_debug_runtime5_regalloc
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
os: macos-latest
build_ocamlparam: '_,w=-46,regalloc=irc'
ocamlparam: '_,w=-46,regalloc=irc'
use_runtime: d
ocamlrunparam: "v=0,V=1"

- name: flambda2_macos_arm64_runtime5_ls
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
os: macos-latest
build_ocamlparam: '_,w=-46,regalloc=ls'
ocamlparam: '_,w=-46,regalloc=ls'

- name: flambda2_macos_arm64_gi
config: --enable-middle-end=flambda2 --disable-warn-error
os: macos-latest
build_ocamlparam: '_,w=-46,regalloc=gi'
ocamlparam: '_,w=-46,regalloc=gi'

- name: flambda2_macos_arm64_gi_debug_runtime
config: --enable-middle-end=flambda2 --disable-warn-error
os: macos-latest
build_ocamlparam: '_,w=-46,regalloc=gi'
ocamlparam: '_,w=-46,regalloc=gi'
build_ocamlparam: '_,w=-46,save-ir-before=register_allocation'
ocamlparam: '_,w=-46,save-ir-before=register_allocation'
use_runtime: d
ocamlrunparam: "v=0,V=1"
run_regalloc_tool: true

- name: flambda2_ubuntu_arm64_runtime5_irc
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
os: ubuntu-24.04-arm
build_ocamlparam: '_,w=-46,regalloc=irc'
ocamlparam: '_,w=-46,regalloc=irc'

- name: flambda2_ubuntu_arm64_debug_runtime5_ls
- name: flambda2_ubuntu_arm64_runtime5_regalloc
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
os: ubuntu-24.04-arm
build_ocamlparam: '_,w=-46,regalloc=ls'
ocamlparam: '_,w=-46,regalloc=ls'
use_runtime: d
ocamlrunparam: "v=0,V=1"
build_ocamlparam: '_,w=-46,save-ir-before=register_allocation'
ocamlparam: '_,w=-46,save-ir-before=register_allocation'
run_regalloc_tool: true

- name: irc
- name: regalloc
config: --enable-middle-end=flambda2
os: ubuntu-latest
build_ocamlparam: '_,w=-46,regalloc=irc'
ocamlparam: '_,w=-46,regalloc=irc'
build_ocamlparam: '_,w=-46,save-ir-before=register_allocation'
ocamlparam: '_,w=-46,save-ir-before=register_allocation'
check_arch: true
run_regalloc_tool: true

- name: irc_polling
config: --enable-middle-end=flambda2 --enable-poll-insertion
Expand All @@ -159,20 +116,6 @@ jobs:
ocamlparam: '_,w=-46,regalloc=irc'
check_arch: true

- name: ls
config: --enable-middle-end=flambda2
os: ubuntu-latest
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'
ocamlparam: '_,w=-46,regalloc=gi'
check_arch: true

- name: cfg-invariants
config: --enable-middle-end=flambda2
os: ubuntu-latest
Expand Down Expand Up @@ -351,6 +294,15 @@ jobs:
run: |
PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH make check_all_arches

- name: Run register allocation on artifacts
working-directory: oxcaml
if: matrix.run_regalloc_tool == true
run: |
for allocator in irc ls gi; do \
find _build -name \*.cmir-cfg-regalloc -exec ./_build/default/tools/regalloc/regalloc.exe \
-validate -regalloc $allocator {} \; ; \
done

- uses: actions/upload-artifact@v4
if: ${{ failure() }}
with:
Expand Down
Loading
0