[LLVMdev] Void values

Chris Lattner clattner at apple.com
Fri Jun 11 16:20:56 PDT 2010

On Jun 11, 2010, at 3:43 PM, Patrick Walton wrote:

> Hi,
> I'm interested in adding support for void values (i.e. unit types) to 
> LLVM. Currently, "void" is only allowed as the return value of a 
> function, and numerous assertions are in place to check this.
> This document [1] that Google pulled up seems to suggest that this idea 
> was planned:
>> Finally, one annoying, but trivial, nuance of the LLVM type-system is
>> the 'void' type, which is only currently allowed as the return value
>> of a function. Special cases like this should be eliminated.
> Is this still the case, and if so, is there any work being done on this 
> already?

Hi Patrick,

I don't know of anyone working on it, but I'd really like to eliminate void.  It doesn't seem like a useful feature of the type system.  Functions can be changed to return {} for example.


More information about the llvm-dev mailing list