63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -S -passes='loop-mssa(simple-loop-unswitch),instcombine' -verify-memoryssa | FileCheck %s3 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 015; 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 poison27;28entry:29 %s_addr.0 = select i1 false, ptr @.str9, ptr %s30 %tmp122 = icmp eq ptr %s_addr.0, null31 br label %bb18432 33bb55:34 ret i32 035 36bb88:37 br i1 %tmp122, label %bb154, label %bb12838 39bb128:40 %tmp138 = call i32 @strcmp( ptr null, ptr %s_addr.0 )41 %iftmp.37.0.in4 = icmp eq i32 %tmp138, 042 br i1 %iftmp.37.0.in4, label %bb250, label %bb16643 44bb154:45 br i1 false, label %bb250, label %bb16646 47bb166:48 %tmp175 = add i32 %idx.0, 149 %tmp177 = add i32 %tmp175, 050 %tmp181 = add i32 %tmp177, 051 %tmp183 = add i32 %i33.0, 152 br label %bb18453 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, 058 br i1 %tmp49, label %bb88, label %bb5559 60bb250:61 ret i32 %idx.062}63