llvm/test/Transforms/SimplifyCFG/merge-empty-return-blocks.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
   3
   4 define void @t0(i1 %c) {
   5 ; CHECK-LABEL: @t0(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    ret void
   8 ;
   9 entry:
  10   br i1 %c, label %end0, label %end1
  11
  12 end0:
  13   ret void
  14
  15 end1:
  16   ret void
  17 }
  18
  19 define i8 @t1(i1 %c, i8 %v) {
  20 ; CHECK-LABEL: @t1(
  21 ; CHECK-NEXT:  entry:
  22 ; CHECK-NEXT:    ret i8 [[V:%.*]]
  23 ;
  24 entry:
  25   br i1 %c, label %end0, label %end1
  26
  27 end0:
  28   ret i8 %v
  29
  30 end1:
  31   ret i8 %v
  32 }
  33
  34 define i8 @t2(i1 %c, i8 %v0, i8 %v1) {
  35 ; CHECK-LABEL: @t2(
  36 ; CHECK-NEXT:  entry:
  37 ; CHECK-NEXT:    [[V0_V1:%.*]] = select i1 [[C:%.*]], i8 [[V0:%.*]], i8 [[V1:%.*]]
  38 ; CHECK-NEXT:    ret i8 [[V0_V1]]
  39 ;
  40 entry:
  41   br i1 %c, label %end0, label %end1
  42
  43 end0:
  44   ret i8 %v0
  45
  46 end1:
  47   ret i8 %v1
  48 }