diff options
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | reproducers/issue-508.c | 13 |
2 files changed, 15 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index ff25b53..29bd485 100644 --- a/.gitignore +++ b/.gitignore @@ -14,8 +14,8 @@ __pycache__/ .gdbinit # Focaccia files -qemu.sym -qemu.trace +*.sym +*.trace # Nix result diff --git a/reproducers/issue-508.c b/reproducers/issue-508.c new file mode 100644 index 0000000..e143183 --- /dev/null +++ b/reproducers/issue-508.c @@ -0,0 +1,13 @@ +#include <stdio.h> + +int main() { + int mem = 0x12345678; + register long rax asm("rax") = 0x1234567812345678; + register int edi asm("edi") = 0x77777777; + asm("cmpxchg %[edi],%[mem]" + : [ mem ] "+m"(mem), [ rax ] "+r"(rax) + : [ edi ] "r"(edi)); + long rax2 = rax; + printf("rax2 = %lx\n", rax2); +} + |