1target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" 2; RUN: opt < %s -bb-vectorize -bb-vectorize-req-chain-depth=3 -bb-vectorize-ignore-target-info -instcombine -gvn -S | FileCheck %s 3 4; This test checks the non-trivial pairing-induced cycle avoidance. Without this cycle avoidance, the algorithm would otherwise 5; want to select the pairs: 6; %div77 = fdiv double %sub74, %mul76.v.r1 <-> %div125 = fdiv double %mul121, %mul76.v.r2 (div125 depends on mul117) 7; %add84 = fadd double %sub83, 2.000000e+00 <-> %add127 = fadd double %mul126, 1.000000e+00 (add127 depends on div77) 8; %mul95 = fmul double %sub45.v.r1, %sub36.v.r1 <-> %mul88 = fmul double %sub36.v.r1, %sub87 (mul88 depends on add84) 9; %mul117 = fmul double %sub39.v.r1, %sub116 <-> %mul97 = fmul double %mul96, %sub39.v.r1 (mul97 depends on mul95) 10; and so a dependency cycle would be created. 11 12declare double @fabs(double) nounwind readnone 13define void @test1(double %a, double %b, double %c, double %add80, double %mul1, double %mul2.v.r1, double %mul73, double %sub, double %sub65, double %F.0, i32 %n.0, double %Bnm3.0, double %Bnm2.0, double %Bnm1.0, double %Anm3.0, double %Anm2.0, double %Anm1.0) { 14entry: 15 br label %go 16go: 17 %conv = sitofp i32 %n.0 to double 18 %add35 = fadd double %conv, %a 19 %sub36 = fadd double %add35, -1.000000e+00 20 %add38 = fadd double %conv, %b 21 %sub39 = fadd double %add38, -1.000000e+00 22 %add41 = fadd double %conv, %c 23 %sub42 = fadd double %add41, -1.000000e+00 24 %sub45 = fadd double %add35, -2.000000e+00 25 %sub48 = fadd double %add38, -2.000000e+00 26 %sub51 = fadd double %add41, -2.000000e+00 27 %mul52 = shl nsw i32 %n.0, 1 28 %sub53 = add nsw i32 %mul52, -1 29 %conv54 = sitofp i32 %sub53 to double 30 %sub56 = add nsw i32 %mul52, -3 31 %conv57 = sitofp i32 %sub56 to double 32 %sub59 = add nsw i32 %mul52, -5 33 %conv60 = sitofp i32 %sub59 to double 34 %mul61 = mul nsw i32 %n.0, %n.0 35 %conv62 = sitofp i32 %mul61 to double 36 %mul63 = fmul double %conv62, 3.000000e+00 37 %mul67 = fmul double %sub65, %conv 38 %add68 = fadd double %mul63, %mul67 39 %add69 = fadd double %add68, 2.000000e+00 40 %sub71 = fsub double %add69, %mul2.v.r1 41 %sub74 = fsub double %sub71, %mul73 42 %mul75 = fmul double %conv57, 2.000000e+00 43 %mul76 = fmul double %mul75, %sub42 44 %div77 = fdiv double %sub74, %mul76 45 %mul82 = fmul double %add80, %conv 46 %sub83 = fsub double %mul63, %mul82 47 %add84 = fadd double %sub83, 2.000000e+00 48 %sub86 = fsub double %add84, %mul2.v.r1 49 %sub87 = fsub double -0.000000e+00, %sub86 50 %mul88 = fmul double %sub36, %sub87 51 %mul89 = fmul double %mul88, %sub39 52 %mul90 = fmul double %conv54, 4.000000e+00 53 %mul91 = fmul double %mul90, %conv57 54 %mul92 = fmul double %mul91, %sub51 55 %mul93 = fmul double %mul92, %sub42 56 %div94 = fdiv double %mul89, %mul93 57 %mul95 = fmul double %sub45, %sub36 58 %mul96 = fmul double %mul95, %sub48 59 %mul97 = fmul double %mul96, %sub39 60 %sub99 = fsub double %conv, %a 61 %sub100 = fadd double %sub99, -2.000000e+00 62 %mul101 = fmul double %mul97, %sub100 63 %sub103 = fsub double %conv, %b 64 %sub104 = fadd double %sub103, -2.000000e+00 65 %mul105 = fmul double %mul101, %sub104 66 %mul106 = fmul double %conv57, 8.000000e+00 67 %mul107 = fmul double %mul106, %conv57 68 %mul108 = fmul double %mul107, %conv60 69 %sub111 = fadd double %add41, -3.000000e+00 70 %mul112 = fmul double %mul108, %sub111 71 %mul113 = fmul double %mul112, %sub51 72 %mul114 = fmul double %mul113, %sub42 73 %div115 = fdiv double %mul105, %mul114 74 %sub116 = fsub double -0.000000e+00, %sub36 75 %mul117 = fmul double %sub39, %sub116 76 %sub119 = fsub double %conv, %c 77 %sub120 = fadd double %sub119, -1.000000e+00 78 %mul121 = fmul double %mul117, %sub120 79 %mul123 = fmul double %mul75, %sub51 80 %mul124 = fmul double %mul123, %sub42 81 %div125 = fdiv double %mul121, %mul124 82 %mul126 = fmul double %div77, %sub 83 %add127 = fadd double %mul126, 1.000000e+00 84 %mul128 = fmul double %add127, %Anm1.0 85 %mul129 = fmul double %div94, %sub 86 %add130 = fadd double %div125, %mul129 87 %mul131 = fmul double %add130, %sub 88 %mul132 = fmul double %mul131, %Anm2.0 89 %add133 = fadd double %mul128, %mul132 90 %mul134 = fmul double %div115, %mul1 91 %mul135 = fmul double %mul134, %Anm3.0 92 %add136 = fadd double %add133, %mul135 93 %mul139 = fmul double %add127, %Bnm1.0 94 %mul143 = fmul double %mul131, %Bnm2.0 95 %add144 = fadd double %mul139, %mul143 96 %mul146 = fmul double %mul134, %Bnm3.0 97 %add147 = fadd double %add144, %mul146 98 %div148 = fdiv double %add136, %add147 99 %sub149 = fsub double %F.0, %div148 100 %div150 = fdiv double %sub149, %F.0 101 %call = tail call double @fabs(double %div150) nounwind readnone 102 %cmp = fcmp olt double %call, 0x3CB0000000000000 103 %cmp152 = icmp sgt i32 %n.0, 20000 104 %or.cond = or i1 %cmp, %cmp152 105 br i1 %or.cond, label %done, label %go 106done: 107 ret void 108; CHECK-LABEL: @test1( 109; CHECK: go: 110; CHECK: %conv.v.i0.1 = insertelement <2 x i32> undef, i32 %n.0, i32 0 111; FIXME: When tree pruning is deterministic, include the entire output. 112} 113