Lines Matching refs:guest_word_type
356 IRType guest_word_type;
375 guest_word_type = Ity_INVALID;
602 guest_word_type = Ity_I32;
623 guest_word_type = Ity_I64;
644 guest_word_type = Ity_I32;
665 guest_word_type = Ity_I64;
688 guest_word_type = Ity_I64;
709 guest_word_type = Ity_I32;
730 guest_word_type = Ity_I64;
751 guest_word_type = Ity_I32;
773 guest_word_type = Ity_I64;
795 guest_word_type = Ity_I64;
862 guest_word_type,
911 False/*can be non-flat*/, guest_word_type );
920 True/*must be flat*/, guest_word_type );
938 guest_word_type, host_word_type);
946 guest_word_type, host_word_type);
958 True/*must be flat*/, guest_word_type );
966 True/*must be flat*/, guest_word_type );
