diff options
| author | Alexander Potapenko <glider@google.com> | 2014-12-04 14:22:27 +0000 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2014-12-04 14:22:27 +0000 |
| commit | 76770e49305c64d67e2e22830a34e6b6d8fa84e6 (patch) | |
| tree | c77b34b86537a7d3d1beab478f5d82b236dea533 /llvm/test/Transforms | |
| parent | 5403da456968e9c45c14bf552ba34bdd8c4b0f76 (diff) | |
| download | bcm5719-llvm-76770e49305c64d67e2e22830a34e6b6d8fa84e6.tar.gz bcm5719-llvm-76770e49305c64d67e2e22830a34e6b6d8fa84e6.zip | |
Revert r223347 which has caused crashes on bootstrap bots.
llvm-svn: 223364
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstSimplify/noalias-ptr.ll | 153 |
1 files changed, 1 insertions, 152 deletions
diff --git a/llvm/test/Transforms/InstSimplify/noalias-ptr.ll b/llvm/test/Transforms/InstSimplify/noalias-ptr.ll index 7693e554235..e3435097880 100644 --- a/llvm/test/Transforms/InstSimplify/noalias-ptr.ll +++ b/llvm/test/Transforms/InstSimplify/noalias-ptr.ll @@ -3,11 +3,6 @@ target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" @g1 = global i32 0, align 4 -@g2 = internal global i32 0, align 4 -@g3 = unnamed_addr global i32 0, align 4 -@g4 = hidden global i32 0, align 4 -@g5 = protected global i32 0, align 4 -@g6 = thread_local unnamed_addr global i32 0, align 4 ; Make sure we can simplify away a pointer comparison between ; dynamically-allocated memory and a local stack allocation. @@ -48,7 +43,7 @@ define void @_Z2p2bb(i1 zeroext %b1, i1 zeroext %b2) #0 { %mStackData = alloca [10 x i32], align 16 %1 = bitcast [10 x i32]* %mStackData to i8* %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g2 + %3 = select i1 %b1, i32* %2, i32* @g1 %4 = tail call noalias i8* @_Znam(i64 48) #4 %5 = tail call noalias i8* @_Znam(i64 48) #4 %.v = select i1 %b2, i8* %4, i8* %5 @@ -69,81 +64,6 @@ define void @_Z2p2bb(i1 zeroext %b1, i1 zeroext %b2) #0 { ret void } -define void @_Z2p4bb(i1 zeroext %b1, i1 zeroext %b2) #0 { - %mStackData = alloca [10 x i32], align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g3 - %4 = tail call noalias i8* @_Znam(i64 48) #4 - %5 = tail call noalias i8* @_Znam(i64 48) #4 - %.v = select i1 %b2, i8* %4, i8* %5 - %6 = bitcast i8* %.v to i32* - %7 = icmp eq i32* %6, %3 - br i1 %7, label %9, label %8 - -; CHECK-LABEL: @_Z2p4bb -; CHECK-NOT: icmp -; CHECK: ret void - -; <label>:8 ; preds = %0 - call void @_ZdaPv(i8* %4) #5 - call void @_ZdaPv(i8* %5) #5 - br label %9 - -; <label>:9 ; preds = %0, %8 - ret void -} - -define void @_Z2p5bb(i1 zeroext %b1, i1 zeroext %b2) #0 { - %mStackData = alloca [10 x i32], align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g4 - %4 = tail call noalias i8* @_Znam(i64 48) #4 - %5 = tail call noalias i8* @_Znam(i64 48) #4 - %.v = select i1 %b2, i8* %4, i8* %5 - %6 = bitcast i8* %.v to i32* - %7 = icmp eq i32* %6, %3 - br i1 %7, label %9, label %8 - -; CHECK-LABEL: @_Z2p5bb -; CHECK-NOT: icmp -; CHECK: ret void - -; <label>:8 ; preds = %0 - call void @_ZdaPv(i8* %4) #5 - call void @_ZdaPv(i8* %5) #5 - br label %9 - -; <label>:9 ; preds = %0, %8 - ret void -} - -define void @_Z2p6bb(i1 zeroext %b1, i1 zeroext %b2) #0 { - %mStackData = alloca [10 x i32], align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g5 - %4 = tail call noalias i8* @_Znam(i64 48) #4 - %5 = tail call noalias i8* @_Znam(i64 48) #4 - %.v = select i1 %b2, i8* %4, i8* %5 - %6 = bitcast i8* %.v to i32* - %7 = icmp eq i32* %6, %3 - br i1 %7, label %9, label %8 - -; CHECK-LABEL: @_Z2p6bb -; CHECK-NOT: icmp -; CHECK: ret void - -; <label>:8 ; preds = %0 - call void @_ZdaPv(i8* %4) #5 - call void @_ZdaPv(i8* %5) #5 - br label %9 - -; <label>:9 ; preds = %0, %8 - ret void -} - ; Here's another case involving multiple underlying objects, but this time we ; must keep the comparison (it might involve a regular pointer-typed function ; argument). @@ -173,77 +93,6 @@ define void @_Z4nopebbPi(i1 zeroext %b1, i1 zeroext %b2, i32* readnone %q) #0 { ret void } -define void @_Z2p3bb(i1 zeroext %b1, i1 zeroext %b2) #0 { - %mStackData = alloca [10 x i32], align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g1 - %4 = tail call noalias i8* @_Znam(i64 48) #4 - %5 = tail call noalias i8* @_Znam(i64 48) #4 - %.v = select i1 %b2, i8* %4, i8* %5 - %6 = bitcast i8* %.v to i32* - %7 = icmp eq i32* %6, %3 - br i1 %7, label %9, label %8 - -; CHECK-LABEL: @_Z2p3bb -; CHECK: icmp -; CHECK: ret void - -; <label>:8 ; preds = %0 - call void @_ZdaPv(i8* %4) #5 - call void @_ZdaPv(i8* %5) #5 - br label %9 - -; <label>:9 ; preds = %0, %8 - ret void -} - -define void @_Z2p7bb(i1 zeroext %b1, i1 zeroext %b2) #0 { - %mStackData = alloca [10 x i32], align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %3 = select i1 %b1, i32* %2, i32* @g6 - %4 = tail call noalias i8* @_Znam(i64 48) #4 - %5 = tail call noalias i8* @_Znam(i64 48) #4 - %.v = select i1 %b2, i8* %4, i8* %5 - %6 = bitcast i8* %.v to i32* - %7 = icmp eq i32* %6, %3 - br i1 %7, label %9, label %8 - -; CHECK-LABEL: @_Z2p7bb -; CHECK: icmp -; CHECK: ret void - -; <label>:8 ; preds = %0 - call void @_ZdaPv(i8* %4) #5 - call void @_ZdaPv(i8* %5) #5 - br label %9 - -; <label>:9 ; preds = %0, %8 - ret void -} - -define void @_Z2p2v(i32 %c) #0 { - %mStackData = alloca [10 x i32], i32 %c, align 16 - %1 = bitcast [10 x i32]* %mStackData to i8* - %2 = tail call noalias i8* @_Znam(i64 48) #4 - %3 = bitcast i8* %2 to i32* - %4 = getelementptr inbounds [10 x i32]* %mStackData, i64 0, i64 0 - %5 = icmp eq i32* %3, %4 - br i1 %5, label %7, label %6 - -; CHECK-LABEL: @_Z2p2v -; CHECK: icmp -; CHECK: ret void - -; <label>:6 ; preds = %0 - call void @_ZdaPv(i8* %2) #5 - br label %7 - -; <label>:7 ; preds = %0, %6 - ret void -} - ; Function Attrs: nobuiltin declare noalias i8* @_Znam(i64) #2 |

