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 _32_bit_truncation_test_1(void)  in _32_bit_truncation_test_1()  argument
918 __naked void _32_bit_truncation_test_2(void)  in _32_bit_truncation_test_2()  argument
942 __naked void crossing_64_bit_signed_boundary_1(void)  in crossing_64_bit_signed_boundary_1()  argument
969 __naked void crossing_64_bit_signed_boundary_2(void)  in crossing_64_bit_signed_boundary_2()  argument
999 __naked void bound_greater_than_u32_max(void)  in bound_greater_than_u32_max()  argument
1024 __naked void crossing_32_bit_signed_boundary_1(void)  in crossing_32_bit_signed_boundary_1()  argument
1051 __naked void crossing_32_bit_signed_boundary_2(void)  in crossing_32_bit_signed_boundary_2()  argument
1081 __naked void reg_not_equal_const(void)  in reg_not_equal_const()  argument
1115 __naked void reg_equal_const(void)  in reg_equal_const()  argument