autochange by end-of-file-fixer

Author: ShashankVM

arch/inst/F/fcvt.s.wu.yaml

@@ -3,9 +3,18 @@
 $schema: "inst_schema.json#"
 kind: instruction
 name: fcvt.s.wu
-long_name: No synopsis available.
+long_name: Convert unsigned 32-bit integer to single-precision float
 description: |
-  No description available.
+  Converts a 32-bit unsigned integer in integer register _rs1_ into a floating-point number in
+  floating-point register _fd_.
+
+  All floating-point to integer and integer to floating-point conversion instructions round
+  according to the _rm_ field.
+  A floating-point register can be initialized to floating-point positive zero using
+  `fcvt.s.w rd, x0`, which will never set any exception flags.
+
+  All floating-point conversion instructions set the Inexact exception flag if the rounded
+  result differs from the operand value and the Invalid exception flag is not set.
 definedBy: F
 assembly: fd, xs1, rm
 encoding:
@@ -24,7 +33,10 @@ access:
   vu: always
 data_independent_timing: true
 operation(): |
-
+  check_f_ok($encoding);
+  RoundingMode rounding_mode = rm_to_mode(rm, $encoding);
+  X[fd] = ui32_to_f32(X[rs1], rounding_mode);
+  mark_f_state_dirty();
 sail(): |
   {
     assert(sizeof(xlen) >= 64);

arch/isa/fp.idl

@@ -901,3 +901,23 @@ function i32_to_f32 {
     return softfloat_normRoundPackToF32(sign, 0x9C, magnitude_of_A, mode);
   }
 }
+
+function ui32_to_f32 {
+  returns U32
+  arguments
+    U32 a,
+    RoundingMode mode
+  description {
+    Converts 32-bit unsigned integer to 32-bit floating point
+  }
+  body {
+    # sign of integer, it is 1 when negative
+    if (a == 0) {
+      return a;
+    }
+    if (a[31] == 1) {
+      return softfloat_roundPackToF32(0, 0x9D, a>>1 | (a & 1), mode);
+    } else {
+      return softfloat_normRoundPackToF32(0, 0x9C, a, mode);
+    }
+}