Displaying 2 results from an estimated 2 matches for "groupchecks".
2020 Jul 26
2
[LAA] RtCheck on pointers of different address spaces.
Hi Stefanos,
Attached the testcase. I tried to reduce it further, but the problem goes away when I remove the instructions further.
There is a nested loop and the fault occurs while processing the inner loop (for.body)
To reproduce the crash:
opt -O3 testcase.ll -o out.ll
> `groupChecks()` will only try to group pointers that are on the same alias set.
If that’s true, the RT check should have been prevented for these pointers in question.
Additional details about the problem:
The crash first appeared after the following llvm commit to preserve the Global AA.
commit e6cf796ba...
2020 Jul 26
2
[LAA] RtCheck on pointers of different address spaces.
...3:3
getMinFromExprs(llvm::SCEV const*, llvm::SCEV const*, llvm::ScalarEvolution*) $SRC/llvm-project/llvm/lib/Analysis/LoopAccessAnalysis.cpp:275:15
llvm::RuntimeCheckingPtrGroup::addPointer(unsigned int) $SRC/llvm-project/llvm/lib/Analysis/LoopAccessAnalysis.cpp:292:15
llvm::RuntimePointerChecking::groupChecks(llvm::EquivalenceClasses<llvm::PointerIntPair<llvm::Value*, 1u, bool, llvm::PointerLikeTypeTraits<llvm::Value*>, llvm::PointerIntPairInfo<llvm::Value*, 1u, llvm::PointerLikeTypeTraits<llvm::Value*> > > >&, bool) $SRC/llvm-project/llvm/lib/Analysis/LoopAccessAnalysi...