Lines Matching refs:IRStmt
1544 void ppIRStmt ( const IRStmt* s )
1547 vex_printf("!!! IRStmt* which is NULL !!!");
2067 /* Constructors -- IRStmt */
2069 IRStmt* IRStmt_NoOp ( void )
2072 static IRStmt static_closure;
2076 IRStmt* IRStmt_IMark ( Addr addr, UInt len, UChar delta ) {
2077 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2084 IRStmt* IRStmt_AbiHint ( IRExpr* base, Int len, IRExpr* nia ) {
2085 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2092 IRStmt* IRStmt_Put ( Int off, IRExpr* data ) {
2093 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2099 IRStmt* IRStmt_PutI ( IRPutI* details ) {
2100 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2105 IRStmt* IRStmt_WrTmp ( IRTemp tmp, IRExpr* data ) {
2106 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2112 IRStmt* IRStmt_Store ( IREndness end, IRExpr* addr, IRExpr* data ) {
2113 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2121 IRStmt* IRStmt_StoreG ( IREndness end, IRExpr* addr, IRExpr* data,
2123 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2129 IRStmt* IRStmt_LoadG ( IREndness end, IRLoadGOp cvt, IRTemp dst,
2131 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2136 IRStmt* IRStmt_CAS ( IRCAS* cas ) {
2137 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2142 IRStmt* IRStmt_LLSC ( IREndness end,
2144 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2152 IRStmt* IRStmt_Dirty ( IRDirty* d )
2154 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2159 IRStmt* IRStmt_MBE ( IRMBusEvent event )
2161 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2166 IRStmt* IRStmt_Exit ( IRExpr* guard, IRJumpKind jk, IRConst* dst,
2168 IRStmt* s = LibVEX_Alloc_inline(sizeof(IRStmt));
2198 bb->stmts = LibVEX_Alloc_inline(bb->stmts_size * sizeof(IRStmt*));
2375 IRStmt* deepCopyIRStmt ( const IRStmt* s )
2452 IRStmt** sts2;
2455 sts2 = LibVEX_Alloc_inline(bb2->stmts_used * sizeof(IRStmt*));
3451 void addStmtToIRSB ( IRSB* bb, IRStmt* st )
3455 IRStmt** stmts2 = LibVEX_Alloc_inline(2 * bb->stmts_size * sizeof(IRStmt*));
3616 IRStmt. The only place where any expression is allowed to be
3634 Bool isFlatIRStmt ( const IRStmt* st )
3762 void sanityCheckFail ( const IRSB* bb, const IRStmt* stmt, const HChar* what )
3813 void useBeforeDef_Temp ( const IRSB* bb, const IRStmt* stmt, IRTemp tmp,
3823 void useBeforeDef_Expr ( const IRSB* bb, const IRStmt* stmt,
3887 void useBeforeDef_Stmt ( const IRSB* bb, const IRStmt* stmt, Int* def_counts )
3970 void tcExpr ( const IRSB* bb, const IRStmt* stmt, const IRExpr* expr,
4179 void tcStmt ( const IRSB* bb, const IRStmt* stmt, IRType gWordTy )
4189 sanityCheckFail(bb,stmt,"IRStmt.IMark.len: implausible");
4191 sanityCheckFail(bb,stmt,"IRStmt
4195 sanityCheckFail(bb,stmt,"IRStmt.AbiHint.base: "
4198 sanityCheckFail(bb,stmt,"IRStmt.AbiHint.nia: "
4204 sanityCheckFail(bb,stmt,"IRStmt.Put.data: cannot Put :: Ity_I1");
4211 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
4214 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: data ty != elem ty");
4216 sanityCheckFail(bb,stmt,"IRStmt.PutI.ix: not :: Ity_I32");
4218 sanityCheckFail(bb,stmt,"IRStmt.PutI.descr: invalid descr");
4226 "IRStmt.Put.Tmp: tmp and expr do not match");
4233 "IRStmt.Store.addr: not :: guest word type");
4236 "IRStmt.Store.data: cannot Store :: Ity_I1");
4261 sanityCheckFail(bb,stmt,"IRStmt.LoadG.guard: not :: Ity_I1");
4263 sanityCheckFail(bb,stmt,"IRStmt.LoadG.addr: not "
4266 sanityCheckFail(bb,stmt,"IRStmt.LoadG: dst/alt type mismatch");
4270 sanityCheckFail(bb,stmt,"IRStmt.LoadG: dst/loaded type mismatch");
4321 sanityCheckFail(bb,stmt,"IRStmt.CAS: ill-formed");
4327 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
4380 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
4386 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
4391 sanityCheckFail(bb,stmt,"IRStmt.Dirty: > 32 args");
4399 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
4402 sanityCheckFail(bb,stmt,"IRStmt.Dirty.args: > 1 BBPTR arg");
4408 "IRStmt.Dirty.args: VECRET present, "
4414 "IRStmt.Dirty.args: VECRET not present, "
4418 "IRStmt.Dirty.args: > 1 VECRET present");
4423 "IRStmt.Dirty.args: > 1 BBPTR present");
4429 "IRStmt.Dirty.args: BBPTR requested, "
4434 sanityCheckFail(bb,stmt,"IRStmt.Dirty: ill-formed");
4443 default: sanityCheckFail(bb,stmt,"IRStmt.MBE.event: unknown");
4450 sanityCheckFail(bb,stmt,"IRStmt.Exit.guard: not :: Ity_I1");
4452 sanityCheckFail(bb,stmt,"IRStmt.Exit.dst: bad dst");
4454 sanityCheckFail(bb,stmt,"IRStmt.Exit.dst: not :: guest word type");
4457 sanityCheckFail(bb,stmt,"IRStmt.Exit.offsIP: too low");
4492 const IRStmt* stmt;
4499 sanityCheckFail(bb, stmt, "IRStmt: is NULL");
4501 sanityCheckFail(bb, stmt, "IRStmt: is not flat");
4523 "IRStmt.Tmp: destination tmp is out of range");
4527 "IRStmt.Tmp: destination tmp is assigned more than once");
4533 "IRStmt.LoadG: destination tmp is out of range");
4537 "IRStmt.LoadG: destination tmp is assigned more than once");
4545 "IRStmt.Dirty: destination tmp is out of range");
4549 "IRStmt.Dirty: destination tmp is assigned more than once");
4558 "IRStmt.CAS: destination tmpHi is out of range");
4562 "IRStmt.CAS: destination tmpHi is assigned more than once");
4566 "IRStmt.CAS: destination tmpLo is out of range");
4570 "IRStmt.CAS: destination tmpLo is assigned more than once");
4576 "IRStmt.LLSC: destination tmp is out of range");
4580 "IRStmt.LLSC: destination tmp is assigned more than once");
