{"name": "_ZN4llvm21BranchProbabilityInfo18calcZeroHeuristicsEPNS_10BasicBlockE", "code": "__int64 __fastcall llvm BranchProbabilityInfo calcZeroHeuristics ( llvm BranchProbabilityInfo * @@this@@ , llvm BasicBlock * @@a2@@ ) { __int64 v2 ; __int64 @@v3@@ ; __int64 result ; __int64 v5 ; __int64 @@v6@@ ; __int64 v7 ; char v8 ; int v9 ; int v10 ; const llvm BasicBlock * v11 ; const llvm BasicBlock * v12 ; unsigned int v13 ; bool @@v14@@ ; v2 = llvm BasicBlock getTerminator ( @@a2@@ ) ; if ( * ( _BYTE * ) ( v2 + Number ) != Number ) return Number L ; @@v3@@ = v2 ; if ( * ( _DWORD * ) ( v2 + Number ) != Number ) return Number L ; v5 = * ( _QWORD * ) ( v2 - Number ) ; if ( * ( _BYTE * ) ( v5 + Number ) != Number ) return Number L ; @@v6@@ = * ( _QWORD * ) ( v5 - Number ) ; if ( * ( _BYTE * ) ( @@v6@@ + Number ) != Number ) return Number L ; if ( * ( _DWORD * ) ( @@v6@@ + Number ) <= Number ) { v7 = * ( _QWORD * ) ( @@v6@@ + Number ) ; if ( v7 ) goto LABEL_8 ; LABEL_21 : v13 = * ( unsigned __int16 * ) ( v5 + Number ) ; BYTE1 ( v13 ) &= Number ; if ( v13 != Number ) { if ( v13 > Number ) { @@v14@@ = v13 == Number ; result = Number L ; if ( ! @@v14@@ ) return result ; goto LABEL_13 ; } if ( v13 == Number ) goto LABEL_31 ; if ( v13 != Number ) return Number L ; } LOBYTE ( result ) = Number ; goto LABEL_13 ; } if ( ( unsigned __int8 ) llvm APInt EqualSlowCase ( ( llvm APInt * ) ( @@v6@@ + Number ) , Number L ) ) goto LABEL_21 ; if ( * ( _DWORD * ) ( @@v6@@ + Number ) > Number ) { v8 = llvm APInt EqualSlowCase ( ( llvm APInt * ) ( @@v6@@ + Number ) , Number ) ; goto LABEL_9 ; } v7 = * ( _QWORD * ) ( @@v6@@ + Number ) ; LABEL_8 : v8 = v7 == Number ; LABEL_9 : if ( v8 ) { v9 = * ( unsigned __int16 * ) ( v5 + Number ) ; BYTE1 ( v9 ) &= Number ; if ( v9 == Number ) { LABEL_31 : LOBYTE ( result ) = Number ; goto LABEL_13 ; } } LOBYTE ( result ) = llvm Constant isAllOnesValue ( ( llvm Constant * ) @@v6@@ ) ; if ( ! ( _BYTE ) result ) return Number L ; v10 = * ( unsigned __int16 * ) ( v5 + Number ) ; BYTE1 ( v10 ) &= Number ; if ( v10 != Number ) return Number L ; LABEL_13 : v11 = * ( const llvm BasicBlock * * ) ( @@v3@@ - Number ) ; if ( v11 && * ( ( _BYTE * ) v11 + Number ) != Number ) goto LABEL_34 ; if ( * ( _DWORD * ) ( @@v3@@ + Number ) != Number ) _assert_fail ( String , String , Number , String ) ; v12 = * ( const llvm BasicBlock * * ) ( @@v3@@ - Number ) ; if ( v12 ) { if ( * ( ( _BYTE * ) v12 + Number ) != Number ) LABEL_34 : _assert_fail ( String , String , Number , String String ) ; } if ( ! ( _BYTE ) result ) { v11 = * ( const llvm BasicBlock * * ) ( @@v3@@ - Number ) ; v12 = * ( const llvm BasicBlock * * ) ( @@v3@@ - Number ) ; } llvm BranchProbabilityInfo setEdgeWeight ( @@this@@ , @@a2@@ , v11 , Number ) ; llvm BranchProbabilityInfo setEdgeWeight ( @@this@@ , @@a2@@ , v12 , Number ) ; return Number L ; }", "source": [{"n": "v14", "t": {"T": 1, "n": "bool", "s": 1}, "location": "r1"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r120"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r32"}, {"n": "this", "t": {"T": 3, "t": "llvm::BranchProbabilityInfo"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "llvm::BasicBlock"}, "location": "r64"}]}