Bump to version 117

.clang-format

@@ -12,3 +12,6 @@ BinPackParameters: false
 Language: JavaScript
 DisableFormat: true
 ---
+Language: Json
+BasedOnStyle: LLVM
+---

.github/codecov.yml

@@ -0,0 +1,11 @@
+coverage:
+  status:
+    patch: false
+    project:
+      default:
+        informational: true
+
+github_checks:
+    annotations: false
+
+comment: false

.github/workflows/ci.yml

@@ -15,6 +15,9 @@ jobs:
     name: lint
     if: ${{ github.event_name == 'pull_request' }}
     runs-on: ubuntu-latest
+    env:
+      # Keep this in sync with clang-format-diff.sh
+      LLVM_VERSION: 17
     steps:
     - uses: actions/setup-python@v1
       with:
@@ -25,9 +28,11 @@ jobs:
     - name: install tools
       run: |
         sudo pip3 install -r requirements-dev.txt
-        sudo apt-get install clang-format clang-tidy
-    - name: update path
-      run:  echo "PATH=$PATH:/usr/lib/llvm-8/bin" >> $GITHUB_ENV
+        sudo apt install lsb-release wget software-properties-common gnupg
+        wget https://apt.llvm.org/llvm.sh
+        sudo chmod +x llvm.sh
+        sudo ./llvm.sh ${LLVM_VERSION}
+        sudo apt-get install clang-format clang-format-${LLVM_VERSION} clang-tidy-${LLVM_VERSION}
     - run: flake8
     - run: ./scripts/clang-format-diff.sh
     - name: clang-tidy
@@ -146,14 +151,20 @@ jobs:
     - uses: actions/checkout@v1
       with:
         submodules: true
+    - name: install clang
+      uses: egor-tensin/setup-clang@v1
+      with:
+        # Clang 15 seems to avoid asan flakes that 14 has (#6116).
+        version: 15
+        platform: x64
     - name: install ninja
       run: sudo apt-get install ninja-build
     - name: install Python dev dependencies
       run: pip3 install -r requirements-dev.txt
     - name: cmake
       run: |
         mkdir -p out
-        cmake -S . -B out -G Ninja -DCMAKE_INSTALL_PREFIX=out/install -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_C_FLAGS="$COMPILER_FLAGS" -DCMAKE_CXX_FLAGS="$COMPILER_FLAGS"
+        cmake -S . -B out -G Ninja -DCMAKE_INSTALL_PREFIX=out/install -DCMAKE_C_COMPILER=clang-15 -DCMAKE_CXX_COMPILER=clang++-15 -DCMAKE_C_FLAGS="$COMPILER_FLAGS" -DCMAKE_CXX_FLAGS="$COMPILER_FLAGS"
     - name: build
       run: cmake --build out
     - name: test
@@ -184,7 +195,7 @@ jobs:
         ./alpine.sh apk add build-base cmake git python3 py3-pip clang ninja
 
     - name: install python dev dependencies
-      run: ./alpine.sh pip3 install -r requirements-dev.txt
+      run: ./alpine.sh pip3 install --break-system-packages -r requirements-dev.txt
 
     - name: cmake
       run: |
@@ -306,3 +317,67 @@ jobs:
         cmake -S . -B out -G "MSYS Makefiles"
     - name: build
       run: cmake --build out
+
+  # Duplicates build-asan.  Please keep in sync
+  build-gcov:
+    name: coverage
+    runs-on: ubuntu-latest
+    env:
+      COMPILER_FLAGS: "-fprofile-arcs -ftest-coverage"
+      CC: "gcc"
+      CXX: "g++"
+    steps:
+    - uses: actions/setup-python@v1
+      with:
+        python-version: '3.x'
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - name: install ninja
+      run: sudo apt-get install ninja-build
+    - name: install Python dev dependencies
+      run: pip3 install -r requirements-dev.txt
+    - name: cmake
+      run: |
+        mkdir -p out
+        cmake -S . -B out -G Ninja -DCMAKE_INSTALL_PREFIX=out/install -DCMAKE_C_COMPILER="$CC" -DCMAKE_CXX_COMPILER="$CXX" -DCMAKE_C_FLAGS="$COMPILER_FLAGS" -DCMAKE_CXX_FLAGS="$COMPILER_FLAGS -DCMAKE_BUILD_TYPE=Debug"
+    - name: build
+      run: cmake --build out
+    - name: test
+      run: |
+        python check.py --binaryen-bin=out/bin lit
+        python check.py --binaryen-bin=out/bin gtest
+    - name: upload coverage
+      uses: codecov/codecov-action@v3
+      with:
+        gcov: true
+
+  # Duplicates build-asan.  Please keep in sync
+  build-cxx20:
+    name: c++20
+    # Make sure we can still build on older Ubuntu
+    runs-on: ubuntu-20.04
+    env:
+      CC: "gcc"
+      CXX: "g++"
+    steps:
+    - uses: actions/setup-python@v1
+      with:
+        python-version: '3.x'
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - name: install ninja
+      run: sudo apt-get install ninja-build
+    - name: install Python dev dependencies
+      run: pip3 install -r requirements-dev.txt
+    - name: cmake
+      run: |
+        mkdir -p out
+        cmake -S . -B out -G Ninja -DCMAKE_INSTALL_PREFIX=out/install -DCMAKE_C_COMPILER="$CC" -DCMAKE_CXX_COMPILER="$CXX" -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_STANDARD=20
+    - name: build
+      run: cmake --build out
+    - name: test
+      run: |
+        python check.py --binaryen-bin=out/bin lit
+        python check.py --binaryen-bin=out/bin gtest

.github/workflows/create_release.yml

@@ -106,26 +106,34 @@ jobs:
   build-alpine:
     name: alpine
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        docker_platform: [amd64, arm64]
     steps:
     - uses: actions/setup-python@v1
       with:
         python-version: '3.x'
     - uses: actions/checkout@v1
       with:
         submodules: true
+    - name: Set up QEMU
+      uses: docker/setup-qemu-action@v3
+      if: matrix.docker_platform != 'amd64'
+
     - name: start docker
       run: |
-        docker run -w /src -dit --name alpine -v $PWD:/src node:lts-alpine
+        docker run -w /src -dit --platform=linux/${{ matrix.docker_platform }} --name alpine -v $PWD:/src node:lts-alpine
         echo 'docker exec alpine "$@";' > ./alpine.sh
         chmod +x ./alpine.sh
 
+
     - name: install packages
       run: |
         ./alpine.sh apk update
         ./alpine.sh apk add build-base cmake git python3 clang ninja py3-pip
 
     - name: install python dev dependencies
-      run: ./alpine.sh pip3 install -r requirements-dev.txt
+      run: ./alpine.sh pip3 install --break-system-packages -r requirements-dev.txt
 
     - name: cmake
       run: |
@@ -142,7 +150,8 @@ jobs:
       id: archive
       run: |
         VERSION=$GITHUB_REF_NAME
-        PKGNAME="binaryen-$VERSION-x86_64-linux"
+        ARCH=$(./alpine.sh uname -m)
+        PKGNAME="binaryen-$VERSION-$ARCH-linux"
         TARBALL=$PKGNAME.tar.gz
         SHASUM=$PKGNAME.tar.gz.sha256
         ./alpine.sh find install/ -type f -perm -u=x -exec strip {} +
@@ -159,3 +168,69 @@ jobs:
         files: |
           ${{ steps.archive.outputs.tarball }}
           ${{ steps.archive.outputs.shasum }}
+
+  # Build using Emscripten to JavaScript+WebAssembly.
+  build-node:
+    name: node
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        shell: bash
+    steps:
+    - uses: actions/setup-python@v1
+      with:
+        python-version: '3.x'
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - name: install ninja
+      run: sudo apt-get install ninja-build
+    - name: emsdk install
+      run: |
+        mkdir $HOME/emsdk
+        git clone --depth 1 https://github.com/emscripten-core/emsdk.git $HOME/emsdk
+        $HOME/emsdk/emsdk update-tags
+        $HOME/emsdk/emsdk install tot
+        $HOME/emsdk/emsdk activate tot
+    - name: update path
+      run:  echo "PATH=$PATH:$HOME/emsdk" >> $GITHUB_ENV
+
+    # Configure with wasm EH and pthreads for maximal performance.
+    - name: cmake
+      run: |
+        source $HOME/emsdk/emsdk_env.sh
+        emcmake cmake -S . -B out -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=out/install -DEMSCRIPTEN_ENABLE_WASM_EH=ON -DEMSCRIPTEN_ENABLE_PTHREADS=ON
+
+    # Build wasm-opt for now TODO add other tools as desired
+    - name: build
+      run: ninja -C out wasm-opt
+
+    # Minimal smoke test: roundtrip a file.
+    # TODO: Add more testing here, but the full test suite is overkill as there
+    #       is a 0.5 second cost to each run of wasm-opt.js
+    - name: test
+      run: |
+        node out/bin/wasm-opt.js test/hello_world.wat --print > out/t.wat
+        diff test/hello_world.wat out/t.wat
+
+    - name: archive
+      id: archive
+      run: |
+        VERSION=$GITHUB_REF_NAME
+        PKGNAME="binaryen-$VERSION-node"
+        TARBALL=$PKGNAME.tar.gz
+        SHASUM=$PKGNAME.tar.gz.sha256
+        mkdir binaryen-$VERSION
+        cp out/bin/wasm-opt* binaryen-$VERSION/
+        tar -czf $TARBALL binaryen-$VERSION
+        cmake -E sha256sum $TARBALL > $SHASUM
+        echo "::set-output name=tarball::$TARBALL"
+        echo "::set-output name=shasum::$SHASUM"
+
+    - name: upload tarball
+      uses: softprops/action-gh-release@v1
+      with:
+        draft: true
+        files: |
+          ${{ steps.archive.outputs.tarball }}
+          ${{ steps.archive.outputs.shasum }}

CHANGELOG.md

@@ -15,6 +15,89 @@ full changeset diff at the end of each section.
 Current Trunk
 -------------
 
+v117
+----
+
+ - Add a WebAssembly build to release (#6351)
+ - Add Linux aarch64 build to release (#6334).
+ - The text format for tuple instructions now requires immediates. For example,
+   to make a tuple of two elements, use `tuple.make 2` (#6169) (#6172) (#6170).
+ - The text format for `if` expressions now requires `then` and `else` to
+   introduce the two branch arms, matching the spec (#6201).
+ - Fuzzer: Remove --emit-js-shell logic and reuse fuzz_shell.js instead (#6310).
+ - [EH] Add --experimental-new-eh option to wasm-opt (#6270) (#6210).
+ - Add StringLowering pass, from stringref to imported-strings (#6271).
+ - C API: Add BinaryenFunctionAppendVar (#6213).
+ - Add J2CL optimization pass (#6151).
+ - Add no-inline IR annotation, and passes to set it based on function name
+   (#6146).
+ - C API: Add BinaryenTableGetType and BinaryenTableSetType (#6137).
+ - Add an Unsubtyping optimization (#5982).
+ - Compute full transitive closure in GlobalEffects (#5992).
+ - Add passes to finalize or unfinalize types (#5944).
+ - Add a tuple optimization pass (#5937).
+
+v116
+----
+
+ - "I31New" changed to "RefI31" everywhere it appears in the C API and similarly
+   "i31.new" has been replaced with "ref.i31" in the JS API and in printed
+   output (#5930, #3931).
+ - The standard WasmGC opcodes are now on by default (#5873).
+
+v115
+----
+
+- The nonstandard, experimental gc-nn-locals feature has been removed now that
+  standard non-nullable locals are supported. (#5080)
+- Print all debug annotations when `BINARYEN_PRINT_FULL`. (#5904)
+- Use the standard text format for WasmGC now that things are stable there.
+  (#5894, #5889, #5852, #5801)
+- Rename multimemory flag to `--multimemory` to match its naming in LLVM.
+  (#5890)
+- Allow opting into standard GC encodings at compile time. (#5868)
+- Remove legacy WasmGC instructions. (#5861)
+- GUFA: Infer using TrapsNeverHappen. (#5850)
+- Add a pass to reorder functions by name, which can be useful for debugging
+  (e.g. comparisons after optimizations), `--reorder-functions-by-name`. (#5811)
+- C API: Add `BinaryenAddFunctionWithHeapType` which is like
+  `BinaryenAddFunction` but takes a heap type. The old function is kept for
+  backwards compatibility and as a convenience. (#5829)
+- Work on new optimization framework using lattices. (#5784, #5794, #5800,
+  #5817, #5831, #5849)
+- Heap types are now final by default and openness must be opted into both in
+  the text and binary formats as well as in the TypeBuilder API. (#5918)
+
+v114
+----
+
+- Fix a bug where e.g. -O3 -Oz ran the -O3 with the opt levels of -Oz, which
+  could inhibit inlining, for example. While this is a bugfix, it affects how
+  commandline options are interpreted, so if you depended on the old behavior
+  this may be a breaking change. That is, the old behavior made -O3 -Oz run the
+  first -O3 with -Oz's opt levels, and the new behavior is to run -O3 with the
+  proper (-O3) opt levels. This is a followup to #5333 from a previous release.
+  (#5787)
+- Add pass to remove Exception Handling instructions (#5770).
+
+
+v113
+----
+
+- Add a `wasm-merge` tool. This is a full rewrite of the previous `wasm-merge`
+  tool that was removed from the tree in the past. The new version is much
+  simpler after recent improvements to multi-memory and multi-table. The
+  rewrite was motivated by new use cases for merging modules in the context of
+  WasmGC.
+- Some C and JS API functions now refer to data and element segments by name
+  instead of index.
+- The `--nominal` and `--hybrid` command line options and related API functions
+  have been removed. The only supported type system is now the standard
+  isorecursive (i.e. hybrid) type system. (#5672)
+- Add a "mayNotReturn" effect (#5711).
+- Disable the memory64 feature in Memory64Lowering.cpp (#5679).
+- Disable sign extension in SignExtLowering.cpp (#5676).
+
 v112
 ----