Lines Matching refs:expVal
746 'addr'. The expected value is 'expVal' and the new value is
751 static void casLE ( IRExpr* addr, IRExpr* expVal, IRExpr* newVal,
755 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
761 assign(expTmp, expVal);
2008 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2019 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2031 mkexpr(dst0)/*expval*/,
2343 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2354 /*store*/addr, dst0/*expVal*/, guest_EIP_curr_instr );
2364 casLE( mkexpr(addr), mkexpr(dst0)/*expVal*/,
6854 casLE( mkexpr(addr), mkexpr(tmpd)/*expVal*/,
