[llvm-bugs] [Bug 33558] New: [SimplifyCFG] Hoist check that must be true on if and else path.

[via llvm-bugs]

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

            Bug ID: 33558
           Summary: [SimplifyCFG] Hoist check that must be true on if and
                    else path.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: mcrosier at codeaurora.org
                CC: llvm-bugs at lists.llvm.org

Given the following test case:

void test(const unsigned *a, const unsigned *b) {
  if (a && b)
    foo();
  else if (a)
    bar();
}

We should be able to simplify this into something like:

void test(const unsigned *a, const unsigned *b) {
  if (a) {
     if (b)
       foo();
     else
       bar();
  }
}

-- 
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/20170622/7fb8457a/attachment.html>