diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/shift.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/shift.ll b/llvm/test/Transforms/InstCombine/shift.ll index 68bbf35d1e6..cbb3d614db2 100644 --- a/llvm/test/Transforms/InstCombine/shift.ll +++ b/llvm/test/Transforms/InstCombine/shift.ll @@ -221,6 +221,22 @@ define i32 @test12(i32 %A) { ret i32 %C } +;; ((A >>s 6) << 6 === (A & FFFFFFC0) +define i8 @shishi(i8 %x) { +; CHECK-LABEL: @shishi( +; CHECK-NEXT: [[A:%.*]] = ashr i8 [[X:%.*]], 6 +; CHECK-NEXT: [[B:%.*]] = and i8 [[X]], -64 +; CHECK-NEXT: [[EXTRA_USE_OF_A:%.*]] = mul nsw i8 [[A]], 5 +; CHECK-NEXT: [[R:%.*]] = sdiv i8 [[EXTRA_USE_OF_A]], [[B]] +; CHECK-NEXT: ret i8 [[R]] +; + %a = ashr i8 %x, 6 + %b = shl i8 %a, 6 + %extra_use_of_a = mul i8 %a, 5 + %r = sdiv i8 %extra_use_of_a, %b + ret i8 %r +} + ;; This transformation is deferred to DAGCombine: ;; (A >> 3) << 4 === (A & -8) * 2 ;; The shl may be valuable to scalar evolution. |
