[llvm-bugs] [Bug 51490] New: ssertion `Phi.ValidRewrite && "Now that the SCEV is strict wrt pointer/integer types, this invariant is expected to be uphold by SCEV itself."' failed.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=51490

            Bug ID: 51490
           Summary: ssertion `Phi.ValidRewrite && "Now that the SCEV is
                    strict wrt pointer/integer types, this invariant is
                    expected to be uphold by SCEV itself."' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: bjorn.a.pettersson at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 25136
  --> https://bugs.llvm.org/attachment.cgi?id=25136&action=edit
indvars2.ll (LLVM IR orgininating from a csmith generated test case, not
reduced very much)

The assert added in https://reviews.llvm.org/D108043 was triggered.

> opt -Oz -enable-new-pm=0 indvars2.ll -S -o /dev/null

opt: ../lib/Transforms/Utils/LoopUtils.cpp:1351: int
llvm::rewriteLoopExitValues(llvm::Loop *, llvm::LoopInfo *,
llvm::TargetLibraryInfo *, llvm::ScalarEvolution *, const
llvm::TargetTransformInfo *, llvm::SCEVExpander &, llvm::DominatorTree *,
llvm::ReplaceExitVal, SmallVector<llvm::WeakTrackingVH, 16> &): Assertion
`Phi.ValidRewrite && "Now that the SCEV is strict wrt pointer/integer types,
this " "invariant is expected to be uphold by SCEV itself."' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:
0.      Program arguments: opt -Oz -enable-new-pm=0 indvars2.ll -S -o /dev/null
1.      Running pass 'CallGraph Pass Manager' on module 'indvars2.ll'.
2.      Running pass 'Loop Pass Manager' on function '@func_2'
3.      Running pass 'Induction Variable Simplification' on basic block
'%for.cond884'
 #0 0x0000000002b74323 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(opt+0x2b74323)
 #1 0x0000000002b71f9e llvm::sys::RunSignalHandlers() (opt+0x2b71f9e)
 #2 0x0000000002b746a6 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f59a55bb630 __restore_rt sigaction.c:0:0
 #4 0x00007f59a2cee387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f59a2cefa78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x00007f59a2ce71a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
 #7 0x00007f59a2ce7252 (/lib64/libc.so.6+0x2f252)
 #8 0x0000000002c44a3d llvm::rewriteLoopExitValues(llvm::Loop*,
llvm::LoopInfo*, llvm::TargetLibraryInfo*, llvm::ScalarEvolution*,
llvm::TargetTransformInfo const*, llvm::SCEVExpander&, llvm::DominatorTree*,
llvm::ReplaceExitVal, llvm::SmallVector<llvm::WeakTrackingVH, 16u>&)
(opt+0x2c44a3d)
 #9 0x00000000028a9e2d (anonymous namespace)::IndVarSimplify::run(llvm::Loop*)
IndVarSimplify.cpp:0:0
#10 0x00000000028b1ef3 (anonymous
namespace)::IndVarSimplifyLegacyPass::runOnLoop(llvm::Loop*,
llvm::LPPassManager&) IndVarSimplify.cpp:0:0
#11 0x0000000001b5e33b llvm::LPPassManager::runOnFunction(llvm::Function&)
(opt+0x1b5e33b)
#12 0x0000000002302d0f llvm::FPPassManager::runOnFunction(llvm::Function&)
(opt+0x2302d0f)
#13 0x0000000001a5f7e5 (anonymous
namespace)::CGPassManager::runOnModule(llvm::Module&) CallGraphSCCPass.cpp:0:0
#14 0x00000000023032dd llvm::legacy::PassManagerImpl::run(llvm::Module&)
(opt+0x23032dd)
#15 0x0000000000821e3f main (opt+0x821e3f)
#16 0x00007f59a2cda555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x000000000080b02c _start (opt+0x80b02c)
Abort

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210816/15b96fbc/attachment.html>