Searched defs:expVal (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/VEX/priv/
H A Dguest_x86_toIR.c748 'addr'. The expected value is 'expVal' and the new value is
753 static void casLE ( IRExpr* addr, IRExpr* expVal, IRExpr* newVal, argument
757 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
763 assign(expTmp, expVal);
2006 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2017 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2341 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2352 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2362 casLE( mkexpr(addr), mkexpr(dst0)/*expVal*/,
6748 casLE( mkexpr(addr), mkexpr(tmpd)/*expVal*/,
[all...]
H A Dguest_amd64_toIR.c1565 'addr'. The expected value is 'expVal' and the new value is
1570 static void casLE ( IRExpr* addr, IRExpr* expVal, IRExpr* newVal, argument
1574 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
1581 assign(expTmp, expVal);
2977 /*store*/addr, dst0/*expVal*/, guest_RIP_curr_instr );
2988 /*store*/addr, dst0/*expVal*/, guest_RIP_curr_instr );
3331 /*store*/addr, dst0/*expVal*/, guest_RIP_curr_instr );
3342 /*store*/addr, dst0/*expVal*/, guest_RIP_curr_instr );
3352 casLE( mkexpr(addr), mkexpr(dst0)/*expVal*/,
8175 casLE( mkexpr(addr), mkexpr(tmpd)/*expVal*/,
[all...]

Completed in 80 milliseconds