1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -sccp -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; This is a basic sanity check for constant propagation. The add instruction 4*9880d681SAndroid Build Coastguard Worker; should be eliminated. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workerdefine i32 @test1(i1 %B) { 7*9880d681SAndroid Build Coastguard Worker br i1 %B, label %BB1, label %BB2 8*9880d681SAndroid Build Coastguard WorkerBB1: ; preds = %0 9*9880d681SAndroid Build Coastguard Worker %Val = add i32 0, 0 ; <i32> [#uses=1] 10*9880d681SAndroid Build Coastguard Worker br label %BB3 11*9880d681SAndroid Build Coastguard WorkerBB2: ; preds = %0 12*9880d681SAndroid Build Coastguard Worker br label %BB3 13*9880d681SAndroid Build Coastguard WorkerBB3: ; preds = %BB2, %BB1 14*9880d681SAndroid Build Coastguard Worker %Ret = phi i32 [ %Val, %BB1 ], [ 1, %BB2 ] ; <i32> [#uses=1] 15*9880d681SAndroid Build Coastguard Worker ret i32 %Ret 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1( 18*9880d681SAndroid Build Coastguard Worker; CHECK: %Ret = phi i32 [ 0, %BB1 ], [ 1, %BB2 ] 19*9880d681SAndroid Build Coastguard Worker} 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Worker; This is the test case taken from appel's book that illustrates a hard case 22*9880d681SAndroid Build Coastguard Worker; that SCCP gets right. 23*9880d681SAndroid Build Coastguard Worker; 24*9880d681SAndroid Build Coastguard Workerdefine i32 @test2(i32 %i0, i32 %j0) { 25*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2( 26*9880d681SAndroid Build Coastguard WorkerBB1: 27*9880d681SAndroid Build Coastguard Worker br label %BB2 28*9880d681SAndroid Build Coastguard WorkerBB2: 29*9880d681SAndroid Build Coastguard Worker %j2 = phi i32 [ %j4, %BB7 ], [ 1, %BB1 ] 30*9880d681SAndroid Build Coastguard Worker %k2 = phi i32 [ %k4, %BB7 ], [ 0, %BB1 ] 31*9880d681SAndroid Build Coastguard Worker %kcond = icmp slt i32 %k2, 100 32*9880d681SAndroid Build Coastguard Worker br i1 %kcond, label %BB3, label %BB4 33*9880d681SAndroid Build Coastguard WorkerBB3: 34*9880d681SAndroid Build Coastguard Worker %jcond = icmp slt i32 %j2, 20 35*9880d681SAndroid Build Coastguard Worker br i1 %jcond, label %BB5, label %BB6 36*9880d681SAndroid Build Coastguard Worker; CHECK: BB3: 37*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: br i1 true, label %BB5, label %BB6 38*9880d681SAndroid Build Coastguard WorkerBB4: 39*9880d681SAndroid Build Coastguard Worker ret i32 %j2 40*9880d681SAndroid Build Coastguard Worker; CHECK: BB4: 41*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: ret i32 1 42*9880d681SAndroid Build Coastguard WorkerBB5: 43*9880d681SAndroid Build Coastguard Worker %k3 = add i32 %k2, 1 44*9880d681SAndroid Build Coastguard Worker br label %BB7 45*9880d681SAndroid Build Coastguard WorkerBB6: 46*9880d681SAndroid Build Coastguard Worker %k5 = add i32 %k2, 1 47*9880d681SAndroid Build Coastguard Worker br label %BB7 48*9880d681SAndroid Build Coastguard Worker; CHECK: BB6: 49*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: br label %BB7 50*9880d681SAndroid Build Coastguard WorkerBB7: 51*9880d681SAndroid Build Coastguard Worker %j4 = phi i32 [ 1, %BB5 ], [ %k2, %BB6 ] 52*9880d681SAndroid Build Coastguard Worker %k4 = phi i32 [ %k3, %BB5 ], [ %k5, %BB6 ] 53*9880d681SAndroid Build Coastguard Worker br label %BB2 54*9880d681SAndroid Build Coastguard Worker; CHECK: BB7: 55*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %k4 = phi i32 [ %k3, %BB5 ], [ undef, %BB6 ] 56*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: br label %BB2 57*9880d681SAndroid Build Coastguard Worker} 58*9880d681SAndroid Build Coastguard Worker 59