1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S < %s -passes=sink | FileCheck %s 3 4define i32 @single_succ(i1 %b, ptr %a) { 5; CHECK-LABEL: @single_succ( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: br label [[IF:%.*]] 8; CHECK: if: 9; CHECK-NEXT: br i1 [[B:%.*]], label [[THEN:%.*]], label [[ELSE:%.*]] 10; CHECK: then: 11; CHECK-NEXT: ret i32 42 12; CHECK: else: 13; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[A:%.*]], align 4 14; CHECK-NEXT: ret i32 [[L]] 15; 16entry: 17 %l = load i32, ptr %a, align 4 18 br label %if 19if: 20 br i1 %b, label %then, label %else 21then: 22 ret i32 42 23else: 24 ret i32 %l 25} 26