instruction's type

Hi,
I have a question about type in LLVM. Is the type of any instruction's
parameter always determinate?
E.g. an instruction with OPCODE
%tmp = OPCODE X, Y
which has two parameters X, Y. So, is there the case, that type of X or Y is
unclear?

Thanks for any advice
Quang

Le Anh Quang wrote:

Hi, I have a question about type in LLVM. Is the type of any instruction's
parameter always determinate?
E.g. an instruction with OPCODE
%tmp = OPCODE X, Y
which has two parameters X, Y. So, is there the case, that type of X or Y is
unclear?
  
No, OPCODE will require that X and Y have the correct types (e.g. ADD requires that X and Y have the same types)

Nicolas