1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -loop-reduce -S %s | FileCheck %s 3 4target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 5target triple = "x86_64-apple-macosx10.15.0" 6 7declare void @use(double) readnone 8 9; Make sure re-used instructions do not impact the insertion points for SCEV 10; expansion. 11define void @test(ptr %ioptr, i32 %X, ptr %start, ptr %end) { 12; CHECK-LABEL: @test( 13; CHECK-NEXT: entry: 14; CHECK-NEXT: [[IDX_EXT32:%.*]] = sext i32 [[X:%.*]] to i64 15; CHECK-NEXT: [[TMP0:%.*]] = shl nsw i64 [[IDX_EXT32]], 3 16; CHECK-NEXT: [[TMP1:%.*]] = add nsw i64 [[TMP0]], 8 17; CHECK-NEXT: br label [[FOR_BODY15:%.*]] 18; CHECK: for.body15: 19; CHECK-NEXT: br label [[FOR_BODY37:%.*]] 20; CHECK: for.body37: 21; CHECK-NEXT: [[P0R_0335:%.*]] = phi ptr [ [[ADD_PTR94:%.*]], [[FOR_BODY37]] ], [ [[START:%.*]], [[FOR_BODY15]] ] 22; CHECK-NEXT: [[ADD_PTR94]] = getelementptr inbounds double, ptr [[P0R_0335]], i64 1 23; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[P0R_0335]], i64 [[TMP1]] 24; CHECK-NEXT: [[F1I_0:%.*]] = load double, ptr [[SCEVGEP]], align 8 25; CHECK-NEXT: call void @use(double [[F1I_0]]) 26; CHECK-NEXT: [[EC0:%.*]] = icmp eq ptr [[ADD_PTR94]], [[END:%.*]] 27; CHECK-NEXT: br i1 [[EC0]], label [[FOR_BODY37]], label [[FOR_END_LOOPEXIT:%.*]] 28; CHECK: for.end.loopexit: 29; CHECK-NEXT: [[ADD_PTR94_LCSSA:%.*]] = phi ptr [ [[ADD_PTR94]], [[FOR_BODY37]] ] 30; CHECK-NEXT: br label [[FOR_END:%.*]] 31; CHECK: for.end: 32; CHECK-NEXT: [[P0R_0_LCSSA:%.*]] = phi ptr [ [[ADD_PTR94_LCSSA]], [[FOR_END_LOOPEXIT]] ] 33; CHECK-NEXT: [[EC1:%.*]] = icmp eq ptr [[P0R_0_LCSSA]], [[END]] 34; CHECK-NEXT: br i1 [[EC1]], label [[FOR_BODY15]], label [[FOR_INC133:%.*]] 35; CHECK: for.inc133: 36; CHECK-NEXT: ret void 37; 38entry: 39 %idx.ext32 = sext i32 %X to i64 40 br label %for.body15 41 42for.body15: ; preds = %for.end, %for.body15.lr.ph 43 br label %for.body37 44 45for.body37: ; preds = %for.body37, %for.body37.preheader 46 %p0r.0335 = phi ptr [ %add.ptr94, %for.body37 ], [ %start, %for.body15 ] 47 %add.ptr94 = getelementptr inbounds double, ptr %p0r.0335, i64 1 48 %f1i.0.in = getelementptr inbounds double, ptr %add.ptr94, i64 %idx.ext32 49 %f1i.0 = load double, ptr %f1i.0.in, align 8 50 call void @use(double %f1i.0) 51 %ec0 = icmp eq ptr %add.ptr94, %end 52 br i1 %ec0, label %for.body37, label %for.end.loopexit 53 54for.end.loopexit: ; preds = %for.body37 55 br label %for.end 56 57for.end: ; preds = %for.end.loopexit, %for.body15 58 %p0r.0.lcssa = phi ptr [ %add.ptr94, %for.end.loopexit ] 59 %ec1 = icmp eq ptr %p0r.0.lcssa, %end 60 br i1 %ec1, label %for.body15, label %for.inc133 61 62for.inc133: ; preds = %for.end 63 ret void 64} 65