diff options
Diffstat (limited to 'test/monniaux/profiling/test_profiling.rtl.7')
-rw-r--r-- | test/monniaux/profiling/test_profiling.rtl.7 | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/monniaux/profiling/test_profiling.rtl.7 b/test/monniaux/profiling/test_profiling.rtl.7 deleted file mode 100644 index 2f75aa61..00000000 --- a/test/monniaux/profiling/test_profiling.rtl.7 +++ /dev/null @@ -1,21 +0,0 @@ -main(x2, x1) { - 15: if (x2 <s 2) goto 14 else goto 13 (prediction: none) - 14: x5 = 1 - goto 1 - 13: x12 = int64[x1 + 8] - 12: x3 = "atoi"(x12) - 11: x4 = x3 - 10: if (x4 >s 0) goto 4 else goto 9 (prediction: none) - 9: if (x4 ==s 0) goto 6 else goto 8 (prediction: none) - 8: x10 = "__stringlit_1" + 0 - 7: x11 = "printf"(x10) - goto 2 - 6: x8 = "__stringlit_2" + 0 - 5: x9 = "printf"(x8) - goto 2 - 4: x6 = "__stringlit_3" + 0 - 3: x7 = "printf"(x6) - 2: x5 = 0 - 1: return x5 -} - |