The fixme is irrelevant: if that happens, the LLVM bytecode is malformed.