diff options
| author | Björn Gustavsson <[email protected]> | 2019-05-22 11:29:01 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-05-22 11:29:01 +0200 |
| commit | 4be2f005500d1608f1b290ded0e4271885911ac3 (patch) | |
| tree | be511eaa979366990bbcad6dcf7ca9a529cb6baa /lib/compiler/src | |
| parent | 48e1cc6a6f7bebacd5fb060bfd65ececbabfa6a1 (diff) | |
| parent | 57ca436f4ef42b55b5b0ab4c1abd73935c6d6cd1 (diff) | |
| download | otp-4be2f005500d1608f1b290ded0e4271885911ac3.tar.gz otp-4be2f005500d1608f1b290ded0e4271885911ac3.tar.bz2 otp-4be2f005500d1608f1b290ded0e4271885911ac3.zip | |
Merge pull request #2243 from bjorng/bjorn/compiler/fix-redundant-tests
Improve optimization of redundant tests
Diffstat (limited to 'lib/compiler/src')
| -rw-r--r-- | lib/compiler/src/beam_ssa_dead.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/compiler/src/beam_ssa_dead.erl b/lib/compiler/src/beam_ssa_dead.erl index bb43a550ae..423bc88c3b 100644 --- a/lib/compiler/src/beam_ssa_dead.erl +++ b/lib/compiler/src/beam_ssa_dead.erl @@ -719,8 +719,8 @@ will_succeed_1('=/=', A, '=:=', B) when A =:= B -> no; will_succeed_1('<', A, '=:=', B) when B >= A -> no; will_succeed_1('<', A, '=/=', B) when B >= A -> yes; will_succeed_1('<', A, '<', B) when B >= A -> yes; -will_succeed_1('<', A, '=<', B) when B > A -> yes; -will_succeed_1('<', A, '>=', B) when B > A -> no; +will_succeed_1('<', A, '=<', B) when B >= A -> yes; +will_succeed_1('<', A, '>=', B) when B >= A -> no; will_succeed_1('<', A, '>', B) when B >= A -> no; will_succeed_1('=<', A, '=:=', B) when B > A -> no; @@ -740,9 +740,9 @@ will_succeed_1('>=', A, '>', B) when B < A -> yes; will_succeed_1('>', A, '=:=', B) when B =< A -> no; will_succeed_1('>', A, '=/=', B) when B =< A -> yes; will_succeed_1('>', A, '<', B) when B =< A -> no; -will_succeed_1('>', A, '=<', B) when B < A -> no; +will_succeed_1('>', A, '=<', B) when B =< A -> no; will_succeed_1('>', A, '>=', B) when B =< A -> yes; -will_succeed_1('>', A, '>', B) when B < A -> yes; +will_succeed_1('>', A, '>', B) when B =< A -> yes; will_succeed_1('==', A, '==', B) -> if |