diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-02-10 05:36:31 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-02-10 05:36:31 +0000 |
| commit | 7a6aa1a3919af8ece92702c36dc552d81be9151a (patch) | |
| tree | bf7aae31c9fef6342c9b6e785c700e6e3f7cbdec /test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll | |
| parent | b20c0b5092f11ff349855ec1e732590160aeba23 (diff) | |
| download | llvm-7a6aa1a3919af8ece92702c36dc552d81be9151a.tar.gz llvm-7a6aa1a3919af8ece92702c36dc552d81be9151a.tar.bz2 llvm-7a6aa1a3919af8ece92702c36dc552d81be9151a.tar.xz | |
Enhance a bunch of transformations in instcombine to start generating
exact/nsw/nuw shifts and have instcombine infer them when it can prove
that the relevant properties are true for a given shift without them.
Also, a variety of refactoring to use the new patternmatch logic thrown
in for good luck. I believe that this takes care of a bunch of related
code quality issues attached to PR8862.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125267 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll')
| -rw-r--r-- | test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll b/test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll index c337ea781e..baaafefa81 100644 --- a/test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll +++ b/test/Transforms/InstCombine/2006-04-28-ShiftShiftLongLong.ll @@ -6,7 +6,7 @@ define i64 @test(i64 %X) { %Y = shl i64 %X, 16 ; <i64> [#uses=1] ; CHECK: %Y = shl i64 %X, 16 %Z = ashr i64 %Y, 16 ; <i64> [#uses=1] -; CHECK: %Z = ashr i64 %Y, 16 +; CHECK: %Z = ashr exact i64 %Y, 16 ret i64 %Z ; CHECK: ret i64 %Z } |