26 	r1 = %[map_hash_8b] ll;				\  in bounds_map_value_variant_1()
58 	r1 = %[map_hash_8b] ll;				\  in bounds_map_value_variant_2()
85 	r1 = %[map_hash_8b] ll;				\  in subtraction_on_pointers_for_unpriv()
93 	r1 = %[map_hash_8b] ll;				\  in subtraction_on_pointers_for_unpriv()
120 	r1 = %[map_hash_8b] ll;				\  in based_on_zero_extended_mov()
151 	r1 = %[map_hash_8b] ll;				\  in on_sign_extended_mov_test1()
182 	r1 = %[map_hash_8b] ll;				\  in on_sign_extended_mov_test2()
213 	r1 = %[map_hash_8b] ll;				\  in var_off_insn_off_test1()
242 	r1 = %[map_hash_8b] ll;				\  in var_off_insn_off_test2()
271 	r1 = %[map_hash_8b] ll;				\  in of_non_boundary_crossing_range()
313 	r1 = %[map_hash_8b] ll;				\  in of_boundary_crossing_range_1()
353 	r1 = %[map_hash_8b] ll;				\  in of_boundary_crossing_range_2()
394 	r1 = %[map_hash_8b] ll;				\  in after_wrapping_32_bit_addition()
427 	r1 = %[map_hash_8b] ll;				\  in shift_with_oversized_count_operand()
460 	r1 = %[map_hash_8b] ll;				\  in shift_of_maybe_negative_number()
495 	r1 = %[map_hash_8b] ll;				\  in shift_with_64_bit_input()
527 	r1 = %[map_hash_8b] ll;				\  in size_signed_32bit_overflow_test1()
552 	r1 = %[map_hash_8b] ll;				\  in size_signed_32bit_overflow_test2()
579 	r1 = %[map_hash_8b] ll;				\  in size_signed_32bit_overflow_test3()
605 	r1 = %[map_hash_8b] ll;				\  in size_signed_32bit_overflow_test4()
704 	r1 = %[map_hash_8b] ll;				\  in reg_0_reg_xor_1()
732 	r1 = %[map_hash_8b] ll;				\  in reg32_0_reg32_xor_1()
760 	r1 = %[map_hash_8b] ll;				\  in reg_2_reg_xor_3()
787 	r1 = %[map_hash_8b] ll;				\  in reg_any_reg_xor_3()
814 	r1 = %[map_hash_8b] ll;				\  in reg32_any_reg32_xor_3()
842 	r1 = %[map_hash_8b] ll;				\  in reg_0_reg_xor_3()
871 	r1 = %[map_hash_8b] ll;				\  in reg32_0_reg32_xor_3()
962 	r1 = %[map_hash_8b] ll;				\  in _32_bit_truncation_test_1()
988 	r1 = %[map_hash_8b] ll;				\  in _32_bit_truncation_test_2()
1014 	r0 = 0x7fffffffffffff10 ll;			\  in crossing_64_bit_signed_boundary_1()
1016 	r0 = 0x8000000000000000 ll;			\  in crossing_64_bit_signed_boundary_1()
1041 	r0 = 0x7fffffffffffff10 ll;			\  in crossing_64_bit_signed_boundary_2()
1043 	r2 = 0x8000000000000fff ll;			\  in crossing_64_bit_signed_boundary_2()
1044 	r0 = 0x8000000000000000 ll;			\  in crossing_64_bit_signed_boundary_2()
1071 	r0 = 0x100000000 ll;				\  in bound_greater_than_u32_max()
1073 	r0 = 0x100000000 ll;				\  in bound_greater_than_u32_max()
1281 	"r8 = 0xb3c3f8c99262687 ll;"  in mult_no_sign_crossing()
1300 	"r8 = 0x7ffffffffff ll;"  in mult_unsign_ovf()
1322 	"r8 = 0x7ffffffff ll;"  in mult_sign_ovf()