Update fragment shader tests to use --allow-fragment-no-output flag

Updates 190 fragment shader test files to include the new
--allow-fragment-no-output compiler flag, allowing them to compile
successfully despite producing no output operations.

Changes:
- Add `--allow-fragment-no-output` flag to fragment shader tests
- Handle both new compile-flags lines and comma-separated additions
  to existing llvm-args parameters
- Update corresponding .stderr files to reflect new line numbers
- Preserve issue-284-dead-fragment.rs test to validate error detection

This ensures all existing fragment shader tests pass while maintaining
the ability to detect genuine fragment shader output issues through
the dedicated error test case.

Author: zmr-233

tests/compiletests/ui/arch/all.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 #![feature(repr_simd)]
 

tests/compiletests/ui/arch/all.stderr

@@ -1,7 +1,7 @@
 warning: [Rust-GPU] temporarily re-allowing old-style `#[repr(simd)]` (with fields)
-  --> $DIR/all.rs:16:1
+  --> $DIR/all.rs:17:1
    |
-16 | struct Vec2<T>(T, T);
+17 | struct Vec2<T>(T, T);
    | ^^^^^^^^^^^^^^
    |
    = note: removed upstream by https://github.com/rust-lang/rust/pull/129403

tests/compiletests/ui/arch/any.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 #![feature(repr_simd)]
 

tests/compiletests/ui/arch/any.stderr

@@ -1,7 +1,7 @@
 warning: [Rust-GPU] temporarily re-allowing old-style `#[repr(simd)]` (with fields)
-  --> $DIR/any.rs:16:1
+  --> $DIR/any.rs:17:1
    |
-16 | struct Vec2<T>(T, T);
+17 | struct Vec2<T>(T, T);
    | ^^^^^^^^^^^^^^
    |
    = note: removed upstream by https://github.com/rust-lang/rust/pull/129403

tests/compiletests/ui/arch/control_barrier.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 #![feature(adt_const_params)]
 #![allow(incomplete_features)]

tests/compiletests/ui/arch/debug_printf.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 // compile-flags: -Ctarget-feature=+ext:SPV_KHR_non_semantic_info
 
 use spirv_std::spirv;

tests/compiletests/ui/arch/debug_printf_type_checking.rs

@@ -1,3 +1,4 @@
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 // build-fail
 // normalize-stderr-test "\S*/crates/spirv-std/src/" -> "$$SPIRV_STD_SRC/"
 // compile-flags: -Ctarget-feature=+ext:SPV_KHR_non_semantic_info

tests/compiletests/ui/arch/debug_printf_type_checking.stderr

@@ -1,76 +1,76 @@
 error: Unterminated format specifier: missing type after precision
-  --> $DIR/debug_printf_type_checking.rs:11:23
+  --> $DIR/debug_printf_type_checking.rs:12:23
    |
-11 |         debug_printf!("%1");
+12 |         debug_printf!("%1");
    |                       ^^^^
 
 error: Unterminated format specifier: missing type after decimal point
-  --> $DIR/debug_printf_type_checking.rs:12:23
+  --> $DIR/debug_printf_type_checking.rs:13:23
    |
-12 |         debug_printf!("%1.");
+13 |         debug_printf!("%1.");
    |                       ^^^^^
 
 error: Unrecognised format specifier: '.'
-  --> $DIR/debug_printf_type_checking.rs:13:23
+  --> $DIR/debug_printf_type_checking.rs:14:23
    |
-13 |         debug_printf!("%.");
+14 |         debug_printf!("%.");
    |                       ^^^^
 
 error: Unrecognised format specifier: '.'
-  --> $DIR/debug_printf_type_checking.rs:14:23
+  --> $DIR/debug_printf_type_checking.rs:15:23
    |
-14 |         debug_printf!("%.1");
+15 |         debug_printf!("%.1");
    |                       ^^^^^
 
 error: Unterminated format specifier: missing type after fraction precision
-  --> $DIR/debug_printf_type_checking.rs:15:23
+  --> $DIR/debug_printf_type_checking.rs:16:23
    |
-15 |         debug_printf!("%1.1");
+16 |         debug_printf!("%1.1");
    |                       ^^^^^^
 
 error: Missing vector dimensions specifier
-  --> $DIR/debug_printf_type_checking.rs:16:23
+  --> $DIR/debug_printf_type_checking.rs:17:23
    |
-16 |         debug_printf!("%1.1v");
+17 |         debug_printf!("%1.1v");
    |                       ^^^^^^^
 
 error: Invalid width for vector: 5
-  --> $DIR/debug_printf_type_checking.rs:17:23
+  --> $DIR/debug_printf_type_checking.rs:18:23
    |
-17 |         debug_printf!("%1.1v5");
+18 |         debug_printf!("%1.1v5");
    |                       ^^^^^^^^
 
 error: Missing vector type specifier
-  --> $DIR/debug_printf_type_checking.rs:18:23
+  --> $DIR/debug_printf_type_checking.rs:19:23
    |
-18 |         debug_printf!("%1.1v2");
+19 |         debug_printf!("%1.1v2");
    |                       ^^^^^^^^
 
 error: Unrecognised vector type specifier: 'r'
-  --> $DIR/debug_printf_type_checking.rs:19:23
+  --> $DIR/debug_printf_type_checking.rs:20:23
    |
-19 |         debug_printf!("%1.1v2r");
+20 |         debug_printf!("%1.1v2r");
    |                       ^^^^^^^^^
 
 error: Unrecognised format specifier: 'r'
-  --> $DIR/debug_printf_type_checking.rs:20:23
+  --> $DIR/debug_printf_type_checking.rs:21:23
    |
-20 |         debug_printf!("%r", 11_i32);
+21 |         debug_printf!("%r", 11_i32);
    |                       ^^^^
 
 error[E0308]: mismatched types
-   --> $DIR/debug_printf_type_checking.rs:21:29
+   --> $DIR/debug_printf_type_checking.rs:22:29
     |
-21  |         debug_printf!("%f", 11_u32);
+22  |         debug_printf!("%f", 11_u32);
     |         --------------------^^^^^^-
     |         |                   |
     |         |                   expected `f32`, found `u32`
     |         arguments to this function are incorrect
     |
 help: the return type of this call is `u32` due to the type of the argument passed
-   --> $DIR/debug_printf_type_checking.rs:21:9
+   --> $DIR/debug_printf_type_checking.rs:22:9
     |
-21  |         debug_printf!("%f", 11_u32);
+22  |         debug_printf!("%f", 11_u32);
     |         ^^^^^^^^^^^^^^^^^^^^------^
     |                             |
     |                             this argument influences the return type of `spirv_std`
@@ -82,22 +82,22 @@ note: function defined here
     = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
 help: change the type of the numeric literal from `u32` to `f32`
     |
-21  |         debug_printf!("%f", 11_f32);
+22  |         debug_printf!("%f", 11_f32);
     |                                ~~~
 
 error[E0308]: mismatched types
-   --> $DIR/debug_printf_type_checking.rs:22:29
+   --> $DIR/debug_printf_type_checking.rs:23:29
     |
-22  |         debug_printf!("%u", 11.0_f32);
+23  |         debug_printf!("%u", 11.0_f32);
     |         --------------------^^^^^^^^-
     |         |                   |
     |         |                   expected `u32`, found `f32`
     |         arguments to this function are incorrect
     |
 help: the return type of this call is `f32` due to the type of the argument passed
-   --> $DIR/debug_printf_type_checking.rs:22:9
+   --> $DIR/debug_printf_type_checking.rs:23:9
     |
-22  |         debug_printf!("%u", 11.0_f32);
+23  |         debug_printf!("%u", 11.0_f32);
     |         ^^^^^^^^^^^^^^^^^^^^--------^
     |                             |
     |                             this argument influences the return type of `spirv_std`
@@ -109,13 +109,13 @@ note: function defined here
     = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
 help: change the type of the numeric literal from `f32` to `u32`
     |
-22  |         debug_printf!("%u", 11u32);
+23  |         debug_printf!("%u", 11u32);
     |                               ~~~
 
 error[E0277]: the trait bound `{float}: Vector<f32, 2>` is not satisfied
-   --> $DIR/debug_printf_type_checking.rs:23:9
+   --> $DIR/debug_printf_type_checking.rs:24:9
     |
-23  |         debug_printf!("%v2f", 11.0);
+24  |         debug_printf!("%v2f", 11.0);
     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Vector<f32, 2>` is not implemented for `{float}`
     |
     = help: the following other types implement trait `Vector<T, N>`:
@@ -139,18 +139,18 @@ note: required by a bound in `debug_printf_assert_is_vector`
     = note: this error originates in the macro `debug_printf` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0308]: mismatched types
-   --> $DIR/debug_printf_type_checking.rs:24:29
+   --> $DIR/debug_printf_type_checking.rs:25:29
     |
-24  |         debug_printf!("%f", Vec2::splat(33.3));
+25  |         debug_printf!("%f", Vec2::splat(33.3));
     |         --------------------^^^^^^^^^^^^^^^^^-
     |         |                   |
     |         |                   expected `f32`, found `Vec2`
     |         arguments to this function are incorrect
     |
 help: the return type of this call is `Vec2` due to the type of the argument passed
-   --> $DIR/debug_printf_type_checking.rs:24:9
+   --> $DIR/debug_printf_type_checking.rs:25:9
     |
-24  |         debug_printf!("%f", Vec2::splat(33.3));
+25  |         debug_printf!("%f", Vec2::splat(33.3));
     |         ^^^^^^^^^^^^^^^^^^^^-----------------^
     |                             |
     |                             this argument influences the return type of `spirv_std`

tests/compiletests/ui/arch/demote_to_helper_invocation.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 //
 // compile-flags: -C target-feature=+DemoteToHelperInvocationEXT,+ext:SPV_EXT_demote_to_helper_invocation
 

tests/compiletests/ui/arch/derivative.rs

@@ -1,5 +1,5 @@
 // build-pass
-// compile-flags: -C llvm-args=--disassemble-fn=derivative::derivative
+// compile-flags: -C llvm-args=--disassemble-fn=derivative::derivative,--allow-fragment-no-output
 
 use spirv_std::arch::Derivative;
 use spirv_std::spirv;

tests/compiletests/ui/arch/derivative_control.rs

@@ -1,6 +1,6 @@
 // build-pass
 // compile-flags: -C target-feature=+DerivativeControl
-// compile-flags: -C llvm-args=--disassemble-fn=derivative_control::derivative
+// compile-flags: -C llvm-args=--disassemble-fn=derivative_control::derivative,--allow-fragment-no-output
 
 use spirv_std::arch::Derivative;
 use spirv_std::spirv;

tests/compiletests/ui/arch/index_unchecked.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use spirv_std::arch::IndexUnchecked;
 use spirv_std::spirv;

tests/compiletests/ui/arch/integer_min_and_max.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use spirv_std::arch::{signed_max, signed_min, unsigned_max, unsigned_min};
 use spirv_std::spirv;

tests/compiletests/ui/arch/kill.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use spirv_std::spirv;
 

tests/compiletests/ui/arch/memory_barrier.rs

@@ -1,4 +1,5 @@
 // build-pass
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 #![feature(adt_const_params)]
 #![allow(incomplete_features)]

tests/compiletests/ui/arch/ray_query_confirm_intersection_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_barycentrics_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_candidate_aabb_opaque_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_front_face_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_geometry_index_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_instance_custom_index_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_instance_id_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_object_ray_direction_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_object_ray_origin_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_object_to_world_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_primitive_index_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_shader_binding_table_record_offset_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_t_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_intersection_type_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_ray_flags_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_ray_t_min_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_world_ray_direction_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_get_world_ray_origin_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayQueryKHR,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};

tests/compiletests/ui/arch/ray_query_initialize_khr.rs

@@ -1,5 +1,6 @@
 // build-pass
 // compile-flags: -Ctarget-feature=+RayTracingKHR,+RayQueryKHR,+ext:SPV_KHR_ray_tracing,+ext:SPV_KHR_ray_query
+// compile-flags: -C llvm-args=--allow-fragment-no-output
 
 use glam::Vec3;
 use spirv_std::ray_tracing::{AccelerationStructure, RayFlags, RayQuery};