1
Line: 0 Ins: '#\ty="Effect - Glut Example\\0"' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
5
Line: 1 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
6
Arg 1: Act: 0 Type: read Pointer: False Line: 1 Var Name: 69 Type: imm Lifetime: 1-15 Loc: 0 Type: None Asm: None
7
Arg 2: Act: 1 Type: write Pointer: False Line: 1 Var Name: y0 Type: char Lifetime: 1-32 Loc: 1 Type: None Asm: None
9
Line: 2 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
10
Arg 1: Act: 2 Type: read Pointer: False Line: 2 Var Name: 102 Type: imm Lifetime: 2-3 Loc: 2 Type: None Asm: None
11
Arg 2: Act: 3 Type: write Pointer: False Line: 2 Var Name: y1 Type: char Lifetime: 2-32 Loc: 3 Type: None Asm: None
13
Line: 3 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
14
Arg 1: Act: 4 Type: read Pointer: False Line: 3 Var Name: 102 Type: imm Lifetime: 2-3 Loc: 4 Type: None Asm: None
15
Arg 2: Act: 5 Type: write Pointer: False Line: 3 Var Name: y2 Type: char Lifetime: 3-32 Loc: 5 Type: None Asm: None
17
Line: 4 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
18
Arg 1: Act: 6 Type: read Pointer: False Line: 4 Var Name: 101 Type: imm Lifetime: 4-21 Loc: 6 Type: None Asm: None
19
Arg 2: Act: 7 Type: write Pointer: False Line: 4 Var Name: y3 Type: char Lifetime: 4-32 Loc: 7 Type: None Asm: None
21
Line: 5 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
22
Arg 1: Act: 8 Type: read Pointer: False Line: 5 Var Name: 99 Type: imm Lifetime: 5-5 Loc: 8 Type: None Asm: None
23
Arg 2: Act: 9 Type: write Pointer: False Line: 5 Var Name: y4 Type: char Lifetime: 5-32 Loc: 9 Type: None Asm: None
25
Line: 6 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
26
Arg 1: Act: 10 Type: read Pointer: False Line: 6 Var Name: 116 Type: imm Lifetime: 6-13 Loc: 10 Type: None Asm: None
27
Arg 2: Act: 11 Type: write Pointer: False Line: 6 Var Name: y5 Type: char Lifetime: 6-32 Loc: 11 Type: None Asm: None
29
Line: 7 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
30
Arg 1: Act: 12 Type: read Pointer: False Line: 7 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 12 Type: None Asm: None
31
Arg 2: Act: 13 Type: write Pointer: False Line: 7 Var Name: y6 Type: char Lifetime: 7-32 Loc: 13 Type: None Asm: None
33
Line: 8 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
34
Arg 1: Act: 14 Type: read Pointer: False Line: 8 Var Name: 45 Type: imm Lifetime: 8-8 Loc: 14 Type: None Asm: None
35
Arg 2: Act: 15 Type: write Pointer: False Line: 8 Var Name: y7 Type: char Lifetime: 8-32 Loc: 15 Type: None Asm: None
37
Line: 9 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
38
Arg 1: Act: 16 Type: read Pointer: False Line: 9 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 16 Type: None Asm: None
39
Arg 2: Act: 17 Type: write Pointer: False Line: 9 Var Name: y8 Type: char Lifetime: 9-32 Loc: 17 Type: None Asm: None
41
Line: 10 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
42
Arg 1: Act: 18 Type: read Pointer: False Line: 10 Var Name: 71 Type: imm Lifetime: 10-10 Loc: 18 Type: None Asm: None
43
Arg 2: Act: 19 Type: write Pointer: False Line: 10 Var Name: y9 Type: char Lifetime: 10-32 Loc: 19 Type: None Asm: None
45
Line: 11 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
46
Arg 1: Act: 20 Type: read Pointer: False Line: 11 Var Name: 108 Type: imm Lifetime: 11-20 Loc: 20 Type: None Asm: None
47
Arg 2: Act: 21 Type: write Pointer: False Line: 11 Var Name: y10 Type: char Lifetime: 11-32 Loc: 21 Type: None Asm: None
49
Line: 12 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
50
Arg 1: Act: 22 Type: read Pointer: False Line: 12 Var Name: 117 Type: imm Lifetime: 12-12 Loc: 22 Type: None Asm: None
51
Arg 2: Act: 23 Type: write Pointer: False Line: 12 Var Name: y11 Type: char Lifetime: 12-32 Loc: 23 Type: None Asm: None
53
Line: 13 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
54
Arg 1: Act: 24 Type: read Pointer: False Line: 13 Var Name: 116 Type: imm Lifetime: 6-13 Loc: 24 Type: None Asm: None
55
Arg 2: Act: 25 Type: write Pointer: False Line: 13 Var Name: y12 Type: char Lifetime: 13-32 Loc: 25 Type: None Asm: None
57
Line: 14 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
58
Arg 1: Act: 26 Type: read Pointer: False Line: 14 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 26 Type: None Asm: None
59
Arg 2: Act: 27 Type: write Pointer: False Line: 14 Var Name: y13 Type: char Lifetime: 14-32 Loc: 27 Type: None Asm: None
61
Line: 15 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
62
Arg 1: Act: 28 Type: read Pointer: False Line: 15 Var Name: 69 Type: imm Lifetime: 1-15 Loc: 28 Type: None Asm: None
63
Arg 2: Act: 29 Type: write Pointer: False Line: 15 Var Name: y14 Type: char Lifetime: 15-32 Loc: 29 Type: None Asm: None
65
Line: 16 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
66
Arg 1: Act: 30 Type: read Pointer: False Line: 16 Var Name: 120 Type: imm Lifetime: 16-16 Loc: 30 Type: None Asm: None
67
Arg 2: Act: 31 Type: write Pointer: False Line: 16 Var Name: y15 Type: char Lifetime: 16-32 Loc: 31 Type: None Asm: None
69
Line: 17 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
70
Arg 1: Act: 32 Type: read Pointer: False Line: 17 Var Name: 97 Type: imm Lifetime: 17-17 Loc: 32 Type: None Asm: None
71
Arg 2: Act: 33 Type: write Pointer: False Line: 17 Var Name: y16 Type: char Lifetime: 17-32 Loc: 33 Type: None Asm: None
73
Line: 18 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
74
Arg 1: Act: 34 Type: read Pointer: False Line: 18 Var Name: 109 Type: imm Lifetime: 18-18 Loc: 34 Type: None Asm: None
75
Arg 2: Act: 35 Type: write Pointer: False Line: 18 Var Name: y17 Type: char Lifetime: 18-32 Loc: 35 Type: None Asm: None
77
Line: 19 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
78
Arg 1: Act: 36 Type: read Pointer: False Line: 19 Var Name: 112 Type: imm Lifetime: 19-19 Loc: 36 Type: None Asm: None
79
Arg 2: Act: 37 Type: write Pointer: False Line: 19 Var Name: y18 Type: char Lifetime: 19-32 Loc: 37 Type: None Asm: None
81
Line: 20 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
82
Arg 1: Act: 38 Type: read Pointer: False Line: 20 Var Name: 108 Type: imm Lifetime: 11-20 Loc: 38 Type: None Asm: None
83
Arg 2: Act: 39 Type: write Pointer: False Line: 20 Var Name: y19 Type: char Lifetime: 20-32 Loc: 39 Type: None Asm: None
85
Line: 21 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
86
Arg 1: Act: 40 Type: read Pointer: False Line: 21 Var Name: 101 Type: imm Lifetime: 4-21 Loc: 40 Type: None Asm: None
87
Arg 2: Act: 41 Type: write Pointer: False Line: 21 Var Name: y20 Type: char Lifetime: 21-32 Loc: 41 Type: None Asm: None
89
Line: 22 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
90
Arg 1: Act: 42 Type: read Pointer: False Line: 22 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 42 Type: None Asm: None
91
Arg 2: Act: 43 Type: write Pointer: False Line: 22 Var Name: y21 Type: char Lifetime: 22-32 Loc: 43 Type: None Asm: None
93
Line: 23 Ins: '#\tf=0' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
97
Line: 24 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
98
Arg 1: Act: 44 Type: read Pointer: False Line: 24 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 44 Type: None Asm: None
99
Arg 2: Act: 45 Type: write Pointer: False Line: 24 Var Name: f Type: natural Lifetime: 24-26 Loc: 45 Type: None Asm: None
101
Line: 25 Ins: '#\tglut.glutInit(&f)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
105
Line: 26 Ins: 'call glutInit' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
108
Act: 46 Type: modify Pointer: True Line: 26 Var Name: f Type: natural Lifetime: 24-26 Loc: 46 Type: reg Asm: '%rdi'
110
Line: 27 Ins: '#\tglut.glutInitDisplayMode(18)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
114
Line: 28 Ins: 'call glutInitDisplayMode' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
117
Act: 47 Type: read Pointer: False Line: 28 Var Name: 18 Type: imm Lifetime: 28-28 Loc: 47 Type: reg Asm: '%rdi'
119
Line: 29 Ins: '#\tglut.glutInitWindowSize(800,600)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
123
Line: 30 Ins: 'call glutInitWindowSize' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
126
Act: 48 Type: read Pointer: False Line: 30 Var Name: 800 Type: imm Lifetime: 30-30 Loc: 48 Type: reg Asm: '%rdi'
127
Act: 49 Type: read Pointer: False Line: 30 Var Name: 600 Type: imm Lifetime: 30-30 Loc: 49 Type: reg Asm: '%rsi'
129
Line: 31 Ins: '#\tglut.glutCreateWindow(y)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
133
Line: 32 Ins: 'call glutCreateWindow' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
136
Act: 50 Type: read Pointer: True Line: 32 Var Name: y0 Type: char Lifetime: 1-32 Loc: 50 Type: reg Asm: '%rdi'
137
Act: 51 Type: read Pointer: False Line: 32 Var Name: y1 Type: char Lifetime: 2-32 Loc: 51 Type: None Asm: None
138
Act: 52 Type: read Pointer: False Line: 32 Var Name: y2 Type: char Lifetime: 3-32 Loc: 52 Type: None Asm: None
139
Act: 53 Type: read Pointer: False Line: 32 Var Name: y3 Type: char Lifetime: 4-32 Loc: 53 Type: None Asm: None
140
Act: 54 Type: read Pointer: False Line: 32 Var Name: y4 Type: char Lifetime: 5-32 Loc: 54 Type: None Asm: None
141
Act: 55 Type: read Pointer: False Line: 32 Var Name: y5 Type: char Lifetime: 6-32 Loc: 55 Type: None Asm: None
142
Act: 56 Type: read Pointer: False Line: 32 Var Name: y6 Type: char Lifetime: 7-32 Loc: 56 Type: None Asm: None
143
Act: 57 Type: read Pointer: False Line: 32 Var Name: y7 Type: char Lifetime: 8-32 Loc: 57 Type: None Asm: None
144
Act: 58 Type: read Pointer: False Line: 32 Var Name: y8 Type: char Lifetime: 9-32 Loc: 58 Type: None Asm: None
145
Act: 59 Type: read Pointer: False Line: 32 Var Name: y9 Type: char Lifetime: 10-32 Loc: 59 Type: None Asm: None
146
Act: 60 Type: read Pointer: False Line: 32 Var Name: y10 Type: char Lifetime: 11-32 Loc: 60 Type: None Asm: None
147
Act: 61 Type: read Pointer: False Line: 32 Var Name: y11 Type: char Lifetime: 12-32 Loc: 61 Type: None Asm: None
148
Act: 62 Type: read Pointer: False Line: 32 Var Name: y12 Type: char Lifetime: 13-32 Loc: 62 Type: None Asm: None
149
Act: 63 Type: read Pointer: False Line: 32 Var Name: y13 Type: char Lifetime: 14-32 Loc: 63 Type: None Asm: None
150
Act: 64 Type: read Pointer: False Line: 32 Var Name: y14 Type: char Lifetime: 15-32 Loc: 64 Type: None Asm: None
151
Act: 65 Type: read Pointer: False Line: 32 Var Name: y15 Type: char Lifetime: 16-32 Loc: 65 Type: None Asm: None
152
Act: 66 Type: read Pointer: False Line: 32 Var Name: y16 Type: char Lifetime: 17-32 Loc: 66 Type: None Asm: None
153
Act: 67 Type: read Pointer: False Line: 32 Var Name: y17 Type: char Lifetime: 18-32 Loc: 67 Type: None Asm: None
154
Act: 68 Type: read Pointer: False Line: 32 Var Name: y18 Type: char Lifetime: 19-32 Loc: 68 Type: None Asm: None
155
Act: 69 Type: read Pointer: False Line: 32 Var Name: y19 Type: char Lifetime: 20-32 Loc: 69 Type: None Asm: None
156
Act: 70 Type: read Pointer: False Line: 32 Var Name: y20 Type: char Lifetime: 21-32 Loc: 70 Type: None Asm: None
157
Act: 71 Type: read Pointer: False Line: 32 Var Name: y21 Type: char Lifetime: 22-32 Loc: 71 Type: None Asm: None
159
Line: 33 Ins: '#\tglut.glutMainLoop()' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
163
Line: 34 Ins: 'call glutMainLoop' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
167
Line: 35 Ins: '#\texit(0)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
171
Line: 36 Ins: 'syscall' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
174
Act: 72 Type: read Pointer: False Line: 36 Var Name: 60 Type: imm Lifetime: 36-36 Loc: 72 Type: reg Asm: '%rax'
175
Act: 73 Type: read Pointer: False Line: 36 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 73 Type: reg Asm: '%rdi'