diff options
| author | David Green <david.green@arm.com> | 2019-08-11 08:42:57 +0000 |
|---|---|---|
| committer | David Green <david.green@arm.com> | 2019-08-11 08:42:57 +0000 |
| commit | 44f8d635e20429365782b831ef59ee0903982d02 (patch) | |
| tree | 97702b6b050efa90f8b973201fad7b28bc6710df /llvm/test/Transforms/LoopVectorize/ARM | |
| parent | 3560ed052354940756e87a3372be819b765b3c45 (diff) | |
| download | bcm5719-llvm-44f8d635e20429365782b831ef59ee0903982d02.tar.gz bcm5719-llvm-44f8d635e20429365782b831ef59ee0903982d02.zip | |
[ARM] Permit auto-vectorization using MVE
With enough codegen complete, we can now correctly report the number and size
of vector registers for MVE, allowing auto vectorisation. This also allows FP
auto-vectorization for MVE without -Ofast/-ffast-math, due to support for IEEE
FP arithmetic and parity between scalar and vector FP behaviour.
Patch by David Sherwood.
Differential Revision: https://reviews.llvm.org/D63728
llvm-svn: 368529
Diffstat (limited to 'llvm/test/Transforms/LoopVectorize/ARM')
| -rw-r--r-- | llvm/test/Transforms/LoopVectorize/ARM/arm-ieee-vectorize.ll | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/ARM/arm-ieee-vectorize.ll b/llvm/test/Transforms/LoopVectorize/ARM/arm-ieee-vectorize.ll index 369568f6dfa..2a7a2ce6d16 100644 --- a/llvm/test/Transforms/LoopVectorize/ARM/arm-ieee-vectorize.ll +++ b/llvm/test/Transforms/LoopVectorize/ARM/arm-ieee-vectorize.ll @@ -1,5 +1,6 @@ ; RUN: opt -mtriple armv7-linux-gnueabihf -loop-vectorize -S %s -debug-only=loop-vectorize -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=LINUX ; RUN: opt -mtriple armv8-linux-gnu -loop-vectorize -S %s -debug-only=loop-vectorize -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=LINUX +; RUN: opt -mtriple armv8.1.m-none-eabi -mattr=+mve.fp -loop-vectorize -S %s -debug-only=loop-vectorize -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=MVE ; RUN: opt -mtriple armv7-unknwon-darwin -loop-vectorize -S %s -debug-only=loop-vectorize -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=DARWIN ; REQUIRES: asserts @@ -44,6 +45,8 @@ for.end: ; preds = %for.end.loopexit, % ; Floating-point loops need fast-math to be vectorizeable ; LINUX: Checking a loop in "sumf" ; LINUX: Potentially unsafe FP op prevents vectorization +; MVE: Checking a loop in "sumf" +; MVE: We can vectorize this loop! ; DARWIN: Checking a loop in "sumf" ; DARWIN: We can vectorize this loop! define void @sumf(float* noalias nocapture readonly %A, float* noalias nocapture readonly %B, float* noalias nocapture %C, i32 %N) { @@ -110,6 +113,8 @@ for.end: ; preds = %for.end.loopexit, % ; Floating-point loops need fast-math to be vectorizeable ; LINUX: Checking a loop in "redf" ; LINUX: Potentially unsafe FP op prevents vectorization +; MVE: Checking a loop in "redf" +; MVE: We can vectorize this loop! ; DARWIN: Checking a loop in "redf" ; DARWIN: We can vectorize this loop! define float @redf(float* noalias nocapture readonly %a, float* noalias nocapture readonly %b, i32 %N) { |
