Commit 30cdb2ac authored by Philip Reames's avatar Philip Reames Committed by Philip Reames
Browse files

[LAA] Add command line flag to disable unit stride speculation 

This is purely so that we can expose and work through downstream codegen issues.  My intention is to see if we can get this disabled by default, but that requires fixing a bunch of downstream issues first.
parent 8f0dd4ef

llvm/lib/Analysis/LoopAccessAnalysis.cpp

+10 −0
Original line number Diff line number Diff line
@@ -137,6 +137,11 @@ static cl::opt<unsigned> MaxForkedSCEVDepth( 
    cl::desc("Maximum recursion depth when finding forked SCEVs (default = 5)"),

    cl::init(5));



static cl::opt<bool> SpeculateUnitStride(

    "laa-speculate-unit-stride", cl::Hidden,

    cl::desc("Speculate that non-constant strides are unit in LAA"),

    cl::init(true));



bool VectorizerParams::isInterleaveForced() {

  return ::VectorizationInterleave.getNumOccurrences() > 0;

}
@@ -2694,6 +2699,11 @@ void LoopAccessInfo::collectStridedAccess(Value *MemAccess) { 
                       "versioning:");

  LLVM_DEBUG(dbgs() << "  Ptr: " << *Ptr << " Stride: " << *Stride << "\n");



  if (!SpeculateUnitStride) {

    LLVM_DEBUG(dbgs() << "  Chose not to due to -laa-speculate-unit-stride\n");

    return;

  }



  // Avoid adding the "Stride == 1" predicate when we know that

  // Stride >= Trip-Count. Such a predicate will effectively optimize a single

  // or zero iteration loop, as Trip-Count <= Stride == 1.

llvm/test/Transforms/LoopVectorize/RISCV/strided-accesses.ll

+405 −269

File changed.

Preview size limit exceeded, changes collapsed.