gh: Add gzip test-suite.

.github/workflows/prerelease.yml

@@ -434,6 +434,136 @@ jobs:
           name: linux_kernel_times.md
           path: ./linux_kernel_times.md
 
+#
+#     GZIP benchmark
+#
+  run_gzip_bench:
+    name: "Run gzip translation"
+    needs: build
+    strategy:
+      matrix:
+        llvm-version: [19]
+        image-version: [22.04]
+        gzip-version: [1.10, 1.13]
+        vast-target: ['hl', 'llvm']
+        disable-unsup: ['ON','OFF']
+        exclude:
+            - vast-target: 'llvm'
+              disable-unsup: 'ON'
+            - vast-target: 'bin'
+              disable-unsup: 'ON'
+
+    runs-on: ubuntu-${{ matrix.image-version }}
+    timeout-minutes: 360
+    container:
+      image:
+        ghcr.io/trailofbits/vast-ubuntu-${{ matrix.image-version }}-llvm-${{ matrix.llvm-version }}-dev:latest
+
+    steps:
+      - name: Fetch VAST artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: VAST
+
+      - name: Unpack VAST
+        run: mkdir vast && tar -xf VAST-* -C vast --strip-components=1
+
+      - name: Export vast binaries
+        run: echo "${PWD}/vast/bin/" >> $GITHUB_PATH
+
+      - name: Install benchmark dependencies
+        run: |
+          apt-get update
+          apt-get -y install bear
+
+      - name: Clone, configure, and build the Linux kernel
+        run: |
+          wget https://ftp.gnu.org/gnu/gzip/gzip-${{ matrix.gzip-version }}.tar.gz
+          tar -xvf gzip-${{ matrix.gzip-version }}.tar.gz
+          cd gzip-${{ matrix.gzip-version }}.tar.gz
+          ./configure
+          bear -- make
+
+      - name: Clone vast benchmark directory
+        uses: actions/checkout@v4
+        with:
+          repository: trailofbits/vast-benchmarks
+          sparse-checkout: benchmarks/linux_kernel
+          ref: main
+          path: vast-benchmarks/
+          fetch-depth: 1
+
+      - name: Setup result suffix and vast arguments
+        run: |
+          if [ "${{ matrix.disable-unsup }}" = "false" ]; then
+            echo "VAST_RESULTS_SUFFIX=with_unsup" >> $GITHUB_ENV
+          else
+            echo "VAST_RESULTS_SUFFIX=without_unsup" >> $GITHUB_ENV
+            echo "VAST_DISABLE_UNSUPPORTED=-vast-disable-unsupported" >> $GITHUB_ENV
+          fi
+
+      - name: Run benchmarks
+        run: >
+          python3 ${PWD}/vast-benchmarks/benchmarks/linux_kernel/run_vast_benchmark.py
+          vast-front
+          ${PWD}/gzip-${{ matrix.gzip-version }}/compile_commands.json
+          --num_processes=$(nproc)
+          --vast_option="-xc"
+          --vast_option="-vast-emit-mlir=${{ matrix.vast-target }}"
+          --vast_option="${{ env.VAST_DISABLE_UNSUPPORTED }}"
+          --print_errors
+          > gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
+
+      - name: Upload results
+        uses: actions/upload-artifact@v4
+        with:
+          name: gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
+          path: ./gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
+
+  convert_gzip_bench:
+    name: "Convert results to Markdown"
+    needs: run_gzip_bench
+    strategy:
+      matrix:
+        image-version: [22.04]
+    runs-on: ubuntu-${{ matrix.image-version }}
+    steps:
+      - name: Fetch result artifacts
+        uses: actions/download-artifact@v4
+        with:
+          pattern: vast_linux_kernel_times_*
+          merge-multiple: true
+
+      - name: Install converter dependencies
+        run: pip3 install pandas scipy tabulate
+
+      - name: Clone vast benchmark directory
+        uses: actions/checkout@v4
+        with:
+          repository: trailofbits/vast-benchmarks
+          sparse-checkout: utils/
+          ref: main
+          path: vast-benchmarks/
+          fetch-depth: 1
+
+      - name: Generate the results
+        run: >
+          python3 vast-benchmarks/utils/to_markdown.py \
+          '{ "HighLevel with unsupported for 1.10": "gzip_1.10_hl_with_unsup.tsv", \
+             "HighLevel for 1.10" : "gzip_1.10_hl_without_unsup.tsv", \
+             "LLVM for 1.10" : "gzip_1.10_llvm_with_unsup.tsv", \
+              "HighLevel with unsupported for 1.13": "gzip_1.13_hl_with_unsup.tsv", \
+             "HighLevel for 1.13" : "gzip_1.13_hl_without_unsup.tsv", \
+             "LLVM for 1.13" : "gzip_1.13_llvm_with_unsup.tsv", \
+              }'
+          --output_filepath gzip_times.md
+
+      - name: Post results as artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: gzip_times.md
+          path: ./gzip_times.md
+
 #
 #     Webpage build
 #
@@ -485,6 +615,12 @@ jobs:
         with:
           name: linux_kernel_times.md
           path: linux_kernel_times
+
+      - name: Fetch GZIP benchmark results
+        uses: actions/download-artifact@v4
+        with:
+            name: gzip_times.md
+            path: gzip_times
 
       - name: Build Pages
         run: |