diff --git a/mlir/include/mlir/Dialect/DXSA/IR/DXSAOps.td b/mlir/include/mlir/Dialect/DXSA/IR/DXSAOps.td
index 54e5b8ed7a33..8acc7c2f78cd 100644
--- a/mlir/include/mlir/Dialect/DXSA/IR/DXSAOps.td
+++ b/mlir/include/mlir/Dialect/DXSA/IR/DXSAOps.td
@@ -16,6 +16,7 @@ include "mlir/Dialect/DXSA/IR/DXSAConditionOps.td"
 include "mlir/Dialect/DXSA/IR/DXSABitwiseOps.td"
 include "mlir/Dialect/DXSA/IR/DXSATypeConversionOps.td"
 include "mlir/Dialect/DXSA/IR/DXSAAtomicOps.td"
+include "mlir/Dialect/DXSA/IR/DXSARasterOps.td"
 include "mlir/IR/AttrTypeBase.td"
 include "mlir/IR/BuiltinAttributeInterfaces.td"
 include "mlir/IR/EnumAttr.td"
diff --git a/mlir/include/mlir/Dialect/DXSA/IR/DXSARasterOps.td b/mlir/include/mlir/Dialect/DXSA/IR/DXSARasterOps.td
new file mode 100644
index 000000000000..bafd32db3932
--- /dev/null
+++ b/mlir/include/mlir/Dialect/DXSA/IR/DXSARasterOps.td
@@ -0,0 +1,356 @@
+//===- DXSARasterOps.td - DXSA raster ops -*- tablegen -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// Raster instructions of the DXSA dialect.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef MLIR_DIALECT_DXSA_IR_DXSARASTEROPS
+#define MLIR_DIALECT_DXSA_IR_DXSARASTEROPS
+
+include "mlir/Dialect/DXSA/IR/DXSAOpBase.td"
+
+def DXSA_DerivRtx : DXSA_UnaryOp<"deriv_rtx"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    The `dxsa.deriv_rtx` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction ("rtx").
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+
+    Pixel Shader always runs Shader over 2x2 quad of pixels in lockstep (even
+    through flow control, masking disabled pixels). Quads always have even
+    numbered pixel coordinates (both x and y) for top-left pixel. Dummy pixels
+    run off primitive if primitive is too small to fill a 2x2 quad.
+
+    `deriv_rtx` is computed by first choosing 2 pixels: the current pixel and
+    the other pixel with the same `y` coordinate from the quad. Then, the result
+    is calculated as: `src0(odd x pixel) - src0(even x pixel)` [per-component].
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx r<0>, v<1>
+    dxsa.deriv_rtx r<0>, -|v<1>|
+    dxsa.deriv_rtx r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtxSat : DXSA_UnaryOp<"deriv_rtx_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    The `dxsa.deriv_rtx_sat` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction ("rtx").
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+
+    Pixel Shader always runs Shader over 2x2 quad of pixels in lockstep (even
+    through flow control, masking disabled pixels). Quads always have even
+    numbered pixel coordinates (both x and y) for top-left pixel. Dummy pixels
+    run off primitive if primitive is too small to fill a 2x2 quad.
+
+    `deriv_rtx_sat` is computed by first choosing 2 pixels: the current pixel and
+    the other pixel with the same `y` coordinate from the quad. Then, the result
+    is calculated as: `src0(odd x pixel) - src0(even x pixel)` [per-component],
+    and then clamped to `[0.0, 1.0]`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx_sat r<0>, v<1>
+    dxsa.deriv_rtx_sat r<0>, -|v<1>|
+    dxsa.deriv_rtx_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRty : DXSA_UnaryOp<"deriv_rty"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    The `dxsa.deriv_rty` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget y direction ("rty").
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+
+    Pixel Shader always runs Shader over 2x2 quad of pixels in lockstep (even
+    through flow control, masking disabled pixels). Quads always have even
+    numbered pixel coordinates (both x and y) for top-left pixel. Dummy pixels
+    run off primitive if primitive is too small to fill a 2x2 quad.
+
+    `deriv_rty` is computed by first choosing 2 pixels: the current pixel and
+    the other pixel with the same `x` coordinate from the quad. Then, the result
+    is calculated as: `src0(odd y pixel) - src0(even y pixel)` [per-component].
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty r<0>, v<1>
+    dxsa.deriv_rty r<0>, -|v<1>|
+    dxsa.deriv_rty r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtySat : DXSA_UnaryOp<"deriv_rty_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    The `dxsa.deriv_rty_sat` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget y direction ("rty").
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+
+    Pixel Shader always runs Shader over 2x2 quad of pixels in lockstep (even
+    through flow control, masking disabled pixels). Quads always have even
+    numbered pixel coordinates (both x and y) for top-left pixel. Dummy pixels
+    run off primitive if primitive is too small to fill a 2x2 quad.
+
+    `deriv_rty_sat` is computed by first choosing 2 pixels: the current pixel and
+    the other pixel with the same `x` coordinate from the quad. Then, the result
+    is calculated as: `src0(odd y pixel) - src0(even y pixel)` [per-component],
+    and then clamped to `[0.0, 1.0]`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty_sat r<0>, v<1>
+    dxsa.deriv_rty_sat r<0>, -|v<1>|
+    dxsa.deriv_rty_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtxCoarse : DXSA_UnaryOp<"deriv_rtx_coarse"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    The `dxsa.deriv_rtx_coarse` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction ("rtx") or RenderTarget y direction (see `dxsa.deriv_rty_coarse`).
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+
+    The data in the current pixel shader invocation may or may not participate
+    in the calculation of the requested derivative, because the derivative will
+    be calculated only once per 2x2 quad. For example, the x derivative could
+    be a delta from the top row of pixels, and the y direction (`deriv_rty_coarse`)
+    could be a delta from the left column of pixels. The exact calculation is
+    up to the hardware vendor. There is also no specification dictating how the
+    2x2 quads will be aligned or tiled over a primitive.
+
+    Derivatives are calculated at a coarse level, once per 2x2 pixel quad.
+    This instruction and `deriv_rty_coarse` are alternatives to `deriv_rtx_fine`
+    and `deriv_rty_fine`. These `_coarse` and `_fine` derivative instructions
+    are a replacement for `deriv_rtx`/`deriv_rty` from previous shader models.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx_coarse r<0>, v<1>
+    dxsa.deriv_rtx_coarse r<0>, -|v<1>|
+    dxsa.deriv_rtx_coarse r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtxCoarseSat : DXSA_UnaryOp<"deriv_rtx_coarse_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    The `dxsa.deriv_rtx_coarse_sat` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction ("rtx") or RenderTarget y direction (see `dxsa.deriv_rty_coarse`).
+    Only a single x,y derivative pair is computed for each 2x2 stamp of pixels.
+    The result is clamped to `[0.0, 1.0]`.
+
+    The data in the current pixel shader invocation may or may not participate
+    in the calculation of the requested derivative, because the derivative will
+    be calculated only once per 2x2 quad. For example, the x derivative could
+    be a delta from the top row of pixels, and the y direction (`deriv_rty_coarse`)
+    could be a delta from the left column of pixels. The exact calculation is
+    up to the hardware vendor. There is also no specification dictating how the
+    2x2 quads will be aligned or tiled over a primitive.
+
+    Derivatives are calculated at a coarse level, once per 2x2 pixel quad.
+    This instruction and `deriv_rty_coarse` are alternatives to `deriv_rtx_fine`
+    and `deriv_rty_fine`. These `_coarse` and `_fine` derivative instructions
+    are a replacement for `deriv_rtx`/`deriv_rty` from previous shader models.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx_coarse_sat r<0>, v<1>
+    dxsa.deriv_rtx_coarse_sat r<0>, -|v<1>|
+    dxsa.deriv_rtx_coarse_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtyCoarse : DXSA_UnaryOp<"deriv_rty_coarse"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    See `dxsa.deriv_rtx_coarse`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty_coarse r<0>, v<1>
+    dxsa.deriv_rty_coarse r<0>, -|v<1>|
+    dxsa.deriv_rty_coarse r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtyCoarseSat : DXSA_UnaryOp<"deriv_rty_coarse_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    See `dxsa.deriv_rtx_coarse_sat`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty_coarse_sat r<0>, v<1>
+    dxsa.deriv_rty_coarse_sat r<0>, -|v<1>|
+    dxsa.deriv_rty_coarse_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtxFine : DXSA_UnaryOp<"deriv_rtx_fine"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    The `dxsa.deriv_rtx_fine` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction (rtx) or RenderTarget y direction (see `dxsa.deriv_rty_fine`).
+    Each pixel in the 2x2 stamp gets a unique pair of x/y derivative calculations
+    (looking at both `deriv_rtx_fine` and `deriv_rty_fine`).
+
+    The data in the current Pixel Shader invocation always participates in the
+    calculation of the requested derivative. In the 2x2 pixel quad the current
+    pixel falls within, the x derivative is the delta of the row of 2 pixels
+    including the current pixel. The y derivative is the delta of the column
+    of 2 pixels including the current pixel. There is no specification
+    dictating how the 2x2 quads will be aligned/tiled over a primitive.
+
+    Derivatives calculated at a fine level (unique calculation of the x/y
+    derivative pair for each pixel in a 2x2 quad).
+    This instruction and `deriv_rty_fine` are alternatives to `deriv_rtx_coarse`
+    and `deriv_rty_coarse`. These `_coarse` and `_fine` derivative instructions
+    are a replacement for `deriv_rtx`/`deriv_rty` from previous shader models.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx_fine r<0>, v<1>
+    dxsa.deriv_rtx_fine r<0>, -|v<1>|
+    dxsa.deriv_rtx_fine r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtxFineSat : DXSA_UnaryOp<"deriv_rtx_fine_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    The `dxsa.deriv_rtx_fine_sat` operation computes the rate of change of contents
+    of each float32 component of `$src` (post-swizzle), with regard to
+    RenderTarget x direction (rtx) or RenderTarget y direction (see `dxsa.deriv_rty_fine`).
+    Each pixel in the 2x2 stamp gets a unique pair of x/y derivative calculations
+    (looking at both `deriv_rtx_fine` and `deriv_rty_fine`).
+    The result is clamped to `[0.0, 1.0]`.
+
+    The data in the current Pixel Shader invocation always participates in the
+    calculation of the requested derivative. In the 2x2 pixel quad the current
+    pixel falls within, the x derivative is the delta of the row of 2 pixels
+    including the current pixel. The y derivative is the delta of the column
+    of 2 pixels including the current pixel. There is no specification
+    dictating how the 2x2 quads will be aligned/tiled over a primitive.
+
+    Derivatives calculated at a fine level (unique calculation of the x/y
+    derivative pair for each pixel in a 2x2 quad).
+    This instruction and `deriv_rty_fine` are alternatives to `deriv_rtx_coarse`
+    and `deriv_rty_coarse`. These `_coarse` and `_fine` derivative instructions
+    are a replacement for `deriv_rtx`/`deriv_rty` from previous shader models.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rtx_fine_sat r<0>, v<1>
+    dxsa.deriv_rtx_fine_sat r<0>, -|v<1>|
+    dxsa.deriv_rtx_fine_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtyFine : DXSA_UnaryOp<"deriv_rty_fine"> {
+  let summary = "computes the rate of change of components";
+  let description = [{
+    See `dxsa.deriv_rtx_fine`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty_fine r<0>, v<1>
+    dxsa.deriv_rty_fine r<0>, -|v<1>|
+    dxsa.deriv_rty_fine r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_DerivRtyFineSat : DXSA_UnaryOp<"deriv_rty_fine_sat"> {
+  let summary =
+      "computes the rate of change of components, saturated to [0, 1]";
+  let description = [{
+    See `dxsa.deriv_rtx_fine_sat`.
+
+    Example:
+
+    ```mlir
+    dxsa.deriv_rty_fine_sat r<0>, v<1>
+    dxsa.deriv_rty_fine_sat r<0>, -|v<1>|
+    dxsa.deriv_rty_fine_sat r<0, <x>>, v<1, <y, z, w, y>>
+    ```
+  }];
+}
+
+def DXSA_LOD : DXSA_TernaryOp<"lod"> {
+  let summary = "returns the LOD (level of detail) that would be used for "
+                "texture filtering.";
+  let description = [{
+    This behaves like the `dxsa.sample` instruction, but a filtered sample
+    is not generated. The instruction computes the following vector (ClampedLOD,
+    NonClampedLOD, 0, 0). NonClampedLOD is a computed LOD value that ignores
+    any clamping from either the sampler or the texture (ie: it can return
+    negative values.)
+    ClampedLOD is a computed LOD value that would be used by the actual sample
+    instruction. The swizzle on `$src1` allows the returned values to be
+    swizzled arbitrarily before they are written to the destination.
+
+    If there is no resource bound to the specified slot, 0 is returned.
+
+    If the sampler is using anisotropic filtering the LOD should
+    correspond to the fractional mip level based on the smaller
+    axis of the elliptical footprint.
+
+    This is valid for the following texture types: Texture1D, Texture2D,
+    Texture3D and TextureCube.
+
+    The `lod` instruction is not defined when used with a sampler that
+    specifies point mip filtering, specifically, any `D3D10_FILTER` enum
+    that ends in `MIP_POINT`.
+
+    Example:
+
+    ```mlir
+    dxsa.lod r<0, <x>>, v<0, <x, y, x, x>>, t<0, vector, <x>>, s<0>
+    ```
+  }];
+}
+
+#endif // MLIR_DIALECT_DXSA_IR_DXSARASTEROPS
diff --git a/mlir/lib/Target/DXSA/BinaryParser.cpp b/mlir/lib/Target/DXSA/BinaryParser.cpp
index b783e6be85f8..47a1e53c67d3 100644
--- a/mlir/lib/Target/DXSA/BinaryParser.cpp
+++ b/mlir/lib/Target/DXSA/BinaryParser.cpp
@@ -2409,6 +2409,21 @@ class Parser {
       return PLAIN_OP(UShr, 1, 2, HasPreciseAttr::Yes);
     case D3D10_SB_OPCODE_XOR:
       return PLAIN_OP(Xor, 1, 2, HasPreciseAttr::Yes);
+    // Raster instructions
+    case D3D10_SB_OPCODE_DERIV_RTX:
+      return SATURABLE_OP(DerivRtx, 1, 1, HasPreciseAttr::Yes);
+    case D3D10_SB_OPCODE_DERIV_RTY:
+      return SATURABLE_OP(DerivRty, 1, 1, HasPreciseAttr::Yes);
+    case D3D11_SB_OPCODE_DERIV_RTX_COARSE:
+      return SATURABLE_OP(DerivRtxCoarse, 1, 1, HasPreciseAttr::Yes);
+    case D3D11_SB_OPCODE_DERIV_RTY_COARSE:
+      return SATURABLE_OP(DerivRtyCoarse, 1, 1, HasPreciseAttr::Yes);
+    case D3D11_SB_OPCODE_DERIV_RTX_FINE:
+      return SATURABLE_OP(DerivRtxFine, 1, 1, HasPreciseAttr::Yes);
+    case D3D11_SB_OPCODE_DERIV_RTY_FINE:
+      return SATURABLE_OP(DerivRtyFine, 1, 1, HasPreciseAttr::Yes);
+    case D3D10_1_SB_OPCODE_LOD:
+      return PLAIN_OP(LOD, 1, 3, HasPreciseAttr::Yes);
     // Atomic instructions
     case D3D11_SB_OPCODE_ATOMIC_AND:
       return PLAIN_OP(AtomicAnd, 1, 2, HasPreciseAttr::No);
diff --git a/mlir/test/Target/DXSA/raster_ops.test b/mlir/test/Target/DXSA/raster_ops.test
new file mode 100644
index 000000000000..4c32c9ef53eb
--- /dev/null
+++ b/mlir/test/Target/DXSA/raster_ops.test
@@ -0,0 +1,435 @@
+// RUN: mlir-translate --split-input-file --import-dxsa-hex %s | FileCheck %s
+// RUN: mlir-translate --split-input-file --import-dxsa-hex %s | mlir-opt --split-input-file --verify-roundtrip
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx r<0>, v<1>
+0x0500000b, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx r<0>, -v<1>
+0x0600000b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx r<0>, |v<1>|
+0x0600000b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx r<0, <x>>, v<1, <y, z, w, y>>
+0x0500000b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508000b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_sat r<0>, v<1>
+0x0500200b, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_sat r<0>, -v<1>
+0x0600200b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_sat r<0>, |v<1>|
+0x0600200b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500200b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508200b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty r<0>, v<1>
+0x0500000c, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty r<0>, -v<1>
+0x0600000c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty r<0>, |v<1>|
+0x0600000c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty r<0, <x>>, v<1, <y, z, w, y>>
+0x0500000c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508000c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_sat r<0>, v<1>
+0x0500200c, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_sat r<0>, -v<1>
+0x0600200c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_sat r<0>, |v<1>|
+0x0600200c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500200c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508200c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse r<0>, v<1>
+0x0500007a, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse r<0>, -v<1>
+0x0600007a, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse r<0>, |v<1>|
+0x0600007a, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse r<0, <x>>, v<1, <y, z, w, y>>
+0x0500007a, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508007a, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse_sat r<0>, v<1>
+0x0500207a, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse_sat r<0>, -v<1>
+0x0600207a, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse_sat r<0>, |v<1>|
+0x0600207a, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500207a, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_coarse_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508207a, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse r<0>, v<1>
+0x0500007c, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse r<0>, -v<1>
+0x0600007c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse r<0>, |v<1>|
+0x0600007c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse r<0, <x>>, v<1, <y, z, w, y>>
+0x0500007c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508007c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse_sat r<0>, v<1>
+0x0500207c, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse_sat r<0>, -v<1>
+0x0600207c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse_sat r<0>, |v<1>|
+0x0600207c, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500207c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_coarse_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508207c, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine r<0>, v<1>
+0x0500007b, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine r<0>, -v<1>
+0x0600007b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine r<0>, |v<1>|
+0x0600007b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine r<0, <x>>, v<1, <y, z, w, y>>
+0x0500007b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508007b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine_sat r<0>, v<1>
+0x0500207b, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine_sat r<0>, -v<1>
+0x0600207b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine_sat r<0>, |v<1>|
+0x0600207b, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500207b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rtx_fine_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508207b, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine r<0>, v<1>
+0x0500007d, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine r<0>, -v<1>
+0x0600007d, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine r<0>, |v<1>|
+0x0600007d, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine r<0, <x>>, v<1, <y, z, w, y>>
+0x0500007d, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508007d, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine_sat r<0>, v<1>
+0x0500207d, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine_sat r<0>, -v<1>
+0x0600207d, 0x001000f2, 0x00000000, 0x80101e46, 0x00000041, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine_sat r<0>, |v<1>|
+0x0600207d, 0x001000f2, 0x00000000, 0x80101e46, 0x00000081, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine_sat r<0, <x>>, v<1, <y, z, w, y>>
+0x0500207d, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.deriv_rty_fine_sat precise <x> r<0, <x>>, v<1, <y, z, w, y>>
+0x0508207d, 0x00100012, 0x00000000, 0x00101796, 0x00000001
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.lod r<0>, v<1>, t<0>, s<0>
+0x0900006c, 0x001000f2, 0x00000000, 0x00101e46, 0x00000001, 0x00107000, 0x00000000, 0x00106000, 0x00000000
+// CHECK-NEXT: }
+
+// -----
+
+// CHECK-LABEL: dxsa.module {
+// CHECK-NEXT:   dxsa.lod r<0, <x>>, v<0, <x, y, x, x>>, t<0, vector, <x>>, s<0>
+0x0900006c, 0x00100012, 0x00000000, 0x00101046, 0x00000000, 0x0010700a, 0x00000000, 0x00106000, 0x00000000
+// CHECK-NEXT: }