https://bugs.llvm.org/show_bug.cgi?id=43267
Bug ID: 43267
Summary: ValueTracking isKnownNonZero() does not use x != 0
assume
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Global Analyses
Assignee: unassignedb...@nondot.org
Reporter: lebedev...@gmail.com
CC: llvm-bugs@lists.llvm.org
I don't have an actionable reproducer, but i've stumbled into this while
calling isKnownNonZero() on a value that has such an @llvm.assume(),
and it isn't being used (isKnownNonZero() returns false)
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
