741     int sum = 0;  in swap_commutative()  local
742     sum += pref_commutative(arg_info(a1));  in swap_commutative()
743     sum -= pref_commutative(arg_info(a2));  in swap_commutative()
747     if (sum > 0 || (sum == 0 && dest == a2)) {  in swap_commutative()
757     int sum = 0;  in swap_commutative2()  local
758     sum += pref_commutative(arg_info(p1[0]));  in swap_commutative2()
759     sum += pref_commutative(arg_info(p1[1]));  in swap_commutative2()
760     sum -= pref_commutative(arg_info(p2[0]));  in swap_commutative2()
761     sum -= pref_commutative(arg_info(p2[1]));  in swap_commutative2()
762     if (sum > 0) {  in swap_commutative2()
1304     uint64_t sum, max;  in fold_addcio()  local
1315     if (!uadd64_overflow(t1->z_mask, t2->z_mask, &sum) &&  in fold_addcio()
1316         !uadd64_overflow(sum, ctx->carry_state != 0, &sum)) {  in fold_addcio()