diff options
Diffstat (limited to 'src/lj_opt_fold.c')
-rw-r--r-- | src/lj_opt_fold.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lj_opt_fold.c b/src/lj_opt_fold.c index ab158143..b437d672 100644 --- a/src/lj_opt_fold.c +++ b/src/lj_opt_fold.c | |||
@@ -1739,7 +1739,10 @@ LJFOLD(NE any any) | |||
1739 | LJFOLDF(comm_equal) | 1739 | LJFOLDF(comm_equal) |
1740 | { | 1740 | { |
1741 | /* For non-numbers only: x == x ==> drop; x ~= x ==> fail */ | 1741 | /* For non-numbers only: x == x ==> drop; x ~= x ==> fail */ |
1742 | if (fins->op1 == fins->op2 && !irt_isnum(fins->t)) | 1742 | if (fins->op1 == fins->op2 && |
1743 | (!irt_isnum(fins->t) || | ||
1744 | (fleft->o == IR_CONV && /* Converted integers cannot be NaN. */ | ||
1745 | (uint32_t)(fleft->op2 & IRCONV_SRCMASK) - (uint32_t)IRT_I8 <= (uint32_t)(IRT_U64 - IRT_U8)))) | ||
1743 | return CONDFOLD(fins->o == IR_EQ); | 1746 | return CONDFOLD(fins->o == IR_EQ); |
1744 | return fold_comm_swap(J); | 1747 | return fold_comm_swap(J); |
1745 | } | 1748 | } |