diff --git a/src/nouveau/compiler/nak/ir.rs b/src/nouveau/compiler/nak/ir.rs
index f50a46be286..8d120c88003 100644
--- a/src/nouveau/compiler/nak/ir.rs
+++ b/src/nouveau/compiler/nak/ir.rs
@@ -2471,14 +2471,12 @@ pub struct OpDAdd {
     #[src_type(F64)]
     pub srcs: [Src; 2],
 
-    pub saturate: bool,
     pub rnd_mode: FRndMode,
 }
 
 impl DisplayOp for OpDAdd {
     fn fmt_op(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-        let sat = if self.saturate { ".sat" } else { "" };
-        write!(f, "dadd{sat}")?;
+        write!(f, "dadd")?;
         if self.rnd_mode != FRndMode::NearestEven {
             write!(f, "{}", self.rnd_mode)?;
         }
diff --git a/src/nouveau/compiler/nak/opt_copy_prop.rs b/src/nouveau/compiler/nak/opt_copy_prop.rs
index 2e1313ff420..6ba0b830216 100644
--- a/src/nouveau/compiler/nak/opt_copy_prop.rs
+++ b/src/nouveau/compiler/nak/opt_copy_prop.rs
@@ -319,12 +319,10 @@ impl CopyPropPass {
             }
             Op::DAdd(add) => {
                 let dst = add.dst.as_ssa().unwrap();
-                if !add.saturate {
-                    if add.srcs[0].is_fneg_zero(SrcType::F64) {
-                        self.add_fp64_copy(dst, add.srcs[1]);
-                    } else if add.srcs[1].is_fneg_zero(SrcType::F64) {
-                        self.add_fp64_copy(dst, add.srcs[0]);
-                    }
+                if add.srcs[0].is_fneg_zero(SrcType::F64) {
+                    self.add_fp64_copy(dst, add.srcs[1]);
+                } else if add.srcs[1].is_fneg_zero(SrcType::F64) {
+                    self.add_fp64_copy(dst, add.srcs[0]);
                 }
             }
             Op::Lop3(lop) => {