allow optional image operands for image write instructions (#1451)

bashbaug · web-flow · commit 81e444820d25 · 2025-09-02T09:37:55.000-07:00
diff --git a/env/validation_rules.asciidoc b/env/validation_rules.asciidoc
@@ -32,12 +32,9 @@ For all *OpTypeImage* type-declaration instructions:
   * _Image Format_ must be *Unknown*, indicating that the image does not
      have a specified format.
   * The optional image _Access Qualifier_ must be present.
-  
-The image write instruction *OpImageWrite* must not include any optional
-_Image Operands_.
 
-The image read instructions *OpImageRead* and *OpImageSampleExplicitLod* 
-must not include the optional _Image Operand_ *ConstOffset*.
+For all image read and write instructions, if an optional _Image Operand_ is
+present, then it must not include *ConstOffset*.
 
 For all *Atomic Instructions*:
 
