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 /reproducers/issue-1372.c | |
| 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
Diffstat (limited to 'reproducers/issue-1372.c')
| -rw-r--r-- | reproducers/issue-1372.c | 6 |
1 files changed, 6 insertions, 0 deletions
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"); +} |