Enable HLSL

Author: YexuanXiao

clang/lib/AST/ASTContext.cpp

@@ -1520,18 +1520,12 @@ void ASTContext::InitBuiltinTypes(const TargetInfo &Target,
   // size_t (C99TC3 6.5.3.4), signed size_t (C++23 5.13.2) and
   // ptrdiff_t (C99TC3 6.5.6) Although these types are not built-in, they are
   // part of the core language and are widely used.
-  if (!LangOpts.HLSL) {
-    // Using PredefinedSugarType makes these types as named sugar types rather
-    // than standard integer types, enabling better hints and diagnostics.
-    using Kind = PredefinedSugarType::Kind;
-    SizeType = getPredefinedSugarType(Kind::SizeT);
-    SignedSizeType = getPredefinedSugarType(Kind::SignedSizeT);
-    PtrdiffType = getPredefinedSugarType(Kind::PtrdiffT);
-  } else {
-    SizeType = getFromTargetType(Target.getSizeType());
-    SignedSizeType = getFromTargetType(Target.getSignedSizeType());
-    PtrdiffType = getFromTargetType(Target.getPtrDiffType(LangAS::Default));
-  }
+  // Using PredefinedSugarType makes these types as named sugar types rather
+  // than standard integer types, enabling better hints and diagnostics.
+  using Kind = PredefinedSugarType::Kind;
+  SizeType = getPredefinedSugarType(Kind::SizeT);
+  SignedSizeType = getPredefinedSugarType(Kind::SignedSizeT);
+  PtrdiffType = getPredefinedSugarType(Kind::PtrdiffT);
 }
 
 DiagnosticsEngine &ASTContext::getDiagnostics() const {

clang/test/AST/HLSL/is_structured_resource_element_compatible_concept.hlsl

@@ -9,7 +9,7 @@
 // CHECK:   |     `-TemplateTypeParm {{.*}} 'element_type'
 // CHECK:   `-BinaryOperator {{.*}} 'bool' lvalue '>='
 // CHECK:     |-UnaryExprOrTypeTraitExpr {{.*}} 'bool' sizeof 'element_type'
-// CHECK:     `-IntegerLiteral {{.*}} 'unsigned long' 1
+// CHECK:     `-IntegerLiteral {{.*}} '__size_t':'unsigned long' 1
 
 
 StructuredBuffer<float> Buffer;

clang/test/SemaHLSL/Language/AssignArray.hlsl

@@ -13,7 +13,7 @@ export void fn(int8 A) {
 // CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<int, 4> *' <ArrayToPointerDecay>
 // CHECK-NEXT: OpaqueValueExpr {{.*}} 'int8':'vector<int, 4>[2]' lvalue
 // CHECK-NEXT: DeclRefExpr {{.*}} 'int8':'vector<int, 4>[2]' lvalue Var {{.*}} 'a' 'int8':'vector<int, 4>[2]'
-// CHECK-NEXT: ArrayInitIndexExpr {{.*}} 'unsigned long'
+// CHECK-NEXT: ArrayInitIndexExpr {{.*}} '__size_t':'unsigned long'
   int8 b = a;
 
 // CHECK-LABEL: VarDecl {{.*}} c 'int8':'vector<int, 4>[2]' cinit
@@ -25,7 +25,7 @@ export void fn(int8 A) {
 // CHECK-NEXT: ImplicitCastExpr {{.*}} 'vector<int, 4> *' <ArrayToPointerDecay>
 // CHECK-NEXT: OpaqueValueExpr {{.*}} 'vector<int, 4>[2]' lvalue
 // CHECK-NEXT: DeclRefExpr {{.*}} 'vector<int, 4>[2]' lvalue ParmVar {{.*}} 'A' 'vector<int, 4>[2]'
-// CHECK-NEXT: ArrayInitIndexExpr {{.*}} 'unsigned long'
+// CHECK-NEXT: ArrayInitIndexExpr {{.*}} '__size_t':'unsigned long'
   int8 c = A;
 }