Lines Matching refs:guest_word_type
195 /*IN*/ IRType guest_word_type,
230 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);
232 if (guest_word_type == Ity_I32) {
258 = guest_word_type==Ity_I32
418 == guest_word_type, but that's a bit expensive. */
443 irsb->next = IRExpr_Get(offB_GUEST_IP, guest_word_type);
453 irsb->next = IRExpr_Get(offB_GUEST_IP, guest_word_type);
672 tistart_tmp = newIRTemp(irsb->tyenv, guest_word_type);
673 tilen_tmp = newIRTemp(irsb->tyenv, guest_word_type);
676 = guest_word_type==Ity_I32 ? IRConst_U32(toUInt(base2check))
679 = guest_word_type==Ity_I32 ? IRConst_U32(len2check)
