[LLVMdev] Question: Bytecode Representation of Type Definitions Table

[Robert Mykland]

Distinguished LLVM Creators,

I've been looking through the bytecode representation of the type 
definition table and had a few questions about it.  There's an enum in 
Types.h that defines all bytecodes that represent the primitive types and a 
few other necessary things:

  0 = 0x00 = Void
  1 = 0x01 = Bool
  2 = 0x02 = UByte
  3 = 0x03 = SByte
  4 = 0x04 = UShort (16 bits)
  5 = 0x05 = Short (16 bits)
  6 = 0x06 = UInt (32 bits)
  7 = 0x07 = Int (32 bits)
  8 = 0x08 = ULong (64 bits)
  9 = 0x09 = Long (64 bits)
10 = 0x0a = Float (32 bits)
11 = 0x0b = Double (64 bits)
12 = 0x0c = Type definition
13 = 0x0d = Label
14 = 0x0e = Function
15 = 0x0f = Struct
16 = 0x10 = Array
17 = 0x11 = Pointer
18 = 0x12 = Opaque

As far as I can figure, the type definition table itself starts back at 
0x0e and I'm thinking that's because the label is the last thing that 
wouldn't have to be only part of a derived type.  But it still seems to 
make some of the low entries in the table ambiguous (at least to me!).  I 
compiled a nice little hello world program into LLVM and then into 
bytecodes (see complete results attached).  Here is the start of the type 
definition table:

Entry 0x0e: Pointer to type 0x0f
0000001a  11 0f

Entry 0x0f: Array of SByte [14] (presumably for "Hello World!\n" constant)
0000001c  10 03 0e

Entry 0x10: Pointer to type 0x12
0000001f  11  |....n...n.......|
00000020  12

Entry 0x11: Pointer to SByte
00000021  11 03

Entry 0x12: Function returning Pointer ( UInt )
00000023  0e 11 01 06

Okay, so looking at entry 0x10: is it a pointer to Opaque or a pointer to a 
function returning Pointer ( UInt )?  I'm guessing the latter.  Similarly, 
entry 0x0e could be a pointer to Struct or a pointer to Array of SByte 
[14].  Again I'm guessing the latter.  I'm worried this low table stuff 
isn't unambiguous in all cases, but then again I'm a nervous guy.  If you 
could set my mind at ease with regard to the lack of ambiguity that would 
be great.

And what's with this Opaque type anyway?  It's in the enum but I haven't 
found an instance of its use, unless of course it's used in entry 
0x10.  The whole missing Opaque thing makes me nervous too.  It seems like 
it was just put there to be unclear.  :-)  But seriously, is it used for 
anything now?  Will it start to get used sometime?

Regards,

-- Robert.


Robert Mykland     Voice: (831) 462-6725 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hello.hexdump
Type: application/octet-stream
Size: 26620 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20030826/977bdee1/attachment.obj>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: hello.c
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20030826/977bdee1/attachment.c>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hello.s
Type: application/octet-stream
Size: 10437 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20030826/977bdee1/attachment-0001.obj>