API tools faq
paste
Guest User

Untitled

a guest
Jun 18th, 2018
71
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.58 KB | None | 0 0
raw download clone embed print report
  1. ddunbar@ozzy:klee$ clang -ccc-clang-cxx -x c++ -S -o - /tmp/t.c -O3 -S -mkernel -fomit-frame-pointer
  2.  
  3.  
  4. .text
  5. .align 4,0x90
  6. .globl __Z2f0Pb
  7. __Z2f0Pb:
  8. pushq %rbx
  9. movq %rdi, %rbx
  10. call __ZZ2f0PbE1gv
  11. notb %al
  12. andb $1, %al
  13. movb %al, (%rbx)
  14. popq %rbx
  15. ret
  16.  
  17. .subsections_via_symbols
  18.  
  19. ddunbar@ozzy:klee$ llvm-gcc -ccc-clang-cxx -x c++ -S -o - /tmp/t.c -O3 -S -mkernel -fomit-frame-pointer
  20.  
  21.  
  22. .text
  23. .align 4,0x90
  24. .globl __Z2f0Pb
  25. __Z2f0Pb:
  26. pushq %rbx
  27. movq %rdi, %rbx
  28. call __Z1gv
  29. testb %al, %al
  30. sete (%rbx)
  31. popq %rbx
  32. ret
  33.  
  34. .subsections_via_symbols
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!