| Hal Finkel | f589519 | 2012-04-14 07:32:43 +0000 | [diff] [blame^] | 1 | target 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-n8:16:32:64-S128" |
| 2 | ; RUN: opt < %s -bb-vectorize -bb-vectorize-req-chain-depth=3 -instcombine -gvn -S | FileCheck %s |
| 3 | ; RUN: opt < %s -bb-vectorize -bb-vectorize-req-chain-depth=3 -bb-vectorize-aligned-only -instcombine -gvn -S | FileCheck %s -check-prefix=CHECK-AO |
| 4 | |
| 5 | ; Simple 3-pair chain also with loads and stores (using ptrs and gep) |
| 6 | define double @test1(i64* %a, i64* %b, i64* %c) nounwind uwtable readonly { |
| 7 | entry: |
| 8 | %i0 = load i64* %a, align 8 |
| 9 | %i1 = load i64* %b, align 8 |
| 10 | %mul = mul i64 %i0, %i1 |
| 11 | %arrayidx3 = getelementptr inbounds i64* %a, i64 1 |
| 12 | %i3 = load i64* %arrayidx3, align 8 |
| 13 | %arrayidx4 = getelementptr inbounds i64* %b, i64 1 |
| 14 | %i4 = load i64* %arrayidx4, align 8 |
| 15 | %mul5 = mul i64 %i3, %i4 |
| 16 | %ptr = inttoptr i64 %mul to double* |
| 17 | %ptr5 = inttoptr i64 %mul5 to double* |
| 18 | %aptr = getelementptr inbounds double* %ptr, i64 2 |
| 19 | %aptr5 = getelementptr inbounds double* %ptr5, i64 3 |
| 20 | %av = load double* %aptr, align 16 |
| 21 | %av5 = load double* %aptr5, align 16 |
| 22 | %r = fmul double %av, %av5 |
| 23 | store i64 %mul, i64* %c, align 8 |
| 24 | %arrayidx5 = getelementptr inbounds i64* %c, i64 1 |
| 25 | store i64 %mul5, i64* %arrayidx5, align 8 |
| 26 | ret double %r |
| 27 | ; CHECK: @test1 |
| 28 | ; CHECK: %i0.v.i0 = bitcast i64* %a to <2 x i64>* |
| 29 | ; CHECK: %i1.v.i0 = bitcast i64* %b to <2 x i64>* |
| 30 | ; CHECK: %i0 = load <2 x i64>* %i0.v.i0, align 8 |
| 31 | ; CHECK: %i1 = load <2 x i64>* %i1.v.i0, align 8 |
| 32 | ; CHECK: %mul = mul <2 x i64> %i0, %i1 |
| 33 | ; CHECK: %ptr = inttoptr <2 x i64> %mul to <2 x double*> |
| 34 | ; CHECK: %aptr = getelementptr inbounds <2 x double*> %ptr, <2 x i64> <i64 2, i64 3> |
| 35 | ; CHECK: %aptr.v.r1 = extractelement <2 x double*> %aptr, i32 0 |
| 36 | ; CHECK: %aptr.v.r2 = extractelement <2 x double*> %aptr, i32 1 |
| 37 | ; CHECK: %av = load double* %aptr.v.r1, align 16 |
| 38 | ; CHECK: %av5 = load double* %aptr.v.r2, align 16 |
| 39 | ; CHECK: %r = fmul double %av, %av5 |
| 40 | ; CHECK: %0 = bitcast i64* %c to <2 x i64>* |
| 41 | ; CHECK: store <2 x i64> %mul, <2 x i64>* %0, align 8 |
| 42 | ; CHECK: ret double %r |
| 43 | ; CHECK-AO: @test1 |
| 44 | ; CHECK-AO-NOT: load <2 x |
| 45 | } |
| 46 | |
| 47 | ; Simple 3-pair chain with loads and stores (using ptrs and gep) |
| 48 | define void @test2(i64** %a, i64** %b, i64** %c) nounwind uwtable readonly { |
| 49 | entry: |
| 50 | %i0 = load i64** %a, align 8 |
| 51 | %i1 = load i64** %b, align 8 |
| 52 | %arrayidx3 = getelementptr inbounds i64** %a, i64 1 |
| 53 | %i3 = load i64** %arrayidx3, align 8 |
| 54 | %arrayidx4 = getelementptr inbounds i64** %b, i64 1 |
| 55 | %i4 = load i64** %arrayidx4, align 8 |
| 56 | %o1 = load i64* %i1, align 8 |
| 57 | %o4 = load i64* %i4, align 8 |
| 58 | %ptr0 = getelementptr inbounds i64* %i0, i64 %o1 |
| 59 | %ptr3 = getelementptr inbounds i64* %i3, i64 %o4 |
| 60 | store i64* %ptr0, i64** %c, align 8 |
| 61 | %arrayidx5 = getelementptr inbounds i64** %c, i64 1 |
| 62 | store i64* %ptr3, i64** %arrayidx5, align 8 |
| 63 | ret void |
| 64 | ; CHECK: @test2 |
| 65 | ; CHECK: %i0.v.i0 = bitcast i64** %a to <2 x i64*>* |
| 66 | ; CHECK: %i1 = load i64** %b, align 8 |
| 67 | ; CHECK: %i0 = load <2 x i64*>* %i0.v.i0, align 8 |
| 68 | ; CHECK: %arrayidx4 = getelementptr inbounds i64** %b, i64 1 |
| 69 | ; CHECK: %i4 = load i64** %arrayidx4, align 8 |
| 70 | ; CHECK: %o1 = load i64* %i1, align 8 |
| 71 | ; CHECK: %o4 = load i64* %i4, align 8 |
| 72 | ; CHECK: %ptr0.v.i1.1 = insertelement <2 x i64> undef, i64 %o1, i32 0 |
| 73 | ; CHECK: %ptr0.v.i1.2 = insertelement <2 x i64> %ptr0.v.i1.1, i64 %o4, i32 1 |
| 74 | ; CHECK: %ptr0 = getelementptr inbounds <2 x i64*> %i0, <2 x i64> %ptr0.v.i1.2 |
| 75 | ; CHECK: %0 = bitcast i64** %c to <2 x i64*>* |
| 76 | ; CHECK: store <2 x i64*> %ptr0, <2 x i64*>* %0, align 8 |
| 77 | ; CHECK: ret void |
| 78 | ; CHECK-AO: @test2 |
| 79 | ; CHECK-AO-NOT: <2 x |
| 80 | } |
| 81 | |