56 	r1 = %[map_hash_16b] ll;			\  in value_ptr_unknown_vs_const()
58 l0_%=:	r1 = %[map_array_48b] ll;			\  in value_ptr_unknown_vs_const()
94 	r1 = %[map_hash_16b] ll;			\  in value_ptr_const_vs_unknown()
96 l0_%=:	r1 = %[map_array_48b] ll;			\  in value_ptr_const_vs_unknown()
132 	r1 = %[map_hash_16b] ll;			\  in ptr_const_vs_const_ne()
134 l0_%=:	r1 = %[map_array_48b] ll;			\  in ptr_const_vs_const_ne()
166 	r1 = %[map_hash_16b] ll;			\  in ptr_const_vs_const_eq()
168 l0_%=:	r1 = %[map_array_48b] ll;			\  in ptr_const_vs_const_eq()
200 	r1 = %[map_hash_16b] ll;			\  in ptr_unknown_vs_unknown_eq()
202 l0_%=:	r1 = %[map_array_48b] ll;			\  in ptr_unknown_vs_unknown_eq()
240 	r1 = %[map_hash_16b] ll;			\  in ptr_unknown_vs_unknown_lt()
242 l0_%=:	r1 = %[map_array_48b] ll;			\  in ptr_unknown_vs_unknown_lt()
280 	r1 = %[map_hash_16b] ll;			\  in ptr_unknown_vs_unknown_gt()
282 l0_%=:	r1 = %[map_array_48b] ll;			\  in ptr_unknown_vs_unknown_gt()
318 	r1 = %[map_hash_16b] ll;			\  in value_ptr_from_different_maps()
320 l0_%=:	r1 = %[map_array_48b] ll;			\  in value_ptr_from_different_maps()
350 	r1 = %[map_hash_16b] ll;			\  in known_scalar_from_different_maps()
352 l0_%=:	r1 = %[map_array_48b] ll;			\  in known_scalar_from_different_maps()
381 	r1 = %[map_hash_48b] ll;			\  in maps_but_same_value_properties()
383 l0_%=:	r1 = %[map_array_48b] ll;			\  in maps_but_same_value_properties()
408 	r1 = %[map_array_48b] ll;			\  in value_pointer_and_scalar_1()
460 	r1 = %[map_array_48b] ll;			\  in value_pointer_and_scalar_2()
511 	r1 = %[map_array_48b] ll;			\  in alu_with_different_scalars_1()
542 	r1 = %[map_array_48b] ll;			\  in alu_with_different_scalars_2()
603 	r1 = %[map_array_48b] ll;			\  in upper_oob_arith_test_1()
630 	r1 = %[map_array_48b] ll;			\  in upper_oob_arith_test_2()
655 	r1 = %[map_array_48b] ll;			\  in upper_oob_arith_test_3()
682 	r1 = %[map_array_48b] ll;			\  in lower_oob_arith_test_1()
710 	r1 = %[map_array_48b] ll;			\  in lower_oob_arith_test_2()
738 	r1 = %[map_array_48b] ll;			\  in lower_oob_arith_test_3()
764 	r1 = %[map_array_48b] ll;			\  in access_known_scalar_value_ptr_1()
788 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_1()
813 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_2_1()
838 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_3()
862 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_4()
890 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_5()
914 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_6()
941 	r1 = %[map_array_48b] ll;			\  in value_ptr_n_known_scalar()
967 	r1 = %[map_array_48b] ll;			\  in unknown_scalar_value_ptr_1()
992 	r1 = %[map_array_48b] ll;			\  in __flag()
1018 	r1 = %[map_array_48b] ll;			\  in __flag()
1048 	r1 = %[map_array_48b] ll;			\  in __flag()
1074 	r1 = %[map_array_48b] ll;			\  in value_ptr_unknown_scalar_1()
1099 	r1 = %[map_array_48b] ll;			\  in __flag()
1123 	r1 = %[map_array_48b] ll;			\  in value_ptr_unknown_scalar_3()
1156 	r1 = %[map_array_48b] ll;			\  in access_value_ptr_value_ptr_1()
1180 	r1 = %[map_array_48b] ll;			\  in access_known_scalar_value_ptr_2()
1205 	r1 = %[map_array_48b] ll;			\  in access_value_ptr_known_scalar()
1229 	r1 = %[map_array_48b] ll;			\  in value_ptr_known_scalar_2_2()
1256 	r1 = %[map_array_48b] ll;			\  in access_unknown_scalar_value_ptr()
1282 	r1 = %[map_array_48b] ll;			\  in access_value_ptr_unknown_scalar()
1309 	r1 = %[map_array_48b] ll;			\  in value_ptr_unknown_scalar_2_2()
1339 	r1 = %[map_array_48b] ll;			\  in access_value_ptr_value_ptr_2()
1364 	r1 = %[map_array_48b] ll;			\  in to_leak_tainted_dst_reg()