26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S < %s -passes=sink | FileCheck %s3 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 4212; CHECK: else:13; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[A:%.*]], align 414; CHECK-NEXT: ret i32 [[L]]15;16entry:17 %l = load i32, ptr %a, align 418 br label %if19if:20 br i1 %b, label %then, label %else21then:22 ret i32 4223else:24 ret i32 %l25}26