wamrc has a bug in the LLVM compilation flow when a compare instruction precedes a parametrized block. I have attached a sample WASM file below that demonstrates this, where the sign extension instruction is inserted after the terminator.
The compiler is built with default flags: cmake -B build; make -C build
bug.tar.gz