diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/shift-shift.ll')
-rw-r--r-- | llvm/test/Transforms/InstCombine/shift-shift.ll | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/llvm/test/Transforms/InstCombine/shift-shift.ll b/llvm/test/Transforms/InstCombine/shift-shift.ll deleted file mode 100644 index 6aa262fd931..00000000000 --- a/llvm/test/Transforms/InstCombine/shift-shift.ll +++ /dev/null @@ -1,75 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -instcombine -S | FileCheck %s - -; These would crash if we didn't check for a negative shift. - -; https://llvm.org/bugs/show_bug.cgi?id=12967 - -define void @pr12967() { -; CHECK-LABEL: @pr12967( -; CHECK-NEXT: entry: -; CHECK-NEXT: br label %loop -; CHECK: loop: -; CHECK-NEXT: br label %loop -; -entry: - br label %loop - -loop: - %c = phi i32 [ %shl, %loop ], [ undef, %entry ] - %shr = shl i32 %c, 7 - %shl = lshr i32 %shr, -2 - br label %loop -} - -; https://llvm.org/bugs/show_bug.cgi?id=26760 - -define void @pr26760() { -; CHECK-LABEL: @pr26760( -; CHECK-NEXT: entry: -; CHECK-NEXT: br label %loop -; CHECK: loop: -; CHECK-NEXT: br label %loop -; -entry: - br label %loop - -loop: - %c = phi i32 [ %shl, %loop ], [ undef, %entry ] - %shr = lshr i32 %c, 7 - %shl = shl i32 %shr, -2 - br label %loop -} - -; Converting the 2 shifts to SHL 6 without the AND is wrong. -; https://llvm.org/bugs/show_bug.cgi?id=8547 - -define i32 @pr8547(i32* %g) { -; CHECK-LABEL: @pr8547( -; CHECK-NEXT: codeRepl: -; CHECK-NEXT: br label %for.cond -; CHECK: for.cond: -; CHECK-NEXT: [[STOREMERGE:%.*]] = phi i32 [ 0, %codeRepl ], [ 5, %for.cond ] -; CHECK-NEXT: store i32 [[STOREMERGE]], i32* %g, align 4 -; CHECK-NEXT: [[TMP0:%.*]] = shl nuw nsw i32 [[STOREMERGE]], 6 -; CHECK-NEXT: [[CONV2:%.*]] = and i32 [[TMP0]], 64 -; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[CONV2]], 0 -; CHECK-NEXT: br i1 [[TOBOOL]], label %for.cond, label %codeRepl2 -; CHECK: codeRepl2: -; CHECK-NEXT: ret i32 [[CONV2]] -; -codeRepl: - br label %for.cond - -for.cond: - %storemerge = phi i32 [ 0, %codeRepl ], [ 5, %for.cond ] - store i32 %storemerge, i32* %g, align 4 - %shl = shl i32 %storemerge, 30 - %conv2 = lshr i32 %shl, 24 - %tobool = icmp eq i32 %conv2, 0 - br i1 %tobool, label %for.cond, label %codeRepl2 - -codeRepl2: - ret i32 %conv2 -} - |