diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2017-01-30 17:06:55 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2017-01-30 17:06:55 +0000 |
| commit | e19f0e01a80f3ce46c3eae9a90293ca222c7062d (patch) | |
| tree | 0c56ab629836b233b389d5f87e0f68e23acc12de /llvm/test | |
| parent | 098998aef02a853f3cadb64245a4b25fe75219cd (diff) | |
| download | bcm5719-llvm-e19f0e01a80f3ce46c3eae9a90293ca222c7062d.tar.gz bcm5719-llvm-e19f0e01a80f3ce46c3eae9a90293ca222c7062d.zip | |
Revert "NewGVN: Make unreachable blocks be marked with unreachable"
This reverts commit r293196
Besides making things look nicer, ATM, we'd like to preserve analysis
more than we'd like to destroy the CFG. We'll probably revisit in the future
llvm-svn: 293501
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll | 38 | ||||
| -rw-r--r-- | llvm/test/Transforms/NewGVN/pr31594.ll | 2 |
2 files changed, 20 insertions, 20 deletions
diff --git a/llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll b/llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll index 05fe2a22a3f..c1b5cc81fb5 100644 --- a/llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll +++ b/llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll @@ -1,4 +1,3 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -newgvn -S | FileCheck %s target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" @@ -10,29 +9,30 @@ target triple = "i386-apple-darwin9.5" %struct.demangle_component = type { i32, { %struct.anon } } define void @d_print_mod_list(%struct.d_print_info* %dpi, %struct.d_print_mod* %mods, i32 %suffix) nounwind { -; CHECK-LABEL: @d_print_mod_list( -; CHECK-NEXT: entry: -; CHECK-NEXT: [[TMP0:%.*]] = getelementptr [[STRUCT_D_PRINT_INFO:%.*]], %struct.d_print_info* [[DPI:%.*]], i32 0, i32 1 -; CHECK-NEXT: br i1 false, label [[RETURN:%.*]], label [[BB:%.*]] -; CHECK: bb: -; CHECK-NEXT: br label [[BB21:%.*]] -; CHECK: bb21: -; CHECK-NEXT: br label [[BB21]] -; CHECK: return: -; CHECK-NEXT: unreachable -; entry: - %0 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1 ; <i8**> [#uses=1] - br i1 false, label %return, label %bb + %0 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1 ; <i8**> [#uses=1] + br i1 false, label %return, label %bb bb: ; preds = %entry - %1 = load i8*, i8** %0, align 4 ; <i8*> [#uses=0] - %2 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1 ; <i8**> [#uses=0] - br label %bb21 + %1 = load i8*, i8** %0, align 4 ; <i8*> [#uses=0] + %2 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1 ; <i8**> [#uses=0] + br label %bb21 bb21: ; preds = %bb21, %bb - br label %bb21 + br label %bb21 return: ; preds = %entry - ret void + ret void } + +; CHECK: define void @d_print_mod_list(%struct.d_print_info* %dpi, %struct.d_print_mod* %mods, i32 %suffix) #0 { +; CHECK: entry: +; CHECK: %0 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1 +; CHECK: br i1 false, label %return, label %bb +; CHECK: bb: +; CHECK: br label %bb21 +; CHECK: bb21: +; CHECK: br label %bb21 +; CHECK: return: +; CHECK: ret void +; CHECK: } diff --git a/llvm/test/Transforms/NewGVN/pr31594.ll b/llvm/test/Transforms/NewGVN/pr31594.ll index 11b44ede6d7..c24b03278b7 100644 --- a/llvm/test/Transforms/NewGVN/pr31594.ll +++ b/llvm/test/Transforms/NewGVN/pr31594.ll @@ -77,7 +77,7 @@ define void @foo(i8* %arg) { ; CHECK-NEXT: i8 6, label [[BB8:%.*]] ; CHECK-NEXT: ] ; CHECK: bb8: -; CHECK-NEXT: unreachable +; CHECK-NEXT: br label [[BB4]] ; CHECK: bb9: ; CHECK-NEXT: store i8 0, i8* [[ARG]], !g !0 ; CHECK-NEXT: unreachable |
