47 __naked void value_ptr_unknown_vs_const(void)  in value_ptr_unknown_vs_const()  argument
85 __naked void value_ptr_const_vs_unknown(void)  in value_ptr_const_vs_unknown()  argument
123 __naked void ptr_const_vs_const_ne(void)  in ptr_const_vs_const_ne()  argument
157 __naked void ptr_const_vs_const_eq(void)  in ptr_const_vs_const_eq()  argument
191 __naked void ptr_unknown_vs_unknown_eq(void)  in ptr_unknown_vs_unknown_eq()  argument
231 __naked void ptr_unknown_vs_unknown_lt(void)  in ptr_unknown_vs_unknown_lt()  argument
271 __naked void ptr_unknown_vs_unknown_gt(void)  in ptr_unknown_vs_unknown_gt()  argument
309 __naked void value_ptr_from_different_maps(void)  in value_ptr_from_different_maps()  argument
341 __naked void known_scalar_from_different_maps(void)  in known_scalar_from_different_maps()  argument
372 __naked void maps_but_same_value_properties(void)  in maps_but_same_value_properties()  argument
403 __naked void value_pointer_and_scalar_1(void)  in value_pointer_and_scalar_1()  argument
455 __naked void value_pointer_and_scalar_2(void)  in value_pointer_and_scalar_2()  argument
507 __naked void alu_with_different_scalars_1(void)  in alu_with_different_scalars_1()  argument
538 __naked void alu_with_different_scalars_2(void)  in alu_with_different_scalars_2()  argument
571 __naked void alu_with_different_scalars_3(void)  in alu_with_different_scalars_3()  argument
596 __naked void upper_oob_arith_test_1(void)  in upper_oob_arith_test_1()  argument
623 __naked void upper_oob_arith_test_2(void)  in upper_oob_arith_test_2()  argument
648 __naked void upper_oob_arith_test_3(void)  in upper_oob_arith_test_3()  argument
675 __naked void lower_oob_arith_test_1(void)  in lower_oob_arith_test_1()  argument
703 __naked void lower_oob_arith_test_2(void)  in lower_oob_arith_test_2()  argument
731 __naked void lower_oob_arith_test_3(void)  in lower_oob_arith_test_3()  argument
757 __naked void access_known_scalar_value_ptr_1(void)  in access_known_scalar_value_ptr_1()  argument
781 __naked void value_ptr_known_scalar_1(void)  in value_ptr_known_scalar_1()  argument
806 __naked void value_ptr_known_scalar_2_1(void)  in value_ptr_known_scalar_2_1()  argument
831 __naked void value_ptr_known_scalar_3(void)  in value_ptr_known_scalar_3()  argument
855 __naked void value_ptr_known_scalar_4(void)  in value_ptr_known_scalar_4()  argument
883 __naked void value_ptr_known_scalar_5(void)  in value_ptr_known_scalar_5()  argument
907 __naked void value_ptr_known_scalar_6(void)  in value_ptr_known_scalar_6()  argument
934 __naked void value_ptr_n_known_scalar(void)  in value_ptr_n_known_scalar()  argument
960 __naked void unknown_scalar_value_ptr_1(void)  in unknown_scalar_value_ptr_1()  argument
1067 __naked void value_ptr_unknown_scalar_1(void)  in value_ptr_unknown_scalar_1()  argument
1116 __naked void value_ptr_unknown_scalar_3(void)  in value_ptr_unknown_scalar_3()  argument
1149 __naked void access_value_ptr_value_ptr_1(void)  in access_value_ptr_value_ptr_1()  argument
1173 __naked void access_known_scalar_value_ptr_2(void)  in access_known_scalar_value_ptr_2()  argument
1198 __naked void access_value_ptr_known_scalar(void)  in access_value_ptr_known_scalar()  argument
1222 __naked void value_ptr_known_scalar_2_2(void)  in value_ptr_known_scalar_2_2()  argument
1249 __naked void access_unknown_scalar_value_ptr(void)  in access_unknown_scalar_value_ptr()  argument
1275 __naked void access_value_ptr_unknown_scalar(void)  in access_value_ptr_unknown_scalar()  argument
1302 __naked void value_ptr_unknown_scalar_2_2(void)  in value_ptr_unknown_scalar_2_2()  argument
1332 __naked void access_value_ptr_value_ptr_2(void)  in access_value_ptr_value_ptr_2()  argument
1356 __naked void to_leak_tainted_dst_reg(void)  in to_leak_tainted_dst_reg()  argument