[llvm-bugs] [Bug 50119] New: JumpThreading generate infinite loop thus casue stack dump

[via llvm-bugs]

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

            Bug ID: 50119
           Summary: JumpThreading generate infinite loop thus casue stack
                    dump
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: guopeilin1 at huawei.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 24802
  --> https://bugs.llvm.org/attachment.cgi?id=24802&action=edit
A test case file

Using opt -jump-threading test-case.ll, cause a stack dump with the following
result:
.
.
.
#203 0x0000aaaacf183220 getValueFromConditionImpl(llvm::Value*, llvm::Value*,
bool, llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1223:71
#204 0x0000aaaacf183328 getValueFromCondition(llvm::Value*, llvm::Value*, bool,
llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1234:15
#205 0x0000aaaacf183220 getValueFromConditionImpl(llvm::Value*, llvm::Value*,
bool, llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1223:71
#206 0x0000aaaacf183328 getValueFromCondition(llvm::Value*, llvm::Value*, bool,
llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1234:15
#207 0x0000aaaacf183220 getValueFromConditionImpl(llvm::Value*, llvm::Value*,
bool, llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1223:71
#208 0x0000aaaacf183328 getValueFromCondition(llvm::Value*, llvm::Value*, bool,
llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1234:15
#209 0x0000aaaacf183220 getValueFromConditionImpl(llvm::Value*, llvm::Value*,
bool, llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1223:71
#210 0x0000aaaacf183328 getValueFromCondition(llvm::Value*, llvm::Value*, bool,
llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1234:15
#211 0x0000aaaacf183220 getValueFromConditionImpl(llvm::Value*, llvm::Value*,
bool, llvm::SmallDenseMap<llvm::Value*, llvm::ValueLatticeElement, 4u,
llvm::DenseMapInfo<llvm::Value*>, llvm::detail::DenseMapPair<llvm::Value*,
llvm::ValueLatticeElement> >&)
/home2/gpl/open-source/llvm-project/llvm/lib/Analysis/LazyValueInfo.cpp:1223:71
.
.
.
.
It seems there has an infinite loop when compiling this test-case.ll

-- 
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/20210426/572793c5/attachment-0001.html>