test/Transforms/LoopStrengthReduce/funclet.ll

   1 ; RUN: opt < %s -loop-reduce -S | FileCheck %s
   2
   3 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   4 target triple = "i686-pc-windows-msvc"
   5
   6 declare i32 @_except_handler3(...)
   7
   8 declare void @reserve()
   9
  10 define void @f() personality i32 (...)* @_except_handler3 {
  11 entry:
  12   br label %throw
  13
  14 throw:                                            ; preds = %throw, %entry
  15   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
  16   invoke void @reserve()
  17           to label %throw unwind label %pad
  18
  19 pad:                                              ; preds = %throw
  20   %phi2 = phi i8* [ %tmp96, %throw ]
  21   terminatepad [] unwind label %blah
  22
  23 blah:
  24   catchpad [] to label %unreachable unwind label %blah3
  25
  26 unreachable:
  27   unreachable
  28
  29 blah3:
  30   catchendpad unwind label %blah2
  31
  32 blah2:
  33   %cleanuppadi4.i.i.i = cleanuppad []
  34   br label %loop_body
  35
  36 loop_body:                                        ; preds = %iter, %pad
  37   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blah2 ]
  38   %tmp100 = icmp eq i8* %tmp99, undef
  39   br i1 %tmp100, label %unwind_out, label %iter
  40
  41 iter:                                             ; preds = %loop_body
  42   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
  43   br i1 undef, label %unwind_out, label %loop_body
  44
  45 unwind_out:                                       ; preds = %iter, %loop_body
  46   cleanupret %cleanuppadi4.i.i.i unwind to caller
  47 }
  48
  49 ; CHECK-LABEL: define void @f(
  50 ; CHECK: cleanuppad []
  51 ; CHECK-NEXT: ptrtoint i8* %phi2 to i32
  52
  53 define void @g() personality i32 (...)* @_except_handler3 {
  54 entry:
  55   br label %throw
  56
  57 throw:                                            ; preds = %throw, %entry
  58   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
  59   invoke void @reserve()
  60           to label %throw unwind label %pad
  61
  62 pad:
  63   %phi2 = phi i8* [ %tmp96, %throw ]
  64   catchpad [] to label %unreachable unwind label %blah
  65
  66 unreachable:
  67   unreachable
  68
  69 blah:
  70   %catchpad = catchpad [] to label %loop_body unwind label %blah3
  71
  72
  73 blah3:
  74   catchendpad unwind to caller ;label %blah2
  75
  76 unwind_out:
  77   catchret %catchpad to label %leave
  78
  79 leave:
  80   ret void
  81
  82 loop_body:                                        ; preds = %iter, %pad
  83   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blah ]
  84   %tmp100 = icmp eq i8* %tmp99, undef
  85   br i1 %tmp100, label %unwind_out, label %iter
  86
  87 iter:                                             ; preds = %loop_body
  88   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
  89   br i1 undef, label %unwind_out, label %loop_body
  90 }
  91
  92 ; CHECK-LABEL: define void @g(
  93 ; CHECK: blah:
  94 ; CHECK-NEXT: catchpad []
  95 ; CHECK-NEXT: to label %loop_body.preheader
  96
  97 ; CHECK: loop_body.preheader:
  98 ; CHECK-NEXT: ptrtoint i8* %phi2 to i32
  99
 100
 101 define void @h() personality i32 (...)* @_except_handler3 {
 102 entry:
 103   br label %throw
 104
 105 throw:                                            ; preds = %throw, %entry
 106   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
 107   invoke void @reserve()
 108           to label %throw unwind label %pad
 109
 110 pad:
 111   catchpad [] to label %unreachable unwind label %blug
 112
 113 unreachable:
 114   unreachable
 115
 116 blug:
 117   %phi2 = phi i8* [ %tmp96, %pad ]
 118   %catchpad = catchpad [] to label %blah2 unwind label %blah3
 119
 120 blah2:
 121   br label %loop_body
 122
 123 blah3:
 124   catchendpad unwind to caller ;label %blah2
 125
 126 unwind_out:
 127   catchret %catchpad to label %leave
 128
 129 leave:
 130   ret void
 131
 132 loop_body:                                        ; preds = %iter, %pad
 133   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %blah2 ]
 134   %tmp100 = icmp eq i8* %tmp99, undef
 135   br i1 %tmp100, label %unwind_out, label %iter
 136
 137 iter:                                             ; preds = %loop_body
 138   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
 139   br i1 undef, label %unwind_out, label %loop_body
 140 }
 141
 142 ; CHECK-LABEL: define void @h(
 143 ; CHECK: blug:
 144 ; CHECK: catchpad []
 145 ; CHECK-NEXT: to label %blah2
 146
 147 ; CHECK: blah2:
 148 ; CHECK-NEXT: ptrtoint i8* %phi2 to i32
 149
 150 define void @i() personality i32 (...)* @_except_handler3 {
 151 entry:
 152   br label %throw
 153
 154 throw:                                            ; preds = %throw, %entry
 155   %tmp96 = getelementptr inbounds i8, i8* undef, i32 1
 156   invoke void @reserve()
 157           to label %throw unwind label %catchpad
 158
 159 catchpad:                                              ; preds = %throw
 160   %phi2 = phi i8* [ %tmp96, %throw ]
 161   catchpad [] to label %cp_body unwind label %catchendpad
 162
 163 cp_body:
 164   br label %loop_head
 165
 166 catchendpad:
 167   catchendpad unwind label %cleanuppad
 168
 169 cleanuppad:
 170   cleanuppad []
 171   br label %loop_head
 172
 173 loop_head:
 174   br label %loop_body
 175
 176 loop_body:                                        ; preds = %iter, %catchpad
 177   %tmp99 = phi i8* [ %tmp101, %iter ], [ %phi2, %loop_head ]
 178   %tmp100 = icmp eq i8* %tmp99, undef
 179   br i1 %tmp100, label %unwind_out, label %iter
 180
 181 iter:                                             ; preds = %loop_body
 182   %tmp101 = getelementptr inbounds i8, i8* %tmp99, i32 1
 183   br i1 undef, label %unwind_out, label %loop_body
 184
 185 unwind_out:                                       ; preds = %iter, %loop_body
 186   unreachable
 187 }
 188
 189 ; CHECK-LABEL: define void @i(
 190 ; CHECK: ptrtoint i8* %phi2 to i32