Lines Matching refs:expVal
748 'addr'. The expected value is 'expVal' and the new value is
753 static void casLE ( IRExpr* addr, IRExpr* expVal, IRExpr* newVal,
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 );
2029 mkexpr(dst0)/*expval*/,
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*/,
