Home | History | Annotate | Download | only in priv

Lines Matching defs:valE

597             IRExpr* valE    = (IRExpr*)val;
598             Bool    typesOK = toBool( typeOfIRExpr(bb->tyenv,valE) 
602                vex_printf("  ->  "); ppIRExpr(valE);
606                bb->stmts[i] = IRStmt_WrTmp(st->Ist.WrTmp.tmp, valE);