https://llvm.org/bugs/show_bug.cgi?id=30771
Bug ID: 30771
Summary: Fail to propagate assume to its negation
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Interprocedural Analyses
Assignee: unassignedb...@nondot.org
Reporter: rafael.espind...@gmail.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 17478
--> https://llvm.org/bugs/attachment.cgi?id=17478&action=edit
testcase
opt -O3 doesn't simplify this test.
If the two icmps are changed to use the same predicate (eq or ne), the function
is simplified to return a constant.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
