prop_def instead of opt_prop_def

Author: knickish

xdsl/dialects/riscv.py

@@ -43,7 +43,7 @@
     irdl_op_definition,
     operand_def,
     opt_attr_def,
-    opt_prop_def,
+    prop_def,
     region_def,
     result_def,
     var_operand_def,
@@ -3028,7 +3028,7 @@ class RdRsRsFloatFloatIntegerOperationWithFastMath(RISCVInstruction, ABC):
     rd = result_def(IntRegisterType)
     rs1 = operand_def(FloatRegisterType)
     rs2 = operand_def(FloatRegisterType)
-    fastmath = opt_prop_def(FastMathFlagsAttr)
+    fastmath = prop_def(FastMathFlagsAttr)
 
     def __init__(
         self,
@@ -3056,6 +3056,7 @@ def __init__(
             },
             result_types=[rd],
         )
+        self.fastmath = fastmath
 
     def assembly_line_args(self) -> tuple[AssemblyInstructionArg, ...]:
         return self.rd, self.rs1, self.rs2
@@ -3068,6 +3069,7 @@ def custom_parse_attributes(cls, parser: Parser) -> dict[str, Attribute]:
             fast = FastMathFlagsAttr(FastMathFlagsAttr.parse_parameter(parser))
             if fast != FastMathFlagsAttr("none"):
                 attributes["fastmath"] = fast
+        cls.fastmath = fast
         return attributes
 
     def custom_print_attributes(self, printer: Printer) -> Set[str]: