theoparis · Oct 2, 2026
diff --git a/.github/workflows/cmake-test-release-linux.yml b/.github/workflows/cmake-test-release-linux.yml
@@ -15,7 +15,7 @@ env:
   BUILD_TYPE: Release
   # The official LLVM release package, installed where a custom LLVM build would be - see
   # scripts/install_llvm_prebuilt_release.sh.
-  LLVM_FULL_VERSION: "22.1.8"
+  LLVM_FULL_VERSION: "23.1.2"
   GC_VERSION: "8.2.12"
   LIBATOMIC_OPS_VERSION: "7.10.0"
 

diff --git a/.github/workflows/cmake-test-release-win.yml b/.github/workflows/cmake-test-release-win.yml
@@ -14,10 +14,10 @@ env:
   # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
   BUILD_TYPE: Release
   CACHE_VERSION: v11
-  LLVM_VERSION: 22
+  LLVM_VERSION: 23
   # The official LLVM release package plus a prebuilt MLIR archive, installed where a custom LLVM
   # build would be - see scripts/install_llvm_prebuilt_release.ps1.
-  LLVM_FULL_VERSION: "22.1.8"
+  LLVM_FULL_VERSION: "23.1.2"
   GC_VERSION: "8.2.12"
   LIBATOMIC_OPS_VERSION: "7.10.0"
 

diff --git a/scripts/install_llvm_prebuilt_release.sh b/scripts/install_llvm_prebuilt_release.sh
@@ -17,7 +17,7 @@
 # Skips everything when the prefix already has MLIR, so it never overwrites a custom build.
 set -e
 
-VERSION=${1:-22.1.8}
+VERSION=${1:-23.1.2}
 ROOT=$(cd "$(dirname "$0")/.." && pwd)
 PREFIX=${PREFIX:-$ROOT/3rdParty/llvm/release}
 WORK_DIR=${WORK_DIR:-$ROOT/__build/llvm-prebuilt}
@@ -28,17 +28,17 @@ if [ -f "$PREFIX/lib/cmake/mlir/MLIRConfig.cmake" ]; then
 fi
 
 NAME=LLVM-$VERSION-Linux-X64
-PACKAGE=$WORK_DIR/$NAME.tar.xz
+PACKAGE=$WORK_DIR/$NAME.tar.zst
 mkdir -p "$WORK_DIR" "$PREFIX"
 if [ ! -f "$PACKAGE" ]; then
-    echo "Downloading $NAME.tar.xz"
+    echo "Downloading $NAME.tar.zst"
     curl -fsSL --retry 3 -o "$PACKAGE.part" \
-        "https://github.com/llvm/llvm-project/releases/download/llvmorg-$VERSION/$NAME.tar.xz"
+        "https://github.com/llvm/llvm-project/releases/download/llvmorg-$VERSION/$NAME.tar.zst"
     mv "$PACKAGE.part" "$PACKAGE"
 fi
 
 echo "Unpacking $PACKAGE into $PREFIX"
-xz -T0 -dc "$PACKAGE" | tar -x -C "$PREFIX" --strip-components=1 \
+zstd --long=31 -T0 -dc "$PACKAGE" | tar -x -C "$PREFIX" --strip-components=1 \
     --exclude='*/bin/flang*' --exclude='*/bin/bbc' --exclude='*/bin/tco' \
     --exclude='*/bin/fir-*' --exclude='*/bin/f18-*' --exclude='*/bin/lldb*' \
     --exclude='*/bin/llvm-bolt*' --exclude='*/bin/*bolt*' --exclude='*/bin/merge-fdata' \

diff --git a/scripts/llvm_prebuilt_common.ps1 b/scripts/llvm_prebuilt_common.ps1
@@ -1,6 +1,6 @@
 # Shared by build_mlir_prebuilt_release.ps1 and install_llvm_prebuilt_release.ps1 (dot-sourced).
 #
-# The official LLVM Windows package (clang+llvm-<ver>-x86_64-pc-windows-msvc.tar.xz, a GitHub
+# The official LLVM Windows package (clang+llvm-<ver>-x86_64-pc-windows-msvc.tar.zst, a GitHub
 # release asset of llvm/llvm-project) carries the LLVM, Clang and LLD libraries with their CMake
 # packages, lld/wasm-ld, clang and clang's resource directory, built with the static CRT (/MT) the
 # project needs. It has no MLIR at all. build_mlir_prebuilt_release.ps1 builds MLIR standalone
@@ -16,7 +16,7 @@
 $ErrorActionPreference = "Stop"
 $ProgressPreference = "SilentlyContinue"
 
-# Windows' own bsdtar reads and writes .tar.xz; a Git for Windows tar earlier on PATH would need xz
+# Windows' own bsdtar reads and writes .tar.zst; a Git for Windows tar earlier on PATH would need zst
 # beside it.
 $script:tar = Join-Path $env:SystemRoot "System32\tar.exe"
 
@@ -44,7 +44,7 @@ function Get-LlvmAsset([string]$version, [string]$name, [string]$dir) {
 function Install-OfficialLlvm([string]$version, [string]$prefix, [string]$workDir) {
     $llvmConfig = Join-Path $prefix "lib\cmake\llvm\LLVMConfig.cmake"
     if (-not (Test-Path $llvmConfig)) {
-        $package = Get-LlvmAsset $version "clang+llvm-$version-x86_64-pc-windows-msvc.tar.xz" $workDir
+        $package = Get-LlvmAsset $version "clang+llvm-$version-x86_64-pc-windows-msvc.tar.zst" $workDir
         New-Item -ItemType Directory -Force -Path $prefix | Out-Null
         Write-Host "Unpacking $package into $prefix"
         Invoke-Checked "Unpacking the LLVM package" { & $script:tar -xf $package -C $prefix --strip-components=1 }

diff --git a/tslang/include/TypeScript/Defines.h b/tslang/include/TypeScript/Defines.h
@@ -194,9 +194,9 @@
 #define TRAMPOLINE_SIZE 40
 #endif
 
-#define ATTR(attr) mlir::StringAttr::get(rewriter.getContext(), attr)
+#define TS_ATTR(attr) mlir::StringAttr::get(rewriter.getContext(), attr)
 #define IDENT(name) mlir::Identifier::get(name, rewriter.getContext())
-#define NAMED_ATTR(name, attr) mlir::ArrayAttr::get(rewriter.getContext(), {ATTR(name), ATTR(attr)})
+#define NAMED_TS_ATTR(name, attr) mlir::ArrayAttr::get(rewriter.getContext(), {TS_ATTR(name), TS_ATTR(attr)})
 
 #define DATA_VALUE_INDEX 0
 #define THIS_VALUE_INDEX 1

diff --git a/tslang/include/TypeScript/LowerToLLVM/LLVMDebugInfo.h b/tslang/include/TypeScript/LowerToLLVM/LLVMDebugInfo.h
@@ -489,7 +489,7 @@ class LLVMDebugInfoHelper
                     emptyDIExpr, 
                     emptyDIExpr, 
                     emptyDIExpr,
-                    {});
+                    StringAttr(), LLVM::DIDerivedTypeAttr(), {});
 
                 return fwdCompositeType;
             }
@@ -530,15 +530,15 @@ class LLVMDebugInfoHelper
             auto elementOffsetInBits = structLaytout->getElementOffsetInBits(index);
 
             auto elementDiType = getDITypeScriptType(location, elementType, file, line, scope);
-            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, elementDiType, 
-                sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits/*sizesTrack.offsetInBits*/, {}, {});
+            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, file, line, scope, elementDiType,
+                sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits, {}, LLVM::DIFlags::Zero, {});
             elements.push_back(wrapperDiType);
         }
 
         LLVM::DIExpressionAttr emptyDIExpr;
         auto compositeType = LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_structure_type, 
             StringAttr::get(context, isNamePrefix ? MLIRHelper::getAnonymousName(typeWithFields, name.data()) : name), 
-            file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, elements);
+            file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), elements);
 
         if (!isNamePrefix)
         {
@@ -555,8 +555,8 @@ class LLVMDebugInfoHelper
         auto offsetInBits = 0;
 
         return LLVM::DIDerivedTypeAttr::get(
-            context, dwarf::DW_TAG_pointer_type, StringAttr::get(context, "pointer"), diElementType, 
-            sizeInBits, alignInBits, offsetInBits, {}, {});
+            context, dwarf::DW_TAG_pointer_type, StringAttr::get(context, "pointer"), file, line, LLVM::DIScopeAttr(), diElementType,
+            sizeInBits, alignInBits, offsetInBits, {}, LLVM::DIFlags::Zero, {});
     }
 
     LLVM::DISubroutineTypeAttr getDISubroutineType(mlir::Location location, LLVM::LLVMFunctionType funcType, LLVM::DIFileAttr file, uint32_t line, LLVM::DIScopeAttr scope)
@@ -597,7 +597,7 @@ class LLVMDebugInfoHelper
                 // create forward declaration
                 auto fwdCompositeType = LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_structure_type, 
                     StringAttr::get(context, structType.getName()), 
-                    file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::FwdDecl, 0, 0, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, {});
+                    file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::FwdDecl, 0, 0, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), {});
 
                 return fwdCompositeType;
             }
@@ -624,7 +624,7 @@ class LLVMDebugInfoHelper
 
             auto elementDiType = getDILLVMType(location, llvmElementType, file, line, scope);
             auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, 
-                elementName, elementDiType, sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits/*sizesTrack.offsetInBits*/, {}, {});
+                elementName, file, line, scope, elementDiType, sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits, {}, LLVM::DIFlags::Zero, {});
                 elements.push_back(wrapperDiType);  
         }
 
@@ -633,7 +633,7 @@ class LLVMDebugInfoHelper
             : MLIRHelper::getAnonymousName(structType, "struct"));
         auto compositeType = LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_structure_type, name, 
             file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, 
-            emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, elements);
+            emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), elements);
 
         if (structType.isIdentified())
         {
@@ -674,15 +674,15 @@ class LLVMDebugInfoHelper
             auto elementOffsetInBits = structLayout->getElementOffsetInBits(index);
 
             auto elementDiType = getDIType(location, llvmElementType, elementType, file, line, scope);
-            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, elementDiType, 
-                sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits/*sizesTrack.offsetInBits*/, {}, {});
+            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, file, line, scope, elementDiType,
+                sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, elementOffsetInBits, {}, LLVM::DIFlags::Zero, {});
             elements.push_back(wrapperDiType);
         }
 
         LLVM::DIExpressionAttr emptyDIExpr;
         return LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_structure_type, 
             StringAttr::get(context, name), file, line, scope, LLVM::DITypeAttr(), 
-            LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, elements);        
+            LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), elements);        
     }
 
     LLVM::DICompositeTypeAttr getDIStructType(StringRef name, ArrayRef<std::pair<StringRef, LLVM::DITypeAttr>> fields, LLVM::DIFileAttr file, uint32_t line, LLVM::DIScopeAttr scope)
@@ -701,14 +701,13 @@ class LLVMDebugInfoHelper
 
             sizesTrack.nextElementType(elementDiType);
 
-            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, elementDiType, 
-                sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, sizesTrack.offsetInBits, {}, {});
+            auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, file, line, scope, elementDiType, sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, sizesTrack.offsetInBits, {}, LLVM::DIFlags::Zero, {});
             elements.push_back(wrapperDiType);
         }
 
         LLVM::DIExpressionAttr emptyDIExpr;
         return LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_structure_type, StringAttr::get(context, name), 
-            file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, elements);        
+            file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, sizesTrack.sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), elements);        
     }    
 
     LLVM::DICompositeTypeAttr getDIUnionType(mlir::Location location, mlir_ts::UnionType unionType, LLVM::DIFileAttr file, uint32_t line, LLVM::DIScopeAttr scope)
@@ -731,14 +730,14 @@ class LLVMDebugInfoHelper
 
             auto elementDiType = getDITypeScriptType(location, elementType, file, line, scope);
             auto wrapperDiType = LLVM::DIDerivedTypeAttr::get(context, dwarf::DW_TAG_member, name, 
-                elementDiType, sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, 0, {}, {});
+                file, line, scope, elementDiType, sizesTrack.elementSizeInBits, sizesTrack.elementAlignInBits, 0, {}, LLVM::DIFlags::Zero, {});
             elements.push_back(wrapperDiType);
         }
 
         LLVM::DIExpressionAttr emptyDIExpr;
         return LLVM::DICompositeTypeAttr::get(context, dwarf::DW_TAG_union_type, 
             StringAttr::get(context, MLIRHelper::getAnonymousName(unionType, "union")), file, line, scope, LLVM::DITypeAttr(), LLVM::DIFlags::TypePassByValue, 
-            sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, elements);
+            sizeInBits, sizesTrack.alignInBits, emptyDIExpr, emptyDIExpr, emptyDIExpr, emptyDIExpr, StringAttr(), LLVM::DIDerivedTypeAttr(), elements);
     }
 };
 

diff --git a/tslang/include/TypeScript/LowerToLLVM/LLVMDebugInfoFixer.h b/tslang/include/TypeScript/LowerToLLVM/LLVMDebugInfoFixer.h
@@ -78,7 +78,7 @@ class LLVMDebugInfoHelperFixer
         }
 
         auto subroutineTypeAttr = mlir::LLVM::DISubroutineTypeAttr::get(context, llvm::dwarf::DW_CC_normal, resultTypes);
-        SmallVector<mlir::LLVM::DINodeAttr> retainedNodes; // TODO: review usage of it
+        SmallVector<mlir::Attribute> retainedNodes; // TODO: review usage of it
         SmallVector<mlir::LLVM::DINodeAttr> annotations; // TODO: review usage of it
         // a fresh DistinctAttr id: references to the old subprogram outside this
         // function (if any) keep the old identity instead of colliding with the

diff --git a/tslang/include/TypeScript/LowerToLLVM/LLVMRTTIHelperVCLinux.h b/tslang/include/TypeScript/LowerToLLVM/LLVMRTTIHelperVCLinux.h
@@ -105,7 +105,7 @@ class LLVMRTTIHelperVCLinux
         auto name = "__gxx_personality_v0";
         auto cxxFrameHandler3 = ch.getOrInsertFunction(name, th.getFunctionType(th.getI32Type(), {}, true));
 
-        newFuncOp->setAttr(ATTR("personality"), FlatSymbolRefAttr::get(rewriter.getContext(), name));
+        newFuncOp->setAttr(TS_ATTR("personality"), FlatSymbolRefAttr::get(rewriter.getContext(), name));
         return success();
     }
 

diff --git a/tslang/include/TypeScript/MLIRLogic/MLIRDebugInfoHelper.h b/tslang/include/TypeScript/MLIRLogic/MLIRDebugInfoHelper.h
@@ -189,12 +189,13 @@ class MLIRDebugInfoHelper
 
                 auto funcNameAttr = builder.getStringAttr(functionName);
                 auto linkageNameAttr = builder.getStringAttr(linkageName);
-                SmallVector<mlir::LLVM::DINodeAttr> retainedNodes; // TODO: review usage of it
+                SmallVector<mlir::Attribute> retainedNodes; // TODO: review usage of it
                 SmallVector<mlir::LLVM::DINodeAttr> annotations; // TODO: review usage of it
                 auto subprogramAttr = mlir::LLVM::DISubprogramAttr::get(
                     builder.getContext(), DistinctAttr::create(builder.getUnitAttr()), compileUnitAttr, isAcceptableSubProgramScope(scopeAttr) ? scopeAttr : compileUnitAttr, 
                     funcNameAttr, linkageNameAttr, 
-                    file/*compileUnitAttr.getFile()*/, line, scopeLine, subprogramFlags, type, retainedNodes, annotations);   
+                    file/*compileUnitAttr.getFile()*/, line, scopeLine, subprogramFlags, type,
+                    retainedNodes, annotations);   
 
                 debugScope.insert(SUBPROGRAM_DEBUG_SCOPE, subprogramAttr);
                 debugScope.insert(DEBUG_SCOPE, subprogramAttr);

diff --git a/tslang/include/TypeScript/TypeScriptOps.td b/tslang/include/TypeScript/TypeScriptOps.td
@@ -1812,7 +1812,7 @@ def TypeScript_ReturnInternalOp : TypeScript_Op<"ReturnInternal", [Pure, HasPare
 }
 
 def TypeScript_IfOp : TypeScript_Op<"If",
-      [DeclareOpInterfaceMethods<RegionBranchOpInterface>, SingleBlockImplicitTerminator<"typescript::ResultOp">, 
+      [DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getSuccessorInputs"]>, SingleBlockImplicitTerminator<"typescript::ResultOp">,
       NoRegionArguments]> {
   let summary = "if-then-else operation";
 
@@ -1870,7 +1870,7 @@ def TypeScript_WhileOp : TypeScript_Op<"While",
     [
         LoopLikeOpInterface,
         ConditionallySpeculatable,
-        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands"]>
+        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands", "getSuccessorInputs"]>
     ]> {
   let summary = "a generic 'while' loop";
   let description = [{
@@ -1915,7 +1915,7 @@ def TypeScript_DoWhileOp : TypeScript_Op<"DoWhile",
     [
         LoopLikeOpInterface,
         ConditionallySpeculatable,
-        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands"]>
+        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands", "getSuccessorInputs"]>
     ]> {
   let summary = "a generic 'do-while' loop";
   let description = [{
@@ -1943,7 +1943,7 @@ def TypeScript_ForOp : TypeScript_Op<"For",
     [
         LoopLikeOpInterface,
         ConditionallySpeculatable,
-        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands"]>
+        DeclareOpInterfaceMethods<RegionBranchOpInterface, ["getEntrySuccessorOperands", "getSuccessorInputs"]>
     ]> {
   let summary = "a generic 'for' loop";