From 23e2b4d28373393c25da1ec35e6a65fe10bd0f06 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Thu, 4 Jun 2026 21:30:25 +0200
Subject: [PATCH] Disassembly the ARM vector implementation

---
 .github/workflows/build.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7d4476d2..11ca5e1e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -16,7 +16,12 @@ jobs:
       - run: brew install automake
       - run: autoreconf -i
       - run: ./configure --enable-warning-as-error
-      - run: make all dist check
+      - run: make all
+      - run: objdump -d raid/int.o | grep -A 100 "raid_gen1_int64"
+      - run: objdump -d raid/int.o | grep -A 100 "raid_gen2_int64"
+      - run: objdump -d raid/int.o | grep -A 100 "raid_gen1_vec128"
+      - run: objdump -d raid/int.o | grep -A 100 "raid_gen2_vec128"
+      - run: make dist check
   build-linux:
     runs-on: ubuntu-latest
     steps: