Default slang-test compiler invocations to -O0

tests/autodiff/differentiable-interface-return.slang

@@ -8,8 +8,8 @@
 // `this_type(...)` leaks all the way to codegen — invalid HLSL on
 // `-target hlsl` and an ICE on `-target spirv`.
 
-//TEST:SIMPLE(filecheck=CHECK_HLSL): -target hlsl -stage compute -entry main
-//TEST:SIMPLE(filecheck=CHECK_SPV): -target spirv-asm -stage compute -entry main
+//TEST:SIMPLE(filecheck=CHECK_HLSL): -target hlsl -stage compute -entry main -O3
+//TEST:SIMPLE(filecheck=CHECK_SPV): -target spirv-asm -stage compute -entry main -O3
 //TEST:INTERPRET(filecheck=CHECK_INTERP): -entry interpretMain
 
 // The fix should ensure `this_type` (the unresolved IR placeholder) does not

tests/autodiff/reverse-loop-immediate-return.slang

@@ -1,6 +1,6 @@
 
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK): -slang -compute -shaderobj -output-using-type
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-cuda -compute -shaderobj -output-using-type
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK): -slang -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-cuda -compute -shaderobj -output-using-type -Xslang -O3
 
 //TEST_INPUT:ubuffer(data=[0 0 0 0 0], stride=4):out,name=outputBuffer
 RWStructuredBuffer<float> outputBuffer;
@@ -36,7 +36,7 @@ void run(
         }
 
         if (idx == 0)
-        { 
+        {
             x = x * 2.0f;
         }
     }
@@ -53,8 +53,8 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     // bwd_diff
     DifferentialPair<float> dpa = DifferentialPair<float>(1.0, 0.0);
     bwd_diff(run)(dispatchThreadID.x, dpa);
-    outputBuffer[dispatchThreadID.x] = dpa.d; 
-    
+    outputBuffer[dispatchThreadID.x] = dpa.d;
+
     // CHECK: type: float
     // CHECK: 2.0
 }

tests/bugs/gh-10774-concrete-return.slang

@@ -5,7 +5,7 @@
 // the interface requirement and the satisfying method. It should compile, but
 // currently fails during interface conformance checking.
 
-//TEST:SIMPLE(filecheck=CHECK): -target spirv-asm -emit-spirv-directly -stage compute -entry computeMain
+//TEST:SIMPLE(filecheck=CHECK): -target spirv-asm -emit-spirv-directly -stage compute -entry computeMain -O3
 
 // CHECK: OpCapability RayQueryKHR
 // CHECK: OpRayQueryInitializeKHR

tests/bugs/gh-6482-interface-method-existential-specialize.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHECK): -target spirv
+//TEST:SIMPLE(filecheck=CHECK): -target spirv -O3
 
 // This is a test that checks that we can apply partial specialization to a function
 // that takes existential parameters.
@@ -33,7 +33,7 @@ struct Scene : IScene {
 };
 
 public interface IIntegrator {
-    
+
     // This function takes two existential parameters, `scene` and `rng`.
     // if we call this function with `rng` being dynamic, and `scene` being static,
     // we should still be able to specialize the `sample` function with the statically known
@@ -90,4 +90,4 @@ void main(
     integrator::Test integrator = integrator::Test();
     float4 grad = integrator.sample(scene, {}, rng, {}, id);
     output[id.xy] += float4(grad.xyz, grad.w);
-}
+}

tests/bugs/gh-9916.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHECK): -target spirv-asm -stage fragment -entry fragmentMain
+//TEST:SIMPLE(filecheck=CHECK): -target spirv-asm -stage fragment -entry fragmentMain -O3
 //TEST:SIMPLE(filecheck=CHECK_BINDLESS): -target spirv-asm -stage fragment -entry fragmentMain -capability spvBindlessTextureNV -DUSE_BINDLESS_NV
 
 // A global DescriptorHandle constant lowers to a module-scope descriptor-handle

tests/bugs/metal-return-value-lost.slang

@@ -8,12 +8,12 @@
 //TEST:SIMPLE(filecheck=CPP):   -target cpp -entry computeMain -stage compute
 //TEST:SIMPLE(filecheck=WGSL):  -target wgsl -entry computeMain -stage compute
 
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-d3d12 -compute -shaderobj -output-using-type
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-vk -compute -shaderobj -output-using-type
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cuda -compute -shaderobj -output-using-type
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cpu -compute -shaderobj -output-using-type
-//TEST(compute, metal):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-metal -compute -shaderobj -output-using-type
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-wgsl -compute -shaderobj -output-using-type
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-d3d12 -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-vk -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cuda -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cpu -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute, metal):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-metal -compute -shaderobj -output-using-type -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-wgsl -compute -shaderobj -output-using-type -Xslang -O3
 
 //TEST_INPUT: ubuffer(data=[0], stride=4):out,name=outputBuffer
 RWStructuredBuffer<uint> outputBuffer;

tests/bugs/spirv-opt-SROA-of-globals.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHECK): -target spirv -fvk-use-entrypoint-name -enable-experimental-passes
+//TEST:SIMPLE(filecheck=CHECK): -target spirv -fvk-use-entrypoint-name -enable-experimental-passes -O3
 
 // This test checks that spirv-opt is running SROA (scalar replacement of aggregates) to
 // hoist out all member variables of a struct. If this sucsessfully runs, we should not see

tests/bugs/vk-structured-buffer-load.hlsl

@@ -1,6 +1,6 @@
-//TEST:CROSS_COMPILE: -profile glsl_460+GL_NV_ray_tracing -entry HitMain -stage closesthit -target spirv-assembly
-//TEST:SIMPLE(filecheck=DXIL): -target dxil -entry HitMain -stage closesthit -profile sm_6_5
-//TEST:SIMPLE(filecheck=SPV): -target spirv
+//TEST:CROSS_COMPILE: -profile glsl_460+GL_NV_ray_tracing -entry HitMain -stage closesthit -target spirv-assembly -O3
+//TEST:SIMPLE(filecheck=DXIL): -target dxil -entry HitMain -stage closesthit -profile sm_6_5 -O3
+//TEST:SIMPLE(filecheck=SPV): -target spirv -O3
 
 // DXIL: define void @
 // SPV: OpEntryPoint

tests/compute/byte-address-buffer-array.slang

@@ -4,8 +4,8 @@
 //TEST(compute, vulkan):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-slang -compute -vk -shaderobj -output-using-type
 
 //TEST:SIMPLE(filecheck=CHECK2):-target hlsl -entry computeMain -stage compute
-//TEST:SIMPLE(filecheck=CHECK3):-target spirv -entry computeMain -stage compute
-//TEST:SIMPLE(filecheck=CHECK3):-target spirv -emit-spirv-directly -entry computeMain -stage compute
+//TEST:SIMPLE(filecheck=CHECK3):-target spirv -entry computeMain -stage compute -O1
+//TEST:SIMPLE(filecheck=CHECK3):-target spirv -emit-spirv-directly -entry computeMain -stage compute -O1
 
 // Confirm compilation of `(RW)ByteAddressBuffer` with aligned load / stores to wider data types.
 

tests/compute/half-texture.slang

@@ -1,6 +1,6 @@
 //TEST:SIMPLE(filecheck=CHECK_SPIRV): -target spirv -entry computeMain -profile cs_6_2 -emit-spirv-via-glsl
 //TEST:SIMPLE(filecheck=CHECK_SPIRV): -target spirv -entry computeMain -profile cs_6_2 -emit-spirv-directly
-//TEST:CROSS_COMPILE: -target dxil-assembly -entry computeMain -profile cs_6_2
+//TEST:CROSS_COMPILE: -target dxil-assembly -entry computeMain -profile cs_6_2 -O3
 //TEST:SIMPLE(filecheck=CHECK_CUDA): -target cuda -entry computeMain -profile cs_6_2
 
 //TEST_INPUT:ubuffer(data=[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0], stride=16):out
@@ -22,8 +22,8 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     int2 pos = int2(dispatchThreadID.xy);
     float2 uv = pos * (1.0f / 3.0f);
     int2 pos2 = int2(3 - pos.y, 3 - pos.x);
-    
-#if 0 
+
+#if 0
     half  h = halfTexture.Sample(s, uv);
     half2 h2 = halfTexture2.Sample(s, uv);
     half4 h4 = halfTexture4.Sample(s, uv);
@@ -42,7 +42,7 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     halfTexture[pos] = h2.x + h2.y;
     halfTexture2[pos] = h4.xy;
     halfTexture4[pos] = half4(h2, h, h);
-    
+
     int index = pos.x + pos.y * 4;
     outputBuffer[index] = index;
 }

tests/compute/nonuniformres-as-function-parameter.slang

@@ -1,5 +1,5 @@
-//TEST:SIMPLE(filecheck=CHECK_SPV):-target spirv -entry main -stage compute
-//TEST:SIMPLE(filecheck=CHECK_GLSL_SPV):-target spirv -entry main -stage compute -emit-spirv-via-glsl
+//TEST:SIMPLE(filecheck=CHECK_SPV):-target spirv -entry main -stage compute -O1
+//TEST:SIMPLE(filecheck=CHECK_GLSL_SPV):-target spirv -entry main -stage compute -emit-spirv-via-glsl -O1
 //TEST:SIMPLE(filecheck=CHECK_GLSL):-target glsl -entry main -stage compute
 //TEST:SIMPLE(filecheck=CHECK_HLSL):-target hlsl -entry main -stage compute
 //TEST:SIMPLE(filecheck=CHECK_CUDA):-target cuda -entry main -stage compute

tests/compute/nonuniformres-nested-rwstructuredbuf.slang

@@ -1,6 +1,6 @@
 //TEST:SIMPLE(filecheck=CHECK0):-target glsl -entry main -stage compute
 //TEST:SIMPLE(filecheck=CHECK1):-target hlsl -entry main -stage compute
-//TEST:SIMPLE(filecheck=CHECK2):-target spirv -entry main -stage compute -emit-spirv-via-glsl
+//TEST:SIMPLE(filecheck=CHECK2):-target spirv -entry main -stage compute -emit-spirv-via-glsl -O3
 //TEST:SIMPLE(filecheck=CHECK3):-target spirv -entry main -stage compute -emit-spirv-directly
 //TEST:SIMPLE(filecheck=CHECK4):-target cuda -entry main -stage compute -emit-spirv-directly
 
@@ -30,7 +30,7 @@ void main(uint3 dispatchThreadID: SV_DispatchThreadID)
     // CHECK3-DAG: OpDecorate %[[IDX2]] NonUniform
     // CHECK3-DAG: OpDecorate %[[AC2]] NonUniform
     // CHECK3-DAG: %{{.*}} = OpAccessChain %_ptr_StorageBuffer_int %[[AC2]]
-    
+
     // CHECK4: Array<RWStructuredBuffer<int>>  [[BUFFER:buffer[_0-9]*]];
     // CHECK4: [[GLOBALPARAMS:globalParams[_0-9]*]]->[[BUFFER]][_S{{[0-9]+}}]
     // CHECK4: [[GLOBALPARAMS]]->[[BUFFER]][int(_S{{[0-9]+}})]

tests/compute/static-const-array.slang

@@ -1,8 +1,8 @@
 // static-const-array.slang
 
-//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj
-//TEST(compute, vulkan):COMPARE_COMPUTE_EX:-vk -compute -shaderobj
-//TEST(compute):COMPARE_COMPUTE_EX:-cpu -slang -compute -shaderobj
+//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj -Xslang -O3
+//TEST(compute, vulkan):COMPARE_COMPUTE_EX:-vk -compute -shaderobj -Xslang -O3
+//TEST(compute):COMPARE_COMPUTE_EX:-cpu -slang -compute -shaderobj -Xslang -O3
 
 //TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out, name outputBuffer
 RWStructuredBuffer<int> outputBuffer;

tests/cooperative-vector/layout-structuredbuffer.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHECK):-target spirv -emit-spirv-directly -entry computeMain -stage compute -capability cooperative_vector
+//TEST:SIMPLE(filecheck=CHECK):-target spirv -emit-spirv-directly -entry computeMain -stage compute -capability cooperative_vector -O3
 
 // Check that cooperative vector StructuredBuffer overloads preserve distinct
 // std140/std430 ArrayStride decorations for runtime arrays and pointers.

tests/cross-compile/loop-attribs.slang

@@ -1,12 +1,12 @@
 // loop-attribs.slang
 // Test that loop attributes are correctly emitted to the resulting HLSL.
 
-//TEST:CROSS_COMPILE:-target dxil-assembly  -entry main -stage fragment -profile sm_6_0 -loop-inversion
+//TEST:CROSS_COMPILE:-target dxil-assembly  -entry main -stage fragment -profile sm_6_0 -loop-inversion -O3
 
 float4 main() : SV_Target
 {
     float sum = 0.0f;
-    
+
     [loop]
     for (int i = 0; i < 100; i++)
         sum += float(i);

tests/cross-compile/precise-keyword.slang

@@ -2,7 +2,7 @@
 
 //TEST:SIMPLE(filecheck=SPIRV): -target spirv-assembly -entry main -stage fragment
 //TEST:CROSS_COMPILE:-target dxbc-assembly  -entry main -stage fragment
-//TEST:CROSS_COMPILE:-target dxil-assembly  -entry main -stage fragment -profile sm_6_0
+//TEST:CROSS_COMPILE:-target dxil-assembly  -entry main -stage fragment -profile sm_6_0 -O3
 
 // Test handling of the `precise` keyword
 

tests/diagnostics/command-line/option-missing-argument.slang

@@ -5,5 +5,5 @@
 //DIAGNOSTIC_TEST:SIMPLE(diag=CHECK1):-target -profile ps_4_0
 //CHECK1: unknown code generation target '-profile'
 
-//DIAGNOSTIC_TEST:SIMPLE(diag=CHECK2):-profile ps_4_0 -target
+//DIAGNOSTIC_TEST:SIMPLE(diag=CHECK2):-profile ps_4_0 -O3 -target
 //CHECK2: expected an argument for command-line option '-target'

tests/glsl-intrinsic/intrinsic-basic-vector.slang

@@ -1,6 +1,6 @@
 //TEST:SIMPLE(filecheck=CHECK_GLSL): -allow-glsl -stage compute -entry computeMain -target glsl
 //TEST:SIMPLE(filecheck=CHECK_GLSL_SPIRV): -allow-glsl -stage compute -entry computeMain -target spirv -emit-spirv-via-glsl
-//TEST:SIMPLE(filecheck=CHECK_SPIR): -allow-glsl -stage compute -entry computeMain -target spirv -emit-spirv-directly
+//TEST:SIMPLE(filecheck=CHECK_SPIR): -allow-glsl -stage compute -entry computeMain -target spirv -emit-spirv-directly -O1
 //TEST:SIMPLE(filecheck=CHECK_HLSL): -allow-glsl -stage compute -entry computeMain -target hlsl
 
 //TEST(compute, vulkan):COMPARE_COMPUTE(filecheck-buffer=BUF):-vk -compute -entry computeMain -allow-glsl -output-using-type -emit-spirv-via-glsl

tests/glsl-intrinsic/intrinsic-texture.slang

@@ -8,11 +8,11 @@
 //TEST:SIMPLE(filecheck=GLSL_GRADS):    -allow-glsl -stage fragment -entry fragMain -target glsl -DGLSL
 
 // Sampling gradients available. Implicit LOD sampling translates to OpImageSampleImplicitLod and similar
-//TEST:SIMPLE(filecheck=SPIR_GRADS):  -allow-glsl -stage fragment -entry fragMain -target spirv -DSPIRV
-//TEST:SIMPLE(filecheck=SPIR_GRADS):  -allow-glsl -stage compute -entry computeMain -target spirv -DSPIRV -capability SPV_KHR_compute_shader_derivatives
+//TEST:SIMPLE(filecheck=SPIR_GRADS):  -allow-glsl -stage fragment -entry fragMain -target spirv -DSPIRV -O3
+//TEST:SIMPLE(filecheck=SPIR_GRADS):  -allow-glsl -stage compute -entry computeMain -target spirv -DSPIRV -capability SPV_KHR_compute_shader_derivatives -O3
 
 // sampling gradients not available. Implicit LOD sampling translates to OpImageSampleExplicitLod with Lod=0 and similar
-//TEST:SIMPLE(filecheck=SPIR_NOGRADS):  -allow-glsl -stage vertex -entry vertexMain -target spirv -DSPIRV -DVERTEX_STAGE -DNO_GRADS
+//TEST:SIMPLE(filecheck=SPIR_NOGRADS):  -allow-glsl -stage vertex -entry vertexMain -target spirv -DSPIRV -DVERTEX_STAGE -DNO_GRADS -O3
 
 //TEST:SIMPLE(filecheck=CUDA): -allow-glsl -stage compute  -entry computeMain -target cuda -DCUDA
 //TEST:SIMPLE(filecheck=CUDA): -allow-glsl -stage fragment -entry fragMain -target cuda -DCUDA

tests/glsl/matrix-bool-lowering.slang

@@ -1,4 +1,4 @@
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-slang -compute -emit-spirv-via-glsl -shaderobj
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-slang -compute -emit-spirv-via-glsl -shaderobj -Xslang -O3
 
 //TEST_INPUT:ubuffer(data=[1 0], stride=4):name inputBuffer
 //TEST_INPUT:ubuffer(data=[0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0], stride=4):out,name outputBuffer
@@ -29,7 +29,7 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     // Load true/false values from input buffer to avoid constant folding
     trueVal = inputBuffer[0] != 0;
     falseVal = inputBuffer[1] != 0;
-    
+
     // Test bool matrix construction
     bool2x2 mat1 = bool2x2(trueVal, falseVal, falseVal, trueVal);
     bool3x3 mat2 = bool3x3(
@@ -41,19 +41,19 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
         trueVal, falseVal, trueVal, falseVal,
         trueVal, falseVal, trueVal, falseVal
     );
-    
+
     // Test bool matrix element access
     bool val1 = mat1[0][0];
     bool val2 = mat2[2][1];
-    
+
     // Test bool matrix row access
     bool2 row = mat1[1];
     bool3 row3 = mat2[0];
-    
+
     // Test logical operations
     bool2x2 not_mat = !mat1;
     bool2x2 and_mat = mat1 && bool2x2(trueVal, trueVal, falseVal, falseVal);
-    
+
     // Test element assignment
     mat1[0][1] = trueVal;
     mat2[1][2] = falseVal;
@@ -63,12 +63,12 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
 
     // Test structs with bool matrix fields
     matrixWrapper wrapper = {};
-    
+
     // Test any/all operations
     bool2x2 all_true = bool2x2(trueVal, trueVal, trueVal, trueVal);
     bool2x2 all_false = bool2x2(falseVal, falseVal, falseVal, falseVal);
     bool2x2 mixed = bool2x2(trueVal, falseVal, trueVal, falseVal);
-    
+
     bool test_all_true = all(all_true);      // all elements true -> true
     bool test_all_false = all(all_false);    // all elements false -> false
     bool test_all_mixed = all(mixed);        // some elements false -> false
@@ -92,11 +92,11 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     outputBuffer[6] = and_mat[0][0];
     // CHECK-NEXT: 1
     outputBuffer[7] = mat1[0][1];
-    // CHECK-NEXT: 1 
+    // CHECK-NEXT: 1
     outputBuffer[8] = mat3[0][1];
-    // CHECK-NEXT: 0 
+    // CHECK-NEXT: 0
     outputBuffer[9] = anded;
-    // CHECK-NEXT: 0 
+    // CHECK-NEXT: 0
     outputBuffer[10] = wrapper.mat1[0][0] || wrapper.mat2[0][0];
     // CHECK-NEXT: 1
     outputBuffer[11] = test_all_true;
@@ -111,4 +111,4 @@ void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
     // CHECK-NEXT: 0
     outputBuffer[16] = test_any_mixed;
     // CHECK-NEXT: 1
-} 
+}

tests/gpu-feature/texture/query/footprint/nv-shader-texture-footprint.slang

@@ -1,5 +1,5 @@
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -emit-spirv-via-glsl -entry fragmentMain -stage fragment -DENABLE_CLAMP
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry fragmentMain -stage fragment -DENABLE_CLAMP
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -emit-spirv-via-glsl -entry fragmentMain -stage fragment -DENABLE_CLAMP -O3
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry fragmentMain -stage fragment -DENABLE_CLAMP -O3
 //DISABLED_TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry fragmentMain -stage fragment -DENABLE_CLAMP -emit-spirv-directly
 
 //DISABLED_TEST:SIMPLE(filecheck=DXIL):-target dxil-assembly -entry fragmentMain -stage fragment

tests/hlsl-intrinsic/ray-tracing/rt-pipeline-intrinsics-chit.slang

@@ -1,5 +1,5 @@
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage closesthit -emit-spirv-via-glsl
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage closesthit
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage closesthit -emit-spirv-via-glsl -O3
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage closesthit -O3
 //   Motion rays not supported on HLSL impl currently, so disable with NOMOTION define:
 //TEST:SIMPLE(filecheck=DXIL):-target dxil-assembly -entry main -stage closesthit -profile sm_6_5 -DNOMOTION
 

tests/hlsl-intrinsic/ray-tracing/rt-pipeline-intrinsics-miss.slang

@@ -1,5 +1,5 @@
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage miss -emit-spirv-via-glsl
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage miss
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage miss -emit-spirv-via-glsl -O3
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage miss -O3
 //   Motion rays not supported on HLSL impl currently, so disable with NOMOTION define:
 //TEST:SIMPLE(filecheck=DXIL):-target dxil-assembly -entry main -stage miss -profile sm_6_5 -DNOMOTION
 

tests/hlsl-intrinsic/ray-tracing/rt-pipeline-intrinsics-rgen.slang

@@ -1,5 +1,5 @@
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage raygeneration -emit-spirv-via-glsl
-//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage raygeneration
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv-assembly -entry main -stage raygeneration -emit-spirv-via-glsl -O3
+//TEST:SIMPLE(filecheck=SPIRV):-target spirv -entry main -stage raygeneration -O3
 //   Motion rays not supported on HLSL impl currently, so disable with NOMOTION define:
 //TEST:SIMPLE(filecheck=DXIL):-target dxil-assembly -entry main -stage raygeneration -profile sm_6_5 -DNOMOTION
 
@@ -131,7 +131,7 @@ float CheckSysValueIntrinsics()
 [shader("raygeneration")]
 void main()
 {
-    
+
     float2 dir = (DispatchRaysIndex().xy / DispatchRaysDimensions().xy) * 2.0f - 1.0f;
     float aspectRatio = DispatchRaysDimensions().x / DispatchRaysDimensions().y;
 
@@ -147,7 +147,7 @@ void main()
     float val = 0.0f;
 
     val += CheckTraceRay(payload, rayDesc);
-   
+
     if( val < T_MAX )
     {
         val += CheckSysValueIntrinsics();

tests/hlsl/texture-mips-operator.slang

@@ -1,4 +1,4 @@
-//TEST:SIMPLE(filecheck=CHECK): -target spirv
+//TEST:SIMPLE(filecheck=CHECK): -target spirv -O3
 
 // CHECK: OpImageFetch %v4float {{.*}} Lod %int_1
 

tests/language-feature/dynamic-dispatch/layout-array-2d.slang

@@ -2,7 +2,7 @@
 // marshalling: the outer array elements are themselves arrays, each of
 // which must be packed element-by-element into AnyValue storage.
 
-//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-dx12 -compute -shaderobj -output-using-type
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-dx12 -compute -shaderobj -output-using-type -Xslang -O2
 //TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-vk -compute -shaderobj -output-using-type
 //TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-cuda -compute -shaderobj -output-using-type
 //TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-cpu -compute -shaderobj -output-using-type