Displaying 5 results from an estimated 5 matches for "getsignextendexpr".
2018 Feb 08
2
[SCEV] Inconsistent SCEV formation for zext
...->setNoWrapFlags(SCEV::FlagNW);
// Return the expression with the addrec on the outside.
return getAddRecExpr(
getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
Depth + 1),
getSignExtendExpr(Step, Ty, Depth + 1), L,
AR->getNoWrapFlags());
}
I believe it is wrong for ScalarEvolution to use a simplified SCEV for internal analysis and return a non-simplified SCEV to the client.
Thanks,
Pankaj
-------------- next part --------------
An HTML attachment was s...
2018 Feb 10
0
[SCEV] Inconsistent SCEV formation for zext
...// Return the expression with the addrec on the outside.
>
> return getAddRecExpr(
>
> getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
>
> Depth + 1),
>
> getSignExtendExpr(Step, Ty, Depth + 1), L,
>
> AR->getNoWrapFlags());
>
> }
>
>
>
> I believe it is wrong for ScalarEvolution to use a simplified SCEV for
> internal analysis and return a non-simplified SCEV to the client.
>
>
>
> Thanks,
>
>...
2018 Feb 07
0
retpoline mitigation and 6.0
...7f9b5196e972 (/lib64/libc.so.6+0x2f972)
#9 0x0000000002f60e6b llvm::ScalarEvolution::isLoopEntryGuardedByCond(llvm::Loop const*, llvm::CmpInst::Predicate, llvm::SCEV const*, llvm::SCEV const*) /home/dwmw2/git/llvm/lib/Analysis/ScalarEvolution.cpp:9110:0
#10 0x0000000002f3a1f8 llvm::ScalarEvolution::getSignExtendExpr(llvm::SCEV const*, llvm::Type*, unsigned int) /home/dwmw2/git/llvm/lib/Analysis/ScalarEvolution.cpp:1991:0
#11 0x0000000003dd8df8 (anonymous namespace)::SimplifyIndvar::strengthenOverflowingOperation(llvm::BinaryOperator*, llvm::Value*) /home/dwmw2/git/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:6...
2018 Feb 11
2
[SCEV] Inconsistent SCEV formation for zext
...// Return the expression with the addrec on the outside.
>
> return getAddRecExpr(
>
> getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
>
> Depth + 1),
>
> getSignExtendExpr(Step, Ty, Depth + 1), L,
>
> AR->getNoWrapFlags());
>
> }
>
>
>
> I believe it is wrong for ScalarEvolution to use a simplified SCEV for
> internal analysis and return a non-simplified SCEV to the client.
>
>
>
> Thanks,
>
>...
2018 Feb 07
6
retpoline mitigation and 6.0
I've landed the patch in r324449.
Before we merge this into two different Clang release branches and almost
immediately release one of them, I would really like someone to confirm
that this patch works well with the Linux kernel. David, if you're up for
that, it would be great. Alternatively, Guenter or someone else here can
help.
On Tue, Feb 6, 2018 at 5:59 PM Chandler Carruth