diff options
| author | Theofilos Augoustis <37243696+taugoust@users.noreply.github.com> | 2025-10-30 11:26:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-30 11:26:27 +0100 |
| commit | 5df89a9523dc0fe7995efec4896b281fd69216c9 (patch) | |
| tree | eda83c13cb0608e9e9b6d2fa458d87c2aa19d340 | |
| parent | 9337176fc0b7b1d86cdd3a5abfd32f6336210d89 (diff) | |
| parent | e86f5d7afecb7d4d16238a168abe96c61543913d (diff) | |
| download | focaccia-5df89a9523dc0fe7995efec4896b281fd69216c9.tar.gz focaccia-5df89a9523dc0fe7995efec4896b281fd69216c9.zip | |
Merge pull request #11 from TUM-DSE/ck/reproducers
Add BMI reproducer
| -rw-r--r-- | reproducers/issue-1370a.c | 3 | ||||
| -rw-r--r-- | reproducers/issue-1370b.c | 3 | ||||
| -rw-r--r-- | reproducers/issue-1371.c | 5 | ||||
| -rw-r--r-- | reproducers/issue-1372.c | 6 | ||||
| -rw-r--r-- | reproducers/issue-1374.c | 6 |
5 files changed, 23 insertions, 0 deletions
diff --git a/reproducers/issue-1370a.c b/reproducers/issue-1370a.c new file mode 100644 index 0000000..ebeca35 --- /dev/null +++ b/reproducers/issue-1370a.c @@ -0,0 +1,3 @@ +void main() { + asm("blsi %rax, %rbx"); +} diff --git a/reproducers/issue-1370b.c b/reproducers/issue-1370b.c new file mode 100644 index 0000000..64f64fd --- /dev/null +++ b/reproducers/issue-1370b.c @@ -0,0 +1,3 @@ +void main() { + asm("blsr %rbx, %rax"); +} diff --git a/reproducers/issue-1371.c b/reproducers/issue-1371.c new file mode 100644 index 0000000..96f52f7 --- /dev/null +++ b/reproducers/issue-1371.c @@ -0,0 +1,5 @@ +void main() { + asm("mov $0x65b2e276ad27c67, %rax"); + asm("mov $0x62f34955226b2b5d, %rbx"); + asm("blsmsk %ebx, %eax"); +} diff --git a/reproducers/issue-1372.c b/reproducers/issue-1372.c new file mode 100644 index 0000000..7f5f3a0 --- /dev/null +++ b/reproducers/issue-1372.c @@ -0,0 +1,6 @@ +void main() { + asm("mov $0x17b3693f77fb6e9, %rax"); + asm("mov $0x8f635a775ad3b9b4, %rbx"); + asm("mov $0xb717b75da9983018, %rcx"); + asm("bextr %ecx, %ebx, %eax"); +} diff --git a/reproducers/issue-1374.c b/reproducers/issue-1374.c new file mode 100644 index 0000000..f2de49f --- /dev/null +++ b/reproducers/issue-1374.c @@ -0,0 +1,6 @@ +void main() { + asm("mov $0xb1aa9da2fe33fe3, %rcx"); + asm("mov $0x80000000ffffffff, %rbx"); + asm("mov $0xf3fce8829b99a5c6, %rax"); + asm("bzhi %rax, %rbx, %rcx"); +} |