[llvm-branch-commits] [llvm] 4c70b6e - [LV] Make optimal-epilog-vectorization-profitability.ll more robust

[Bardia Mahjour via llvm-branch-commits]

Author: Bardia Mahjour
Date: 2020-12-08T12:35:08-05:00
New Revision: 4c70b6ee45e89268598d1bd0811778244f136025

URL: https://github.com/llvm/llvm-project/commit/4c70b6ee45e89268598d1bd0811778244f136025
DIFF: https://github.com/llvm/llvm-project/commit/4c70b6ee45e89268598d1bd0811778244f136025.diff

LOG: [LV] Make optimal-epilog-vectorization-profitability.ll more robust

Add a CHECK to properly limit the scope of CHECK-NOTs

Added: 
    

Modified: 
    llvm/test/Transforms/LoopVectorize/PowerPC/optimal-epilog-vectorization-profitability.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopVectorize/PowerPC/optimal-epilog-vectorization-profitability.ll b/llvm/test/Transforms/LoopVectorize/PowerPC/optimal-epilog-vectorization-profitability.ll
index 7cb5f34fa57c..88cfa5bd40c5 100644
--- a/llvm/test/Transforms/LoopVectorize/PowerPC/optimal-epilog-vectorization-profitability.ll
+++ b/llvm/test/Transforms/LoopVectorize/PowerPC/optimal-epilog-vectorization-profitability.ll
@@ -16,6 +16,7 @@ target triple = "powerpc64le-unknown-linux-gnu"
 ; CHECK-NOT: vec.epilog.ph
 ; CHECK-NOT: vec.epilog.vector.body
 ; CHECK-NOT: vec.epilog.middle.block
+; CHECK: ret void
 
 define dso_local void @f1(float* noalias %aa, float* noalias %bb, float* noalias %cc, i32 signext %N) #0 {
 entry:
@@ -53,6 +54,7 @@ for.end:                                          ; preds = %for.end.loopexit, %
 ; CHECK-NOT: vec.epilog.ph
 ; CHECK-NOT: vec.epilog.vector.body
 ; CHECK-NOT: vec.epilog.middle.block
+; CHECK: ret void
 
 define dso_local void @f2(float* noalias %aa, float* noalias %bb, float* noalias %cc, i32 signext %N) #1 {
 entry:
@@ -90,6 +92,7 @@ for.end:                                          ; preds = %for.end.loopexit, %
 ; CHECK-MIN-D-NOT: vec.epilog.ph
 ; CHECK-MIN-D-NOT: vec.epilog.vector.body
 ; CHECK-MIN-D-NOT: vec.epilog.middle.block
+; CHECK-MIN-D: ret void
 
 ; Specify a smaller minimum VF (via `-epilogue-vectorization-minimum-VF=4`) and
 ; make sure the epilogue gets vectorized in that case.
@@ -99,6 +102,7 @@ for.end:                                          ; preds = %for.end.loopexit, %
 ; CHECK-MIN-4: vec.epilog.ph
 ; CHECK-MIN-4: vec.epilog.vector.body
 ; CHECK-MIN-4: vec.epilog.middle.block
+; CHECK-MIN-4: ret void
 
 define dso_local void @f3(float* noalias %aa, float* noalias %bb, float* noalias %cc, i32 signext %N) {
 entry: