diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-01-07 21:33:14 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-01-07 21:33:14 +0000 |
| commit | 46431d7a931ecc54d563a7674977a9a566b1d4fb (patch) | |
| tree | 73aac54a8fe8f6d77cce4a9ca16d2ac30c7c37b5 /test/FrontendFortran | |
| parent | 8d088bd1e4543e48f6e085885ab3a944fb3f2c93 (diff) | |
| download | external_llvm-46431d7a931ecc54d563a7674977a9a566b1d4fb.zip external_llvm-46431d7a931ecc54d563a7674977a9a566b1d4fb.tar.gz external_llvm-46431d7a931ecc54d563a7674977a9a566b1d4fb.tar.bz2 | |
InstCombine: Match min/max hidden by sext/zext
X = sext x; x >s c ? X : C+1 --> X = sext x; X <s C+1 ? C+1 : X
X = sext x; x <s c ? X : C-1 --> X = sext x; X >s C-1 ? C-1 : X
X = zext x; x >u c ? X : C+1 --> X = zext x; X <u C+1 ? C+1 : X
X = zext x; x <u c ? X : C-1 --> X = zext x; X >u C-1 ? C-1 : X
X = sext x; x >u c ? X : C+1 --> X = sext x; X <u C+1 ? C+1 : X
X = sext x; x <u c ? X : C-1 --> X = sext x; X >u C-1 ? C-1 : X
Instead of calculating this with mixed types promote all to the
larger type. This enables scalar evolution to analyze this
expression. PR8866
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123034 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/FrontendFortran')
0 files changed, 0 insertions, 0 deletions