llvm/test/Transforms/UnifyLoopExits/basic.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes='lower-switch,unify-loop-exits' -S | FileCheck %s
   3
   4 define void @loop_1(i1 %PredEntry, i1 %PredB, i1 %PredC, i1 %PredD) {
   5 ; CHECK-LABEL: @loop_1(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    br i1 [[PREDENTRY:%.*]], label [[A:%.*]], label [[G:%.*]]
   8 ; CHECK:       A:
   9 ; CHECK-NEXT:    br label [[B:%.*]]
  10 ; CHECK:       B:
  11 ; CHECK-NEXT:    br i1 [[PREDB:%.*]], label [[C:%.*]], label [[LOOP_EXIT_GUARD:%.*]]
  12 ; CHECK:       C:
  13 ; CHECK-NEXT:    br i1 [[PREDC:%.*]], label [[D:%.*]], label [[LOOP_EXIT_GUARD]]
  14 ; CHECK:       D:
  15 ; CHECK-NEXT:    br i1 [[PREDD:%.*]], label [[A]], label [[LOOP_EXIT_GUARD]]
  16 ; CHECK:       E:
  17 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  18 ; CHECK:       F:
  19 ; CHECK-NEXT:    br label [[EXIT]]
  20 ; CHECK:       G:
  21 ; CHECK-NEXT:    br label [[F:%.*]]
  22 ; CHECK:       exit:
  23 ; CHECK-NEXT:    ret void
  24 ; CHECK:       loop.exit.guard:
  25 ; CHECK-NEXT:    [[GUARD_E:%.*]] = phi i1 [ true, [[B]] ], [ false, [[C]] ], [ false, [[D]] ]
  26 ; CHECK-NEXT:    br i1 [[GUARD_E]], label [[E:%.*]], label [[F]]
  27 ;
  28 entry:
  29   br i1 %PredEntry, label %A, label %G
  30
  31 A:
  32   br label %B
  33
  34 B:
  35   br i1 %PredB, label %C, label %E
  36
  37 C:
  38   br i1 %PredC, label %D, label %F
  39
  40 D:
  41   br i1 %PredD, label %A, label %F
  42
  43 E:
  44   br label %exit
  45
  46 F:
  47   br label %exit
  48
  49 G:
  50   br label %F
  51
  52 exit:
  53   ret void
  54 }
  55
  56 define void @loop_2(i1 %PredA, i1 %PredB, i1 %PredC) {
  57 ; CHECK-LABEL: @loop_2(
  58 ; CHECK-NEXT:  entry:
  59 ; CHECK-NEXT:    br label [[A:%.*]]
  60 ; CHECK:       A:
  61 ; CHECK-NEXT:    br i1 [[PREDA:%.*]], label [[B:%.*]], label [[LOOP_EXIT_GUARD:%.*]]
  62 ; CHECK:       B:
  63 ; CHECK-NEXT:    br i1 [[PREDB:%.*]], label [[C:%.*]], label [[LOOP_EXIT_GUARD]]
  64 ; CHECK:       C:
  65 ; CHECK-NEXT:    br i1 [[PREDC:%.*]], label [[D:%.*]], label [[LOOP_EXIT_GUARD]]
  66 ; CHECK:       D:
  67 ; CHECK-NEXT:    br label [[A]]
  68 ; CHECK:       X:
  69 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  70 ; CHECK:       Y:
  71 ; CHECK-NEXT:    br label [[EXIT]]
  72 ; CHECK:       Z:
  73 ; CHECK-NEXT:    br label [[EXIT]]
  74 ; CHECK:       exit:
  75 ; CHECK-NEXT:    ret void
  76 ; CHECK:       loop.exit.guard:
  77 ; CHECK-NEXT:    [[GUARD_X:%.*]] = phi i1 [ true, [[A]] ], [ false, [[B]] ], [ false, [[C]] ]
  78 ; CHECK-NEXT:    [[GUARD_Y:%.*]] = phi i1 [ false, [[A]] ], [ true, [[B]] ], [ false, [[C]] ]
  79 ; CHECK-NEXT:    br i1 [[GUARD_X]], label [[X:%.*]], label [[LOOP_EXIT_GUARD1:%.*]]
  80 ; CHECK:       loop.exit.guard1:
  81 ; CHECK-NEXT:    br i1 [[GUARD_Y]], label [[Y:%.*]], label [[Z:%.*]]
  82 ;
  83 entry:
  84   br label %A
  85
  86 A:
  87   br i1 %PredA, label %B, label %X
  88
  89 B:
  90   br i1 %PredB, label %C, label %Y
  91
  92 C:
  93   br i1 %PredC, label %D, label %Z
  94
  95 D:
  96   br label %A
  97
  98 X:
  99   br label %exit
 100
 101 Y:
 102   br label %exit
 103
 104 Z:
 105   br label %exit
 106
 107 exit:
 108   ret void
 109 }