--- /dev/null
+; RUN: opt < %s -correlated-propagation -S | FileCheck %s
+; PR2581
+
+; CHECK: @test1
+define i32 @test1(i1 %C) nounwind {
+ br i1 %C, label %exit, label %body
+
+body: ; preds = %0
+; CHECK-NOT: select
+ %A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1]
+; CHECK: ret i32 11
+ ret i32 %A
+
+exit: ; preds = %0
+; CHECK: ret i32 10
+ ret i32 10
+}
+
+declare i1 @ext()
+; CHECK: @test2
+define i1 @test2() {
+entry:
+ %cond = tail call i1 @ext() ; <i1> [#uses=2]
+ br i1 %cond, label %bb1, label %bb2
+
+bb1: ; preds = %entry
+ %cond2 = tail call i1 @ext() ; <i1> [#uses=1]
+ br i1 %cond2, label %bb3, label %bb2
+
+bb2: ; preds = %bb1, %entry
+; CHECK-NOT: phi i1
+ %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; <i1> [#uses=1]
+; CHECK: ret i1 false
+ ret i1 %cond_merge
+
+bb3: ; preds = %bb1
+ %res = tail call i1 @ext() ; <i1> [#uses=1]
+; CHECK: ret i1 %res
+ ret i1 %res
+}
--- /dev/null
+load_lib llvm.exp
+
+RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.ll]]
+++ /dev/null
-; RUN: opt < %s -correlated-propagation -S | FileCheck %s
-; PR2581
-
-; CHECK: @test1
-define i32 @test1(i1 %C) nounwind {
- br i1 %C, label %exit, label %body
-
-body: ; preds = %0
-; CHECK-NOT: select
- %A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1]
-; CHECK: ret i32 11
- ret i32 %A
-
-exit: ; preds = %0
-; CHECK: ret i32 10
- ret i32 10
-}
-
-declare i1 @ext()
-; CHECK: @test2
-define i1 @test2() {
-entry:
- %cond = tail call i1 @ext() ; <i1> [#uses=2]
- br i1 %cond, label %bb1, label %bb2
-
-bb1: ; preds = %entry
- %cond2 = tail call i1 @ext() ; <i1> [#uses=1]
- br i1 %cond2, label %bb3, label %bb2
-
-bb2: ; preds = %bb1, %entry
-; CHECK-NOT: phi i1
- %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; <i1> [#uses=1]
-; CHECK: ret i1 false
- ret i1 %cond_merge
-
-bb3: ; preds = %bb1
- %res = tail call i1 @ext() ; <i1> [#uses=1]
-; CHECK: ret i1 %res
- ret i1 %res
-}
+++ /dev/null
-load_lib llvm.exp
-
-RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.ll]]