you have typo in your t.s. not vctr but VCVTR.
because no rounding special version from int to float, so the R suffix does not present for F32.U32/F32.S32 in both instruction set/UAL.
you have typo in your t.s. not vctr but VCVTR.
because no rounding special version from int to float, so the R suffix does not present for F32.U32/F32.S32 in both instruction set/UAL.