; ModuleID = 'test1.bc'

@G = weak global i32 0
@H = weak global i32 0

define i32 @test(i1 %Condition) {
entry:
  br i1 %Condition, label %cond_true, label %cond_false

cond_true:                                        ; preds = %entry
  %X.0 = load i32, i32* @G
  br label %cond_next

cond_false:                                       ; preds = %entry
  %X.1 = load i32, i32* @H
  br label %cond_next

cond_next:                                        ; preds = %cond_false, %cond_true
  %X.01 = phi i32 [ %X.0, %cond_true ], [ %X.1, %cond_false ]
  ret i32 %X.01
}