Lines Matching refs:irsb
216 /* The IRSB* into which we're generating code. */
217 static IRSB* irsb;
532 /* Add a statement to the list held by "irsb". */
535 addStmtToIRSB( irsb, st );
542 return newIRTemp( irsb->tyenv, ty );
609 IRType tyA = typeOfIRExpr(irsb->tyenv, addr);
692 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
693 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
700 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
701 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
740 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
750 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
768 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
786 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
804 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
825 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
863 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
890 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
916 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
965 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
987 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
1005 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
1006 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
1007 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
1008 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
1022 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
1023 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
1024 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
1025 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
1069 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1075 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1241 vassert(typeOfIRExpr(irsb->tyenv, e) == ty );
1337 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
1367 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D32 );
1373 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D64 );
1383 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D128 );
1525 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F128);
1533 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1548 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1726 vassert(typeOfIRExpr(irsb->tyenv,rot_amt) == Ity_I8);
1728 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1816 vassert(typeOfIRExpr(irsb->tyenv,addr) == ty);
1828 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1839 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1867 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1874 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
1922 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1929 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1948 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
2004 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32);
2064 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 ||
2065 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
2093 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_V128);
2202 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2211 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2220 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2233 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2242 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2254 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2452 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2453 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2454 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2601 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2602 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2603 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2770 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2771 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2772 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2773 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32);
2956 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2957 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2958 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2959 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
3186 IRType ty_src = typeOfIRExpr(irsb->tyenv,src );
3358 vassert( typeOfIRExpr( irsb->tyenv,src ) == Ity_I64 );
3478 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
3524 vassert( typeOfIRExpr( irsb->tyenv, e ) == Ity_I32 );
3981 vassert( ( typeOfIRExpr(irsb->tyenv, mkexpr( src ) ) == Ity_I32 )
3982 || ( typeOfIRExpr(irsb->tyenv, mkexpr( src ) ) == Ity_I64 )
3983 || ( typeOfIRExpr(irsb->tyenv, mkexpr( src ) ) == Ity_F128 ) );
4075 vassert( typeOfIRExpr(irsb->tyenv, src ) == Ity_I32 );
6241 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
6260 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
8320 Bool is32bit = typeOfIRExpr(irsb->tyenv, argL0 ) == Ity_I32;
8337 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 );
8338 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 );
8340 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
8341 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
9195 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
9214 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
27898 vex_inject_ir(irsb, Iend_BE);
27900 vex_inject_ir(irsb, Iend_LE);
29477 DisResult disInstr_PPC ( IRSB* irsb_IN,
29527 irsb = irsb_IN;
