103 lines · plain
1; RUN: opt < %s -S -passes=instcombine > %t2; RUN: grep "= getelementptr" %t | count 203; RUN: grep "= phi" %t | count 134 5; Don't push the geps through these phis, because they would require6; two phis each, which burdens the loop with high register pressure.7 8define void @foo(ptr %Ar, ptr %Ai, i64 %As, ptr %Cr, ptr %Ci, i64 %Cs, i64 %n) nounwind {9entry:10 %0 = getelementptr inbounds float, ptr %Ar, i64 0 ; <ptr> [#uses=1]11 %1 = getelementptr inbounds float, ptr %Ai, i64 0 ; <ptr> [#uses=1]12 %2 = mul i64 %n, %As ; <i64> [#uses=1]13 %3 = getelementptr inbounds float, ptr %Ar, i64 %2 ; <ptr> [#uses=1]14 %4 = mul i64 %n, %As ; <i64> [#uses=1]15 %5 = getelementptr inbounds float, ptr %Ai, i64 %4 ; <ptr> [#uses=1]16 %6 = mul i64 %n, 2 ; <i64> [#uses=1]17 %7 = mul i64 %6, %As ; <i64> [#uses=1]18 %8 = getelementptr inbounds float, ptr %Ar, i64 %7 ; <ptr> [#uses=1]19 %9 = mul i64 %n, 2 ; <i64> [#uses=1]20 %10 = mul i64 %9, %As ; <i64> [#uses=1]21 %11 = getelementptr inbounds float, ptr %Ai, i64 %10 ; <ptr> [#uses=1]22 %12 = getelementptr inbounds float, ptr %Cr, i64 0 ; <ptr> [#uses=1]23 %13 = getelementptr inbounds float, ptr %Ci, i64 0 ; <ptr> [#uses=1]24 %14 = mul i64 %n, %Cs ; <i64> [#uses=1]25 %15 = getelementptr inbounds float, ptr %Cr, i64 %14 ; <ptr> [#uses=1]26 %16 = mul i64 %n, %Cs ; <i64> [#uses=1]27 %17 = getelementptr inbounds float, ptr %Ci, i64 %16 ; <ptr> [#uses=1]28 %18 = mul i64 %n, 2 ; <i64> [#uses=1]29 %19 = mul i64 %18, %Cs ; <i64> [#uses=1]30 %20 = getelementptr inbounds float, ptr %Cr, i64 %19 ; <ptr> [#uses=1]31 %21 = mul i64 %n, 2 ; <i64> [#uses=1]32 %22 = mul i64 %21, %Cs ; <i64> [#uses=1]33 %23 = getelementptr inbounds float, ptr %Ci, i64 %22 ; <ptr> [#uses=1]34 br label %bb1335 36bb: ; preds = %bb1337 %24 = load float, ptr %A0r.0, align 4 ; <float> [#uses=1]38 %25 = load float, ptr %A0i.0, align 4 ; <float> [#uses=1]39 %26 = load float, ptr %A1r.0, align 4 ; <float> [#uses=2]40 %27 = load float, ptr %A1i.0, align 4 ; <float> [#uses=2]41 %28 = load float, ptr %A2r.0, align 4 ; <float> [#uses=2]42 %29 = load float, ptr %A2i.0, align 4 ; <float> [#uses=2]43 %30 = fadd float %26, %28 ; <float> [#uses=2]44 %31 = fadd float %27, %29 ; <float> [#uses=2]45 %32 = fsub float %26, %28 ; <float> [#uses=1]46 %33 = fsub float %27, %29 ; <float> [#uses=1]47 %34 = fadd float %24, %30 ; <float> [#uses=2]48 %35 = fadd float %25, %31 ; <float> [#uses=2]49 %36 = fmul float %30, -1.500000e+00 ; <float> [#uses=1]50 %37 = fmul float %31, -1.500000e+00 ; <float> [#uses=1]51 %38 = fadd float %34, %36 ; <float> [#uses=2]52 %39 = fadd float %35, %37 ; <float> [#uses=2]53 %40 = fmul float %32, 0x3FEBB67AE0000000 ; <float> [#uses=2]54 %41 = fmul float %33, 0x3FEBB67AE0000000 ; <float> [#uses=2]55 %42 = fadd float %38, %41 ; <float> [#uses=1]56 %43 = fsub float %39, %40 ; <float> [#uses=1]57 %44 = fsub float %38, %41 ; <float> [#uses=1]58 %45 = fadd float %39, %40 ; <float> [#uses=1]59 store float %34, ptr %C0r.0, align 460 store float %35, ptr %C0i.0, align 461 store float %42, ptr %C1r.0, align 462 store float %43, ptr %C1i.0, align 463 store float %44, ptr %C2r.0, align 464 store float %45, ptr %C2i.0, align 465 %46 = getelementptr inbounds float, ptr %A0r.0, i64 %As ; <ptr> [#uses=1]66 %47 = getelementptr inbounds float, ptr %A0i.0, i64 %As ; <ptr> [#uses=1]67 %48 = getelementptr inbounds float, ptr %A1r.0, i64 %As ; <ptr> [#uses=1]68 %49 = getelementptr inbounds float, ptr %A1i.0, i64 %As ; <ptr> [#uses=1]69 %50 = getelementptr inbounds float, ptr %A2r.0, i64 %As ; <ptr> [#uses=1]70 %51 = getelementptr inbounds float, ptr %A2i.0, i64 %As ; <ptr> [#uses=1]71 %52 = getelementptr inbounds float, ptr %C0r.0, i64 %Cs ; <ptr> [#uses=1]72 %53 = getelementptr inbounds float, ptr %C0i.0, i64 %Cs ; <ptr> [#uses=1]73 %54 = getelementptr inbounds float, ptr %C1r.0, i64 %Cs ; <ptr> [#uses=1]74 %55 = getelementptr inbounds float, ptr %C1i.0, i64 %Cs ; <ptr> [#uses=1]75 %56 = getelementptr inbounds float, ptr %C2r.0, i64 %Cs ; <ptr> [#uses=1]76 %57 = getelementptr inbounds float, ptr %C2i.0, i64 %Cs ; <ptr> [#uses=1]77 %58 = add nsw i64 %i.0, 1 ; <i64> [#uses=1]78 br label %bb1379 80bb13: ; preds = %bb, %entry81 %i.0 = phi i64 [ 0, %entry ], [ %58, %bb ] ; <i64> [#uses=2]82 %C2i.0 = phi ptr [ %23, %entry ], [ %57, %bb ] ; <ptr> [#uses=2]83 %C2r.0 = phi ptr [ %20, %entry ], [ %56, %bb ] ; <ptr> [#uses=2]84 %C1i.0 = phi ptr [ %17, %entry ], [ %55, %bb ] ; <ptr> [#uses=2]85 %C1r.0 = phi ptr [ %15, %entry ], [ %54, %bb ] ; <ptr> [#uses=2]86 %C0i.0 = phi ptr [ %13, %entry ], [ %53, %bb ] ; <ptr> [#uses=2]87 %C0r.0 = phi ptr [ %12, %entry ], [ %52, %bb ] ; <ptr> [#uses=2]88 %A2i.0 = phi ptr [ %11, %entry ], [ %51, %bb ] ; <ptr> [#uses=2]89 %A2r.0 = phi ptr [ %8, %entry ], [ %50, %bb ] ; <ptr> [#uses=2]90 %A1i.0 = phi ptr [ %5, %entry ], [ %49, %bb ] ; <ptr> [#uses=2]91 %A1r.0 = phi ptr [ %3, %entry ], [ %48, %bb ] ; <ptr> [#uses=2]92 %A0i.0 = phi ptr [ %1, %entry ], [ %47, %bb ] ; <ptr> [#uses=2]93 %A0r.0 = phi ptr [ %0, %entry ], [ %46, %bb ] ; <ptr> [#uses=2]94 %59 = icmp slt i64 %i.0, %n ; <i1> [#uses=1]95 br i1 %59, label %bb, label %bb1496 97bb14: ; preds = %bb1398 br label %return99 100return: ; preds = %bb14101 ret void102}103