[llvm-bugs] [Bug 33190] New: Wrong output of isl_set_project_out()

[via llvm-bugs]

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

            Bug ID: 33190
           Summary: Wrong output of isl_set_project_out()
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: isl
          Assignee: polly-dev at googlegroups.com
          Reporter: huihuiz at codeaurora.org
                CC: llvm-bugs at lists.llvm.org

Created attachment 18522
  --> https://bugs.llvm.org/attachment.cgi?id=18522&action=edit
test input

Given input domain, isl_set:
[n] -> { [i0] : i0 >= -1 and 4i0 >= -2 + n }

when applying isl_set_project_out(Domain, isl_dim_set, 0, 1);

Got the output domain:
[n] -> { [] }

The output domain seems wrong, n shouldn't be { [] } universe. The counter
cases are, when i0 is 0, n should be <= 2; when i0 is -1, if n is -1, the
condition "4i0 >= -2 + n" doesn't satisfied; ...

Please do let me know if there is anything I understand wrong, thank you!


Attaching test input file "isl-sample.c", linking with isl library  isl-0.18 
using command "gcc isl-sample.c -I .../isl/include/ -L .../isl/lib/ -lisl"

-- 
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/20170526/f5af503b/attachment.html>