https://llvm.org/bugs/show_bug.cgi?id=31523
Bug ID: 31523
Summary: [guards] GVN/NewGVN should propagate guard conditions
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: listm...@philipreames.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
GVN currently does not have any handling for the llvm.experimental.guard
intrinsics. It does support assumes. We should extend the handling to
propagate equalities from guards as well.
As a trivial example:
guard (a != null);
...
guard (a != null); // can be removed
Note that we also need to add the same handling to the new memory SSA based
NewGVN.
--
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
