50 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes='lto<O3>' -S < %s | FileCheck %s3 4define void @hoist_fdiv(ptr %a, float %b) {5; CHECK-LABEL: @hoist_fdiv(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[TMP0:%.*]] = fdiv fast float 1.000000e+00, [[B:%.*]]8; CHECK-NEXT: br label [[FOR_COND:%.*]]9; CHECK: for.cond:10; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_INC:%.*]] ]11; CHECK-NEXT: [[CMP_NOT:%.*]] = icmp eq i32 [[I_0]], 102412; CHECK-NEXT: br i1 [[CMP_NOT]], label [[FOR_END:%.*]], label [[FOR_INC]]13; CHECK: for.inc:14; CHECK-NEXT: [[IDXPROM:%.*]] = zext nneg i32 [[I_0]] to i6415; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw float, ptr [[A:%.*]], i64 [[IDXPROM]]16; CHECK-NEXT: [[TMP1:%.*]] = load float, ptr [[ARRAYIDX]], align 417; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float [[TMP1]], [[TMP0]]18; CHECK-NEXT: store float [[TMP2]], ptr [[ARRAYIDX]], align 419; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[I_0]], 120; CHECK-NEXT: br label [[FOR_COND]]21; CHECK: for.end:22; CHECK-NEXT: ret void23;24entry:25 br label %for.cond26 27for.cond:28 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]29 %cmp = icmp ne i32 %i.0, 102430 br i1 %cmp, label %for.body, label %for.cond.cleanup31 32for.cond.cleanup:33 br label %for.end34 35for.body:36 %idxprom = sext i32 %i.0 to i6437 %arrayidx = getelementptr inbounds float, ptr %a, i64 %idxprom38 %0 = load float, ptr %arrayidx, align 439 %div = fdiv fast float %0, %b40 store float %div, ptr %arrayidx, align 441 br label %for.inc42 43for.inc:44 %inc = add nsw i32 %i.0, 145 br label %for.cond46 47for.end:48 ret void49}50