-
Notifications
You must be signed in to change notification settings - Fork 1
/
add.txt
13 lines (12 loc) · 1.4 KB
/
add.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
Function tmp.add 6 a___int#v Word 32 b___int#v Word 32 Mem Mem HTD HTD PMS PMS GhostAssertions WordArray 50 64 5 ret__int#v Word 32 Mem Mem HTD HTD PMS PMS GhostAssertions WordArray 50 64
1 Basic Ret 0
2 Cond 1 Err Op False Bool 0
3 Basic 1 1 ret__int#v Word 32 Op Plus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32
4 Cond 3 Err Op Equals Bool 2 Op SignedLessEquals Bool 2 Var a___int#v Word 32 Op Plus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32 Op SignedLessEquals Bool 2 Num 0 Word 32 Var b___int#v Word 32
5 Basic 4 1 a___int#v Word 32 Op Minus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32
6 Cond 5 Err Op Equals Bool 2 Op SignedLessEquals Bool 2 Num 0 Word 32 Op Minus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32 Op SignedLessEquals Bool 2 Var b___int#v Word 32 Var a___int#v Word 32
7 Basic 6 1 b___int#v Word 32 Op Minus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32
8 Cond 7 Err Op Equals Bool 2 Op SignedLessEquals Bool 2 Num 0 Word 32 Op Minus Word 32 2 Var a___int#v Word 32 Var b___int#v Word 32 Op SignedLessEquals Bool 2 Var b___int#v Word 32 Var a___int#v Word 32
9 Basic 8 1 a___int#v Word 32 Op Plus Word 32 2 Var b___int#v Word 32 Var a___int#v Word 32
10 Cond 9 Err Op Equals Bool 2 Op SignedLessEquals Bool 2 Var b___int#v Word 32 Op Plus Word 32 2 Var b___int#v Word 32 Var a___int#v Word 32 Op SignedLessEquals Bool 2 Num 0 Word 32 Var a___int#v Word 32
EntryPoint 10