105 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=gvn -gvn-max-block-speculations=1 -S | FileCheck -check-prefix=PRE %s3; RUN: opt < %s -passes=gvn -gvn-max-block-speculations=0 -S | FileCheck -check-prefix=CHECK %s4 5define i32 @loadpre_opportunity(ptr %arg, i1 %arg1, i1 %arg2, i1 %arg3) {6; PRE-LABEL: @loadpre_opportunity(7; PRE-NEXT: bb:8; PRE-NEXT: [[I:%.*]] = load ptr, ptr [[ARG:%.*]], align 89; PRE-NEXT: [[I6:%.*]] = call i32 @use(ptr [[I]])10; PRE-NEXT: br label [[BB11:%.*]]11; PRE: bb7:12; PRE-NEXT: [[I8:%.*]] = phi ptr [ [[I8_PRE:%.*]], [[BB17_BB7_CRIT_EDGE:%.*]] ], [ [[I81:%.*]], [[BB11]] ]13; PRE-NEXT: [[I10:%.*]] = call i32 @use(ptr [[I8]])14; PRE-NEXT: br label [[BB11]]15; PRE: bb11:16; PRE-NEXT: [[I81]] = phi ptr [ [[I]], [[BB:%.*]] ], [ [[I8]], [[BB7:%.*]] ]17; PRE-NEXT: [[I12:%.*]] = phi i32 [ [[I6]], [[BB]] ], [ [[I10]], [[BB7]] ]18; PRE-NEXT: br i1 [[ARG1:%.*]], label [[BB7]], label [[BB13:%.*]]19; PRE: bb13:20; PRE-NEXT: call void @somecall()21; PRE-NEXT: br i1 [[ARG2:%.*]], label [[BB14:%.*]], label [[BB17:%.*]]22; PRE: bb14:23; PRE-NEXT: br label [[BB15:%.*]]24; PRE: bb15:25; PRE-NEXT: br i1 [[ARG3:%.*]], label [[BB16:%.*]], label [[BB15]]26; PRE: bb16:27; PRE-NEXT: br label [[BB17]]28; PRE: bb17:29; PRE-NEXT: [[I18:%.*]] = call i1 @cond()30; PRE-NEXT: br i1 [[I18]], label [[BB17_BB7_CRIT_EDGE]], label [[BB19:%.*]]31; PRE: bb17.bb7_crit_edge:32; PRE-NEXT: [[I8_PRE]] = load ptr, ptr [[ARG]], align 833; PRE-NEXT: br label [[BB7]]34; PRE: bb19:35; PRE-NEXT: ret i32 [[I12]]36;37; CHECK-LABEL: @loadpre_opportunity(38; CHECK-NEXT: bb:39; CHECK-NEXT: [[I:%.*]] = load ptr, ptr [[ARG:%.*]], align 840; CHECK-NEXT: [[I6:%.*]] = call i32 @use(ptr [[I]])41; CHECK-NEXT: br label [[BB11:%.*]]42; CHECK: bb7:43; CHECK-NEXT: [[I8:%.*]] = load ptr, ptr [[ARG]], align 844; CHECK-NEXT: [[I10:%.*]] = call i32 @use(ptr [[I8]])45; CHECK-NEXT: br label [[BB11]]46; CHECK: bb11:47; CHECK-NEXT: [[I12:%.*]] = phi i32 [ [[I6]], [[BB:%.*]] ], [ [[I10]], [[BB7:%.*]] ]48; CHECK-NEXT: br i1 [[ARG1:%.*]], label [[BB7]], label [[BB13:%.*]]49; CHECK: bb13:50; CHECK-NEXT: call void @somecall()51; CHECK-NEXT: br i1 [[ARG2:%.*]], label [[BB14:%.*]], label [[BB17:%.*]]52; CHECK: bb14:53; CHECK-NEXT: br label [[BB15:%.*]]54; CHECK: bb15:55; CHECK-NEXT: br i1 [[ARG3:%.*]], label [[BB16:%.*]], label [[BB15]]56; CHECK: bb16:57; CHECK-NEXT: br label [[BB17]]58; CHECK: bb17:59; CHECK-NEXT: [[I18:%.*]] = call i1 @cond()60; CHECK-NEXT: br i1 [[I18]], label [[BB7]], label [[BB19:%.*]]61; CHECK: bb19:62; CHECK-NEXT: ret i32 [[I12]]63;64bb:65 %i = load ptr, ptr %arg, align 866 br label %bb567 68bb5:69 %i6 = call i32 @use(ptr %i)70 br label %bb1171 72bb7:73 %i8 = load ptr, ptr %arg, align 874 %i10 = call i32 @use(ptr %i8)75 br label %bb1176 77bb11:78 %i12 = phi i32 [ %i6, %bb5 ], [ %i10, %bb7 ]79 br i1 %arg1, label %bb7, label %bb1380 81bb13:82 call void @somecall()83 br i1 %arg2, label %bb14, label %bb1784 85bb14:86 br label %bb1587 88bb15:89 br i1 %arg3, label %bb16, label %bb1590 91bb16:92 br label %bb1793 94bb17:95 %i18 = call i1 @cond()96 br i1 %i18, label %bb7, label %bb1997 98bb19:99 ret i32 %i12100}101 102declare void @somecall()103declare i32 @use(ptr) readnone104declare i1 @cond() readnone105