Lines Matching refs:IRSB
160 /* The IRSB* into which we're generating code. */
161 static IRSB* irsb;
388 /* Add a statement to the list held by "irsb". */
391 addStmtToIRSB( irsb, st );
398 return newIRTemp( irsb->tyenv, ty );
458 IRType tyA = typeOfIRExpr(irsb->tyenv, addr);
517 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
518 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
525 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
526 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
537 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
555 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
573 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
591 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
612 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
639 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
663 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
686 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
704 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
705 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
706 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
707 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
721 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
722 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
723 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
724 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
757 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
763 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
930 vassert(typeOfIRExpr(irsb->tyenv, e) == ty );
987 vassert(typeOfIRExpr(irsb
1044 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1083 vassert(typeOfIRExpr(irsb->tyenv,rot_amt) == Ity_I8);
1085 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1172 vassert(typeOfIRExpr(irsb->tyenv,addr) == ty);
1184 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1195 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1223 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1230 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
1278 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1285 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1330 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32);
1390 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 ||
1391 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
1417 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_V128);
1459 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1467 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1475 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1483 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1535 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
1536 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
1537 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
1646 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
1647 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
1648 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
1765 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
1766 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
1767 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
1768 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32);
1883 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
1884 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
1885 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
1886 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2203 IRType ty_src = typeOfIRExpr(irsb->tyenv,src );
2266 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
2324 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
2965 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
2984 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
4491 irsb->jumpkind = flag_LK ? Ijk_Call : Ijk_Boring;
4492 irsb->next = mkSzImm(ty, tgt);
4530 irsb->jumpkind = Ijk_Boring;
4531 irsb->next = e_nia;
4570 irsb->jumpkind = flag_LK ? Ijk_Call : Ijk_Boring;
4571 irsb->next = mkexpr(lr_old);
4613 irsb->jumpkind = Ijk_Ret; /* was flag_LK ? Ijk_Call : Ijk_Ret; */
4614 irsb->next = mkexpr(lr_old);
4739 Bool is32bit = typeOfIRExpr(irsb->tyenv, argL0 ) == Ity_I32;
4756 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 );
4757 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 );
4759 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
4760 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
4861 irsb->next = mkSzImm( ty, nextInsnAddr() );
4862 irsb->jumpkind = Ijk_Boring;
4915 irsb->next = mkSzImm( ty, nextInsnAddr() );
4916 irsb->jumpkind = Ijk_Boring;
4948 irsb->next = abiinfo->guest_ppc_sc_continues_at_LR
4951 irsb->jumpkind = Ijk_Sys_syscall;
5419 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
5438 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
5901 irsb->jumpkind = Ijk_TInval;
5902 irsb->next = mkSzImm(ty, nextInsnAddr());
9336 irsb->next = mkSzImm( ty, guest_CIA_bbstart + delta );
9337 irsb->jumpkind = Ijk_ClientReq;
9356 irsb->next = getIReg(11);
9357 irsb->jumpkind = Ijk_NoRedir;
9744 irsb->next = mkSzImm(ty, nextInsnAddr());
9745 irsb->jumpkind = Ijk_Boring;
10051 irsb->next = mkSzImm(ty, guest_CIA_curr_instr);
10052 irsb->jumpkind = Ijk_NoDecode;
10082 DisResult disInstr_PPC ( IRSB* irsb_IN,
10121 irsb = irsb_IN;