diff options
author | Xi Ruoyao <xry111@xry111.site> | 2022-11-04 01:35:25 +0800 |
---|---|---|
committer | Xi Ruoyao <xry111@xry111.site> | 2022-11-09 17:11:23 +0800 |
commit | d699d32f47833cfab959a810dad48774c021c677 (patch) | |
tree | ad0f3eb8bd34c361d3c9fe8f4882c79a7c9443e1 /gcc | |
parent | 1f9c79367e136e0ca5b775562e6111e1a0d0046f (diff) | |
download | gcc-d699d32f47833cfab959a810dad48774c021c677.zip gcc-d699d32f47833cfab959a810dad48774c021c677.tar.gz gcc-d699d32f47833cfab959a810dad48774c021c677.tar.bz2 |
LoongArch: fix signed overflow in loongarch_emit_int_compare
Signed overflow is an undefined behavior, so we need to prevent it from
happening, instead of "checking" the result.
gcc/ChangeLog:
* config/loongarch/loongarch.cc (loongarch_emit_int_compare):
Avoid signed overflow.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/config/loongarch/loongarch.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/config/loongarch/loongarch.cc b/gcc/config/loongarch/loongarch.cc index f54c233..8d5d8d9 100644 --- a/gcc/config/loongarch/loongarch.cc +++ b/gcc/config/loongarch/loongarch.cc @@ -4178,10 +4178,13 @@ loongarch_emit_int_compare (enum rtx_code *code, rtx *op0, rtx *op1) if (!increment && !decrement) continue; + if ((increment && rhs == HOST_WIDE_INT_MAX) + || (decrement && rhs == HOST_WIDE_INT_MIN)) + break; + new_rhs = rhs + (increment ? 1 : -1); if (loongarch_integer_cost (new_rhs) - < loongarch_integer_cost (rhs) - && (rhs < 0) == (new_rhs < 0)) + < loongarch_integer_cost (rhs)) { *op1 = GEN_INT (new_rhs); *code = mag_comparisons[i][increment]; |