llvm/test/Transforms/Sink/single-succ.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S < %s -passes=sink | FileCheck %s
   3
   4 define 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 ;
  16 entry:
  17   %l = load i32, ptr %a, align 4
  18   br label %if
  19 if:
  20   br i1 %b, label %then, label %else
  21 then:
  22   ret i32 42
  23 else:
  24   ret i32 %l
  25 }