Commit
9cd2413f1ca7a7f40132ea3c44f251851aa325c2
by erik.pilkington[clang] Add a new nullability annotation for swift async: _Nullable_result
_Nullable_result generally like _Nullable, except when being imported into a swift async method. rdar://70106409
Differential revision: https://reviews.llvm.org/D92495
|
 | clang/include/clang/Basic/Features.def |
 | clang/include/clang/Basic/Specifiers.h |
 | clang/lib/Sema/SemaExpr.cpp |
 | clang/tools/c-index-test/c-index-test.c |
 | clang/test/SemaObjC/nullability.m |
 | clang/include/clang/Basic/Attr.td |
 | clang/include/clang/Basic/AttrDocs.td |
 | clang/lib/Basic/IdentifierTable.cpp |
 | clang/include/clang/Basic/TokenKinds.def |
 | clang/include/clang/AST/Type.h |
 | clang/lib/Sema/SemaCodeComplete.cpp |
 | clang/lib/Parse/ParseTentative.cpp |
 | clang/lib/Sema/Sema.cpp |
 | clang/lib/Basic/Diagnostic.cpp |
 | clang/lib/Sema/SemaExprObjC.cpp |
 | clang/tools/libclang/CXType.cpp |
 | clang/include/clang-c/Index.h |
 | clang/include/clang/Sema/Sema.h |
 | clang/lib/AST/Type.cpp |
 | clang/lib/Parse/ParseDecl.cpp |
 | clang/lib/Sema/SemaType.cpp |
 | clang/test/SemaObjC/nullable-result.m |
 | clang/lib/APINotes/APINotesYAMLCompiler.cpp |
 | clang/lib/AST/TypePrinter.cpp |
 | clang/test/Index/nullability.c |
Commit
5a28e1d9e50eb0b866351b5ab3213678fd28374b
by erik.pilkington[clang] Add support for attribute 'swift_async'
This attributes specifies how (or if) a given function or method will be imported into a swift async method. rdar://70111252
Differential revision: https://reviews.llvm.org/D92742
|
 | clang/test/SemaObjC/attr-swift-async.m |
 | clang/include/clang/Basic/Attr.td |
 | clang/include/clang/Basic/DiagnosticSemaKinds.td |
 | clang/lib/Sema/SemaDeclAttr.cpp |
 | clang/test/Misc/pragma-attribute-supported-attributes-list.test |
 | clang/include/clang/Basic/AttrDocs.td |
Commit
1d03a54d9460fa122f0be9bf9018b9a4358745a9
by 31459023+hctimRevert "[test] Fix asan/TestCases/Linux/globals-gc-sections-lld.cpp with -fsanitize-address-globals-dead-stripping"
This reverts commit 140808768d3e5c0f4e52dd42094650f5d282e34a.
Reason: Broke the upstream bots - discussed offline.
|
 | compiler-rt/test/asan/TestCases/Linux/globals-gc-sections-lld.cpp |
Commit
155fca3cae275562e626d3e4fbfac70b4b75d2e7
by leonardchan [clang] Fix noderef for array member of deref expr
Committing on behalf of thejh (Jann Horn).
Given an attribute((noderef)) pointer "p" to the struct
struct s { int a[2]; }; ensure that the following expressions are treated the same way by the noderef logic:
p->a (*p).a Until now, the first expression would be treated correctly (nothing is added to PossibleDerefs because CheckMemberAccessOfNoDeref() bails out on array members), but the second expression would incorrectly warn because "*p" creates a PossibleDerefs entry.
Handle this case the same way as for the AddrOf operator.
Differential Revision: https://reviews.llvm.org/D92140
|
 | clang/test/Frontend/noderef.c |
 | clang/lib/Sema/SemaExprMember.cpp |
Commit
641ede93efd664cc2e1d1788b195a80b50b36f66
by pklausler[flang] Improve initializer semantics, esp. for component default values
This patch plugs many holes in static initializer semantics, improves error messages for default initial values and other component properties in parameterized derived type instantiations, and cleans up several small issues noticed during development. We now do proper scalar expansion, folding, and type, rank, and shape conformance checking for component default initializers in derived types and PDT instantiations. The initial values of named constants are now guaranteed to have been folded when installed in the symbol table, and are no longer folded or scalar-expanded at each use in expression folding. Semantics documentation was extended with information about the various kinds of initializations in Fortran and when each of them are processed in the compiler.
Some necessary concomitant changes have bulked this patch out a bit: * contextual messages attachments, which are now produced for parameterized derived type instantiations so that the user can figure out which instance caused a problem with a component, have been added as part of ContextualMessages, and their implementation was debugged * several APIs in evaluate::characteristics was changed so that a FoldingContext is passed as an argument rather than just its intrinsic procedure table; this affected client call sites in many files * new tools in Evaluate/check-expression.cpp to determine when an Expr actually is a single constant value and to validate a non-pointer variable initializer or object component default value * shape conformance checking has additional arguments that control whether scalar expansion is allowed * several now-unused functions and data members noticed and removed * several crashes and bogus errors exposed by testing this new code were fixed * a -fdebug-stack-trace option to enable LLVM's stack tracing on a crash, which might be useful in the future
TL;DR: Initialization processing does more and takes place at the right times for all of the various kinds of things that can be initialized.
Differential Review: https://reviews.llvm.org/D92783
|
 | flang/include/flang/Evaluate/type.h |
 | flang/lib/Semantics/check-declarations.cpp |
 | flang/lib/Evaluate/shape.cpp |
 | flang/lib/Evaluate/characteristics.cpp |
 | flang/docs/Semantics.md |
 | flang/test/Semantics/data04.f90 |
 | flang/test/Semantics/resolve69.f90 |
 | flang/lib/Semantics/check-call.cpp |
 | flang/lib/Semantics/resolve-names.cpp |
 | flang/include/flang/Parser/message.h |
 | flang/lib/Evaluate/type.cpp |
 | flang/lib/Evaluate/fold-logical.cpp |
 | flang/include/flang/Evaluate/characteristics.h |
 | flang/lib/Evaluate/check-expression.cpp |
 | flang/lib/Semantics/pointer-assignment.cpp |
 | flang/test/Semantics/resolve37.f90 |
 | flang/tools/f18/f18.cpp |
 | flang/lib/Semantics/data-to-inits.cpp |
 | flang/lib/Evaluate/fold.cpp |
 | flang/lib/Parser/message.cpp |
 | flang/test/Semantics/array-constr-values.f90 |
 | flang/lib/Semantics/expression.cpp |
 | flang/test/Semantics/structconst02.f90 |
 | flang/lib/Semantics/check-do-forall.cpp |
 | flang/lib/Evaluate/fold-implementation.h |
 | flang/include/flang/Evaluate/tools.h |
 | flang/include/flang/Semantics/tools.h |
 | flang/include/flang/Evaluate/shape.h |
 | flang/lib/Parser/parse-tree.cpp |
 | flang/test/Semantics/init01.f90 |
 | flang/lib/Semantics/tools.cpp |
 | flang/lib/Semantics/type.cpp |
 | flang/test/Semantics/resolve44.f90 |
 | flang/lib/Semantics/check-declarations.h |
 | flang/include/flang/Common/reference-counted.h |
 | flang/include/flang/Evaluate/check-expression.h |
 | flang/include/flang/Semantics/scope.h |
 | flang/lib/Evaluate/intrinsics.cpp |
 | flang/include/flang/Evaluate/common.h |
 | flang/include/flang/Semantics/symbol.h |
 | flang/lib/Evaluate/tools.cpp |
 | flang/test/Semantics/resolve58.f90 |
Commit
6dad7ec539cbcf6f59b63753a86b8015bd6ea66f
by leonardchan[clang] Fix noderef for AddrOf on MemberExpr
Committing on behalf of thejh (Jann Horn).
As part of this change, one existing test case has to be adjusted because it accidentally stripped the NoDeref attribute without getting caught.
Depends on D92140
Differential Review: https://reviews.llvm.org/D92141
|
 | clang/lib/Sema/SemaExprMember.cpp |
 | clang/test/Frontend/noderef.c |
Commit
2656885390f17cceae142b4265c337fcee2410c0
by listmailTeach isKnownNonEqual how to recurse through invertible multiplies
Build on the work started in 8f07629, and add the multiply case. In the process, more clearly describe the requirement for the operation we're looking through.
Differential Revision: https://reviews.llvm.org/D92726
|
 | llvm/test/Analysis/ValueTracking/known-non-equal.ll |
 | llvm/lib/Analysis/ValueTracking.cpp |
Commit
195a7af0abb26915f962462f69c0f17e3835f78b
by Jessica Paquette[AArch64][GlobalISel] Narrow 128-bit regs to 64-bit regs in emitTestBit
When we have a 128-bit register, emitTestBit would incorrectly narrow to 32 bits always. If the bit number was > 32, then we would need a TB(N)ZX. This would cause a crash, as we'd have the wrong register class. (PR48379)
This generalizes `narrowExtReg` into `moveScalarRegClass`.
This also allows us to remove `widenGPRBankRegIfNeeded` entirely, since `selectCopy` correctly handles SUBREG_TO_REG etc.
This does create some codegen changes (since `selectCopy` uses the `all` regclass variants). However, I think that these will likely be optimized away, and we can always improve the `selectCopy` code. It looks like we should revisit `selectCopy` at this point, and possibly refactor it into at least one `emit` function.
Differential Revision: https://reviews.llvm.org/D92707
|
 | llvm/test/CodeGen/AArch64/GlobalISel/opt-fold-ext-tbz-tbnz.mir |
 | llvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp |
 | llvm/test/CodeGen/AArch64/GlobalISel/widen-narrow-tbz-tbnz.mir |
 | llvm/test/CodeGen/AArch64/GlobalISel/subreg-copy.mir |
Commit
40ad476a32445ec98666adcf24d2b33fd887ccc6
by Yaxun.Liu[clang][AMDGPU] rename sram-ecc as sramecc
As backend renamed sram-ecc to sramecc, this patch makes corresponding change in clang.
Differential Revision: https://reviews.llvm.org/D86217
|
 | clang/test/Driver/hip-target-id.hip |
 | llvm/include/llvm/Support/TargetParser.h |
 | clang/include/clang/Basic/DiagnosticDriverKinds.td |
 | clang/test/Driver/amdgpu-features.c |
 | clang/test/Driver/hip-invalid-target-id.hip |
 | clang/test/Driver/target-id-macros.hip |
 | clang/include/clang/Basic/TargetID.h |
 | clang/test/Driver/invalid-target-id.cl |
 | clang/test/Driver/hip-toolchain-features.hip |
 | clang/include/clang/Driver/Options.td |
 | llvm/lib/Support/TargetParser.cpp |
 | clang/lib/Basic/Targets/AMDGPU.h |
 | clang/lib/Basic/TargetID.cpp |
 | clang/test/Driver/target-id-macros.cl |
 | clang/test/Driver/target-id.cl |
Commit
e15ae454b4b4632d4f40a9d95a5c7e4de95990cc
by joker.ephCustomize exception thrown from mlir.Operation.create() python bindings
The default exception handling isn't very user friendly and does not point accurately to the issue. Instead we can indicate which of the operands isn't valid and provide contextual information in the error message.
Differential Revision: https://reviews.llvm.org/D92710
|
 | mlir/test/Bindings/Python/ir_operation.py |
 | mlir/lib/Bindings/Python/IRModules.cpp |
Commit
e56f398dd3740d97ac3b7ec1c69a12b951efd9a3
by joker.ephAdd Python binding for MLIR Type Attribute
Differential Revision: https://reviews.llvm.org/D92711
|
 | mlir/test/Bindings/Python/ir_attributes.py |
 | mlir/lib/Bindings/Python/IRModules.cpp |