llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt < %s -S -passes='loop-mssa(simple-loop-unswitch),instcombine' -verify-memoryssa | FileCheck %s
   3
   4 @.str9 = external constant [1 x i8]
   5
   6 declare i32 @strcmp(ptr, ptr)
   7
   8 define i32 @_ZN9Generator6strregEPKc(ptr %this, ptr %s) {
   9 ; CHECK-LABEL: define i32 @_ZN9Generator6strregEPKc(
  10 ; CHECK-SAME: ptr [[THIS:%.*]], ptr [[S:%.*]]) {
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    br label [[BB184:%.*]]
  13 ; CHECK:       bb55:
  14 ; CHECK-NEXT:    ret i32 0
  15 ; CHECK:       bb88:
  16 ; CHECK-NEXT:    br i1 poison, label [[BB154:%.*]], label [[BB128:%.*]]
  17 ; CHECK:       bb128:
  18 ; CHECK-NEXT:    br i1 poison, label [[BB250:%.*]], label [[BB166:%.*]]
  19 ; CHECK:       bb154:
  20 ; CHECK-NEXT:    br i1 false, label [[BB250]], label [[BB166]]
  21 ; CHECK:       bb166:
  22 ; CHECK-NEXT:    br label [[BB184]]
  23 ; CHECK:       bb184:
  24 ; CHECK-NEXT:    br i1 false, label [[BB88:%.*]], label [[BB55:%.*]]
  25 ; CHECK:       bb250:
  26 ; CHECK-NEXT:    ret i32 poison
  27 ;
  28 entry:
  29   %s_addr.0 = select i1 false, ptr @.str9, ptr %s
  30   %tmp122 = icmp eq ptr %s_addr.0, null
  31   br label %bb184
  32
  33 bb55:
  34   ret i32 0
  35
  36 bb88:
  37   br i1 %tmp122, label %bb154, label %bb128
  38
  39 bb128:
  40   %tmp138 = call i32 @strcmp( ptr null, ptr %s_addr.0 )
  41   %iftmp.37.0.in4 = icmp eq i32 %tmp138, 0
  42   br i1 %iftmp.37.0.in4, label %bb250, label %bb166
  43
  44 bb154:
  45   br i1 false, label %bb250, label %bb166
  46
  47 bb166:
  48   %tmp175 = add i32 %idx.0, 1
  49   %tmp177 = add i32 %tmp175, 0
  50   %tmp181 = add i32 %tmp177, 0
  51   %tmp183 = add i32 %i33.0, 1
  52   br label %bb184
  53
  54 bb184:
  55   %i33.0 = phi i32 [ 0, %entry ], [ %tmp183, %bb166 ]
  56   %idx.0 = phi i32 [ 0, %entry ], [ %tmp181, %bb166 ]
  57   %tmp49 = icmp slt i32 %i33.0, 0
  58   br i1 %tmp49, label %bb88, label %bb55
  59
  60 bb250:
  61   ret i32 %idx.0
  62 }