[LLVMbugs] [Bug 8340] New: Is vector size zero allowed?

[bugzilla-daemon at llvm.org]

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

           Summary: Is vector size zero allowed?
           Product: Documentation
           Version: trunk
          Platform: Other
        OS/Version: All
            Status: NEW
          Keywords: documentation
          Severity: normal
          Priority: P
         Component: General docs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: llvm at henning-thielemann.de
                CC: llvmbugs at cs.uiuc.edu


The documentation at
http://www.llvm.org/docs/LangRef.html#t_vector
says, that the vector size is an integer.
This suggests that the size can also be negative, but I think this is not
intended.

Nonetheless the question remains, whether vectors of size 0 are allowed or not.
Vectors exist merely for optimization purposes, which is different from arrays.
I use vectors for chunking arrays for optimization reasons. In this context
vectors of size zero make no sense.

In the Haskell interface to LLVM I like to have precise type constraints, that
is, if vectors of size zero are forbidden, then the type checker shall reject
vectors of size zero. If size zero is allowed, then the type checker shall
allow size zero as well.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.