Lines Matching refs:IRStmt

1253 void ppIRStmt ( IRStmt* s )
1256 vex_printf("!!! IRStmt* which is NULL !!!");
1733 /* Constructors -- IRStmt */
1735 IRStmt* IRStmt_NoOp ( void )
1738 static IRStmt static_closure;
1742 IRStmt* IRStmt_IMark ( Addr64 addr, Int len, UChar delta ) {
1743 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1750 IRStmt* IRStmt_AbiHint ( IRExpr* base, Int len, IRExpr* nia ) {
1751 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1758 IRStmt* IRStmt_Put ( Int off, IRExpr* data ) {
1759 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1765 IRStmt* IRStmt_PutI ( IRPutI* details ) {
1766 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1771 IRStmt* IRStmt_WrTmp ( IRTemp tmp, IRExpr* data ) {
1772 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1778 IRStmt* IRStmt_Store ( IREndness end, IRExpr* addr, IRExpr* data ) {
1779 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1787 IRStmt* IRStmt_CAS ( IRCAS* cas ) {
1788 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1793 IRStmt* IRStmt_LLSC ( IREndness end,
1795 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1803 IRStmt* IRStmt_Dirty ( IRDirty* d )
1805 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1810 IRStmt* IRStmt_MBE ( IRMBusEvent event )
1812 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1817 IRStmt* IRStmt_Exit ( IRExpr* guard, IRJumpKind jk, IRConst* dst,
1819 IRStmt* s = LibVEX_Alloc(sizeof(IRStmt));
1849 bb->stmts = LibVEX_Alloc(bb->stmts_size * sizeof(IRStmt*));
2013 IRStmt* deepCopyIRStmt ( IRStmt* s )
2076 IRStmt** sts2;
2079 sts2 = LibVEX_Alloc(bb2->stmts_used * sizeof(IRStmt*));
2863 void addStmtToIRSB ( IRSB* bb, IRStmt* st )
2867 IRStmt** stmts2 = LibVEX_Alloc(2 * bb->stmts_size * sizeof(IRStmt*));
3006 IRStmt. The only place where any expression is allowed to be
3015 Bool isFlatIRStmt ( IRStmt* st )
3133 void sanityCheckFail ( IRSB* bb, IRStmt* stmt, HChar* what )
3184 void useBeforeDef_Temp ( IRSB* bb, IRStmt* stmt, IRTemp tmp, Int* def_counts )
3193 void useBeforeDef_Expr ( IRSB* bb, IRStmt* stmt, IRExpr* expr, Int* def_counts )
3247 void useBeforeDef_Stmt ( IRSB* bb, IRStmt* stmt, Int* def_counts )
3309 void tcExpr ( IRSB* bb, IRStmt* stmt, IRExpr* expr, IRType gWordTy )
3514 void tcStmt ( IRSB* bb, IRStmt* stmt, IRType gWordTy )
3527 sanityCheckFail(bb,stmt,"IRStmt.IMark.len: implausible");
3529 sanityCheckFail(bb,stmt,"IRStmt.IMark.delta: implausible");
3533 sanityCheckFail(bb,stmt,"IRStmt.AbiHint.base: "
3536 sanityCheckFail(bb,stmt,"IRStmt.AbiHint.nia: "
3542 sanityCheckFail(bb,stmt,"IRStmt.Put.data: cannot Put :: Ity_I1");
3549 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: cannot PutI :: Ity_I1");
3552 sanityCheckFail(bb,stmt,"IRStmt.PutI.data: data ty != elem ty");
3554 sanityCheckFail(bb,stmt,"IRStmt.PutI.ix: not :: Ity_I32");
3556 sanityCheckFail(bb,stmt,"IRStmt.PutI.descr: invalid descr");
3562 sanityCheckFail(bb,stmt,"IRStmt.Put.Tmp: tmp and expr do not match");
3568 sanityCheckFail(bb,stmt,"IRStmt.Store.addr: not :: guest word type");
3570 sanityCheckFail(bb,stmt,"IRStmt.Store.data: cannot Store :: Ity_I1");
3622 sanityCheckFail(bb,stmt,"IRStmt.CAS: ill-formed");
3627 sanityCheckFail(bb,stmt,"IRStmt.LLSC.addr: not :: guest word type");
3682 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
3690 sanityCheckFail(bb,stmt,"IRStmt.Dirty with a return value"
3695 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
3698 sanityCheckFail(bb,stmt,"IRStmt.Dirty: > 32 args");
3700 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
3704 sanityCheckFail(bb,stmt,"IRStmt.Dirty: ill-formed");
3712 default: sanityCheckFail(bb,stmt,"IRStmt.MBE.event: unknown");
3719 sanityCheckFail(bb,stmt,"IRStmt.Exit.guard: not :: Ity_I1");
3721 sanityCheckFail(bb,stmt,"IRStmt.Exit.dst: bad dst");
3723 sanityCheckFail(bb,stmt,"IRStmt.Exit.dst: not :: guest word type");
3726 sanityCheckFail(bb,stmt,"IRStmt.Exit.offsIP: too low");
3737 IRStmt* stmt;
3767 sanityCheckFail(bb, stmt, "IRStmt: is NULL");
3769 sanityCheckFail(bb, stmt, "IRStmt: is not flat");
3793 "IRStmt.Tmp: destination tmp is out of range");
3797 "IRStmt.Tmp: destination tmp is assigned more than once");
3806 "IRStmt.Dirty: destination tmp is out of range");
3810 "IRStmt.Dirty: destination tmp is assigned more than once");
3818 "IRStmt.CAS: destination tmpHi is out of range");
3822 "IRStmt.CAS: destination tmpHi is assigned more than once");
3826 "IRStmt.CAS: destination tmpLo is out of range");
3830 "IRStmt.CAS: destination tmpLo is assigned more than once");
3835 "IRStmt.LLSC: destination tmp is out of range");
3839 "IRStmt.LLSC: destination tmp is assigned more than once");