• Home
  • Raw
  • Download

Lines Matching refs:sbOut

4408 static IRExpr* mk_And1 ( IRSB* sbOut, IRExpr* arg1, IRExpr* arg2 )  in mk_And1()  argument
4415 IRTemp wide1 = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4416 IRTemp wide2 = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4417 IRTemp anded = newIRTemp(sbOut->tyenv, Ity_I32); in mk_And1()
4418 IRTemp res = newIRTemp(sbOut->tyenv, Ity_I1); in mk_And1()
4419 addStmtToIRSB(sbOut, assign(wide1, unop(Iop_1Uto32, arg1))); in mk_And1()
4420 addStmtToIRSB(sbOut, assign(wide2, unop(Iop_1Uto32, arg2))); in mk_And1()
4421 addStmtToIRSB(sbOut, assign(anded, binop(Iop_And32, mkexpr(wide1), in mk_And1()
4423 addStmtToIRSB(sbOut, assign(res, unop(Iop_32to1, mkexpr(anded)))); in mk_And1()
4427 static void instrument_mem_access ( IRSB* sbOut, in instrument_mem_access() argument
4450 tyAddr = typeOfIRExpr( sbOut->tyenv, addr ); in instrument_mem_access()
4546 IRTemp sp = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4547 addStmtToIRSB( sbOut, assign(sp, IRExpr_Get(goff_sp, tyAddr))); in instrument_mem_access()
4550 IRTemp addr_minus_sp = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4552 sbOut, in instrument_mem_access()
4560 IRTemp diff = newIRTemp(sbOut->tyenv, tyAddr); in instrument_mem_access()
4562 sbOut, in instrument_mem_access()
4570 IRTemp guardA = newIRTemp(sbOut->tyenv, Ity_I1); in instrument_mem_access()
4572 sbOut, in instrument_mem_access()
4585 di->guard = mk_And1(sbOut, di->guard, guard); in instrument_mem_access()
4589 addStmtToIRSB( sbOut, IRStmt_Dirty(di) ); in instrument_mem_access()