diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-10-27 14:26:52 +0100 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-10-27 14:26:52 +0100 |
| commit | e86f5d7afecb7d4d16238a168abe96c61543913d (patch) | |
| tree | eda83c13cb0608e9e9b6d2fa458d87c2aa19d340 /reproducers/issue-1374.c | |
| parent | 9337176fc0b7b1d86cdd3a5abfd32f6336210d89 (diff) | |
| download | focaccia-e86f5d7afecb7d4d16238a168abe96c61543913d.tar.gz focaccia-e86f5d7afecb7d4d16238a168abe96c61543913d.zip | |
Add BMI reproducer
Diffstat (limited to '')
| -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"); +} |