[llvm-bugs] [Bug 31523] New: [guards] GVN/NewGVN should propagate guard conditions

[via llvm-bugs]

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: unassignedbugs at nondot.org
          Reporter: listmail at philipreames.com
                CC: llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170103/633585fc/attachment.html>