llvm/test/Transforms/SimplifyCFG/HoistCode.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=simplifycfg -hoist-common-insts=true -S | FileCheck %s
   3 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true -S | FileCheck %s
   4
   5 define void @foo(i1 %C, ptr %P) {
   6 ; CHECK-LABEL: @foo(
   7 ; CHECK-NEXT:  common.ret:
   8 ; CHECK-NEXT:    store i32 7, ptr [[P:%.*]], align 4
   9 ; CHECK-NEXT:    ret void
  10 ;
  11   br i1 %C, label %T, label %F
  12 T:              ; preds = %0
  13   store i32 7, ptr %P
  14   ret void
  15 F:              ; preds = %0
  16   store i32 7, ptr %P
  17   ret void
  18 }
  19
  20 define void @foo_switch(i64 %C, ptr %P) {
  21 ; CHECK-LABEL: @foo_switch(
  22 ; CHECK-NEXT:  common.ret:
  23 ; CHECK-NEXT:    store i32 7, ptr [[P:%.*]], align 4
  24 ; CHECK-NEXT:    ret void
  25 ;
  26   switch i64 %C, label %bb0 [
  27   i64 1, label %bb1
  28   i64 2, label %bb2
  29   ]
  30 bb0:              ; preds = %0
  31   store i32 7, ptr %P
  32   ret void
  33 bb1:              ; preds = %0
  34   store i32 7, ptr %P
  35   ret void
  36 bb2:              ; preds = %0
  37   store i32 7, ptr %P
  38   ret void
  39 }
  40
  41 define float @PR39535min(float %x) {
  42 ; CHECK-LABEL: @PR39535min(
  43 ; CHECK-NEXT:  entry:
  44 ; CHECK-NEXT:    [[TOBOOL:%.*]] = fcmp une float [[X:%.*]], 0.000000e+00
  45 ; CHECK-NEXT:    [[DOTX:%.*]] = select fast i1 [[TOBOOL]], float 0.000000e+00, float [[X]]
  46 ; CHECK-NEXT:    ret float [[DOTX]]
  47 ;
  48 entry:
  49   %tobool = fcmp une float %x, 0.0
  50   br i1 %tobool, label %cond.true, label %cond.false
  51
  52 cond.true:
  53   br label %cond.end
  54
  55 cond.false:
  56   br label %cond.end
  57
  58 cond.end:
  59   %cond = phi fast float [ 0.0, %cond.true ], [ %x, %cond.false ]
  60   ret float %cond
  61 }
  62
  63 define float @PR39535min_switch(i64 %i, float %x) {
  64 ; CHECK-LABEL: @PR39535min_switch(
  65 ; CHECK-NEXT:  entry:
  66 ; CHECK-NEXT:    switch i64 [[I:%.*]], label [[END:%.*]] [
  67 ; CHECK-NEXT:      i64 1, label [[BB1:%.*]]
  68 ; CHECK-NEXT:      i64 2, label [[BB1]]
  69 ; CHECK-NEXT:    ]
  70 ; CHECK:       bb1:
  71 ; CHECK-NEXT:    br label [[END]]
  72 ; CHECK:       end:
  73 ; CHECK-NEXT:    [[COND:%.*]] = phi fast float [ [[X:%.*]], [[BB1]] ], [ 0.000000e+00, [[ENTRY:%.*]] ]
  74 ; CHECK-NEXT:    ret float [[COND]]
  75 ;
  76 entry:
  77   switch i64 %i, label %bb0 [
  78   i64 1, label %bb1
  79   i64 2, label %bb2
  80   ]
  81
  82 bb0:
  83   br label %end
  84
  85 bb1:
  86   br label %end
  87
  88 bb2:
  89   br label %end
  90
  91 end:
  92   %cond = phi fast float [ 0.0, %bb0 ], [ %x, %bb1 ], [ %x, %bb2 ]
  93   ret float %cond
  94 }
  95
  96 define i32 @hoist_zext_flags_preserve(i1 %C, i8 %x) {
  97 ; CHECK-LABEL: @hoist_zext_flags_preserve(
  98 ; CHECK-NEXT:  common.ret:
  99 ; CHECK-NEXT:    [[Z1:%.*]] = zext nneg i8 [[X:%.*]] to i32
 100 ; CHECK-NEXT:    ret i32 [[Z1]]
 101 ;
 102   br i1 %C, label %T, label %F
 103 T:
 104   %z1 = zext nneg i8 %x to i32
 105   ret i32 %z1
 106 F:
 107   %z2 = zext nneg i8 %x to i32
 108   ret i32 %z2
 109 }
 110
 111 define i32 @hoist_zext_flags_drop(i1 %C, i8 %x) {
 112 ; CHECK-LABEL: @hoist_zext_flags_drop(
 113 ; CHECK-NEXT:  common.ret:
 114 ; CHECK-NEXT:    [[Z1:%.*]] = zext i8 [[X:%.*]] to i32
 115 ; CHECK-NEXT:    ret i32 [[Z1]]
 116 ;
 117   br i1 %C, label %T, label %F
 118 T:
 119   %z1 = zext nneg i8 %x to i32
 120   ret i32 %z1
 121 F:
 122   %z2 = zext i8 %x to i32
 123   ret i32 %z2
 124 }
 125
 126
 127 define float @hoist_uitofp_flags_preserve(i1 %C, i8 %x) {
 128 ; CHECK-LABEL: @hoist_uitofp_flags_preserve(
 129 ; CHECK-NEXT:  common.ret:
 130 ; CHECK-NEXT:    [[Z1:%.*]] = uitofp nneg i8 [[X:%.*]] to float
 131 ; CHECK-NEXT:    ret float [[Z1]]
 132 ;
 133   br i1 %C, label %T, label %F
 134 T:
 135   %z1 = uitofp nneg i8 %x to float
 136   ret float %z1
 137 F:
 138   %z2 = uitofp nneg i8 %x to float
 139   ret float %z2
 140 }
 141
 142 define float @hoist_uitofp_flags_drop(i1 %C, i8 %x) {
 143 ; CHECK-LABEL: @hoist_uitofp_flags_drop(
 144 ; CHECK-NEXT:  common.ret:
 145 ; CHECK-NEXT:    [[Z1:%.*]] = uitofp i8 [[X:%.*]] to float
 146 ; CHECK-NEXT:    ret float [[Z1]]
 147 ;
 148   br i1 %C, label %T, label %F
 149 T:
 150   %z1 = uitofp nneg i8 %x to float
 151   ret float %z1
 152 F:
 153   %z2 = uitofp i8 %x to float
 154   ret float %z2
 155 }
 156
 157 define i32 @hoist_or_flags_preserve(i1 %C, i32 %x, i32 %y) {
 158 ; CHECK-LABEL: @hoist_or_flags_preserve(
 159 ; CHECK-NEXT:  common.ret:
 160 ; CHECK-NEXT:    [[Z1:%.*]] = or disjoint i32 [[X:%.*]], [[Y:%.*]]
 161 ; CHECK-NEXT:    ret i32 [[Z1]]
 162 ;
 163   br i1 %C, label %T, label %F
 164 T:
 165   %z1 = or disjoint i32 %x, %y
 166   ret i32 %z1
 167 F:
 168   %z2 = or disjoint i32 %x, %y
 169   ret i32 %z2
 170 }
 171
 172 define i32 @hoist_or_flags_drop(i1 %C, i32 %x, i32 %y) {
 173 ; CHECK-LABEL: @hoist_or_flags_drop(
 174 ; CHECK-NEXT:  common.ret:
 175 ; CHECK-NEXT:    [[Z1:%.*]] = or i32 [[X:%.*]], [[Y:%.*]]
 176 ; CHECK-NEXT:    ret i32 [[Z1]]
 177 ;
 178   br i1 %C, label %T, label %F
 179 T:
 180   %z1 = or i32 %x, %y
 181   ret i32 %z1
 182 F:
 183   %z2 = or disjoint i32 %x, %y
 184   ret i32 %z2
 185 }
 186
 187 define i16 @hoist_trunc_flags_preserve(i1 %C, i32 %x) {
 188 ; CHECK-LABEL: @hoist_trunc_flags_preserve(
 189 ; CHECK-NEXT:  common.ret:
 190 ; CHECK-NEXT:    [[Z1:%.*]] = trunc nuw nsw i32 [[X:%.*]] to i16
 191 ; CHECK-NEXT:    ret i16 [[Z1]]
 192 ;
 193   br i1 %C, label %T, label %F
 194 T:
 195   %z1 = trunc nsw nuw i32 %x to i16
 196   ret i16 %z1
 197 F:
 198   %z2 = trunc nsw nuw i32 %x to i16
 199   ret i16 %z2
 200 }
 201
 202 define i16 @hoist_trunc_flags_drop(i1 %C, i32 %x) {
 203 ; CHECK-LABEL: @hoist_trunc_flags_drop(
 204 ; CHECK-NEXT:  common.ret:
 205 ; CHECK-NEXT:    [[Z1:%.*]] = trunc i32 [[X:%.*]] to i16
 206 ; CHECK-NEXT:    ret i16 [[Z1]]
 207 ;
 208   br i1 %C, label %T, label %F
 209 T:
 210   %z1 = trunc i32 %x to i16
 211   ret i16 %z1
 212 F:
 213   %z2 = trunc nsw nuw i32 %x to i16
 214   ret i16 %z2
 215 }
 216
 217 define ptr @hoist_gep_flags_both_nuw(i1 %C, ptr %p) {
 218 ; CHECK-LABEL: @hoist_gep_flags_both_nuw(
 219 ; CHECK-NEXT:  common.ret:
 220 ; CHECK-NEXT:    [[GEP1:%.*]] = getelementptr nuw i8, ptr [[P:%.*]], i64 1
 221 ; CHECK-NEXT:    ret ptr [[GEP1]]
 222 ;
 223   br i1 %C, label %T, label %F
 224 T:
 225   %gep1 = getelementptr nuw i8, ptr %p, i64 1
 226   ret ptr %gep1
 227 F:
 228   %gep2 = getelementptr nuw i8, ptr %p, i64 1
 229   ret ptr %gep2
 230 }
 231
 232 define ptr @hoist_gep_flags_both_nusw(i1 %C, ptr %p) {
 233 ; CHECK-LABEL: @hoist_gep_flags_both_nusw(
 234 ; CHECK-NEXT:  common.ret:
 235 ; CHECK-NEXT:    [[GEP1:%.*]] = getelementptr nusw i8, ptr [[P:%.*]], i64 1
 236 ; CHECK-NEXT:    ret ptr [[GEP1]]
 237 ;
 238   br i1 %C, label %T, label %F
 239 T:
 240   %gep1 = getelementptr nusw i8, ptr %p, i64 1
 241   ret ptr %gep1
 242 F:
 243   %gep2 = getelementptr nusw i8, ptr %p, i64 1
 244   ret ptr %gep2
 245 }
 246
 247 define ptr @hoist_gep_flags_intersect1(i1 %C, ptr %p) {
 248 ; CHECK-LABEL: @hoist_gep_flags_intersect1(
 249 ; CHECK-NEXT:  common.ret:
 250 ; CHECK-NEXT:    [[GEP1:%.*]] = getelementptr nusw i8, ptr [[P:%.*]], i64 1
 251 ; CHECK-NEXT:    ret ptr [[GEP1]]
 252 ;
 253   br i1 %C, label %T, label %F
 254 T:
 255   %gep1 = getelementptr inbounds nuw i8, ptr %p, i64 1
 256   ret ptr %gep1
 257 F:
 258   %gep2 = getelementptr nusw i8, ptr %p, i64 1
 259   ret ptr %gep2
 260 }
 261
 262 define ptr @hoist_gep_flags_intersect2(i1 %C, ptr %p) {
 263 ; CHECK-LABEL: @hoist_gep_flags_intersect2(
 264 ; CHECK-NEXT:  common.ret:
 265 ; CHECK-NEXT:    [[GEP1:%.*]] = getelementptr i8, ptr [[P:%.*]], i64 1
 266 ; CHECK-NEXT:    ret ptr [[GEP1]]
 267 ;
 268   br i1 %C, label %T, label %F
 269 T:
 270   %gep1 = getelementptr inbounds i8, ptr %p, i64 1
 271   ret ptr %gep1
 272 F:
 273   %gep2 = getelementptr nuw i8, ptr %p, i64 1
 274   ret ptr %gep2
 275 }
 276
 277 define i1 @hoist_icmp_flags_preserve(i1 %C, i32 %x, i32 %y) {
 278 ; CHECK-LABEL: @hoist_icmp_flags_preserve(
 279 ; CHECK-NEXT:  common.ret:
 280 ; CHECK-NEXT:    [[Z1:%.*]] = icmp samesign ult i32 [[X:%.*]], [[Y:%.*]]
 281 ; CHECK-NEXT:    ret i1 [[Z1]]
 282 ;
 283   br i1 %C, label %T, label %F
 284 T:
 285   %z1 = icmp samesign ult i32 %x, %y
 286   ret i1 %z1
 287 F:
 288   %z2 = icmp samesign ult i32 %x, %y
 289   ret i1 %z2
 290 }
 291
 292 define i1 @hoist_icmp_flags_drop(i1 %C, i32 %x, i32 %y) {
 293 ; CHECK-LABEL: @hoist_icmp_flags_drop(
 294 ; CHECK-NEXT:  common.ret:
 295 ; CHECK-NEXT:    [[Z1:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
 296 ; CHECK-NEXT:    ret i1 [[Z1]]
 297 ;
 298   br i1 %C, label %T, label %F
 299 T:
 300   %z1 = icmp ult i32 %x, %y
 301   ret i1 %z1
 302 F:
 303   %z2 = icmp samesign ult i32 %x, %y
 304   ret i1 %z2
 305 }