Add __int128_t and __uint128_t types

robertoraggi · robertoraggi · commit a7eb834604b2 · 2025-07-13T22:53:09.000+02:00
Signed-off-by: Roberto Raggi &lt;roberto.raggi@gmail.com&gt;
diff --git a/packages/cxx-frontend/src/TokenKind.ts b/packages/cxx-frontend/src/TokenKind.ts
@@ -108,10 +108,12 @@ export enum TokenKind {
   __FLOAT80,
   __IMAG__,
   __INT128,
+  __INT128_T,
   __INT64,
   __REAL__,
   __RESTRICT__,
   __THREAD,
+  __UINT128_T,
   __UNDERLYING_TYPE,
   ALIGNAS,
   ALIGNOF,
diff --git a/packages/cxx-gen-ast/src/tokens.ts b/packages/cxx-gen-ast/src/tokens.ts
@@ -176,6 +176,7 @@ export const CXX_KEYWORDS: string[] = [
   "volatile",
   "wchar_t",
   "while",
+
   "__attribute__",
   "__builtin_bit_cast",
   "__builtin_offsetof",
@@ -186,11 +187,13 @@ export const CXX_KEYWORDS: string[] = [
   "__float128",
   "__float80",
   "__imag__",
+  "__int128_t",
   "__int128",
   "__int64",
   "__real__",
   "__restrict__",
   "__thread",
+  "__uint128_t",
   "__underlying_type",
   "_Atomic",
   "_Complex",
@@ -344,12 +347,13 @@ export const C_KEYWORDS: string[] = [
   "__float128",
   "__float80",
   "__imag__",
+  "__int128_t",
   "__int128",
   "__int64",
   "__real__",
   "__thread",
+  "__uint128_t",
   "__underlying_type",
-  "_Atomic",
   "_Complex",
 ];
 
diff --git a/src/parser/cxx/control.cc b/src/parser/cxx/control.cc
@@ -90,11 +90,13 @@ struct Control::Private {
   IntType intType;
   LongIntType longIntType;
   LongLongIntType longLongIntType;
+  Int128Type int128Type;
   UnsignedCharType unsignedCharType;
   UnsignedShortIntType unsignedShortIntType;
   UnsignedIntType unsignedIntType;
   UnsignedLongIntType unsignedLongIntType;
   UnsignedLongLongIntType unsignedLongLongIntType;
+  UnsignedInt128Type unsignedInt128Type;
   CharType charType;
   Char8Type char8Type;
   Char16Type char16Type;
@@ -302,6 +304,8 @@ auto Control::getLongLongIntType() -> const LongLongIntType* {
   return &d->longLongIntType;
 }
 
+auto Control::getInt128Type() -> const Int128Type* { return &d->int128Type; }
+
 auto Control::getUnsignedCharType() -> const UnsignedCharType* {
   return &d->unsignedCharType;
 }
@@ -322,6 +326,10 @@ auto Control::getUnsignedLongLongIntType() -> const UnsignedLongLongIntType* {
   return &d->unsignedLongLongIntType;
 }
 
+auto Control::getUnsignedInt128Type() -> const UnsignedInt128Type* {
+  return &d->unsignedInt128Type;
+}
+
 auto Control::getCharType() -> const CharType* { return &d->charType; }
 
 auto Control::getChar8Type() -> const Char8Type* { return &d->char8Type; }
diff --git a/src/parser/cxx/control.h b/src/parser/cxx/control.h
@@ -88,12 +88,14 @@ class Control {
   [[nodiscard]] auto getIntType() -> const IntType*;
   [[nodiscard]] auto getLongIntType() -> const LongIntType*;
   [[nodiscard]] auto getLongLongIntType() -> const LongLongIntType*;
+  [[nodiscard]] auto getInt128Type() -> const Int128Type*;
   [[nodiscard]] auto getUnsignedCharType() -> const UnsignedCharType*;
   [[nodiscard]] auto getUnsignedShortIntType() -> const UnsignedShortIntType*;
   [[nodiscard]] auto getUnsignedIntType() -> const UnsignedIntType*;
   [[nodiscard]] auto getUnsignedLongIntType() -> const UnsignedLongIntType*;
   [[nodiscard]] auto getUnsignedLongLongIntType()
       -> const UnsignedLongLongIntType*;
+  [[nodiscard]] auto getUnsignedInt128Type() -> const UnsignedInt128Type*;
   [[nodiscard]] auto getCharType() -> const CharType*;
   [[nodiscard]] auto getChar8Type() -> const Char8Type*;
   [[nodiscard]] auto getChar16Type() -> const Char16Type*;
diff --git a/src/parser/cxx/decl_specs.cc b/src/parser/cxx/decl_specs.cc
@@ -222,8 +222,13 @@ void DeclSpecs::Visitor::operator()(IntegralTypeSpecifierAST* ast) {
       // ### todo
       break;
 
+    case TokenKind::T___INT128_T:
     case TokenKind::T___INT128:
-      // ### todo
+      specs.type_ = control()->getInt128Type();
+      break;
+
+    case TokenKind::T___UINT128_T:
+      specs.type_ = control()->getUnsignedInt128Type();
       break;
 
     default:
@@ -401,6 +406,10 @@ void DeclSpecs::finish() {
       type_ = control()->getIntType();
   }
 
+  if (type_ == control()->getInt128Type() && isUnsigned) {
+    type_ = control()->getUnsignedInt128Type();
+  }
+
   if (!type_) {
     return;
   }
diff --git a/src/parser/cxx/external_name_encoder.cc b/src/parser/cxx/external_name_encoder.cc
@@ -66,6 +66,8 @@ struct ExternalNameEncoder::TypeVisitor {
 
   void operator()(const LongLongIntType* type) { encoder.out("x"); }
 
+  void operator()(const Int128Type* type) { encoder.out("n"); }
+
   void operator()(const UnsignedCharType* type) { encoder.out("h"); }
 
   void operator()(const UnsignedShortIntType* type) { encoder.out("t"); }
@@ -76,6 +78,8 @@ struct ExternalNameEncoder::TypeVisitor {
 
   void operator()(const UnsignedLongLongIntType* type) { encoder.out("y"); }
 
+  void operator()(const UnsignedInt128Type* type) { encoder.out("o"); }
+
   void operator()(const CharType* type) { encoder.out("c"); }
 
   void operator()(const Char8Type* type) { encoder.out("Du"); }
diff --git a/src/parser/cxx/memory_layout.cc b/src/parser/cxx/memory_layout.cc
@@ -80,6 +80,10 @@ struct SizeOf {
     return memoryLayout.sizeOfLongLong();
   }
 
+  auto operator()(const Int128Type*) const -> std::optional<std::size_t> {
+    return 16;
+  }
+
   auto operator()(const UnsignedCharType* type) const
       -> std::optional<std::size_t> {
     return 1;
@@ -105,6 +109,11 @@ struct SizeOf {
     return memoryLayout.sizeOfLongLong();
   }
 
+  auto operator()(const UnsignedInt128Type*) const
+      -> std::optional<std::size_t> {
+    return 16;
+  }
+
   auto operator()(const CharType* type) const -> std::optional<std::size_t> {
     return 1;
   }
diff --git a/src/parser/cxx/parser.cc b/src/parser/cxx/parser.cc
@@ -5046,6 +5046,8 @@ auto Parser::parse_primitive_type_specifier(SpecifierAST*& yyast,
     case TokenKind::T_INT:
     case TokenKind::T___INT64:
     case TokenKind::T___INT128:
+    case TokenKind::T___INT128_T:
+    case TokenKind::T___UINT128_T:
       makeIntegralTypeSpecifier();
       specs.accept(yyast);
       return true;
diff --git a/src/parser/cxx/private/c_keywords-priv.h b/src/parser/cxx/private/c_keywords-priv.h
@@ -785,25 +785,21 @@ static inline auto classifyC10(const char* s) -> cxx::TokenKind {
             }
           }
         }
-      } else if (s[2] == 'd') {
-        if (s[3] == 'e') {
-          if (s[4] == 'c') {
-            if (s[5] == 'l') {
-              if (s[6] == 't') {
-                if (s[7] == 'y') {
-                  if (s[8] == 'p') {
-                    if (s[9] == 'e') {
-                      return cxx::TokenKind::T___DECLTYPE;
+      } else if (s[2] == 'i') {
+        if (s[3] == 'n') {
+          if (s[4] == 't') {
+            if (s[5] == '1') {
+              if (s[6] == '2') {
+                if (s[7] == '8') {
+                  if (s[8] == '_') {
+                    if (s[9] == 't') {
+                      return cxx::TokenKind::T___INT128_T;
                     }
                   }
                 }
               }
             }
-          }
-        }
-      } else if (s[2] == 'i') {
-        if (s[3] == 'n') {
-          if (s[4] == 'l') {
+          } else if (s[4] == 'l') {
             if (s[5] == 'i') {
               if (s[6] == 'n') {
                 if (s[7] == 'e') {
@@ -817,6 +813,22 @@ static inline auto classifyC10(const char* s) -> cxx::TokenKind {
             }
           }
         }
+      } else if (s[2] == 'd') {
+        if (s[3] == 'e') {
+          if (s[4] == 'c') {
+            if (s[5] == 'l') {
+              if (s[6] == 't') {
+                if (s[7] == 'y') {
+                  if (s[8] == 'p') {
+                    if (s[9] == 'e') {
+                      return cxx::TokenKind::T___DECLTYPE;
+                    }
+                  }
+                }
+              }
+            }
+          }
+        }
       } else if (s[2] == 'r') {
         if (s[3] == 'e') {
           if (s[4] == 's') {
@@ -912,6 +924,24 @@ static inline auto classifyC11(const char* s) -> cxx::TokenKind {
             }
           }
         }
+      } else if (s[2] == 'u') {
+        if (s[3] == 'i') {
+          if (s[4] == 'n') {
+            if (s[5] == 't') {
+              if (s[6] == '1') {
+                if (s[7] == '2') {
+                  if (s[8] == '8') {
+                    if (s[9] == '_') {
+                      if (s[10] == 't') {
+                        return cxx::TokenKind::T___UINT128_T;
+                      }
+                    }
+                  }
+                }
+              }
+            }
+          }
+        }
       } else if (s[2] == 'a') {
         if (s[3] == 'l') {
           if (s[4] == 'i') {
diff --git a/src/parser/cxx/private/keywords-priv.h b/src/parser/cxx/private/keywords-priv.h
@@ -1159,25 +1159,21 @@ static inline auto classify10(const char* s) -> cxx::TokenKind {
             }
           }
         }
-      } else if (s[2] == 'd') {
-        if (s[3] == 'e') {
-          if (s[4] == 'c') {
-            if (s[5] == 'l') {
-              if (s[6] == 't') {
-                if (s[7] == 'y') {
-                  if (s[8] == 'p') {
-                    if (s[9] == 'e') {
-                      return cxx::TokenKind::T___DECLTYPE;
+      } else if (s[2] == 'i') {
+        if (s[3] == 'n') {
+          if (s[4] == 't') {
+            if (s[5] == '1') {
+              if (s[6] == '2') {
+                if (s[7] == '8') {
+                  if (s[8] == '_') {
+                    if (s[9] == 't') {
+                      return cxx::TokenKind::T___INT128_T;
                     }
                   }
                 }
               }
             }
-          }
-        }
-      } else if (s[2] == 'i') {
-        if (s[3] == 'n') {
-          if (s[4] == 'l') {
+          } else if (s[4] == 'l') {
             if (s[5] == 'i') {
               if (s[6] == 'n') {
                 if (s[7] == 'e') {
@@ -1191,6 +1187,22 @@ static inline auto classify10(const char* s) -> cxx::TokenKind {
             }
           }
         }
+      } else if (s[2] == 'd') {
+        if (s[3] == 'e') {
+          if (s[4] == 'c') {
+            if (s[5] == 'l') {
+              if (s[6] == 't') {
+                if (s[7] == 'y') {
+                  if (s[8] == 'p') {
+                    if (s[9] == 'e') {
+                      return cxx::TokenKind::T___DECLTYPE;
+                    }
+                  }
+                }
+              }
+            }
+          }
+        }
       } else if (s[2] == 'r') {
         if (s[3] == 'e') {
           if (s[4] == 's') {
@@ -1288,6 +1300,24 @@ static inline auto classify11(const char* s) -> cxx::TokenKind {
             }
           }
         }
+      } else if (s[2] == 'u') {
+        if (s[3] == 'i') {
+          if (s[4] == 'n') {
+            if (s[5] == 't') {
+              if (s[6] == '1') {
+                if (s[7] == '2') {
+                  if (s[8] == '8') {
+                    if (s[9] == '_') {
+                      if (s[10] == 't') {
+                        return cxx::TokenKind::T___UINT128_T;
+                      }
+                    }
+                  }
+                }
+              }
+            }
+          }
+        }
       } else if (s[2] == 'a') {
         if (s[3] == 'l') {
           if (s[4] == 'i') {
diff --git a/src/parser/cxx/symbol_instantiation.cc b/src/parser/cxx/symbol_instantiation.cc
@@ -97,13 +97,15 @@ struct SymbolInstantiation::VisitType {
   [[nodiscard]] auto operator()(const IntType* type) -> const Type*;
   [[nodiscard]] auto operator()(const LongIntType* type) -> const Type*;
   [[nodiscard]] auto operator()(const LongLongIntType* type) -> const Type*;
+  [[nodiscard]] auto operator()(const Int128Type* type) -> const Type*;
   [[nodiscard]] auto operator()(const UnsignedCharType* type) -> const Type*;
   [[nodiscard]] auto operator()(const UnsignedShortIntType* type)
       -> const Type*;
   [[nodiscard]] auto operator()(const UnsignedIntType* type) -> const Type*;
   [[nodiscard]] auto operator()(const UnsignedLongIntType* type) -> const Type*;
   [[nodiscard]] auto operator()(const UnsignedLongLongIntType* type)
       -> const Type*;
+  [[nodiscard]] auto operator()(const UnsignedInt128Type* type) -> const Type*;
   [[nodiscard]] auto operator()(const CharType* type) -> const Type*;
   [[nodiscard]] auto operator()(const Char8Type* type) -> const Type*;
   [[nodiscard]] auto operator()(const Char16Type* type) -> const Type*;
@@ -465,6 +467,11 @@ auto SymbolInstantiation::VisitType::operator()(const LongLongIntType* type)
   return type;
 }
 
+auto SymbolInstantiation::VisitType::operator()(const Int128Type* type)
+    -> const Type* {
+  return type;
+}
+
 auto SymbolInstantiation::VisitType::operator()(const UnsignedCharType* type)
     -> const Type* {
   return type;
@@ -485,6 +492,11 @@ auto SymbolInstantiation::VisitType::operator()(const UnsignedLongIntType* type)
   return type;
 }
 
+auto SymbolInstantiation::VisitType::operator()(const UnsignedInt128Type* type)
+    -> const Type* {
+  return type;
+}
+
 auto SymbolInstantiation::VisitType::operator()(
     const UnsignedLongLongIntType* type) -> const Type* {
   return type;
diff --git a/src/parser/cxx/token_fwd.h b/src/parser/cxx/token_fwd.h
@@ -123,10 +123,12 @@ class Token;
   V(__FLOAT80, "__float80")                   \
   V(__IMAG__, "__imag__")                     \
   V(__INT128, "__int128")                     \
+  V(__INT128_T, "__int128_t")                 \
   V(__INT64, "__int64")                       \
   V(__REAL__, "__real__")                     \
   V(__RESTRICT__, "__restrict__")             \
   V(__THREAD, "__thread")                     \
+  V(__UINT128_T, "__uint128_t")               \
   V(__UNDERLYING_TYPE, "__underlying_type")   \
   V(ALIGNAS, "alignas")                       \
   V(ALIGNOF, "alignof")                       \
diff --git a/src/parser/cxx/type_printer.cc b/src/parser/cxx/type_printer.cc
diff --git a/src/parser/cxx/type_traits.h b/src/parser/cxx/type_traits.h
diff --git a/src/parser/cxx/types.h b/src/parser/cxx/types.h
diff --git a/src/parser/cxx/types_fwd.h b/src/parser/cxx/types_fwd.h
