266 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4%struct1 = type { ptr, i32, i32, i32 }5%struct2 = type { i32, i32 }6%struct3 = type { i32, %struct4, %struct4 }7%struct4 = type { %struct2, %struct2 }8 9define i32 @test1(ptr %dm, i1 %c, i64 %idx1, i64 %idx2) {10; CHECK-LABEL: @test1(11; CHECK-NEXT: bb:12; CHECK-NEXT: [[INST1:%.*]] = load ptr, ptr [[DM:%.*]], align 813; CHECK-NEXT: br i1 [[C:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]14; CHECK: bb1:15; CHECK-NEXT: [[INST10:%.*]] = getelementptr inbounds [[STRUCT2:%.*]], ptr [[INST1]], i64 [[IDX1:%.*]]16; CHECK-NEXT: store i32 0, ptr [[INST10]], align 417; CHECK-NEXT: br label [[BB3:%.*]]18; CHECK: bb2:19; CHECK-NEXT: [[INST20:%.*]] = getelementptr inbounds [[STRUCT2]], ptr [[INST1]], i64 [[IDX2:%.*]]20; CHECK-NEXT: store i32 0, ptr [[INST20]], align 421; CHECK-NEXT: br label [[BB3]]22; CHECK: bb3:23; CHECK-NEXT: [[TMP0:%.*]] = phi i64 [ [[IDX1]], [[BB1]] ], [ [[IDX2]], [[BB2]] ]24; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT2]], ptr [[INST1]], i64 [[TMP0]]25; CHECK-NEXT: [[INST24:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP1]], i64 426; CHECK-NEXT: [[INST25:%.*]] = load i32, ptr [[INST24]], align 427; CHECK-NEXT: ret i32 [[INST25]]28;29bb:30 %inst1 = load ptr, ptr %dm, align 831 br i1 %c, label %bb1, label %bb232 33bb1:34 %inst10 = getelementptr inbounds %struct2, ptr %inst1, i64 %idx135 store i32 0, ptr %inst10, align 436 br label %bb337 38bb2:39 %inst20 = getelementptr inbounds %struct2, ptr %inst1, i64 %idx240 store i32 0, ptr %inst20, align 441 br label %bb342 43bb3:44 %phi = phi ptr [ %inst10, %bb1 ], [ %inst20, %bb2 ]45 %inst24 = getelementptr inbounds %struct2, ptr %phi, i64 0, i32 146 %inst25 = load i32, ptr %inst24, align 447 ret i32 %inst2548}49 50define i32 @test2(ptr %dm, i64 %idx1, i64 %idx2) {51; CHECK-LABEL: @test2(52; CHECK-NEXT: bb:53; CHECK-NEXT: [[INST1:%.*]] = load ptr, ptr [[DM:%.*]], align 854; CHECK-NEXT: [[INST10:%.*]] = getelementptr inbounds [[STRUCT2:%.*]], ptr [[INST1]], i64 [[IDX1:%.*]]55; CHECK-NEXT: store i32 0, ptr [[INST10]], align 456; CHECK-NEXT: [[INST20:%.*]] = getelementptr inbounds [[STRUCT2]], ptr [[INST1]], i64 [[IDX2:%.*]]57; CHECK-NEXT: store i32 0, ptr [[INST20]], align 458; CHECK-NEXT: [[INST24:%.*]] = getelementptr inbounds nuw i8, ptr [[INST10]], i64 459; CHECK-NEXT: [[INST25:%.*]] = load i32, ptr [[INST24]], align 460; CHECK-NEXT: ret i32 [[INST25]]61;62bb:63 %inst1 = load ptr, ptr %dm, align 864 %inst10 = getelementptr inbounds %struct2, ptr %inst1, i64 %idx165 store i32 0, ptr %inst10, align 466 %inst20 = getelementptr inbounds %struct2, ptr %inst1, i64 %idx267 store i32 0, ptr %inst20, align 468 %inst24 = getelementptr inbounds %struct2, ptr %inst10, i64 0, i32 169 %inst25 = load i32, ptr %inst24, align 470 ret i32 %inst2571}72 73; Check that instcombine doesn't insert GEPs before landingpad.74 75define i32 @test3(ptr %dm, i1 %c, i64 %idx1, i64 %idx2, i64 %idx3) personality ptr @__gxx_personality_v0 {76; CHECK-LABEL: @test3(77; CHECK-NEXT: bb:78; CHECK-NEXT: br i1 [[C:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]79; CHECK: bb1:80; CHECK-NEXT: [[INST1_SPLIT:%.*]] = getelementptr inbounds [[STRUCT3:%.*]], ptr [[DM:%.*]], i64 [[IDX1:%.*]]81; CHECK-NEXT: [[INST1:%.*]] = getelementptr inbounds nuw i8, ptr [[INST1_SPLIT]], i64 482; CHECK-NEXT: store i32 0, ptr [[INST1]], align 483; CHECK-NEXT: br label [[BB3:%.*]]84; CHECK: bb2:85; CHECK-NEXT: [[INST2_SPLIT:%.*]] = getelementptr inbounds [[STRUCT3]], ptr [[DM]], i64 [[IDX2:%.*]]86; CHECK-NEXT: [[INST12:%.*]] = getelementptr inbounds nuw i8, ptr [[INST2_SPLIT]], i64 887; CHECK-NEXT: store i32 0, ptr [[INST12]], align 488; CHECK-NEXT: br label [[BB3]]89; CHECK: bb3:90; CHECK-NEXT: [[TMP0:%.*]] = phi i64 [ [[IDX1]], [[BB1]] ], [ [[IDX2]], [[BB2]] ]91; CHECK-NEXT: [[INST22:%.*]] = invoke i32 @foo1(i32 11)92; CHECK-NEXT: to label [[BB4:%.*]] unwind label [[BB5:%.*]]93; CHECK: bb4:94; CHECK-NEXT: ret i32 095; CHECK: bb5:96; CHECK-NEXT: [[INST27:%.*]] = landingpad { ptr, i32 }97; CHECK-NEXT: catch ptr @_ZTIi98; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT3]], ptr [[DM]], i64 [[TMP0]]99; CHECK-NEXT: [[INST34_SPLIT:%.*]] = getelementptr [[STRUCT4:%.*]], ptr [[TMP1]], i64 [[IDX3:%.*]]100; CHECK-NEXT: [[INST35:%.*]] = getelementptr i8, ptr [[INST34_SPLIT]], i64 16101; CHECK-NEXT: [[INST25:%.*]] = load i32, ptr [[INST35]], align 4102; CHECK-NEXT: ret i32 [[INST25]]103;104bb:105 br i1 %c, label %bb1, label %bb2106 107bb1:108 %inst1 = getelementptr inbounds %struct3, ptr %dm, i64 %idx1, i32 1109 store i32 0, ptr %inst1, align 4110 br label %bb3111 112bb2:113 %inst2 = getelementptr inbounds %struct3, ptr %dm, i64 %idx2, i32 1114 %inst12 = getelementptr inbounds %struct4, ptr %inst2, i64 0, i32 0, i32 1115 store i32 0, ptr %inst12, align 4116 br label %bb3117 118bb3:119 %phi = phi ptr [ %inst1, %bb1 ], [ %inst2, %bb2 ]120 %inst22 = invoke i32 @foo1(i32 11) to label %bb4 unwind label %bb5121 122bb4:123 ret i32 0124 125bb5:126 %inst27 = landingpad { ptr, i32 } catch ptr @_ZTIi127 %inst34 = getelementptr inbounds %struct4, ptr %phi, i64 %idx3, i32 1128 %inst35 = getelementptr inbounds %struct2, ptr %inst34, i64 0, i32 1129 %inst25 = load i32, ptr %inst35, align 4130 ret i32 %inst25131}132 133@_ZTIi = external constant ptr134declare i32 @__gxx_personality_v0(...)135declare i32 @foo1(i32)136 137 138; Check that instcombine doesn't fold GEPs into themselves through a loop139; back-edge.140 141define ptr @test4(i32 %value, ptr %buffer) {142; CHECK-LABEL: @test4(143; CHECK-NEXT: entry:144; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[VALUE:%.*]], 127145; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_HEADER:%.*]], label [[EXIT:%.*]]146; CHECK: loop.header:147; CHECK-NEXT: br label [[LOOP_BODY:%.*]]148; CHECK: loop.body:149; CHECK-NEXT: [[BUFFER_PN:%.*]] = phi ptr [ [[BUFFER:%.*]], [[LOOP_HEADER]] ], [ [[LOOPPTR:%.*]], [[LOOP_BODY]] ]150; CHECK-NEXT: [[NEWVAL:%.*]] = phi i32 [ [[VALUE]], [[LOOP_HEADER]] ], [ [[SHR:%.*]], [[LOOP_BODY]] ]151; CHECK-NEXT: [[LOOPPTR]] = getelementptr inbounds nuw i8, ptr [[BUFFER_PN]], i64 1152; CHECK-NEXT: [[SHR]] = lshr i32 [[NEWVAL]], 7153; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[NEWVAL]], 16383154; CHECK-NEXT: br i1 [[CMP2]], label [[LOOP_BODY]], label [[LOOP_EXIT:%.*]]155; CHECK: loop.exit:156; CHECK-NEXT: br label [[EXIT]]157; CHECK: exit:158; CHECK-NEXT: [[TMP0:%.*]] = phi ptr [ [[LOOPPTR]], [[LOOP_EXIT]] ], [ [[BUFFER]], [[ENTRY:%.*]] ]159; CHECK-NEXT: [[INCPTR3:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 2160; CHECK-NEXT: ret ptr [[INCPTR3]]161;162entry:163 %incptr = getelementptr inbounds i8, ptr %buffer, i64 1164 %cmp = icmp ugt i32 %value, 127165 br i1 %cmp, label %loop.header, label %exit166 167loop.header:168 br label %loop.body169 170loop.body:171 %loopptr = phi ptr [ %incptr, %loop.header ], [ %incptr2, %loop.body ]172 %newval = phi i32 [ %value, %loop.header ], [ %shr, %loop.body ]173 %shr = lshr i32 %newval, 7174 %incptr2 = getelementptr inbounds i8, ptr %loopptr, i64 1175 %cmp2 = icmp ugt i32 %shr, 127176 br i1 %cmp2, label %loop.body, label %loop.exit177 178loop.exit:179 %exitptr = phi ptr [ %incptr2, %loop.body ]180 br label %exit181 182exit:183 %ptr2 = phi ptr [ %exitptr, %loop.exit ], [ %incptr, %entry ]184 %incptr3 = getelementptr inbounds i8, ptr %ptr2, i64 1185 ret ptr %incptr3186}187 188@.str.4 = external unnamed_addr constant [100 x i8], align 1189 190; Instcombine shouldn't add new PHI nodes while folding GEPs if that will leave191; old PHI nodes behind as this is not clearly beneficial.192define void @test5(ptr %idx, ptr %in) #0 {193; CHECK-LABEL: @test5(194; CHECK-NEXT: entry:195; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[IN:%.*]], align 8196; CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 1197; CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[INCDEC_PTR]], align 1198; CHECK-NEXT: [[CMP23:%.*]] = icmp eq i8 [[TMP1]], 54199; CHECK-NEXT: br i1 [[CMP23]], label [[WHILE_COND:%.*]], label [[IF_THEN_25:%.*]]200; CHECK: if.then.25:201; CHECK-NEXT: call void @g(ptr nonnull @.str.4)202; CHECK-NEXT: br label [[WHILE_COND]]203; CHECK: while.cond:204; CHECK-NEXT: [[PTR:%.*]] = phi ptr [ [[INCDEC_PTR]], [[ENTRY:%.*]] ], [ [[INCDEC_PTR32:%.*]], [[WHILE_BODY:%.*]] ], [ [[INCDEC_PTR]], [[IF_THEN_25]] ]205; CHECK-NEXT: [[TMP2:%.*]] = load i8, ptr [[PTR]], align 1206; CHECK-NEXT: [[AND:%.*]] = and i8 [[TMP2]], 64207; CHECK-NEXT: [[LNOT:%.*]] = icmp eq i8 [[AND]], 0208; CHECK-NEXT: br i1 [[LNOT]], label [[WHILE_BODY]], label [[WHILE_COND_33:%.*]]209; CHECK: while.body:210; CHECK-NEXT: [[INCDEC_PTR32]] = getelementptr inbounds nuw i8, ptr [[PTR]], i64 1211; CHECK-NEXT: br label [[WHILE_COND]]212; CHECK: while.cond.33:213; CHECK-NEXT: [[INCDEC_PTR34:%.*]] = getelementptr inbounds nuw i8, ptr [[PTR]], i64 1214; CHECK-NEXT: br label [[WHILE_COND_57:%.*]]215; CHECK: while.cond.57:216; CHECK-NEXT: [[TMP3:%.*]] = load i8, ptr [[INCDEC_PTR34]], align 1217; CHECK-NEXT: [[TMP4:%.*]] = zext i8 [[TMP3]] to i64218; CHECK-NEXT: [[ARRAYIDX61:%.*]] = getelementptr inbounds nuw i16, ptr [[IDX:%.*]], i64 [[TMP4]]219; CHECK-NEXT: [[TMP5:%.*]] = load i16, ptr [[ARRAYIDX61]], align 2220; CHECK-NEXT: [[AND63:%.*]] = and i16 [[TMP5]], 2048221; CHECK-NEXT: [[TOBOOL64:%.*]] = icmp eq i16 [[AND63]], 0222; CHECK-NEXT: br i1 [[TOBOOL64]], label [[WHILE_COND_73:%.*]], label [[WHILE_COND_57]]223; CHECK: while.cond.73:224; CHECK-NEXT: br label [[WHILE_COND_73]]225;226entry:227 %0 = load ptr, ptr %in228 %incdec.ptr = getelementptr inbounds i8, ptr %0, i32 1229 %1 = load i8, ptr %incdec.ptr, align 1230 %cmp23 = icmp eq i8 %1, 54231 br i1 %cmp23, label %while.cond, label %if.then.25232 233if.then.25:234 call void @g(ptr @.str.4)235 br label %while.cond236 237while.cond:238 %Ptr = phi ptr [ %incdec.ptr, %entry ], [ %incdec.ptr32, %while.body], [%incdec.ptr, %if.then.25 ]239 %2 = load i8, ptr %Ptr240 %and = and i8 %2, 64241 %lnot = icmp eq i8 %and, 0242 br i1 %lnot, label %while.body, label %while.cond.33243 244while.body:245 %incdec.ptr32 = getelementptr inbounds i8, ptr %Ptr, i32 1246 br label %while.cond247 248while.cond.33:249 %incdec.ptr34 = getelementptr inbounds i8, ptr %Ptr, i32 1250 br label %while.cond.57251 252while.cond.57:253 %3 = load i8, ptr %incdec.ptr34, align 1254 %conv59 = zext i8 %3 to i32255 %arrayidx61 = getelementptr inbounds i16, ptr %idx, i32 %conv59256 %4 = load i16, ptr %arrayidx61, align 2257 %and63 = and i16 %4, 2048258 %tobool64 = icmp eq i16 %and63, 0259 br i1 %tobool64, label %while.cond.73, label %while.cond.57260 261while.cond.73:262 br label %while.cond.73263}264 265declare void @g(ptr)266