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 6declare i32 @strcmp(ptr, ptr) 7 8define 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; 28entry: 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 33bb55: 34 ret i32 0 35 36bb88: 37 br i1 %tmp122, label %bb154, label %bb128 38 39bb128: 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 44bb154: 45 br i1 false, label %bb250, label %bb166 46 47bb166: 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 54bb184: 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 60bb250: 61 ret i32 %idx.0 62} 63