LLVM 18 support

.circleci/config.yml

@@ -10,12 +10,12 @@ commands:
  steps:
  - restore_cache:
  keys:
- - llvm-source-17-v1
+ - llvm-source-18-v1
  - run:
  name: "Fetch LLVM source"
  command: make llvm-source
  - save_cache:
- key: llvm-source-17-v1
+ key: llvm-source-18-v1
  paths:
  - llvm-project/clang/lib/Headers
  - llvm-project/clang/include
@@ -105,12 +105,12 @@ jobs:
  - test-linux:
  llvm: "15"
  resource_class: large
- test-llvm17-go122:
+ test-llvm18-go122:
  docker:
  - image: golang:1.22-bullseye
  steps:
  - test-linux:
- llvm: "17"
+ llvm: "18"
  resource_class: large
 
 workflows:
@@ -119,5 +119,5 @@ workflows:
  # This tests our lowest supported versions of Go and LLVM, to make sure at
  # least the smoke tests still pass.
  - test-llvm15-go118
- # This tests LLVM 17 support when linking against system libraries.
- - test-llvm17-go122
+ # This tests LLVM 18 support when linking against system libraries.
+ - test-llvm18-go122

.github/workflows/build-macos.yml

@@ -43,7 +43,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-${{ matrix.os }}-v2
+ key: llvm-source-18-${{ matrix.os }}-v2
  path: |
  llvm-project/clang/lib/Headers
  llvm-project/clang/include
@@ -68,7 +68,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-build
  with:
- key: llvm-build-17-${{ matrix.os }}-v2
+ key: llvm-build-18-${{ matrix.os }}-v2
  path: llvm-build
  - name: Build LLVM
  if: steps.cache-llvm-build.outputs.cache-hit != 'true'
@@ -128,7 +128,7 @@ jobs:
  runs-on: macos-latest
  strategy:
  matrix:
- version: [16, 17]
+ version: [16, 17, 18]
  steps:
  - name: Set up Homebrew
  uses: Homebrew/actions/setup-homebrew@master
@@ -152,8 +152,8 @@ jobs:
  - name: Check binary
  run: tinygo version
  - name: Build TinyGo (default LLVM)
- if: matrix.version == 17
+ if: matrix.version == 18
  run: go install
  - name: Check binary
- if: matrix.version == 17
+ if: matrix.version == 18
  run: tinygo version

.github/workflows/linux.yml

@@ -43,7 +43,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-linux-alpine-v2
+ key: llvm-source-18-linux-alpine-v1
  path: |
  llvm-project/clang/lib/Headers
  llvm-project/clang/include
@@ -68,7 +68,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-build
  with:
- key: llvm-build-17-linux-alpine-v2
+ key: llvm-build-18-linux-alpine-v1
  path: llvm-build
  - name: Build LLVM
  if: steps.cache-llvm-build.outputs.cache-hit != 'true'
@@ -196,7 +196,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-linux-asserts-v2
+ key: llvm-source-18-linux-asserts-v1
  path: |
  llvm-project/clang/lib/Headers
  llvm-project/clang/include
@@ -221,7 +221,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-build
  with:
- key: llvm-build-17-linux-asserts-v2
+ key: llvm-build-18-linux-asserts-v1
  path: llvm-build
  - name: Build LLVM
  if: steps.cache-llvm-build.outputs.cache-hit != 'true'
@@ -309,7 +309,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-linux-v2
+ key: llvm-source-18-linux-v1
  path: |
  llvm-project/clang/lib/Headers
  llvm-project/clang/include
@@ -334,7 +334,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-build
  with:
- key: llvm-build-17-linux-${{ matrix.goarch }}-v2
+ key: llvm-build-18-linux-${{ matrix.goarch }}-v1
  path: llvm-build
  - name: Build LLVM
  if: steps.cache-llvm-build.outputs.cache-hit != 'true'

.github/workflows/llvm.yml

@@ -35,8 +35,8 @@ jobs:
  uses: docker/metadata-action@v5
  with:
  images: |
- tinygo/llvm-17
- ghcr.io/${{ github.repository_owner }}/llvm-17
+ tinygo/llvm-18
+ ghcr.io/${{ github.repository_owner }}/llvm-18
  tags: |
  type=sha,format=long
  type=raw,value=latest

.github/workflows/nix.yml

@@ -24,7 +24,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-linux-nix-v2
+ key: llvm-source-18-linux-nix-v1
  path: |
  llvm-project/compiler-rt
  - name: Download LLVM source

.github/workflows/sizediff-install-pkgs.sh

@@ -2,11 +2,11 @@
 # still works after checking out the dev branch (that is, when going from LLVM
 # 16 to LLVM 17 for example, both Clang 16 and Clang 17 are installed).
 
-echo 'deb https://apt.llvm.org/jammy/ llvm-toolchain-jammy-17 main' | sudo tee /etc/apt/sources.list.d/llvm.list
+echo 'deb https://apt.llvm.org/jammy/ llvm-toolchain-jammy-18 main' | sudo tee /etc/apt/sources.list.d/llvm.list
 wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
 sudo apt-get update
 sudo apt-get install --no-install-recommends -y \
- llvm-17-dev \
- clang-17 \
- libclang-17-dev \
- lld-17
+ llvm-18-dev \
+ clang-18 \
+ libclang-18-dev \
+ lld-18

.github/workflows/sizediff.yml

@@ -28,7 +28,7 @@ jobs:
  uses: actions/cache@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-sizediff-v2
+ key: llvm-source-18-sizediff-v1
  path: |
  llvm-project/compiler-rt
  - name: Download LLVM source

.github/workflows/windows.yml

@@ -41,7 +41,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-source
  with:
- key: llvm-source-17-windows-v2
+ key: llvm-source-18-windows-v1
  path: |
  llvm-project/clang/lib/Headers
  llvm-project/clang/include
@@ -66,7 +66,7 @@ jobs:
  uses: actions/cache/restore@v4
  id: cache-llvm-build
  with:
- key: llvm-build-17-windows-v2
+ key: llvm-build-18-windows-v1
  path: llvm-build
  - name: Build LLVM
  if: steps.cache-llvm-build.outputs.cache-hit != 'true'

GNUmakefile

@@ -10,7 +10,7 @@ LLD_SRC ?= $(LLVM_PROJECTDIR)/lld
 
 # Try to autodetect LLVM build tools.
 # Versions are listed here in descending priority order.
-LLVM_VERSIONS = 17 16 15
+LLVM_VERSIONS = 18 17 16 15
 errifempty = $(if $(1),$(1),$(error $(2)))
 detect = $(shell which $(call errifempty,$(firstword $(foreach p,$(2),$(shell command -v $(p) 2> /dev/null && echo $(p)))),failed to locate $(1) at any of: $(2)))
 toolSearchPathsVersion = $(1)-$(2)
@@ -111,7 +111,7 @@ endif
 
 .PHONY: all tinygo test $(LLVM_BUILDDIR) llvm-source clean fmt gen-device gen-device-nrf gen-device-nxp gen-device-avr gen-device-rp
 
-LLVM_COMPONENTS = all-targets analysis asmparser asmprinter bitreader bitwriter codegen core coroutines coverage debuginfodwarf debuginfopdb executionengine frontendhlsl frontendopenmp instrumentation interpreter ipo irreader libdriver linker lto mc mcjit objcarcopts option profiledata scalaropts support target windowsdriver windowsmanifest
+LLVM_COMPONENTS = all-targets analysis asmparser asmprinter bitreader bitwriter codegen core coroutines coverage debuginfodwarf debuginfopdb executionengine frontenddriver frontendhlsl frontendopenmp instrumentation interpreter ipo irreader libdriver linker lto mc mcjit objcarcopts option profiledata scalaropts support target windowsdriver windowsmanifest
 
 ifeq ($(OS),Windows_NT)
  EXE = .exe
@@ -147,7 +147,7 @@ endif
 MD5SUM ?= md5sum
 
 # Libraries that should be linked in for the statically linked Clang.
-CLANG_LIB_NAMES = clangAnalysis clangAST clangASTMatchers clangBasic clangCodeGen clangCrossTU clangDriver clangDynamicASTMatchers clangEdit clangExtractAPI clangFormat clangFrontend clangFrontendTool clangHandleCXX clangHandleLLVM clangIndex clangLex clangParse clangRewrite clangRewriteFrontend clangSema clangSerialization clangSupport clangTooling clangToolingASTDiff clangToolingCore clangToolingInclusions
+CLANG_LIB_NAMES = clangAnalysis clangAPINotes clangAST clangASTMatchers clangBasic clangCodeGen clangCrossTU clangDriver clangDynamicASTMatchers clangEdit clangExtractAPI clangFormat clangFrontend clangFrontendTool clangHandleCXX clangHandleLLVM clangIndex clangLex clangParse clangRewrite clangRewriteFrontend clangSema clangSerialization clangSupport clangTooling clangToolingASTDiff clangToolingCore clangToolingInclusions
 CLANG_LIBS = $(START_GROUP) $(addprefix -l,$(CLANG_LIB_NAMES)) $(END_GROUP) -lstdc++
 
 # Libraries that should be linked in for the statically linked LLD.
@@ -239,7 +239,7 @@ gen-device-renesas: build/gen-device-svd
 
 # Get LLVM sources.
 $(LLVM_PROJECTDIR)/llvm:
- git clone -b esp-17.0.1_20240419 --depth=1 https://github.com/espressif/llvm-project $(LLVM_PROJECTDIR)
+ git clone -b tinygo_xtensa_release_18.1.2 --depth=1 https://github.com/tinygo/llvm-project $(LLVM_PROJECTDIR)
 llvm-source: $(LLVM_PROJECTDIR)/llvm
 
 # Configure LLVM.

builder/build.go

@@ -773,7 +773,7 @@ func Build(pkgName, outpath, tmpdir string, config *compileopts.Config) (BuildRe
  if sizeLevel >= 2 {
  // Workaround with roughly the same effect as
  // https://reviews.llvm.org/D119342.
- // Can hopefully be removed in LLVM 18.
+ // Can hopefully be removed in LLVM 19.
  ldflags = append(ldflags,
  "-mllvm", "--rotation-max-header-size=0")
  }

builder/builtins.go

@@ -8,14 +8,14 @@ import (
  "github.com/tinygo-org/tinygo/goenv"
 )
 
-// These are the GENERIC_SOURCES according to CMakeList.txt.
+// These are the GENERIC_SOURCES according to CMakeList.txt except for
+// divmodsi4.c and udivmodsi4.c.
 var genericBuiltins = []string{
  "absvdi2.c",
  "absvsi2.c",
  "absvti2.c",
  "adddf3.c",
  "addsf3.c",
- "addtf3.c",
  "addvdi3.c",
  "addvsi3.c",
  "addvti3.c",
@@ -40,12 +40,12 @@ var genericBuiltins = []string{
  "divdf3.c",
  "divdi3.c",
  "divmoddi4.c",
+ //"divmodsi4.c",
+ "divmodti4.c",
  "divsc3.c",
  "divsf3.c",
  "divsi3.c",
- "divtc3.c",
  "divti3.c",
- "divtf3.c",
  "extendsfdf2.c",
  "extendhfsf2.c",
  "ffsdi2.c",
@@ -91,7 +91,6 @@ var genericBuiltins = []string{
  "mulsc3.c",
  "mulsf3.c",
  "multi3.c",
- "multf3.c",
  "mulvdi3.c",
  "mulvsi3.c",
  "mulvti3.c",
@@ -111,13 +110,11 @@ var genericBuiltins = []string{
  "popcountti2.c",
  "powidf2.c",
  "powisf2.c",
- "powitf2.c",
  "subdf3.c",
  "subsf3.c",
  "subvdi3.c",
  "subvsi3.c",
  "subvti3.c",
- "subtf3.c",
  "trampoline_setup.c",
  "truncdfhf2.c",
  "truncdfsf2.c",
@@ -126,6 +123,7 @@ var genericBuiltins = []string{
  "ucmpti2.c",
  "udivdi3.c",
  "udivmoddi4.c",
+ //"udivmodsi4.c",
  "udivmodti4.c",
  "udivsi3.c",
  "udivti3.c",

builder/cc1as.cpp

@@ -82,10 +82,10 @@ bool AssemblerInvocation::CreateFromArgs(AssemblerInvocation &Opts,
  // Parse the arguments.
  const OptTable &OptTbl = getDriverOptTable();
 
- const unsigned IncludedFlagsBitmask = options::CC1AsOption;
+ llvm::opt::Visibility VisibilityMask(options::CC1AsOption);
  unsigned MissingArgIndex, MissingArgCount;
- InputArgList Args = OptTbl.ParseArgs(Argv, MissingArgIndex, MissingArgCount,
-  IncludedFlagsBitmask);
+ InputArgList Args =
+ OptTbl.ParseArgs(Argv, MissingArgIndex, MissingArgCount, VisibilityMask);
 
  // Check for missing argument error.
  if (MissingArgCount) {
@@ -98,7 +98,7 @@ bool AssemblerInvocation::CreateFromArgs(AssemblerInvocation &Opts,
  for (const Arg *A : Args.filtered(OPT_UNKNOWN)) {
  auto ArgString = A->getAsString(Args);
  std::string Nearest;
- if (OptTbl.findNearest(ArgString, Nearest, IncludedFlagsBitmask) > 1)
+ if (OptTbl.findNearest(ArgString, Nearest, VisibilityMask) > 1)
  Diags.Report(diag::err_drv_unknown_argument) << ArgString;
  else
  Diags.Report(diag::err_drv_unknown_argument_with_suggestion)
@@ -521,9 +521,10 @@ int cc1as_main(ArrayRef<const char *> Argv, const char *Argv0, void *MainAddr) {
  if (Asm.ShowHelp) {
  getDriverOptTable().printHelp(
  llvm::outs(), "clang -cc1as [options] file...",
- "Clang Integrated Assembler",
- /*Include=*/driver::options::CC1AsOption, /*Exclude=*/0,
- /*ShowAllAliases=*/false);
+ "Clang Integrated Assembler", /*ShowHidden=*/false,
+ /*ShowAllAliases=*/false,
+ llvm::opt::Visibility(driver::options::CC1AsOption));
+
  return 0;
  }
 

builder/cc1as.h

@@ -93,7 +93,7 @@ struct AssemblerInvocation {
  EmitDwarfUnwindType EmitDwarfUnwind;
 
  // Whether to emit compact-unwind for non-canonical entries.
- // Note: may be overridden by other constraints.
+ // Note: maybe overriden by other constraints.
  unsigned EmitCompactUnwindNonCanonical : 1;
 
  /// The name of the relocation model to use.

builder/sizes_test.go

@@ -41,9 +41,9 @@ func TestBinarySize(t *testing.T) {
  // This is a small number of very diverse targets that we want to test.
  tests := []sizeTest{
  // microcontrollers
- {"hifive1b", "examples/echo", 4476, 280, 0, 2252},
- {"microbit", "examples/serial", 2724, 388, 8, 2256},
- {"wioterminal", "examples/pininterrupt", 5996, 1484, 116, 6816},
+ {"hifive1b", "examples/echo", 4484, 280, 0, 2252},
+ {"microbit", "examples/serial", 2732, 388, 8, 2256},
+ {"wioterminal", "examples/pininterrupt", 6016, 1484, 116, 6816},
 
  // TODO: also check wasm. Right now this is difficult, because
  // wasm binaries are run through wasm-opt and therefore the

cgo/libclang_config_llvm17.go

@@ -1,4 +1,4 @@
-//go:build !byollvm && !llvm15 && !llvm16
+//go:build !byollvm && llvm17
 
 package cgo
 

cgo/libclang_config_llvm18.go

@@ -0,0 +1,15 @@
+//go:build !byollvm && !llvm15 && !llvm16 && !llvm17
+
+package cgo
+
+/*
+#cgo linux CFLAGS: -I/usr/include/llvm-18 -I/usr/include/llvm-c-18 -I/usr/lib/llvm-18/include
+#cgo darwin,amd64 CFLAGS: -I/usr/local/opt/llvm@18/include
+#cgo darwin,arm64 CFLAGS: -I/opt/homebrew/opt/llvm@18/include
+#cgo freebsd CFLAGS: -I/usr/local/llvm18/include
+#cgo linux LDFLAGS: -L/usr/lib/llvm-18/lib -lclang
+#cgo darwin,amd64 LDFLAGS: -L/usr/local/opt/llvm@18/lib -lclang
+#cgo darwin,arm64 LDFLAGS: -L/opt/homebrew/opt/llvm@18/lib -lclang
+#cgo freebsd LDFLAGS: -L/usr/local/llvm18/lib -lclang
+*/
+import "C"

compileopts/target.go

@@ -319,11 +319,11 @@ func defaultTarget(goos, goarch, triple string) (*TargetSpec, error) {
  case "arm64":
  spec.CPU = "generic"
  if goos == "darwin" {
- spec.Features = "+neon"
+ spec.Features = "+fp-armv8,+neon"
  } else if goos == "windows" {
- spec.Features = "+neon,-fmv"
+ spec.Features = "+fp-armv8,+neon,-fmv"
  } else { // linux
- spec.Features = "+neon,-fmv,-outline-atomics"
+ spec.Features = "+fp-armv8,+neon,-fmv,-outline-atomics"
  }
  case "wasm":
  spec.CPU = "generic"