add_negative_constant : Pattern-Rewriter replaced 1 occurrences of add-flip-sign
add_negative_constant : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
add_no_overflow_u64 : Pattern-Rewriter replaced 1 occurrences of add-ovf-2
checked_abs_i128 : Pattern-Rewriter replaced 1 occurrences of const-sext
checked_abs_i128 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
checked_abs_i128 : Pattern-Rewriter replaced 2 occurrences of mod-mod
checked_abs_i128 : Pattern-Rewriter replaced 3 occurrences of neg-mod
checked_abs_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
checked_abs_i64 : Pattern-Rewriter replaced 1 occurrences of mod-mod
checked_abs_i64 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
checked_abs_i64 : Pattern-Rewriter replaced 2 occurrences of neg-mod
checked_add_i128 : Pattern-Rewriter replaced 1 occurrences of add-ovf-1
checked_add_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
checked_add_i128 : Pattern-Rewriter replaced 1 occurrences of const-sext
checked_add_i128 : Pattern-Rewriter replaced 1 occurrences of mod-add-simplify
checked_add_i128 : Pattern-Rewriter replaced 1 occurrences of xor-sext-lt
checked_add_i128 : Pattern-Rewriter replaced 2 occurrences of xor-sext-lt
checked_add_i64 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
checked_add_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
checked_add_u128 : Pattern-Rewriter replaced 2 occurrences of mod-add-simplify
checked_div_i128 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
checked_div_i128 : Pattern-Rewriter replaced 3 occurrences of const-sext
checked_div_i64 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
checked_div_i64 : Pattern-Rewriter replaced 3 occurrences of const-sext
checked_mul_i128 : Pattern-Rewriter replaced 1 occurrences of add-ovf-1
checked_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mod-mul-simplify
checked_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-overflow-flag
checked_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-word0
checked_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-word1
checked_mul_i128 : Pattern-Rewriter replaced 3 occurrences of mod-mul-simplify
checked_mul_i128 : Pattern-Rewriter replaced 4 occurrences of mod-add-simplify
checked_mul_i128 : Pattern-Rewriter replaced 4 occurrences of sext-widen
checked_mul_i128 : Pattern-Rewriter replaced 5 occurrences of sign-mask
checked_mul_i64 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
checked_mul_i64 : Pattern-Rewriter replaced 1 occurrences of mod-mul-simplify
checked_mul_i64 : Pattern-Rewriter replaced 2 occurrences of sext-widen
checked_mul_i64 : Pattern-Rewriter replaced 3 occurrences of sign-mask
checked_mul_u128 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
checked_mul_u128 : Pattern-Rewriter replaced 1 occurrences of add-ovf-1
checked_mul_u128 : Pattern-Rewriter replaced 1 occurrences of mod-add-simplify
checked_mul_u128 : Pattern-Rewriter replaced 1 occurrences of mod-mod
checked_sub_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
checked_sub_i128 : Pattern-Rewriter replaced 1 occurrences of const-sext
checked_sub_i128 : Pattern-Rewriter replaced 1 occurrences of mod-sub-simplify
checked_sub_i128 : Pattern-Rewriter replaced 2 occurrences of xor-sext-lt
checked_sub_i64 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
checked_sub_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
ge_signed_to_unsigned_i64 : Pattern-Rewriter replaced 1 occurrences of ge-signed-to-unsigned
gt_signed_to_unsigned_i64 : Pattern-Rewriter replaced 1 occurrences of gt-signed-to-unsigned
mod_and_u64 : Pattern-Rewriter replaced 1 occurrences of mod-and
mod_sub_eq_u64 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign
mod_sub_eq_u64 : Pattern-Rewriter replaced 1 occurrences of mod-sub-eq-simplify
mod_sub_eq_u64 : Pattern-Rewriter replaced 1 occurrences of mod-sub-simplify
saturating_abs_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
saturating_abs_i128 : Pattern-Rewriter replaced 1 occurrences of const-sext
saturating_abs_i128 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
saturating_abs_i128 : Pattern-Rewriter replaced 2 occurrences of and-sext-ge
saturating_abs_i128 : Pattern-Rewriter replaced 2 occurrences of mod-mod
saturating_abs_i128 : Pattern-Rewriter replaced 3 occurrences of neg-mod
saturating_abs_i128 : Pattern-Rewriter replaced 7 occurrences of const-sext
saturating_abs_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
saturating_abs_i64 : Pattern-Rewriter replaced 1 occurrences of mod-mod
saturating_abs_i64 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
saturating_abs_i64 : Pattern-Rewriter replaced 3 occurrences of neg-mod
saturating_abs_i64 : Pattern-Rewriter replaced 5 occurrences of const-sext
saturating_add_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-ge
saturating_add_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
saturating_add_i128 : Pattern-Rewriter replaced 1 occurrences of mod-add-simplify
saturating_add_i128 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-1
saturating_add_i128 : Pattern-Rewriter replaced 1 occurrences of sign-mask
saturating_add_i128 : Pattern-Rewriter replaced 2 occurrences of const-sext
saturating_add_i128 : Pattern-Rewriter replaced 2 occurrences of xor-sext-lt
saturating_add_i128 : Pattern-Rewriter replaced 4 occurrences of xor-sext-lt
saturating_add_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
saturating_add_i64 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-1
saturating_add_i64 : Pattern-Rewriter replaced 1 occurrences of sign-mask
saturating_add_u128 : Pattern-Rewriter replaced 1 occurrences of mod-add-simplify
saturating_div_i128 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
saturating_div_i128 : Pattern-Rewriter replaced 3 occurrences of const-sext
saturating_div_i64 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
saturating_div_i64 : Pattern-Rewriter replaced 3 occurrences of const-sext
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of add-ovf-1
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mod-mul-simplify
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-overflow-flag
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-word0
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of mul128-signed-word1
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-2
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-3
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of sext-unsigned-le-max
saturating_mul_i128 : Pattern-Rewriter replaced 1 occurrences of xor-sext-lt
saturating_mul_i128 : Pattern-Rewriter replaced 2 occurrences of xor-sext-lt
saturating_mul_i128 : Pattern-Rewriter replaced 3 occurrences of mod-mul-simplify
saturating_mul_i128 : Pattern-Rewriter replaced 4 occurrences of mod-add-simplify
saturating_mul_i128 : Pattern-Rewriter replaced 4 occurrences of sext-widen
saturating_mul_i128 : Pattern-Rewriter replaced 6 occurrences of sign-mask
saturating_mul_i64 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
saturating_mul_i64 : Pattern-Rewriter replaced 1 occurrences of mod-mul-simplify
saturating_mul_i64 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-2
saturating_mul_i64 : Pattern-Rewriter replaced 1 occurrences of sext-unsigned-le-max
saturating_mul_i64 : Pattern-Rewriter replaced 1 occurrences of xor-sext-lt
saturating_mul_i64 : Pattern-Rewriter replaced 2 occurrences of sext-widen
saturating_mul_i64 : Pattern-Rewriter replaced 4 occurrences of sign-mask
saturating_mul_u128 : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
saturating_mul_u128 : Pattern-Rewriter replaced 1 occurrences of add-ovf-2
saturating_mul_u128 : Pattern-Rewriter replaced 1 occurrences of mod-add-simplify
saturating_mul_u128 : Pattern-Rewriter replaced 1 occurrences of mod-mod
saturating_neg_i128 : Pattern-Rewriter replaced 1 occurrences of mod-mod
saturating_neg_i128 : Pattern-Rewriter replaced 2 occurrences of and-sext-lt
saturating_neg_i128 : Pattern-Rewriter replaced 2 occurrences of const-sext
saturating_neg_i128 : Pattern-Rewriter replaced 2 occurrences of neg-mod
saturating_neg_i64 : Pattern-Rewriter replaced 2 occurrences of neg-mod
saturating_neg_i64 : Pattern-Rewriter replaced 3 occurrences of const-sext
saturating_sub_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-ge
saturating_sub_i128 : Pattern-Rewriter replaced 1 occurrences of and-sext-lt
saturating_sub_i128 : Pattern-Rewriter replaced 1 occurrences of mod-sub-simplify
saturating_sub_i128 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-1
saturating_sub_i128 : Pattern-Rewriter replaced 1 occurrences of sign-mask
saturating_sub_i128 : Pattern-Rewriter replaced 2 occurrences of const-sext
saturating_sub_i128 : Pattern-Rewriter replaced 4 occurrences of xor-sext-lt
saturating_sub_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
saturating_sub_i64 : Pattern-Rewriter replaced 1 occurrences of sext-shr-xor-1
saturating_sub_i64 : Pattern-Rewriter replaced 1 occurrences of sign-mask
saturating_sub_u128 : Pattern-Rewriter replaced 1 occurrences of mod-sub-simplify
saturating_sub_u128 : Pattern-Rewriter replaced 1 occurrences of sub-ovf-2
shr63_u64 : Pattern-Rewriter replaced 1 occurrences of shr63-to-ite
signext_mod_nonzero_i8 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
signext_mod_nonzero_i8 : Pattern-Rewriter replaced 1 occurrences of signext-mod-nonzero
signext_mod_sign_i8 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
signext_mod_sign_i8 : Pattern-Rewriter replaced 1 occurrences of signext-mod-sign
sub_negative_constant : Pattern-Rewriter replaced 1 occurrences of add-flip-sign-no-ovf-64
sub_no_borrow_u64 : Pattern-Rewriter replaced 1 occurrences of sub-ovf-2
unsigned_abs_i128 : Pattern-Rewriter replaced 1 occurrences of const-sext
unsigned_abs_i128 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
unsigned_abs_i128 : Pattern-Rewriter replaced 2 occurrences of mod-mod
unsigned_abs_i128 : Pattern-Rewriter replaced 3 occurrences of const-sext
unsigned_abs_i128 : Pattern-Rewriter replaced 3 occurrences of neg-mod
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of bit-twiddling-unsigned-abs
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of const-sext
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of mod-mod
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of neg-mod
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of shl-mod-signext
unsigned_abs_i64 : Pattern-Rewriter replaced 1 occurrences of sign-mask
