The 32-bit CPU mode uses a different encoding for iadd_imm.i32, and 64-bit instructions are not supported.