1
Line: 0 Ins: '#\tx=2' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
5
Line: 1 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
6
Arg 1: Act: 0 Type: read Pointer: False Line: 1 Var Name: 2 Type: imm Lifetime: 1-1 Loc: 0 Type: None Asm: None
7
Arg 2: Act: 1 Type: write Pointer: False Line: 1 Var Name: x Type: natural Lifetime: 1-13 Loc: 1 Type: None Asm: None
9
Line: 2 Ins: '#\ty=23' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
13
Line: 3 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
14
Arg 1: Act: 2 Type: read Pointer: False Line: 3 Var Name: 23 Type: imm Lifetime: 3-3 Loc: 2 Type: None Asm: None
15
Arg 2: Act: 3 Type: write Pointer: False Line: 3 Var Name: y Type: natural Lifetime: 3-7 Loc: 3 Type: None Asm: None
17
Line: 4 Ins: '#\tx=x+y+100' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
21
Line: 5 Ins: '#x + y' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
25
Line: 6 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
26
Arg 1: Act: 4 Type: read Pointer: False Line: 6 Var Name: x Type: natural Lifetime: 1-13 Loc: 4 Type: None Asm: None
27
Arg 2: Act: 5 Type: write Pointer: False Line: 6 Var Name: opSum0 Type: natural Lifetime: 6-10 Loc: 5 Type: None Asm: None
29
Line: 7 Ins: 'addq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
30
Arg 1: Act: 6 Type: read Pointer: False Line: 7 Var Name: y Type: natural Lifetime: 3-7 Loc: 6 Type: None Asm: None
31
Arg 2: Act: 7 Type: modify Pointer: False Line: 7 Var Name: opSum0 Type: natural Lifetime: 6-10 Loc: 7 Type: None Asm: None
33
Line: 8 Ins: '#opSum0 + 100' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
37
Line: 9 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
38
Arg 1: Act: 8 Type: read Pointer: False Line: 9 Var Name: 100 Type: imm Lifetime: 9-9 Loc: 8 Type: None Asm: None
39
Arg 2: Act: 9 Type: write Pointer: False Line: 9 Var Name: opSum1 Type: natural Lifetime: 9-11 Loc: 9 Type: None Asm: None
41
Line: 10 Ins: 'addq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
42
Arg 1: Act: 10 Type: read Pointer: False Line: 10 Var Name: opSum0 Type: natural Lifetime: 6-10 Loc: 10 Type: None Asm: None
43
Arg 2: Act: 11 Type: modify Pointer: False Line: 10 Var Name: opSum1 Type: natural Lifetime: 9-11 Loc: 11 Type: None Asm: None
45
Line: 11 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
46
Arg 1: Act: 12 Type: read Pointer: False Line: 11 Var Name: opSum1 Type: natural Lifetime: 9-11 Loc: 12 Type: None Asm: None
47
Arg 2: Act: 13 Type: write Pointer: False Line: 11 Var Name: x Type: natural Lifetime: 1-13 Loc: 13 Type: None Asm: None
49
Line: 12 Ins: '#\texit(x)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
53
Line: 13 Ins: 'syscall' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
56
Act: 14 Type: read Pointer: False Line: 13 Var Name: 60 Type: imm Lifetime: 13-13 Loc: 14 Type: reg Asm: '%rax'
57
Act: 15 Type: read Pointer: False Line: 13 Var Name: x Type: natural Lifetime: 1-13 Loc: 15 Type: reg Asm: '%rdi'