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
Thanks for any advice