19 __naked void bounds_map_value_variant_1(void)  in bounds_map_value_variant_1()  argument
51 __naked void bounds_map_value_variant_2(void)  in bounds_map_value_variant_2()  argument
81 __naked void subtraction_on_pointers_for_unpriv(void)  in subtraction_on_pointers_for_unpriv()  argument
113 __naked void based_on_zero_extended_mov(void)  in based_on_zero_extended_mov()  argument
144 __naked void on_sign_extended_mov_test1(void)  in on_sign_extended_mov_test1()  argument
175 __naked void on_sign_extended_mov_test2(void)  in on_sign_extended_mov_test2()  argument
205 __naked void var_off_insn_off_test1(void)  in var_off_insn_off_test1()  argument
234 __naked void var_off_insn_off_test2(void)  in var_off_insn_off_test2()  argument
264 __naked void of_non_boundary_crossing_range(void)  in of_non_boundary_crossing_range()  argument
306 __naked void of_boundary_crossing_range_1(void)  in of_boundary_crossing_range_1()  argument
346 __naked void of_boundary_crossing_range_2(void)  in of_boundary_crossing_range_2()  argument
387 __naked void after_wrapping_32_bit_addition(void)  in after_wrapping_32_bit_addition()  argument
420 __naked void shift_with_oversized_count_operand(void)  in shift_with_oversized_count_operand()  argument
453 __naked void shift_of_maybe_negative_number(void)  in shift_of_maybe_negative_number()  argument
488 __naked void shift_with_64_bit_input(void)  in shift_with_64_bit_input()  argument
520 __naked void size_signed_32bit_overflow_test1(void)  in size_signed_32bit_overflow_test1()  argument
545 __naked void size_signed_32bit_overflow_test2(void)  in size_signed_32bit_overflow_test2()  argument
572 __naked void size_signed_32bit_overflow_test3(void)  in size_signed_32bit_overflow_test3()  argument
598 __naked void size_signed_32bit_overflow_test4(void)  in size_signed_32bit_overflow_test4()  argument
625 __naked void _32bit_and_64bit_arithmetic_test1(void)  in _32bit_and_64bit_arithmetic_test1()  argument
648 __naked void _32bit_and_64bit_arithmetic_test2(void)  in _32bit_and_64bit_arithmetic_test2()  argument
697 __naked void reg_0_reg_xor_1(void)  in reg_0_reg_xor_1()  argument
725 __naked void reg32_0_reg32_xor_1(void)  in reg32_0_reg32_xor_1()  argument
753 __naked void reg_2_reg_xor_3(void)  in reg_2_reg_xor_3()  argument
780 __naked void reg_any_reg_xor_3(void)  in reg_any_reg_xor_3()  argument
807 __naked void reg32_any_reg32_xor_3(void)  in reg32_any_reg32_xor_3()  argument
835 __naked void reg_0_reg_xor_3(void)  in reg_0_reg_xor_3()  argument
864 __naked void reg32_0_reg32_xor_3(void)  in reg32_0_reg32_xor_3()  argument
892 __naked void non_const_xor_src_dst(void)  in non_const_xor_src_dst()  argument
913 __naked void non_const_or_src_dst(void)  in non_const_or_src_dst()  argument
934 __naked void non_const_mul_regs(void)  in non_const_mul_regs()  argument
955 __naked void _32_bit_truncation_test_1(void)  in _32_bit_truncation_test_1()  argument
981 __naked void _32_bit_truncation_test_2(void)  in _32_bit_truncation_test_2()  argument
1005 __naked void crossing_64_bit_signed_boundary_1(void)  in crossing_64_bit_signed_boundary_1()  argument
1032 __naked void crossing_64_bit_signed_boundary_2(void)  in crossing_64_bit_signed_boundary_2()  argument
1062 __naked void bound_greater_than_u32_max(void)  in bound_greater_than_u32_max()  argument
1087 __naked void crossing_32_bit_signed_boundary_1(void)  in crossing_32_bit_signed_boundary_1()  argument
1114 __naked void crossing_32_bit_signed_boundary_2(void)  in crossing_32_bit_signed_boundary_2()  argument
1144 __naked void reg_not_equal_const(void)  in reg_not_equal_const()  argument
1178 __naked void reg_equal_const(void)  in reg_equal_const()  argument
1207 __naked void mult_mixed0_sign(void)  in mult_mixed0_sign()  argument
1230 __naked void mult_mixed1_sign(void)  in mult_mixed1_sign()  argument
1253 __naked void mult_sign_bounds(void)  in mult_sign_bounds()  argument
1277 __naked void mult_no_sign_crossing(void)  in mult_no_sign_crossing()  argument
1297 __naked void mult_unsign_ovf(void)  in mult_unsign_ovf()  argument
1319 __naked void mult_sign_ovf(void)  in mult_sign_ovf()  argument