diff options
Diffstat (limited to 'test/monniaux/profiling/test_profiling.ltl.1')
| -rw-r--r-- | test/monniaux/profiling/test_profiling.ltl.1 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/monniaux/profiling/test_profiling.ltl.1 b/test/monniaux/profiling/test_profiling.ltl.1 new file mode 100644 index 00000000..fdfb7fe0 --- /dev/null +++ b/test/monniaux/profiling/test_profiling.ltl.1 @@ -0,0 +1,19 @@ +main() { + 16: + 15: if (X0 <s 2) goto 14 else goto 13 (prediction: fallthrough) + 14: X0 = 1; goto 1 + 13: X0 = int64[X1 + 8]; + 12: call "atoi"; + 11: + 10: if (X0 <=s 0) goto 9 else goto 4 (prediction: fallthrough) + 9: if (X0 ==s 0) goto 6 else goto 8 (prediction: none) + 8: X0 = "__stringlit_1" + 0; + 7: call "printf"; goto 2 + 6: X0 = "__stringlit_2" + 0; + 5: call "printf"; goto 2 + 4: X0 = "__stringlit_3" + 0; + 3: call "printf"; + 2: X0 = 0; + 1: return +} + |