diff options
| author | Mike Pall <mike> | 2021-12-17 14:15:40 +0100 |
|---|---|---|
| committer | Mike Pall <mike> | 2021-12-17 14:15:40 +0100 |
| commit | 7b994e0ee0399caf6319865bbac88ddf62129a36 (patch) | |
| tree | 76498b7099ef667fc2864754bcc40548c1794e37 | |
| parent | 43f117946e2c2e91663934941b962e644090b356 (diff) | |
| download | luajit-7b994e0ee0399caf6319865bbac88ddf62129a36.tar.gz luajit-7b994e0ee0399caf6319865bbac88ddf62129a36.tar.bz2 luajit-7b994e0ee0399caf6319865bbac88ddf62129a36.zip | |
Fix FOLD rule for x-0.
Reported by XmiliaH.
| -rw-r--r-- | src/lj_opt_fold.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lj_opt_fold.c b/src/lj_opt_fold.c index e5929442..b9efb0a1 100644 --- a/src/lj_opt_fold.c +++ b/src/lj_opt_fold.c | |||
| @@ -805,8 +805,7 @@ LJFOLDF(simplify_numadd_xneg) | |||
| 805 | LJFOLD(SUB any KNUM) | 805 | LJFOLD(SUB any KNUM) |
| 806 | LJFOLDF(simplify_numsub_k) | 806 | LJFOLDF(simplify_numsub_k) |
| 807 | { | 807 | { |
| 808 | lua_Number n = knumright; | 808 | if (ir_knum(fright)->u64 == 0) /* x - (+0) ==> x */ |
| 809 | if (n == 0.0) /* x - (+-0) ==> x */ | ||
| 810 | return LEFTFOLD; | 809 | return LEFTFOLD; |
| 811 | return NEXTFOLD; | 810 | return NEXTFOLD; |
| 812 | } | 811 | } |