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