test/monniaux/profiling/test_profiling.ltl.1


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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
}