[bubble up] Logic Errors in PrimFunc without strict Check

[anders]

bubble up for this issue

Logic Errors in PrimFunc without strict Check

Many time, when I use relax.build() API to deploy a AI Model, Error occur in tvm::codegen::CodeGenLLVM::Verify() after tvm::codegen::CodeGenLLVM::Finish(). there are generally two type errors in LLVM Side: a):operator are not of the same type! E.G: Both operands to ICmp instruction are not of the same type! %109 = icmp eq i32 %1, i64 1 Both operands to ICmp instruction are not of the same type! %119 = icmp eq i32 %1, i64 1 b):Found return instr that returns non-void in Function of void return…