diff --git a/arch/inst/F/fadd.s.yaml b/arch/inst/F/fadd.s.yaml
index f82a7e2de..dd64507d5 100644
--- a/arch/inst/F/fadd.s.yaml
+++ b/arch/inst/F/fadd.s.yaml
@@ -26,6 +26,8 @@ access:
   vu: always
 data_independent_timing: true
 operation(): |
+  RoundingMode mode = rm_to_mode(X[rm], $encoding);
+  X[fd] = f32_add(X[fs1], X[fs2], mode);
 
 sail(): |
   {