diff options
Diffstat (limited to 'test/monniaux/profiling/test_profiling.ltl.2')
-rw-r--r-- | test/monniaux/profiling/test_profiling.ltl.2 | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/monniaux/profiling/test_profiling.ltl.2 b/test/monniaux/profiling/test_profiling.ltl.2 deleted file mode 100644 index f9be9feb..00000000 --- a/test/monniaux/profiling/test_profiling.ltl.2 +++ /dev/null @@ -1,19 +0,0 @@ -main() { -goto 15 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"; goto 10 - 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 -} - |