_dragon.ssa 403 B

123456789101112131415161718192021222324252627282930313233
  1. # a moderately complex test for
  2. # dominators computation from
  3. # the dragon book
  4. # because branching is limited to
  5. # two, I had to split some blocks
  6. function $dragon() {
  7. @start
  8. @b1
  9. jnz 0, @b2, @b3
  10. @b2
  11. jmp @b3
  12. @b3
  13. jmp @b4.1
  14. @b4.1
  15. jnz 0, @b3, @b4.2
  16. @b4.2
  17. jnz 0, @b5, @b6
  18. @b5
  19. jmp @b7
  20. @b6
  21. jmp @b7
  22. @b7
  23. jnz 0, @b8.1, @b4.1
  24. @b8.1
  25. jnz 0, @b3, @b8.2
  26. @b8.2
  27. jnz 0, @b9, @b10
  28. @b9
  29. jmp @b1
  30. @b10
  31. jmp @b7
  32. }