[LLVMdev] on type annotations of LLVM IR

[Rekha R]

Hi,

 I am curious to know the design decision on why operands of LLVM IR
instructions are type annotated.

Why wasn't the C style of explicit declaration of variables (or values in
LLVM context) followed by their uses model not adopted here?

or may be even annotate the value (result of the Instruction) with type
rather than annotating each operands on the Instruction?

Just felt that by annotating each operand with types may make the
Instruction 'complex' to understand. May be I am wrong.

Thanks for any explanation,
-- 
Rekha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141027/51ee72ed/attachment.html>