[lit] convert verify test as lit FileCheck test part1 (microsoft#5904)

python3kgae · web-flow · commit 0a5396c35415 · 2023-10-23T13:48:55.000-04:00
Convert first part of verify test shaders as lit FileCheck test. This is for microsoft#5870 CppErrorsHV2015 is skipped for cannot set hlsl 2015 thru dxc. CppErrors is skipped for non-expected warning when test with taef.
diff --git a/tools/clang/test/SemaHLSL/array-index-out-of-bounds-HV-2016.hlsl b/tools/clang/test/SemaHLSL/array-index-out-of-bounds-HV-2016.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -HV 2016 -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value   -HV 2016 -verify %s
 
 void dead()
 {
diff --git a/tools/clang/test/SemaHLSL/array-index-out-of-bounds.hlsl b/tools/clang/test/SemaHLSL/array-index-out-of-bounds.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value   -verify %s
 
 void main()
 {
diff --git a/tools/clang/test/SemaHLSL/array-length.hlsl b/tools/clang/test/SemaHLSL/array-length.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify -HV 2016  %s
+// RUN: %dxc -Tlib_6_3   -verify -HV 2016  %s
 // :FXC_VERIFY_ARGUMENTS: /T ps_5_0 /E main
 
 float4 planes1[8];
diff --git a/tools/clang/test/SemaHLSL/atomic-float-errors.hlsl b/tools/clang/test/SemaHLSL/atomic-float-errors.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify  %s
+// RUN: %dxc -Tlib_6_3   -verify  %s
 
 // Verify that the first arg determines the overload and the others can be what they will
 
diff --git a/tools/clang/test/SemaHLSL/attributes.hlsl b/tools/clang/test/SemaHLSL/attributes.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -HV 2018 -verify %s
+// RUN: %dxc -Tlib_6_3   -HV 2018 -verify %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T ps_5_1 attributes.hlsl
diff --git a/tools/clang/test/SemaHLSL/builtin-types-no-inheritance.hlsl b/tools/clang/test/SemaHLSL/builtin-types-no-inheritance.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 // expected-note@? {{'vector' declared here}}
 // expected-note@? {{'matrix' declared here}}
diff --git a/tools/clang/test/SemaHLSL/const-assign.hlsl b/tools/clang/test/SemaHLSL/const-assign.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value  -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value   -verify %s
 
 float4 main() : SV_TARGET
 {
diff --git a/tools/clang/test/SemaHLSL/const-default.hlsl b/tools/clang/test/SemaHLSL/const-default.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value  -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value   -verify %s
 
 float g_float1;                                             /* expected-note {{variable 'g_float1' declared const here}} expected-note {{variable 'g_float1' declared const here}} fxc-pass {{}} */
 int4 g_vec1;                                                /* expected-note {{variable 'g_vec1' declared const here}} expected-note {{variable 'g_vec1' declared const here}} fxc-pass {{}} */
diff --git a/tools/clang/test/SemaHLSL/const-expr.hlsl b/tools/clang/test/SemaHLSL/const-expr.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -verify %s
 
 float overload1(float f) { return 1; }                        /* expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} fxc-pass {{}} */
 double overload1(double f) { return 2; }                       /* expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} expected-note {{candidate function}} fxc-pass {{}} */
diff --git a/tools/clang/test/SemaHLSL/conversions-between-type-shapes-strictudt.hlsl b/tools/clang/test/SemaHLSL/conversions-between-type-shapes-strictudt.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -HV 2021 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -HV 2021 -Wno-unused-value -verify %s
 
 // Tests all implicit conversions and explicit casts between type shapes
 // (scalars, vectors, matrices, arrays and structs).
diff --git a/tools/clang/test/SemaHLSL/conversions-between-type-shapes.hlsl b/tools/clang/test/SemaHLSL/conversions-between-type-shapes.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify -HV 2018 %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify -HV 2018 %s
 
 // Tests all implicit conversions and explicit casts between type shapes
 // (scalars, vectors, matrices, arrays and structs).
diff --git a/tools/clang/test/SemaHLSL/conversions-non-numeric-aggregates.hlsl b/tools/clang/test/SemaHLSL/conversions-non-numeric-aggregates.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 // Tests that conversions between numeric and non-numeric types/aggregates are disallowed.
 
diff --git a/tools/clang/test/SemaHLSL/cxx11-attributes.hlsl b/tools/clang/test/SemaHLSL/cxx11-attributes.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 [[vk::binding(4, 3)]] // expected-warning {{'binding' attribute ignored}}
 cbuffer myCBuffer {
diff --git a/tools/clang/test/SemaHLSL/enums.hlsl b/tools/clang/test/SemaHLSL/enums.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -HV 2017 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -HV 2017   -verify %s
 
 enum MyEnum {
     ZERO,
diff --git a/tools/clang/test/SemaHLSL/function-template-default.hlsl b/tools/clang/test/SemaHLSL/function-template-default.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -HV 2021 -verify %s
+// RUN: %dxc -Tlib_6_3  -HV 2021 -verify %s
 
 // expected-no-diagnostics
 template<typename T, int Sz = 4>
diff --git a/tools/clang/test/SemaHLSL/functions.hlsl b/tools/clang/test/SemaHLSL/functions.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -HV 2018 -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -HV 2018 -verify %s
 
 // __decltype is the GCC way of saying 'decltype', but doesn't require C++11
 // _Static_assert is the C11 way of saying 'static_assert', but doesn't require C++11
diff --git a/tools/clang/test/SemaHLSL/incomp_array_err.hlsl b/tools/clang/test/SemaHLSL/incomp_array_err.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -verify %s
 
 // Verify error on on incomplete array in a struct or class
 
@@ -26,4 +26,4 @@ class foo3 {
 class foo4 {
   float4 member;
   int a[];  // expected-error {{array dimensions of struct/class members must be explicit}} fxc-error {{X3072: 'foo4::a': array dimensions of struct/class members must be explicit}}
-};
+};
diff --git a/tools/clang/test/SemaHLSL/incomplete-type.hlsl b/tools/clang/test/SemaHLSL/incomplete-type.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 // Tests that the compiler is well-behaved with regard to uses of incomplete types.
 // Regression test for GitHub #2058, which crashed in this case.
diff --git a/tools/clang/test/SemaHLSL/indexing-operator.hlsl b/tools/clang/test/SemaHLSL/indexing-operator.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -verify %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T vs_5_1 indexing-operator.hlsl
@@ -492,8 +492,8 @@ float4 test_mips_double_indexing()
         `-ImplicitCastExpr <col:31> 'uint2':'vector<unsigned int, 2>' <LValueToRValue>
           `-DeclRefExpr <col:31> 'uint2':'vector<unsigned int, 2>' lvalue Var 'pos2' 'uint2':'vector<unsigned int, 2>'
   */
-  f4 += g_t1da.mips[mipSlice][pos3];  /* expected-error {{no viable overloaded operator[] for type 'Texture1DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 3>' to 'vector<[...], 2>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
-  f4 += g_t1da.mips[mipSlice][pos4];  /* expected-error {{no viable overloaded operator[] for type 'Texture1DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 4>' to 'vector<[...], 2>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
+  f4 += g_t1da.mips[mipSlice][pos3];  /* expected-error {{no viable overloaded operator[] for type 'Texture1DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 3>' to 'vector<uint, 2>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
+  f4 += g_t1da.mips[mipSlice][pos4];  /* expected-error {{no viable overloaded operator[] for type 'Texture1DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 4>' to 'vector<uint, 2>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
   // fxc error X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions
   f4 += g_t2d.mips[mipSlice][pos]; // expected-error {{no viable overloaded operator[] for type 'Texture2D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'uint' to 'vector<uint, 2>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
   f4 += g_t2d.mips[mipSlice][pos2];
@@ -518,7 +518,7 @@ float4 test_mips_double_indexing()
   */
   // fxc error X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions
   f4 += g_t2da.mips[mipSlice][pos]; // expected-error {{no viable overloaded operator[] for type 'Texture2DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'uint' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
-  f4 += g_t2da.mips[mipSlice][pos2];  /* expected-error {{no viable overloaded operator[] for type 'Texture2DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 2>' to 'vector<[...], 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
+  f4 += g_t2da.mips[mipSlice][pos2];  /* expected-error {{no viable overloaded operator[] for type 'Texture2DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 2>' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
   f4 += g_t2da.mips[mipSlice][pos3];
   /*verify-ast
     CompoundAssignOperator <col:3, col:35> 'float4':'vector<float, 4>' lvalue '+=' ComputeLHSTy='float4':'vector<float, 4>' ComputeResultTy='float4':'vector<float, 4>'
@@ -539,14 +539,14 @@ float4 test_mips_double_indexing()
         `-ImplicitCastExpr <col:31> 'uint3':'vector<unsigned int, 3>' <LValueToRValue>
           `-DeclRefExpr <col:31> 'uint3':'vector<unsigned int, 3>' lvalue Var 'pos3' 'uint3':'vector<unsigned int, 3>'
   */
-  f4 += g_t2da.mips[mipSlice][pos4];  /* expected-error {{no viable overloaded operator[] for type 'Texture2DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 4>' to 'vector<[...], 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
+  f4 += g_t2da.mips[mipSlice][pos4];  /* expected-error {{no viable overloaded operator[] for type 'Texture2DArray<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 4>' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}} */
   // fxc error X3018: invalid subscript 'mips'
   f4 += g_t2dms.mips[mipSlice][pos]; // expected-error {{no member named 'mips' in 'Texture2DMS<vector<float, 4>, 8>'}} fxc-error {{X3018: invalid subscript 'mips'}}
   // fxc error X3018: invalid subscript 'mips'
   f4 += g_t2dmsa.mips[mipSlice][pos]; // expected-error {{no member named 'mips' in 'Texture2DMSArray<vector<float, 4>, 8>'}} fxc-error {{X3018: invalid subscript 'mips'}}
   // fxc error X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions
   f4 += g_t3d.mips[mipSlice][pos]; // expected-error {{no viable overloaded operator[] for type 'Texture3D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'uint' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
-  f4 += g_t3d.mips[mipSlice][pos2]; // expected-error {{no viable overloaded operator[] for type 'Texture3D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 2>' to 'vector<[...], 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
+  f4 += g_t3d.mips[mipSlice][pos2]; // expected-error {{no viable overloaded operator[] for type 'Texture3D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 2>' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
   f4 += g_t3d.mips[mipSlice][pos3];
   /*verify-ast
     CompoundAssignOperator <col:3, col:34> 'float4':'vector<float, 4>' lvalue '+=' ComputeLHSTy='float4':'vector<float, 4>' ComputeResultTy='float4':'vector<float, 4>'
@@ -567,7 +567,7 @@ float4 test_mips_double_indexing()
         `-ImplicitCastExpr <col:30> 'uint3':'vector<unsigned int, 3>' <LValueToRValue>
           `-DeclRefExpr <col:30> 'uint3':'vector<unsigned int, 3>' lvalue Var 'pos3' 'uint3':'vector<unsigned int, 3>'
   */
-  f4 += g_t3d.mips[mipSlice][pos4]; // expected-error {{no viable overloaded operator[] for type 'Texture3D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<[...], 4>' to 'vector<[...], 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
+  f4 += g_t3d.mips[mipSlice][pos4]; // expected-error {{no viable overloaded operator[] for type 'Texture3D<vector<float, 4> >::mips_slice_type'}} expected-note {{candidate function [with element = const vector<float, 4> &] not viable: no known conversion from 'vector<uint, 4>' to 'vector<uint, 3>' for 1st argument}} fxc-error {{X3120: invalid type for index - index must be a scalar, or a vector with the correct number of dimensions}}
   // fxc error X3018: invalid subscript 'mips'
   f4 += g_tc.mips[mipSlice][pos]; // expected-error {{no member named 'mips' in 'TextureCube<vector<float, 4> >'}} fxc-error {{X3018: invalid subscript 'mips'}}
   // fxc error X3018: invalid subscript 'mips'
diff --git a/tools/clang/test/SemaHLSL/intrinsic-examples.hlsl b/tools/clang/test/SemaHLSL/intrinsic-examples.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify -HV 2018 -enable-16bit-types %s
+// RUN: %dxc -Tlib_6_3   -verify -HV 2018 -enable-16bit-types %s
 
 // :FXC_VERIFY_ARGUMENTS: /E FontPixelShader /T ps_5_1 /Gec
 
diff --git a/tools/clang/test/SemaHLSL/invalid-decl-template-arg.hlsl b/tools/clang/test/SemaHLSL/invalid-decl-template-arg.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -verify %s
+// RUN: %dxc -Tlib_6_3  -verify %s
 
 struct FOOO_A_B { // expected-note{{'FOOO_A_B' declared here}} expected-note{{definition of 'FOOO_A_B' is not complete until the closing '}'}}
   FOOO_A v0; // expected-error{{unknown type name 'FOOO_A'; did you mean 'FOOO_A_B'}} expected-error{{field has incomplete type 'FOOO_A_B}}
diff --git a/tools/clang/test/SemaHLSL/matrix-assignments.hlsl b/tools/clang/test/SemaHLSL/matrix-assignments.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T vs_2_0 matrix-assignments.hlsl
diff --git a/tools/clang/test/SemaHLSL/matrix-syntax-exact-precision.hlsl b/tools/clang/test/SemaHLSL/matrix-syntax-exact-precision.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -enable-16bit-types -fsyntax-only -ffreestanding -verify -HV 2018 %s
+// RUN: %dxc -Tlib_6_3 -enable-16bit-types   -verify -HV 2018 %s
 
 
 // To test with the classic compiler, run
diff --git a/tools/clang/test/SemaHLSL/matrix-syntax.hlsl b/tools/clang/test/SemaHLSL/matrix-syntax.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 
 // To test with the classic compiler, run
diff --git a/tools/clang/test/SemaHLSL/mintypes-promotion-warnings.hlsl b/tools/clang/test/SemaHLSL/mintypes-promotion-warnings.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value   -verify %s
 
 // Verify minfloat/minint promotion warnings for shader input/outputs
 
diff --git a/tools/clang/test/SemaHLSL/more-operators.hlsl b/tools/clang/test/SemaHLSL/more-operators.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -verify %s
 
 // This file includes operator tests that target specific cases that are not
 // otherwise covered by the other generated files.
diff --git a/tools/clang/test/SemaHLSL/object-operators.hlsl b/tools/clang/test/SemaHLSL/object-operators.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -verify %s
 
 // we use -Wno-unused-value because we generate some no-op expressions to yield errors
 // without also putting them in a static assertion
diff --git a/tools/clang/test/SemaHLSL/out-param-diagnostics.hlsl b/tools/clang/test/SemaHLSL/out-param-diagnostics.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -verify %s
+// RUN: %dxc -Tlib_6_3  -verify %s
 
 void UnusedEmpty(out int Val) {} // expected-warning{{parameter 'Val' is uninitialized when used here}} expected-note{{variable 'Val' is declared here}}
 
diff --git a/tools/clang/test/SemaHLSL/overloading-new-delete-errors.hlsl b/tools/clang/test/SemaHLSL/overloading-new-delete-errors.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify -HV 2021 %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value  -verify -HV 2021 %s
 
 // This test checks that when we overload new or delete operator
 // dxcompiler generates error and no crashes are observed.
diff --git a/tools/clang/test/SemaHLSL/packreg.hlsl b/tools/clang/test/SemaHLSL/packreg.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 // :FXC_VERIFY_ARGUMENTS: /E main /T ps_5_1
 
 // fxc error X3115: Conflicting register semantics: 's0' and 's1'
diff --git a/tools/clang/test/SemaHLSL/pragma-region.hlsl b/tools/clang/test/SemaHLSL/pragma-region.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 // expected-no-diagnostics
 
diff --git a/tools/clang/test/SemaHLSL/raytracing-entry-diags.hlsl b/tools/clang/test/SemaHLSL/raytracing-entry-diags.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 
 [shader("anyhit")]
diff --git a/tools/clang/test/SemaHLSL/raytracings.hlsl b/tools/clang/test/SemaHLSL/raytracings.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -HV 2018 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -HV 2018 -Wno-unused-value   -verify %s
 
 void run() {
   RAY_FLAG rayFlags =
diff --git a/tools/clang/test/SemaHLSL/scalar-assignments-exact-precision.hlsl b/tools/clang/test/SemaHLSL/scalar-assignments-exact-precision.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -enable-16bit-types -fsyntax-only -ffreestanding -verify -HV 2018 %s
+// RUN: %dxc -Tlib_6_3 -enable-16bit-types   -verify -HV 2018 %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T vs_5_1 scalar-assignments.hlsl
diff --git a/tools/clang/test/SemaHLSL/scalar-assignments.hlsl b/tools/clang/test/SemaHLSL/scalar-assignments.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3   -verify %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T vs_5_1 scalar-assignments.hlsl
diff --git a/tools/clang/test/SemaHLSL/scalar-operators-assign-exact-precision.hlsl b/tools/clang/test/SemaHLSL/scalar-operators-assign-exact-precision.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -Wno-conversion -ffreestanding -verify -enable-16bit-types -HV 2018 %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -Wno-conversion -verify -enable-16bit-types -HV 2018 %s
 
 //
 // we use -Wno-unused-value because we generate some no-op expressions to yield errors
diff --git a/tools/clang/test/SemaHLSL/scalar-operators-assign.hlsl b/tools/clang/test/SemaHLSL/scalar-operators-assign.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -Wno-conversion -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3  -Wno-unused-value -Wno-conversion  -verify %s
 
 //
 // we use -Wno-unused-value because we generate some no-op expressions to yield errors
diff --git a/tools/clang/test/SemaHLSL/scalar-operators-exact-precision.hlsl b/tools/clang/test/SemaHLSL/scalar-operators-exact-precision.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -enable-16bit-types -fsyntax-only -Wno-unused-value -ffreestanding -verify -HV 2018 %s
+// RUN: %dxc -Tlib_6_3 -enable-16bit-types -Wno-unused-value -verify -HV 2018 %s
 
 // we use -Wno-unused-value because we generate some no-op expressions to yield errors
 // without also putting them in a static assertion
diff --git a/tools/clang/test/SemaHLSL/scalar-operators.hlsl b/tools/clang/test/SemaHLSL/scalar-operators.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 // we use -Wno-unused-value because we generate some no-op expressions to yield errors
 // without also putting them in a static assertion
diff --git a/tools/clang/test/SemaHLSL/sizeof.hlsl b/tools/clang/test/SemaHLSL/sizeof.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 // Tests usage of the sizeof operator
 
diff --git a/tools/clang/test/SemaHLSL/string.hlsl b/tools/clang/test/SemaHLSL/string.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s
 
 static const string s_global1 = "my global string 1";
 /*verify-ast
@@ -74,4 +74,4 @@ float4 main() : SV_Target0 {                                /* */
   printf("hi mom", 1, 2, 3);
   hello_here("a", "b", 1);
   return cp4_local;
-}
+}
diff --git a/tools/clang/test/SemaHLSL/struct-assignments.hlsl b/tools/clang/test/SemaHLSL/struct-assignments.hlsl
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s
+// RUN: %dxc -Tlib_6_3 -verify %s
 
 // To test with the classic compiler, run
 // %sdxroot%\tools\x86\fxc.exe /T vs_5_1 struct-assignments.hlsl
@@ -144,4 +144,4 @@ void main() {
   pick_one(sf2_all);
   sf2_all = pick_two(sf2_all);
 
-}
+}
diff --git a/tools/clang/test/SemaHLSL/subobjects-syntax.hlsl b/tools/clang/test/SemaHLSL/subobjects-syntax.hlsl
diff --git a/tools/clang/test/SemaHLSL/template-checks.hlsl b/tools/clang/test/SemaHLSL/template-checks.hlsl
diff --git a/tools/clang/test/SemaHLSL/template-literal-substitution-failure.hlsl b/tools/clang/test/SemaHLSL/template-literal-substitution-failure.hlsl
diff --git a/tools/clang/test/SemaHLSL/use-undefined-overloaded-operator.hlsl b/tools/clang/test/SemaHLSL/use-undefined-overloaded-operator.hlsl
diff --git a/tools/clang/test/SemaHLSL/varmods-syntax.hlsl b/tools/clang/test/SemaHLSL/varmods-syntax.hlsl
diff --git a/tools/clang/test/SemaHLSL/vector-assignments.hlsl b/tools/clang/test/SemaHLSL/vector-assignments.hlsl
diff --git a/tools/clang/test/SemaHLSL/vector-syntax-mix.hlsl b/tools/clang/test/SemaHLSL/vector-syntax-mix.hlsl
diff --git a/tools/clang/unittests/HLSL/VerifierTest.cpp b/tools/clang/unittests/HLSL/VerifierTest.cpp

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -Wno-unused-value -fsyntax-only -ffreestanding -HV 2016 -verify %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -HV 2016 -verify %s`
`2`	`2`
`3`	`3`	`void dead()`
`4`	`4`	`{`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify -HV 2016 %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -verify -HV 2016 %s`
`2`	`2`	`// :FXC_VERIFY_ARGUMENTS: /T ps_5_0 /E main`
`3`	`3`
`4`	`4`	`float4 planes1[8];`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -verify %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -verify %s`
`2`	`2`
`3`	`3`	`// Verify that the first arg determines the overload and the others can be what they will`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -fsyntax-only -ffreestanding -HV 2018 -verify %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -HV 2018 -verify %s`
`2`	`2`
`3`	`3`	`// To test with the classic compiler, run`
`4`	`4`	`// %sdxroot%\tools\x86\fxc.exe /T ps_5_1 attributes.hlsl`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -fsyntax-only -Wno-unused-value -ffreestanding -verify %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -Wno-unused-value -verify %s`
`2`	`2`
`3`	`3`	`float4 main() : SV_TARGET`
`4`	`4`	`{`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %clang_cc1 -HV 2021 -Wno-unused-value -fsyntax-only -ffreestanding -verify %s`
	`1`	`+// RUN: %dxc -Tlib_6_3 -HV 2021 -Wno-unused-value -verify %s`
`2`	`2`
`3`	`3`	`// Tests all implicit conversions and explicit casts between type shapes`
`4`	`4`	`// (scalars, vectors, matrices, arrays and structs).`