OfflineASL (aslp_lifter_ocaml.aslp_lifter

Sourcemodule Aarch64_branch_conditional_compare : sig ... end

Sourcemodule Aarch64_branch_conditional_cond : sig ... end

Sourcemodule Aarch64_branch_conditional_test : sig ... end

Sourcemodule Aarch64_branch_unconditional_dret : sig ... end

Sourcemodule Aarch64_branch_unconditional_eret : sig ... end

Sourcemodule Aarch64_branch_unconditional_immediate : sig ... end

Sourcemodule Aarch64_branch_unconditional_register : sig ... end

Sourcemodule Aarch64_float_arithmetic_add_sub : sig ... end

Sourcemodule Aarch64_float_arithmetic_div : sig ... end

Sourcemodule Aarch64_float_arithmetic_max_min : sig ... end

Sourcemodule Aarch64_float_arithmetic_mul_add_sub : sig ... end

Sourcemodule Aarch64_float_arithmetic_mul_product : sig ... end

Sourcemodule Aarch64_float_arithmetic_round_frint : sig ... end

Sourcemodule Aarch64_float_arithmetic_round_frint_32_64 : sig ... end

Sourcemodule Aarch64_float_arithmetic_unary : sig ... end

Sourcemodule Aarch64_float_compare_cond : sig ... end

Sourcemodule Aarch64_float_compare_uncond : sig ... end

Sourcemodule Aarch64_float_convert_fix : sig ... end

Sourcemodule Aarch64_float_convert_fp : sig ... end

Sourcemodule Aarch64_float_convert_int : sig ... end

Sourcemodule Aarch64_float_move_fp_imm : sig ... end

Sourcemodule Aarch64_float_move_fp_select : sig ... end

Sourcemodule Aarch64_integer_arithmetic_add_sub_carry : sig ... end

Sourcemodule Aarch64_integer_arithmetic_add_sub_extendedreg : sig ... end

Sourcemodule Aarch64_integer_arithmetic_add_sub_immediate : sig ... end

Sourcemodule Aarch64_integer_arithmetic_add_sub_shiftedreg : sig ... end

Sourcemodule Aarch64_integer_arithmetic_address_pc_rel : sig ... end

Sourcemodule Aarch64_integer_arithmetic_cnt : sig ... end

Sourcemodule Aarch64_integer_arithmetic_div : sig ... end

Sourcemodule Aarch64_integer_arithmetic_mul_uniform_add_sub : sig ... end

Sourcemodule Aarch64_integer_arithmetic_mul_widening_32_64 : sig ... end

Sourcemodule Aarch64_integer_arithmetic_mul_widening_64_128hi : sig ... end

Sourcemodule Aarch64_integer_arithmetic_pointer_mcsubtracttaggedaddress : sig ... end

Source

module Aarch64_integer_arithmetic_pointer_mcsubtracttaggedaddresssetflags : 
  sig ... end

Sourcemodule Aarch64_integer_arithmetic_rbit : sig ... end

Sourcemodule Aarch64_integer_arithmetic_rev : sig ... end

Sourcemodule Aarch64_integer_bitfield : sig ... end

Sourcemodule Aarch64_integer_conditional_compare_immediate : sig ... end

Sourcemodule Aarch64_integer_conditional_compare_register : sig ... end

Sourcemodule Aarch64_integer_conditional_select : sig ... end

Sourcemodule Aarch64_integer_crc : sig ... end

Sourcemodule Aarch64_integer_flags_axflag : sig ... end

Sourcemodule Aarch64_integer_flags_cfinv : sig ... end

Sourcemodule Aarch64_integer_flags_rmif : sig ... end

Sourcemodule Aarch64_integer_flags_setf : sig ... end

Sourcemodule Aarch64_integer_flags_xaflag : sig ... end

Sourcemodule Aarch64_integer_ins_ext_extract_immediate : sig ... end

Sourcemodule Aarch64_integer_ins_ext_insert_movewide : sig ... end

Sourcemodule Aarch64_integer_logical_immediate : sig ... end

Sourcemodule Aarch64_integer_logical_shiftedreg : sig ... end

Sourcemodule Aarch64_integer_pac_autda_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_autdb_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_autia_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_autia_hint : sig ... end

Sourcemodule Aarch64_integer_pac_autib_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_autib_hint : sig ... end

Sourcemodule Aarch64_integer_pac_pacda_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_pacdb_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_pacia_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_pacia_hint : sig ... end

Sourcemodule Aarch64_integer_pac_pacib_dp_1src : sig ... end

Sourcemodule Aarch64_integer_pac_pacib_hint : sig ... end

Sourcemodule Aarch64_integer_pac_strip_hint : sig ... end

Sourcemodule Aarch64_integer_shift_variable : sig ... end

Sourcemodule Aarch64_integer_tags_mcaddtag : sig ... end

Sourcemodule Aarch64_integer_tags_mcgettag : sig ... end

Sourcemodule Aarch64_integer_tags_mcgettagarray : sig ... end

Sourcemodule Aarch64_integer_tags_mcinsertrandomtag : sig ... end

Sourcemodule Aarch64_integer_tags_mcinserttagmask : sig ... end

Sourcemodule Aarch64_integer_tags_mcsettagandzeroarray : sig ... end

Sourcemodule Aarch64_integer_tags_mcsettagarray : sig ... end

Sourcemodule Aarch64_integer_tags_mcsubtag : sig ... end

Sourcemodule Aarch64_memory_atomicops_cas_pair : sig ... end

Sourcemodule Aarch64_memory_atomicops_cas_single : sig ... end

Sourcemodule Aarch64_memory_atomicops_ld : sig ... end

Sourcemodule Aarch64_memory_atomicops_swp : sig ... end

Sourcemodule Aarch64_memory_exclusive_pair : sig ... end

Sourcemodule Aarch64_memory_exclusive_single : sig ... end

Sourcemodule Aarch64_memory_literal_general : sig ... end

Sourcemodule Aarch64_memory_literal_simdfp : sig ... end

Sourcemodule Aarch64_memory_ordered : sig ... end

Sourcemodule Aarch64_memory_ordered_rcpc : sig ... end

Sourcemodule Aarch64_memory_pair_general_no_alloc : sig ... end

Sourcemodule Aarch64_memory_pair_general_offset : sig ... end

Sourcemodule Aarch64_memory_pair_general_post_idx : sig ... end

Sourcemodule Aarch64_memory_pair_general_pre_idx : sig ... end

Sourcemodule Aarch64_memory_pair_simdfp_no_alloc : sig ... end

Sourcemodule Aarch64_memory_pair_simdfp_offset : sig ... end

Sourcemodule Aarch64_memory_pair_simdfp_post_idx : sig ... end

Sourcemodule Aarch64_memory_pair_simdfp_pre_idx : sig ... end

Source

module Aarch64_memory_single_general_immediate_signed_offset_lda_stl : 
  sig ... end

Source

module Aarch64_memory_single_general_immediate_signed_offset_normal : 
  sig ... end

Source

module Aarch64_memory_single_general_immediate_signed_offset_unpriv : 
  sig ... end

Sourcemodule Aarch64_memory_single_general_immediate_signed_pac : sig ... end

Sourcemodule Aarch64_memory_single_general_immediate_signed_post_idx : sig ... end

Sourcemodule Aarch64_memory_single_general_immediate_signed_pre_idx : sig ... end

Sourcemodule Aarch64_memory_single_general_immediate_unsigned : sig ... end

Sourcemodule Aarch64_memory_single_general_register : sig ... end

Source

module Aarch64_memory_single_simdfp_immediate_signed_offset_normal : 
  sig ... end

Sourcemodule Aarch64_memory_single_simdfp_immediate_signed_post_idx : sig ... end

Sourcemodule Aarch64_memory_single_simdfp_immediate_signed_pre_idx : sig ... end

Sourcemodule Aarch64_memory_single_simdfp_immediate_unsigned : sig ... end

Sourcemodule Aarch64_memory_single_simdfp_register : sig ... end

Sourcemodule Aarch64_memory_vector_multiple_no_wb : sig ... end

Sourcemodule Aarch64_memory_vector_multiple_post_inc : sig ... end

Sourcemodule Aarch64_memory_vector_single_no_wb : sig ... end

Sourcemodule Aarch64_memory_vector_single_post_inc : sig ... end

Sourcemodule Aarch64_system_barriers_dmb : sig ... end

Sourcemodule Aarch64_system_barriers_dsb : sig ... end

Sourcemodule Aarch64_system_barriers_isb : sig ... end

Sourcemodule Aarch64_system_exceptions_debug_breakpoint : sig ... end

Sourcemodule Aarch64_system_exceptions_debug_halt : sig ... end

Sourcemodule Aarch64_system_exceptions_runtime_hvc : sig ... end

Sourcemodule Aarch64_system_monitors : sig ... end

Sourcemodule Aarch64_system_register_cpsr : sig ... end

Sourcemodule Aarch64_system_sysops : sig ... end

Sourcemodule Aarch64_udf : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_add_sub_long : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_add_sub_narrow : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_add_sub_wide : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_diff : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_accum : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_dmacc_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_dmacc_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_double_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_double_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_poly : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_disparate_mul_product : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_bfdot : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_dotp : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mat_mul_int_dotp : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_bf16_long : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_complex : sig ... end

Source

module Aarch64_vector_arithmetic_binary_element_mul_acc_double_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_element_mul_acc_double_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_fp_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_fp_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_high_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_high_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_int : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_acc_long : sig ... end

Source

module Aarch64_vector_arithmetic_binary_element_mul_acc_mul_norounding_i_lower : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_element_mul_acc_mul_norounding_i_upper : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_double_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_double_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_fp_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_fp_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_high_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_high_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_int : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_element_mul_long : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_add_fp : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_add_fp16 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_add_fp_complex : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_halving_rounding : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_halving_truncating : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_saturating_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_saturating_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_add_wrapping_pair : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_wrapping_single_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_add_wrapping_single_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_bitwise_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_bitwise_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_fp_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_fp_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_int_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_cmp_int_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_diff : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_div : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_div_fp16 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_logical_and_orr : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_logical_bsl_eor : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mat_mul_int_mla : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mat_mul_int_usdot : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_fp16_1985 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_fp16_2008 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_fp_1985 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_fp_2008 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_pair : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_max_min_single : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_acc_bf16_long : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp16_extended_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp16_extended_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_fp16_fused : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_fp16_product : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_fp_complex : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp_extended_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp_extended_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_fp_fused : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp_mul_norounding_lower : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_fp_mul_norounding_upper : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_fp_product : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_int_accum : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_int_bfdot : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_int_dotp : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_int_doubling_accum_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_int_doubling_accum_sisd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_int_doubling_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_mul_int_doubling_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_mul_int_product : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_recps_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_recps_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_recps_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_recps_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_rsqrts_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_rsqrts_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_rsqrts_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_rsqrts_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_shift_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_shift_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_sub_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_sub_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_sub_fp_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_sub_fp_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_binary_uniform_sub_int : sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_sub_saturating_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_binary_uniform_sub_saturating_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_add_pairwise : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_add_saturating_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_add_saturating_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_clsz : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_float_bulk_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_float_bulk_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_float_lessthan_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_float_lessthan_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_fp16_bulk_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_fp16_bulk_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_fp16_lessthan_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_fp16_lessthan_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_int_bulk_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_int_bulk_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_int_lessthan_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cmp_int_lessthan_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_cnt : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_float : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_fp16 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_int_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_int_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_sat_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_diff_neg_sat_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_extract_nosat : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_extract_sat_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_extract_sat_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_extract_sqxtun_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_extract_sqxtun_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_conv_float_bulk_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_conv_float_bulk_sisd : sig ... end

Source

module Aarch64_vector_arithmetic_unary_float_conv_float_tieaway_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_unary_float_conv_float_tieaway_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_conv_int_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_conv_int_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_narrow : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_round : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_round_frint_32_64 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_widen : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_xtn_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_float_xtn_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_fp16_conv_float_bulk_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_fp16_conv_float_bulk_sisd : sig ... end

Source

module Aarch64_vector_arithmetic_unary_fp16_conv_float_tieaway_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_unary_fp16_conv_float_tieaway_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_fp16_conv_int_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_fp16_conv_int_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_fp16_round : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_not : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_rbit : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_rev : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_shift : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_frecpx : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_frecpx_fp16 : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_recip_float_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_recip_float_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_recip_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_recip_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_recip_int : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_sqrt : sig ... end

Source

module Aarch64_vector_arithmetic_unary_special_sqrt_est_float_simd : 
  sig ... end

Source

module Aarch64_vector_arithmetic_unary_special_sqrt_est_float_sisd : 
  sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_sqrt_est_fp16_simd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_sqrt_est_fp16_sisd : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_sqrt_est_int : sig ... end

Sourcemodule Aarch64_vector_arithmetic_unary_special_sqrt_fp16 : sig ... end

Sourcemodule Aarch64_vector_bfmmla : sig ... end

Sourcemodule Aarch64_vector_crypto_aes_mix : sig ... end

Sourcemodule Aarch64_vector_crypto_aes_round : sig ... end

Sourcemodule Aarch64_vector_crypto_sha2op_sha1_hash : sig ... end

Sourcemodule Aarch64_vector_crypto_sha2op_sha1_sched1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha2op_sha256_sched0 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3_bcax : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3_eor3 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3_rax1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3_xar : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha1_hash_choose : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha1_hash_majority : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha1_hash_parity : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha1_sched0 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha256_hash : sig ... end

Sourcemodule Aarch64_vector_crypto_sha3op_sha256_sched1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha512_sha512h : sig ... end

Sourcemodule Aarch64_vector_crypto_sha512_sha512h2 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha512_sha512su0 : sig ... end

Sourcemodule Aarch64_vector_crypto_sha512_sha512su1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3partw1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3partw2 : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3ss1 : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3tt1a : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3tt1b : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3tt2a : sig ... end

Sourcemodule Aarch64_vector_crypto_sm3_sm3tt2b : sig ... end

Sourcemodule Aarch64_vector_crypto_sm4_sm4enc : sig ... end

Sourcemodule Aarch64_vector_crypto_sm4_sm4enckey : sig ... end

Sourcemodule Aarch64_vector_cvt_bf16_scalar : sig ... end

Sourcemodule Aarch64_vector_cvt_bf16_vector : sig ... end

Sourcemodule Aarch64_vector_fp16_movi : sig ... end

Sourcemodule Aarch64_vector_logical : sig ... end

Sourcemodule Aarch64_vector_reduce_add_long : sig ... end

Sourcemodule Aarch64_vector_reduce_add_simd : sig ... end

Sourcemodule Aarch64_vector_reduce_add_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp16_add_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp16_max_simd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp16_max_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp16_maxnm_simd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp16_maxnm_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp_add_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp_max_simd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp_max_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp_maxnm_simd : sig ... end

Sourcemodule Aarch64_vector_reduce_fp_maxnm_sisd : sig ... end

Sourcemodule Aarch64_vector_reduce_int_max : sig ... end

Sourcemodule Aarch64_vector_shift_conv_float_simd : sig ... end

Sourcemodule Aarch64_vector_shift_conv_float_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_conv_int_simd : sig ... end

Sourcemodule Aarch64_vector_shift_conv_int_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_left_insert_simd : sig ... end

Sourcemodule Aarch64_vector_shift_left_insert_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_left_long : sig ... end

Sourcemodule Aarch64_vector_shift_left_sat_simd : sig ... end

Sourcemodule Aarch64_vector_shift_left_sat_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_left_simd : sig ... end

Sourcemodule Aarch64_vector_shift_left_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_right_insert_simd : sig ... end

Sourcemodule Aarch64_vector_shift_right_insert_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_right_narrow_logical : sig ... end

Sourcemodule Aarch64_vector_shift_right_narrow_nonuniform_simd : sig ... end

Sourcemodule Aarch64_vector_shift_right_narrow_nonuniform_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_right_narrow_uniform_simd : sig ... end

Sourcemodule Aarch64_vector_shift_right_narrow_uniform_sisd : sig ... end

Sourcemodule Aarch64_vector_shift_right_simd : sig ... end

Sourcemodule Aarch64_vector_shift_right_sisd : sig ... end

Sourcemodule Aarch64_vector_transfer_integer_dup : sig ... end

Sourcemodule Aarch64_vector_transfer_integer_insert : sig ... end

Sourcemodule Aarch64_vector_transfer_integer_move_signed : sig ... end

Sourcemodule Aarch64_vector_transfer_integer_move_unsigned : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_cpy_dup_simd : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_cpy_dup_sisd : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_extract : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_insert : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_permute_transpose : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_permute_unzip : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_permute_zip : sig ... end

Sourcemodule Aarch64_vector_transfer_vector_table : sig ... end

Sourcemodule Decode_tests : sig ... end

Sourcemodule Instruction_building_interface : sig ... end

Sourcemodule Offline : sig ... end