Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a79ac14fa68297f9888bc70a10df5ed9b8864e38 / . / llvm / test / Transforms / BBVectorize / metadata.ll
blob: f5580a888616031ef0de78d4beb662e04bec8d94 [file] [log] [blame]
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]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-n8:16:32:64-S128"
2; RUN: opt < %s -bb-vectorize -bb-vectorize-req-chain-depth=3 -S | FileCheck %s
3
4; Simple 3-pair chain with loads and stores (with fpmath)
5define void @test1(double* %a, double* %b, double* %c) nounwind uwtable readonly {
6entry:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]7 %i0 = load double, double* %a, align 8
8 %i1 = load double, double* %b, align 8
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]9 %mul = fmul double %i0, %i1, !fpmath !2
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]10 %arrayidx3 = getelementptr inbounds double, double* %a, i64 1
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]11 %i3 = load double, double* %arrayidx3, align 8
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]12 %arrayidx4 = getelementptr inbounds double, double* %b, i64 1
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]13 %i4 = load double, double* %arrayidx4, align 8
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]14 %mul5 = fmul double %i3, %i4, !fpmath !3
15 store double %mul, double* %c, align 8
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]16 %arrayidx5 = getelementptr inbounds double, double* %c, i64 1
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]17 store double %mul5, double* %arrayidx5, align 8
18 ret void
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]19; CHECK-LABEL: @test1(
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]20; CHECK: !fpmath
21; CHECK: ret void
22}
23
24; Simple 3-pair chain with loads and stores (ints with range)
25define void @test2(i64* %a, i64* %b, i64* %c) nounwind uwtable readonly {
26entry:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]27 %i0 = load i64, i64* %a, align 8, !range !0
28 %i1 = load i64, i64* %b, align 8
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]29 %mul = mul i64 %i0, %i1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]30 %arrayidx3 = getelementptr inbounds i64, i64* %a, i64 1
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]31 %i3 = load i64, i64* %arrayidx3, align 8, !range !1
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]32 %arrayidx4 = getelementptr inbounds i64, i64* %b, i64 1
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame^]33 %i4 = load i64, i64* %arrayidx4, align 8
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]34 %mul5 = mul i64 %i3, %i4
35 store i64 %mul, i64* %c, align 8
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]36 %arrayidx5 = getelementptr inbounds i64, i64* %c, i64 1
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]37 store i64 %mul5, i64* %arrayidx5, align 8
38 ret void
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]39; CHECK-LABEL: @test2(
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]40; CHECK-NOT: !range
41; CHECK: ret void
42}
43
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000[diff] [blame]44!0 = !{i64 0, i64 2}
45!1 = !{i64 3, i64 5}
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]46
Duncan P. N. Exon Smithbe7ea192014-12-15 19:07:53 +0000[diff] [blame]47!2 = !{ float 5.0 }
48!3 = !{ float 2.5 }
Hal Finkelfa103d32012-06-16 20:34:06 +0000[diff] [blame]49