LLVM/project 62f5754 — clang/lib/CIR/CodeGen CIRGenCall.cpp CIRGenModule.cpp, clang/test/CIR/CodeGen arg-attrs.cpp invoke-attrs.cpp

by xlauko on ⎇
[CIR] Fix reference alignment to use pointee type

getNaturalTypeAlignment on a reference type returned pointer alignment
instead of pointee alignment. Pass the pointee type with
forPointeeType=true to match traditional codegen's
getNaturalPointeeTypeAlignment behavior. Fix applies to both argument
and return type attribute construction paths.
DeltaFile
+27-4clang/test/CIR/CodeGen/arg-attrs.cpp
+8-5clang/lib/CIR/CodeGen/CIRGenCall.cpp
+7-0clang/lib/CIR/CodeGen/CIRGenModule.cpp
+3-3clang/test/CIR/CodeGen/invoke-attrs.cpp
+1-4clang/lib/CIR/CodeGen/CIRGenExpr.cpp
+3-0clang/lib/CIR/CodeGen/CIRGenModule.h
+49-166 files

LLVM/project e7041d4 — clang/include/clang/CIR/Dialect/IR CIROps.td

by Henrich Lauko via GitHub on ⎇
[CIR] Add Pure trait to IsFPClassOp (#186625)

IsFPClassOp is a pure classification check on a floating-point value
with no memory effects.
DeltaFile
+1-1clang/include/clang/CIR/Dialect/IR/CIROps.td
+1-11 files

LLVM/project 6cf0e46 — clang/test/CIR/CodeGen cxx-default-init.cpp lambda.cpp

by xlauko on ⎇
[CIR] Emit inbounds nuw flags on GetMemberOp GEP lowering

Struct member accesses via GetMemberOp are always inbounds and cannot
unsigned-wrap, matching LLVM's IRBuilder::CreateStructGEP behavior.
DeltaFile
+14-14clang/test/CIR/CodeGen/cxx-default-init.cpp
+13-13clang/test/CIR/CodeGen/lambda.cpp
+11-11clang/test/CIR/CodeGen/struct.cpp
+9-9clang/test/CIR/CodeGen/bitfields.c
+8-8clang/test/CIR/CodeGen/volatile.cpp
+7-7clang/test/CIR/CodeGen/aapcs-volatile-bitfields.c
+62-6219 files not shown
+115-10925 files

LLVM/project c6626f0 — orc-rt/include CMakeLists.txt, orc-rt/include/orc-rt LockedAccess.h

by Lang Hames via GitHub on ⎇
[orc-rt] Add LockedAccess utility. (#186737)

LockedAccess provides pointer-like access to a value while holding a
lock. All accessors are rvalue-ref-qualified, restricting usage to
temporaries to prevent accidental lock lifetime extension. A with_ref
method is provided for multi-statement critical sections.
DeltaFile
+151-0orc-rt/unittests/LockedAccessTest.cpp
+86-0orc-rt/include/orc-rt/LockedAccess.h
+1-0orc-rt/unittests/CMakeLists.txt
+1-0orc-rt/include/CMakeLists.txt
+239-04 files

LLVM/project 4cac790 — bolt/docs profiles.md

by Amir Ayupov on ⎇
update

Created using spr 1.3.4
DeltaFile
+18-8bolt/docs/profiles.md
+18-81 files

LLVM/project ff98d79 — clang/include/clang/AST TypeBase.h TypeProperties.td, clang/lib/AST ASTContext.cpp Type.cpp

by Matheus Izvekov on ⎇
[clang] DeducedTypes deduction kind fix and improvement

This is a small refactor of how DeducedType and it's derived types are
represented.

The different deduction kinds are spelled out in an enum, and how this
is tracked is simplified, to allow easier profiling.

How these types are constructed and canonicalized is also brought more
in line with how it works for the other types.

This fixes a crash reported here: https://github.com/llvm/llvm-project/issues/167513#issuecomment-3692962115
DeltaFile
+82-91clang/lib/AST/ASTContext.cpp
+81-38clang/include/clang/AST/TypeBase.h
+48-20clang/lib/AST/Type.cpp
+14-16clang/lib/Sema/TreeTransform.h
+9-18clang/include/clang/AST/TypeProperties.td
+20-4clang/lib/AST/TextNodeDumper.cpp
+254-18714 files not shown
+320-23920 files

LLVM/project 4f2d860 — clang/include/clang/AST TypeBase.h TypeProperties.td, clang/lib/AST ASTContext.cpp Type.cpp

by Matheus Izvekov on ⎇
[clang] DeducedTypes deduction kind fix and improvement

This is a small refactor of how DeducedType and it's derived types are
represented.

The different deduction kinds are spelled out in an enum, and how this
is tracked is simplified, to allow easier profiling.

How these types are constructed and canonicalized is also brought more
in line with how it works for the other types.

This fixes a crash reported here: https://github.com/llvm/llvm-project/issues/167513#issuecomment-3692962115
DeltaFile
+82-91clang/lib/AST/ASTContext.cpp
+81-38clang/include/clang/AST/TypeBase.h
+48-20clang/lib/AST/Type.cpp
+14-16clang/lib/Sema/TreeTransform.h
+9-18clang/include/clang/AST/TypeProperties.td
+20-4clang/lib/AST/TextNodeDumper.cpp
+254-18713 files not shown
+317-23619 files

LLVM/project 696e82d — clang/lib/Sema SemaDeclCXX.cpp, clang/test/CodeGenCXX dllexport-inherited-ctor.cpp

by Chinmay Deshpande via GitHub on ⎇
[clang] Skip dllexport of inherited constructors with unsatisfied constraints (#186497)

When a class is marked `__declspec(dllexport)`, Clang eagerly creates
inherited constructors via `findInheritingConstructor` and propagates
the dllexport attribute to all members. This bypasses overload
resolution, which would normally filter out constructors whose requires
clause is not satisfied. As a result, Clang attempted to instantiate
constructor bodies that should never be available, causing spurious
compilation errors.

Add constraint satisfaction checks in `checkClassLevelDLLAttribute` to
match MSVC behavior:

1. Before eagerly creating inherited constructors, verify that the base
constructor's `requires` clause is satisfied. Skip creation otherwise.

2. Before applying dllexport to non-inherited methods of class template
specializations, verify constraint satisfaction. This handles the case
where `dllexport` propagates to a base template specialization whose own

    [9 lines not shown]
DeltaFile
+56-30clang/lib/Sema/SemaDeclCXX.cpp
+78-4clang/test/CodeGenCXX/dllexport-inherited-ctor.cpp
+40-0clang/test/SemaCXX/dllexport-constrained-inherited-ctor.cpp
+174-343 files

LLVM/project 4287cfe — clang/include/clang/AST TypeBase.h TypeProperties.td, clang/lib/AST ASTContext.cpp Type.cpp

by Matheus Izvekov on ⎇
[clang] DeducedTypes deduction kind fix and improvement

This is a small refactor of how DeducedType and it's derived types are
represented.

The different deduction kinds are spelled out in an enum, and how this
is tracked is simplified, to allow easier profiling.

How these types are constructed and canonicalized is also brought more
in line with how it works for the other types.

This fixes a crash reported here: https://github.com/llvm/llvm-project/issues/167513#issuecomment-3692962115
DeltaFile
+82-91clang/lib/AST/ASTContext.cpp
+81-38clang/include/clang/AST/TypeBase.h
+48-20clang/lib/AST/Type.cpp
+14-16clang/lib/Sema/TreeTransform.h
+9-18clang/include/clang/AST/TypeProperties.td
+20-4clang/lib/AST/TextNodeDumper.cpp
+254-18713 files not shown
+317-23619 files

LLVM/project 655d5e7 — lld/ELF/Arch RISCV.cpp LoongArch.cpp, lld/test/ELF riscv-relax-synthetic-in-text.s loongarch-relax-synthetic-in-text.s

by wanglei via GitHub on ⎇
[lld][ELF] Fix crash when relaxation pass encounters synthetic sections

In LoongArch and RISC-V, the relaxation pass iterates over input sections
within executable output sections. When a linker script places a synthetic
section (e.g., .got) into such an output section, the linker would crash
because synthetic sections do not have the relaxAux field initialized.

The relaxAux data structure is only allocated for non-synthetic sections
in initSymbolAnchors. This patch adds the necessary null checks in the
relaxation loops (relaxOnce and finalizeRelax) to skip sections that
do not require relaxation.

A null check is also added to elf::initSymbolAnchors to ensure the
subsequent sorting of anchors is safe.

Fixes: #184757

Reviewers: MaskRay

Pull Request: https://github.com/llvm/llvm-project/pull/184758
DeltaFile
+33-0lld/test/ELF/riscv-relax-synthetic-in-text.s
+31-0lld/test/ELF/loongarch-relax-synthetic-in-text.s
+8-1lld/ELF/Arch/RISCV.cpp
+4-1lld/ELF/Arch/LoongArch.cpp
+76-24 files

LLVM/project f46a515 — llvm/lib/Target/LoongArch/MCTargetDesc LoongArchAsmBackend.cpp

by wanglei via GitHub on ⎇
[LoongArch] Remove unreachable Value check in fixupLeb128 (#186297)

Value is guaranteed to be zero after the loop:

  for (I = 0; Value; ++I, Value >>= 7)

Therefore the subsequent `if (Value)` condition is always false.
Remove the unreachable code. Reported by PVS-Studio.

Fixed: #170122
DeltaFile
+0-2llvm/lib/Target/LoongArch/MCTargetDesc/LoongArchAsmBackend.cpp
+0-21 files

LLVM/project bb71dd0 — clang/test/OpenMP target_teams_distribute_parallel_for_simd_schedule_codegen.cpp, libc/AOR_v20.02/math/test/traces sincosf.txt exp.txt

by wanglei on ⎇
remove pie test

Created using spr 1.3.7
DeltaFile
+53,024-7,001llvm/test/CodeGen/RISCV/rvv/clmulh-sdnode.ll
+0-31,999libc/AOR_v20.02/math/test/traces/sincosf.txt
+15,172-1,553llvm/test/CodeGen/RISCV/rvv/clmul-sdnode.ll
+0-16,000libc/AOR_v20.02/math/test/traces/exp.txt
+7,665-4,743llvm/test/CodeGen/AArch64/clmul-fixed.ll
+5,294-4,814clang/test/OpenMP/target_teams_distribute_parallel_for_simd_schedule_codegen.cpp
+81,155-66,1106,563 files not shown
+478,858-308,2106,569 files

LLVM/project 6e6a46b — orc-rt/include/orc-rt iterator_range.h, orc-rt/unittests iterator_range-test.cpp CMakeLists.txt

by Lang Hames via GitHub on ⎇
[orc-rt] Add a simple iterator_range class. (#186720)

This will be used to simplify operations on iterator ranges in the ORC
runtime.
DeltaFile
+79-0orc-rt/unittests/iterator_range-test.cpp
+47-0orc-rt/include/orc-rt/iterator_range.h
+1-0orc-rt/unittests/CMakeLists.txt
+127-03 files

LLVM/project 4c5b1c4 — clang/test/Driver riscv-cpus.c, clang/test/Driver/print-enabled-extensions riscv-sifive-x180.c riscv-sifive-x160.c

by Min-Yih Hsu via GitHub on ⎇
[RISCV] Add `sifive-x160` and `sifive-x180` processor definitions (#186264)

This PR adds new processor definitions for two SiFive cores:
- X160
(https://www.sifive.com/document-file/sifive-intelligence-x160-gen2-product-brief):
A RV32 core with Zve32f
- X180
(https://www.sifive.com/document-file/sifive-intelligence-x180-gen2-product-brief):
A RVV-capable RV64 core

Both of them have VLEN=128.

Scheduling model supports will be added in follow-up patches.
DeltaFile
+94-0llvm/lib/Target/RISCV/RISCVProcessors.td
+71-0clang/test/Driver/print-enabled-extensions/riscv-sifive-x180.c
+59-0clang/test/Driver/print-enabled-extensions/riscv-sifive-x160.c
+10-0clang/test/Driver/riscv-cpus.c
+4-0clang/test/Misc/target-invalid-cpu-note/riscv.c
+1-0llvm/docs/ReleaseNotes.md
+239-06 files

LLVM/project 8767bdb — llvm/include/llvm/MC MCPseudoProbe.h

by Henry Jiang via GitHub on ⎇
[NFC] Delete `MCPseudoProbeDecoder`'s move constructor (#186698)

`MCPseudoProbeDecoder` cannot be copeied/moved due to its address
dependence on the DummyInlineRoot member address. Explicitly delete the move constructor.
DeltaFile
+8-0llvm/include/llvm/MC/MCPseudoProbe.h
+8-01 files

LLVM/project 70cd2ac — llvm/docs LangRef.rst, llvm/include/llvm/IR Constants.h

by Pedro Lobo via GitHub on ⎇
Revert "[IR] Add initial support for the byte type" (#186713)

Reverts llvm/llvm-project#178666 to unblock CI.
`CodeGen/X86/byte-constants.ll` is at fault. 
Will look into it and hopefully fix it by tomorrow.
DeltaFile
+17-290llvm/lib/IR/Constants.cpp
+16-177llvm/include/llvm/IR/Constants.h
+9-106llvm/docs/LangRef.rst
+0-101llvm/test/Assembler/byte.ll
+36-37llvm/test/tools/llvm-ir2vec/entities.ll
+0-73llvm/test/Assembler/byte-invalid.ll
+78-78440 files not shown
+168-1,48846 files

LLVM/project b0df9a3 — orc-rt/unittests SessionTest.cpp SimpleNativeMemoryMapTest.cpp

by Lang Hames via GitHub on ⎇
[orc-rt] Fix unittests after 53a1e056f38. (#186711)

Updates unittests to reflect Service interface changes.
DeltaFile
+9-11orc-rt/unittests/SessionTest.cpp
+12-6orc-rt/unittests/SimpleNativeMemoryMapTest.cpp
+21-172 files

LLVM/project 7aeb01f — clang-tools-extra/test/clang-tidy/checkers/Inputs/Headers/std memory, clang-tools-extra/test/clang-tidy/checkers/bugprone use-after-move.cpp

by Baranov Victor via GitHub on ⎇
[clang-tidy][NFC] Use universal memory mock for smart ptrs (#186649)
DeltaFile
+170-0clang-tools-extra/test/clang-tidy/checkers/Inputs/Headers/std/memory
+0-45clang-tools-extra/test/clang-tidy/checkers/modernize/Inputs/replace-auto-ptr/memory.h
+1-34clang-tools-extra/test/clang-tidy/checkers/readability/redundant-smartptr-get.cpp
+1-33clang-tools-extra/test/clang-tidy/checkers/modernize/Inputs/smart-ptr/shared_ptr.h
+2-28clang-tools-extra/test/clang-tidy/checkers/bugprone/use-after-move.cpp
+1-28clang-tools-extra/test/clang-tidy/checkers/modernize/Inputs/smart-ptr/unique_ptr.h
+175-16820 files not shown
+204-32726 files

LLVM/project 15a58f6 — llvm/docs LangRef.rst, llvm/include/llvm/IR Constants.h

by Pedro Lobo via GitHub on ⎇
Revert "[IR] Add initial support for the byte type (#178666)"

This reverts commit 80f2ef70f592f2e2b4b7d72143e2e5566ff9c36b.
DeltaFile
+17-290llvm/lib/IR/Constants.cpp
+16-177llvm/include/llvm/IR/Constants.h
+9-106llvm/docs/LangRef.rst
+0-101llvm/test/Assembler/byte.ll
+0-73llvm/test/Assembler/byte-invalid.ll
+36-37llvm/test/tools/llvm-ir2vec/entities.ll
+78-78440 files not shown
+168-1,48846 files

LLVM/project f5a5596 — mlir/include/mlir-c/Dialect LLVM.h, mlir/include/mlir/Dialect/LLVMIR LLVMAttrDefs.td

by makslevental on ⎇
reduce lit test
DeltaFile
+11-69mlir/test/Target/LLVMIR/llvmir-named-metadata.mlir
+3-3mlir/include/mlir-c/Dialect/LLVM.h
+2-3mlir/lib/CAPI/Dialect/LLVM.cpp
+0-2mlir/python/mlir/dialects/llvm.py
+1-1mlir/include/mlir/Dialect/LLVMIR/LLVMAttrDefs.td
+0-1mlir/lib/Target/LLVMIR/Dialect/LLVMIR/LLVMToLLVMIRTranslation.cpp
+17-796 files

LLVM/project 53a1e05 — orc-rt/include/orc-rt Session.h Service.h, orc-rt/lib/executor Session.cpp SimpleNativeMemoryMap.cpp

by Lang Hames via GitHub on ⎇
[orc-rt] Don't return Error in Service::OnComplete. (#186708)

The Session can't do anything useful with these errors, it can only
report them. It's cleaner if the Service objects just report the error
directly.
DeltaFile
+3-6orc-rt/lib/executor/Session.cpp
+2-2orc-rt/lib/executor/SimpleNativeMemoryMap.cpp
+1-1orc-rt/include/orc-rt/Session.h
+1-1orc-rt/include/orc-rt/Service.h
+7-104 files

LLVM/project 5a729d8 — mlir/include/mlir/Dialect/LLVMIR LLVMAttrDefs.td, mlir/lib/Bindings/Python DialectLLVM.cpp

by makslevental on ⎇
format and document integer limitation
DeltaFile
+76-73mlir/lib/Target/LLVMIR/Dialect/LLVMIR/LLVMToLLVMIRTranslation.cpp
+31-22mlir/test/python/dialects/llvm.py
+22-25mlir/lib/Bindings/Python/DialectLLVM.cpp
+9-12mlir/lib/CAPI/Dialect/LLVM.cpp
+16-1mlir/python/mlir/dialects/llvm.py
+5-4mlir/include/mlir/Dialect/LLVMIR/LLVMAttrDefs.td
+159-1371 files not shown
+160-1387 files

LLVM/project 80f2ef7 — llvm/docs LangRef.rst, llvm/include/llvm/IR Constants.h

by Pedro Lobo via GitHub on ⎇
[IR] Add initial support for the byte type (#178666)

Following the [byte type RFC](https://discourse.llvm.org/t/rfc-add-a-new-byte-type-to-llvm-ir/89522)
and the discussions within the [LLVM IR Formal Specification WG](https://discourse.llvm.org/t/rfc-forming-a-working-group-on-formal-specification-for-llvm/89056), this PR introduces initial support for the byte type in LLVM. This PR:
- Adds the byte type to LLVM's type system
- Extends the `bitcast` instruction to accept the byte operands
- Adds parsing tests for all new functionality
- Fixes failing regressions tests (IR2Vec and IRNormalizer)

---------

Co-authored-by: George Mitenkov <georgemitenk0v at gmail.com>
DeltaFile
+290-17llvm/lib/IR/Constants.cpp
+177-16llvm/include/llvm/IR/Constants.h
+106-9llvm/docs/LangRef.rst
+101-0llvm/test/Assembler/byte.ll
+37-36llvm/test/tools/llvm-ir2vec/entities.ll
+72-1llvm/lib/IR/Type.cpp
+783-7940 files not shown
+1,488-16846 files

LLVM/project e172f81 — mlir/include/mlir/Dialect/LLVMIR LLVMAttrDefs.td, mlir/lib/Bindings/Python DialectLLVM.cpp

by makslevental on ⎇
format and document integer limitation
DeltaFile
+76-73mlir/lib/Target/LLVMIR/Dialect/LLVMIR/LLVMToLLVMIRTranslation.cpp
+22-25mlir/lib/Bindings/Python/DialectLLVM.cpp
+23-22mlir/test/python/dialects/llvm.py
+9-12mlir/lib/CAPI/Dialect/LLVM.cpp
+16-1mlir/python/mlir/dialects/llvm.py
+4-3mlir/include/mlir/Dialect/LLVMIR/LLVMAttrDefs.td
+150-1366 files

LLVM/project 6858c79 — clang/lib/CIR/CodeGen CIRGenExprAggregate.cpp CIRGenValue.h, clang/test/CIR/CodeGen aggregate-copy-overlap.cpp no-unique-address.cpp

by xlauko on ⎇
[CIR] Use data size in emitAggregateCopy for overlapping copies
DeltaFile
+76-0clang/test/CIR/CodeGen/aggregate-copy-overlap.cpp
+16-6clang/lib/CIR/CodeGen/CIRGenExprAggregate.cpp
+5-4clang/test/CIR/CodeGen/no-unique-address.cpp
+1-1clang/lib/CIR/CodeGen/CIRGenValue.h
+98-114 files

LLVM/project b748bea — mlir/include/mlir-c/Dialect LLVM.h, mlir/lib/Bindings/Python DialectLLVM.cpp

by makslevental on ⎇
add python bindings test
DeltaFile
+130-0mlir/test/python/dialects/llvm.py
+48-0mlir/lib/Bindings/Python/DialectLLVM.cpp
+18-5mlir/include/mlir-c/Dialect/LLVM.h
+12-0mlir/lib/CAPI/Dialect/LLVM.cpp
+208-54 files

LLVM/project a27ad57 — clang/lib/CIR/CodeGen CIRGenExprAggregate.cpp CIRGenValue.h, clang/test/CIR/CodeGen aggregate-copy-overlap.cpp no-unique-address.cpp

by xlauko on ⎇
[CIR] Use data size in emitAggregateCopy for overlapping copies
DeltaFile
+63-0clang/test/CIR/CodeGen/aggregate-copy-overlap.cpp
+16-6clang/lib/CIR/CodeGen/CIRGenExprAggregate.cpp
+5-4clang/test/CIR/CodeGen/no-unique-address.cpp
+1-1clang/lib/CIR/CodeGen/CIRGenValue.h
+85-114 files

LLVM/project 3604119 — llvm/include/llvm/IR CFG.h, llvm/lib/Frontend/OpenMP OMPIRBuilder.cpp

by Alexis Engelke via GitHub on ⎇
[IR] Don't allow successors() over block without terminators (#186646)

There's no point constructing a dominator tree or similar on
known-broken IR. Generally, functions should be able to assume that IR
is valid (i.e., passes the verifier). Users of this "feature" were:

- Verifier, fixed by verifying existence of terminators first.
- FuzzMutate, worked around by temporarily inserting terminators.
- OpenMP to run analyses while building the IR, worked around by
temporarily inserting terminators.
- Polly to work with an empty dominator tree, fixed by temporarily
adding an unreachable inst.
- MergeBlockIntoPredecessor, inadvertently, fixed by adding terminator
before updating MemorySSA.
- Some sloppily written unit tests.
DeltaFile
+46-0llvm/test/Transforms/LoopSimplifyCFG/mssa_term.ll
+33-0llvm/unittests/Analysis/MemorySSATest.cpp
+28-0llvm/lib/Frontend/OpenMP/OMPIRBuilder.cpp
+8-12llvm/include/llvm/IR/CFG.h
+14-2llvm/lib/FuzzMutate/RandomIRBuilder.cpp
+6-3llvm/lib/IR/Verifier.cpp
+135-176 files not shown
+150-1912 files

LLVM/project df6e557 — mlir/include/mlir-c/Dialect LLVM.h, mlir/include/mlir/Dialect/LLVMIR LLVMAttrDefs.td

by makslevental on ⎇
[MLIR][LLVM] add metadata attrs and llvm.named_metadata
DeltaFile
+95-48mlir/lib/Target/LLVMIR/Dialect/LLVMIR/LLVMToLLVMIRTranslation.cpp
+122-1mlir/lib/Bindings/Python/DialectLLVM.cpp
+107-0mlir/test/Target/LLVMIR/llvmir-named-metadata.mlir
+86-2mlir/lib/CAPI/Dialect/LLVM.cpp
+70-0mlir/include/mlir/Dialect/LLVMIR/LLVMAttrDefs.td
+65-0mlir/include/mlir-c/Dialect/LLVM.h
+545-511 files not shown
+585-517 files

LLVM/project de81419 — llvm/utils/gn/secondary/lldb/test BUILD.gn

by Nico Weber on ⎇
[gn] port f002fc0ee8734283
DeltaFile
+2-0llvm/utils/gn/secondary/lldb/test/BUILD.gn
+2-01 files