diff options
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"); +} |