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 | fc3d7f664b77fd270f800bc3bb3f749b4bfcd9ca (patch) | |
| tree | 2d2e05d8fe692215b6e02af56d9945b21ecf83a5 /llvm/include/llvm-c | |
| parent | 411e6eedff9b2e2ba06de1d63f29a6a3c6bf4eba (diff) | |
| download | bcm5719-llvm-fc3d7f664b77fd270f800bc3bb3f749b4bfcd9ca.tar.gz bcm5719-llvm-fc3d7f664b77fd270f800bc3bb3f749b4bfcd9ca.zip | |
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
llvm-svn: 123034
Diffstat (limited to 'llvm/include/llvm-c')
0 files changed, 0 insertions, 0 deletions
