Home | History | Annotate | Download | only in priv

Lines Matching defs:valE

642             IRExpr* valE    = (IRExpr*)val;
643             Bool    typesOK = toBool( typeOfIRExpr(bb->tyenv,valE) 
647                vex_printf("  ->  "); ppIRExpr(valE);
651                bb->stmts[i] = IRStmt_WrTmp(st->Ist.WrTmp.tmp, valE);