Skip to content

Move zero alloc annotations into a separate file #9468

Move zero alloc annotations into a separate file

Move zero alloc annotations into a separate file #9468

Workflow file for this run

name: build
on:
push:
branches:
- main
- '*microbranch'
tags:
- '*'
pull_request:
jobs:
build:
name: ${{ matrix.name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
include:
- name: flambda2_runtime5
config: --enable-middle-end=flambda2 --enable-runtime5
os: ubuntu-latest
- name: flambda2_debug_runtime5
config: --enable-middle-end=flambda2 --enable-runtime5
os: ubuntu-latest
build_ocamlparam: ''
use_runtime: d
ocamlrunparam: "v=0,V=1"
- name: flambda2_debug_runtime
config: --enable-middle-end=flambda2
os: ubuntu-latest
build_ocamlparam: ''
use_runtime: d
ocamlrunparam: "v=0,V=1"
- name: flambda2_debug_runtime_nnp
config: --enable-middle-end=flambda2 --disable-naked-pointers
os: ubuntu-latest
build_ocamlparam: ''
use_runtime: d
ocamlrunparam: "v=0,V=1"
- name: flambda2_nnp_o3
config: --enable-middle-end=flambda2 --disable-naked-pointers
os: ubuntu-latest
build_ocamlparam: ''
ocamlparam: '_,O3=1'
- name: flambda2_o3_advanced_meet
config: --enable-middle-end=flambda2
os: ubuntu-latest
build_ocamlparam: ''
ocamlparam: '_,O3=1,flambda2-meet-algorithm=advanced'
- name: flambda2_frame_pointers_oclassic
config: --enable-middle-end=flambda2 --enable-frame-pointers --enable-poll-insertion
os: ubuntu-latest
build_ocamlparam: ''
ocamlparam: '_,Oclassic=1'
disable_testcases: 'ocaml/testsuite/tests/typing-local/regression_cmm_unboxing.ml ocaml/testsuite/tests/int64-unboxing/test.ml'
- name: flambda2_macos
config: --enable-middle-end=flambda2 --disable-warn-error
os: macos-latest
- 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'
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'
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'
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'
check_arch: true
- name: build_upstream_closure
config: --enable-middle-end=upstream-closure
os: ubuntu-20.04
- name: build_upstream_closure_runtime5
config: --enable-middle-end=upstream-closure --enable-runtime5
os: ubuntu-20.04
expected_fail: true
env:
J: "3"
# On macOS, the testsuite is slow, so run only on push to main (#507)
run_testsuite: "${{matrix.os != 'macos-latest' || (github.event_name == 'push' && github.event.ref == 'refs/heads/main')}}"
build_upstream: "${{matrix.name == 'build_upstream_closure'}}"
expected_fail: "${{matrix.expected_fail == true}}"
steps:
- name: Checkout the Flambda backend repo
uses: actions/checkout@master
with:
path: 'flambda_backend'
- name: Install AFL (for Linux workers)
if: matrix.os == 'ubuntu-latest'
run: sudo apt-get install afl++
- name: Install AFL (for macOS workers)
# The "afl-fuzz" package is deprecated (2023-10) and can no longer be installed
if: matrix.os == 'macos-latest'
run: true
# run: HOMEBREW_NO_INSTALL_CLEANUP=TRUE brew install afl-fuzz
- name: Cache OCaml 4.14, dune and menhir
uses: actions/cache@v2
id: cache
with:
path: ${{ github.workspace }}/ocaml-414/_install
key: ${{ matrix.os }}-cache-ocaml-414-dune-361-menhir-20210419
- name: Checkout OCaml 4.14
uses: actions/checkout@master
if: steps.cache.outputs.cache-hit != 'true'
with:
repository: 'ocaml/ocaml'
path: 'ocaml-414'
ref: '4.14'
- name: Build OCaml 4.14
if: steps.cache.outputs.cache-hit != 'true'
working-directory: ocaml-414
run: |
./configure --prefix=$GITHUB_WORKSPACE/ocaml-414/_install
make -j $J world.opt
make install
# Remove unneeded parts to shrink cache file
rm -rf $GITHUB_WORKSPACE/ocaml-414/_install/{lib/ocaml/expunge,bin/*.byte}
- name: Checkout dune github repo
uses: actions/checkout@master
if: steps.cache.outputs.cache-hit != 'true'
with:
repository: 'ocaml/dune'
ref: '3.6.1'
path: 'dune'
- name: Build dune
working-directory: dune
if: steps.cache.outputs.cache-hit != 'true'
run: |
PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH make release
cp _boot/dune.exe $GITHUB_WORKSPACE/ocaml-414/_install/bin/dune
# CR mshinwell: This should use [email protected]:fpottier/menhir.git
- name: Checkout menhir github repo
uses: actions/checkout@master
if: steps.cache.outputs.cache-hit != 'true'
with:
repository: 'LexiFi/menhir'
ref: '20210419'
path: 'menhir'
- name: Build menhir
working-directory: menhir
if: steps.cache.outputs.cache-hit != 'true'
run: |
PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH dune build
cp _build/install/default/bin/menhir $GITHUB_WORKSPACE/ocaml-414/_install/bin/menhir
# Our dune rule uses `menhirLib.mli`, which we can't simply `cp`
# because it's a symbolic link to a relative path.
export SOURCE_DIR=_build/install/default/lib/menhirLib
export TARGET_DIR=$GITHUB_WORKSPACE/ocaml-414/_install/lib/menhirLib
mkdir -p $TARGET_DIR
cat $SOURCE_DIR/menhirLib.mli > $TARGET_DIR/menhirLib.mli
cat $SOURCE_DIR/menhirLib.ml > $TARGET_DIR/menhirLib.ml
- name: Install GNU parallel
if: matrix.os == 'macos-latest'
run: HOMEBREW_NO_INSTALL_CLEANUP=TRUE brew install parallel
- name: Disable any testcases
working-directory: flambda_backend
run: |
disable_testcases="${{matrix.disable_testcases}}"
if [ -n "$disable_testcases" ]; then
rm -fv $disable_testcases
fi
- name: Configure Flambda backend
working-directory: flambda_backend
run: |
autoconf
./configure \
--prefix=$GITHUB_WORKSPACE/_install \
--with-dune=$GITHUB_WORKSPACE/ocaml-414/_install/bin/dune \
${{ matrix.config }}
- name: Build, install and test Flambda backend
working-directory: flambda_backend
run: |
if [ $run_testsuite = true ]; then target=ci; else target=compiler; fi
export PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH
if [ $build_upstream = true ]; then \
make -j$J build_and_test_upstream \
|| (if [ $expected_fail = true ]; then exit 0; else exit 1; fi); \
else \
make $target \
|| (if [ $expected_fail = true ]; then exit 0; else exit 1; fi); \
fi
env:
BUILD_OCAMLPARAM: ${{ matrix.build_ocamlparam }}
OCAMLPARAM: ${{ matrix.ocamlparam }}
OCAMLRUNPARAM: ${{ matrix.ocamlrunparam }}
USE_RUNTIME: ${{ matrix.use_runtime }}
- name: Check other architectures
working-directory: flambda_backend
if: matrix.check_arch == true
run: |
PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH make check_all_arches