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 48effb8a..d90477f6 100644 --- a/src/lj_opt_fold.c +++ b/src/lj_opt_fold.c | |||
@@ -1972,7 +1972,10 @@ LJFOLD(NE any any) | |||
1972 | LJFOLDF(comm_equal) | 1972 | LJFOLDF(comm_equal) |
1973 | { | 1973 | { |
1974 | /* For non-numbers only: x == x ==> drop; x ~= x ==> fail */ | 1974 | /* For non-numbers only: x == x ==> drop; x ~= x ==> fail */ |
1975 | if (fins->op1 == fins->op2 && !irt_isnum(fins->t)) | 1975 | if (fins->op1 == fins->op2 && |
1976 | (!irt_isnum(fins->t) || | ||
1977 | (fleft->o == IR_CONV && /* Converted integers cannot be NaN. */ | ||
1978 | (uint32_t)(fleft->op2 & IRCONV_SRCMASK) - (uint32_t)IRT_I8 <= (uint32_t)(IRT_U64 - IRT_U8)))) | ||
1976 | return CONDFOLD(fins->o == IR_EQ); | 1979 | return CONDFOLD(fins->o == IR_EQ); |
1977 | return fold_comm_swap(J); | 1980 | return fold_comm_swap(J); |
1978 | } | 1981 | } |