[LLVMbugs] [Bug 19168] New: Compiler doesn't canonicalize truncates in SCEV expresions.

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=19168

            Bug ID: 19168
           Summary: Compiler doesn't canonicalize truncates in SCEV
                    expresions.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: michael.v.zolotukhin at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 12246
  --> http://llvm.org/bugs/attachment.cgi?id=12246&action=edit
Reproducer

LLVM doesn't perform a canonicalization of trunc expressions, and due to that
round-trip of normalization-denormalization cant yield an expression, different
from the original one. Post-Inc transformation gives-up in this case.

Attached is a test case revealing the issue.

-- 
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/20140317/8e768540/attachment.html>