about summary refs log tree commit diff stats
path: root/reproducers
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2025-09-29 10:39:40 +0000
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2025-09-29 10:39:40 +0000
commit25e44d6ddf290db968db381b12d59b8b690b1721 (patch)
tree11ff01eb8b6ac67fc825dd81af2b0b95337a75be /reproducers
parentcbf212bbb4ce51c09326bed44b462529f147820a (diff)
downloadfocaccia-25e44d6ddf290db968db381b12d59b8b690b1721.tar.gz
focaccia-25e44d6ddf290db968db381b12d59b8b690b1721.zip
Add basic reproducer for issue 2248 with Focaccia (hacked, does not work yet)
Diffstat (limited to 'reproducers')
-rw-r--r--reproducers/issue-2248.S11
-rw-r--r--reproducers/issue-2248.c10
2 files changed, 21 insertions, 0 deletions
diff --git a/reproducers/issue-2248.S b/reproducers/issue-2248.S
new file mode 100644
index 0000000..0bd3600
--- /dev/null
+++ b/reproducers/issue-2248.S
@@ -0,0 +1,11 @@
+.global callme
+callme:
+  cmp   x2, x3
+  cset  x12, lt
+  and   w11, w12, #0xff
+  cmp   w11, #0x0
+  csetm x14, ne
+  lsr   x13, x14, x4
+  sxtb  x0, w13
+  ret
+
diff --git a/reproducers/issue-2248.c b/reproducers/issue-2248.c
new file mode 100644
index 0000000..03948df
--- /dev/null
+++ b/reproducers/issue-2248.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+unsigned long long callme(unsigned long long _1, unsigned long long _2, unsigned long long a, unsigned long long b, unsigned long long c);
+
+int main() {
+    unsigned long long ret = callme(0, 0, 0, 1, 2);
+	printf("%lld\n", ret);
+    return 0;
+}
+