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

[via llvm-bugs]

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

Michael Kruse <llvm at meinersbur.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED

--- Comment #1 from Michael Kruse <llvm at meinersbur.de> ---
> 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; ...

After projecting out, the remaining [] is in the set, if there exists one i0
such that the condition is satisfied. For each n I can find an i0 such that the
condition is fulfilled, e.g. 

i0 = (n <= -2) ? -1 : [-1/2 + 1/4*n]

That is, you choose i0 after n is fixed, not the other way around.

Btw, for isl-only questions, there is a mailing list:
isl-development at googlegroups.com

-- 
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/20170529/7d47f752/attachment.html>