diff --git a/llvm/test/Transforms/GVN/rle-must-alias.ll b/llvm/test/Transforms/GVN/rle-must-alias.ll index d19157af4e734..9b3808bb8a9b3 100644 --- a/llvm/test/Transforms/GVN/rle-must-alias.ll +++ b/llvm/test/Transforms/GVN/rle-must-alias.ll @@ -1,6 +1,7 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -basic-aa -gvn -S | FileCheck %s -; GVN should eliminate the fully redundant %9 GEP which +; GVN should eliminate the fully redundant %9 GEP which ; allows DEAD to be removed. This is PR3198. ; The %7 and %4 loads combine to make %DEAD unneeded. @@ -10,34 +11,58 @@ target triple = "i386-apple-darwin7" @G = common global i32 0 ; [#uses=2] define i32 @test(i32 %i) nounwind { +; CHECK-LABEL: @test( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[TMP0:%.*]] = tail call i32 (...) @foo() #[[ATTR0:[0-9]+]] +; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[TMP0]], 0 +; CHECK-NEXT: br i1 [[TMP1]], label [[BB1:%.*]], label [[BB:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[TMP2:%.*]] = tail call i32 (...) @bar() #[[ATTR0]] +; CHECK-NEXT: [[TMP3:%.*]] = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 [[I:%.*]] +; CHECK-NEXT: [[TMP4:%.*]] = load i32, i32* [[TMP3]], align 4 +; CHECK-NEXT: store i32 [[TMP4]], i32* @G, align 4 +; CHECK-NEXT: br label [[BB3:%.*]] +; CHECK: bb1: +; CHECK-NEXT: [[TMP5:%.*]] = tail call i32 (...) @baz() #[[ATTR0]] +; CHECK-NEXT: [[TMP6:%.*]] = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 [[I]] +; CHECK-NEXT: [[TMP7:%.*]] = load i32, i32* [[TMP6]], align 4 +; CHECK-NEXT: store i32 [[TMP7]], i32* @G, align 4 +; CHECK-NEXT: [[TMP8:%.*]] = icmp eq i32 [[TMP7]], 0 +; CHECK-NEXT: br i1 [[TMP8]], label [[BB3]], label [[BB4:%.*]] +; CHECK: bb3: +; CHECK-NEXT: [[DEAD:%.*]] = phi i32 [ 0, [[BB1]] ], [ [[TMP4]], [[BB]] ] +; CHECK-NEXT: [[TMP9:%.*]] = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 [[I]] +; CHECK-NEXT: ret i32 [[DEAD]] +; CHECK: bb4: +; CHECK-NEXT: ret i32 0 +; entry: - %0 = tail call i32 (...) @foo() nounwind ; [#uses=1] - %1 = icmp eq i32 %0, 0 ; [#uses=1] - br i1 %1, label %bb1, label %bb + %0 = tail call i32 (...) @foo() nounwind ; [#uses=1] + %1 = icmp eq i32 %0, 0 ; [#uses=1] + br i1 %1, label %bb1, label %bb bb: ; preds = %entry - %2 = tail call i32 (...) @bar() nounwind ; [#uses=0] - %3 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] - %4 = load i32, i32* %3, align 4 ; [#uses=1] - store i32 %4, i32* @G, align 4 - br label %bb3 + %2 = tail call i32 (...) @bar() nounwind ; [#uses=0] + %3 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] + %4 = load i32, i32* %3, align 4 ; [#uses=1] + store i32 %4, i32* @G, align 4 + br label %bb3 bb1: ; preds = %entry - %5 = tail call i32 (...) @baz() nounwind ; [#uses=0] - %6 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] - %7 = load i32, i32* %6, align 4 ; [#uses=2] - store i32 %7, i32* @G, align 4 - %8 = icmp eq i32 %7, 0 ; [#uses=1] - br i1 %8, label %bb3, label %bb4 + %5 = tail call i32 (...) @baz() nounwind ; [#uses=0] + %6 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] + %7 = load i32, i32* %6, align 4 ; [#uses=2] + store i32 %7, i32* @G, align 4 + %8 = icmp eq i32 %7, 0 ; [#uses=1] + br i1 %8, label %bb3, label %bb4 bb3: ; preds = %bb1, %bb - %9 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] - %DEAD = load i32, i32* %9, align 4 ; [#uses=1] -; CHECK: %DEAD = phi i32 [ 0, %bb1 ], [ %4, %bb ] - ret i32 %DEAD + %9 = getelementptr [100 x i32], [100 x i32]* @H, i32 0, i32 %i ; [#uses=1] + %DEAD = load i32, i32* %9, align 4 ; [#uses=1] + ret i32 %DEAD bb4: ; preds = %bb1 - ret i32 0 + ret i32 0 } declare i32 @foo(...)