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