[llvm-bugs] [Bug 27559] New: Generate conjunction or disjunction condition to reduce ISL Ast duplication

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Apr 28 10:10:49 PDT 2016


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

            Bug ID: 27559
           Summary: Generate conjunction or disjunction condition to
                    reduce ISL Ast duplication
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: isl
          Assignee: polly-dev at googlegroups.com
          Reporter: zinob at codeaurora.org
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

The testcase is a unit test:
test/Isl/CodeGen/pointer-type-pointer-type-comparison.ll

produced Isl AST:

; CHECK: if (Q >= P + 1) {
; CHECK:   for (int c0 = 0; c0 < N; c0 += 1)
; CHECK:     Stmt_store(c0);
; CHECK: } else if (P >= Q + 1)
; CHECK:   for (int c0 = 0; c0 < N; c0 += 1)
; CHECK:     Stmt_store(c0);
; CHECK: }

In some cases the duplication is severe and it end up impacting compile-time
and code size (LLVM optimization will not CSE the code).

-- 
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/20160428/4e6c9f9a/attachment-0001.html>


More information about the llvm-bugs mailing list