Changes

Summary

[SCEV] Support unsigned predicates in isKnownPredicateViaNoOverflow (details)
[MLIR][Linalg] Fix assertion in dependency analysis (details)
[NFC][PowerPC]Add tests for multiply-by-constant. (details)
[APFloat] multiplySignificand - always pass IEEEFloat as const reference. NFCI. (details)
[PowerPC] Add support for R_PPC64_GOT_TPREL_PCREL34 used in TLS Initial Exec (details)
Revert rGf835779160ec303 "[APFloat] multiplySignificand - always pass IEEEFloat as const reference. NFCI." (details)
[lldb] Ignore certain Clang type sugar when creating the type name (details)
[ARM][TTI] Prevents constants in a min(max) or max(min) pattern from being hoisted when in a loop (details)
[SCEV] Handle `less` predicates for FoundPred = NE (details)
[SystemZ][z/OS] Set default wchar_t type for zOS (details)
[LLD][PowerPC][test] Update thunk range error report for PPC64PCRelLongBranchThunk (details)
[ARM] Trying to fix asan buildbot (details)
[libc++] NFC: Remove trailing whitespace from the feature test macro table (details)

Commit 16fde88dbd797b01f3c236062fbec50fe5bbf81d by mkazantsev [SCEV] Support unsigned predicates in isKnownPredicateViaNoOverflow SCEV should be able to prove facts like `x <u x+1<nuw>`. Differential Revision: https://reviews.llvm.org/D88015 Reviewed By: lebedev.ri
	llvm/unittests/Analysis/ScalarEvolutionTest.cpp
	llvm/lib/Analysis/ScalarEvolution.cpp
Commit 0841f7172b74e1cbe2ce9839e5f4e1f0c2836bef by frgossen [MLIR][Linalg] Fix assertion in dependency analysis The assertion falsely expected ranked memrefs only. Now both, ranked and unranked memrefs are allowed. Differential Revision: https://reviews.llvm.org/D88080
	mlir/lib/Dialect/Linalg/Analysis/DependenceAnalysis.cpp
Commit c7ff6e0fe1cd37a162af5f30d8cb070eb4cc038d by esme.yi [NFC][PowerPC]Add tests for multiply-by-constant.
	llvm/test/CodeGen/PowerPC/mulli.ll
Commit f835779160ec30340676918915526615a07e826e by llvm-dev [APFloat] multiplySignificand - always pass IEEEFloat as const reference. NFCI. We do this in all other cases.
	llvm/lib/Support/APFloat.cpp
	llvm/include/llvm/ADT/APFloat.h
Commit c0071862bb426689acef09491b01b1edca9d747e by stefanp [PowerPC] Add support for R_PPC64_GOT_TPREL_PCREL34 used in TLS Initial Exec Add Thread Local Storage Initial Exec support to LLD. This patch adds the computation for the relocations as well as the relaxation from Initial Exec to Local Exec. Initial Exec: ``` pld r9, x@got@tprel@pcrel add r9, r9, x@tls@pcrel ``` or ``` pld r9, x@got@tprel@pcrel lbzx r10, r9, x@tls@pcrel ``` Note that @tls@pcrel is actually encoded as R_PPC64_TLS with a one byte displacement. For the above examples relaxing Intitial Exec to Local Exec: ``` paddi r9, r9, x@tprel nop ``` or ``` paddi r9, r13, x@tprel lbz r10, 0(r9) ``` Reviewed By: nemanjai, MaskRay, #powerpc Differential Revision: https://reviews.llvm.org/D86893
	lld/test/ELF/ppc64-tls-pcrel-ie.s
	lld/ELF/Arch/PPC64.cpp
Commit a15b42146c617777b364e3b63babf1de547b9f26 by llvm-dev Revert rGf835779160ec303 "[APFloat] multiplySignificand - always pass IEEEFloat as const reference. NFCI." This reverts commit f835779160ec30340676918915526615a07e826e while I investigate some buildbot failures
	llvm/include/llvm/ADT/APFloat.h
	llvm/lib/Support/APFloat.cpp
Commit b5e49e91cb90eda1f926139c8567e27f1b664cc1 by Raphael Isemann [lldb] Ignore certain Clang type sugar when creating the type name Clang has some type sugar that only serves as a way to preserve the way a user has typed a certain type in the source code. These types are currently not unwrapped when we query the type name for a Clang type, which means that this type sugar actually influences what formatters are picked for a certain type. Currently if a user decides to reference a type by doing `::GlobalDecl Var = 3;`, the type formatter for `GlobalDecl` will not be used (as the type sugar around the type gives it the name `::GlobalDecl`. The same goes for other ways to spell out a type such as `auto` etc. With this patch most of this type sugar gets stripped when the full type name is calculated. Typedefs are not getting desugared as that seems counterproductive. I also don't desugar atomic types as that's technically not type sugar. Reviewed By: jarin Differential Revision: https://reviews.llvm.org/D87481
	lldb/source/Plugins/TypeSystem/Clang/TypeSystemClang.cpp
	lldb/test/API/lang/cpp/elaborated-types/Makefile
	lldb/test/API/lang/cpp/elaborated-types/TestElaboratedTypes.py
	lldb/test/API/lang/cpp/elaborated-types/main.cpp
Commit a3d0dce2608bb399f2bf0122d8c6a4c7b4d6c1fa by meera.nakrani [ARM][TTI] Prevents constants in a min(max) or max(min) pattern from being hoisted when in a loop Changes TTI function getIntImmCostInst to take an additional Instruction parameter, which enables us to be able to check it is part of a min(max())/max(min()) pattern that will match SSAT. We can then mark the constant used as free to prevent it being hoisted so SSAT can still be generated. Required minor changes in some non-ARM backends to allow for the optional parameter to be included. Differential Revision: https://reviews.llvm.org/D87457
	llvm/include/llvm/Analysis/TargetTransformInfo.h
	llvm/lib/Target/AArch64/AArch64TargetTransformInfo.h
	llvm/lib/Target/PowerPC/PPCTargetTransformInfo.cpp
	llvm/lib/Target/AArch64/AArch64TargetTransformInfo.cpp
	llvm/lib/Target/RISCV/RISCVTargetTransformInfo.cpp
	llvm/lib/Target/ARM/ARMTargetTransformInfo.h
	llvm/lib/Target/SystemZ/SystemZTargetTransformInfo.h
	llvm/lib/Transforms/Scalar/ConstantHoisting.cpp
	llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
	llvm/lib/Target/X86/X86TargetTransformInfo.cpp
	llvm/lib/Target/X86/X86TargetTransformInfo.h
	llvm/lib/Analysis/TargetTransformInfo.cpp
	llvm/test/CodeGen/Thumb2/mve-satmul-loops.ll
	llvm/include/llvm/Analysis/TargetTransformInfoImpl.h
	llvm/lib/Target/Lanai/LanaiTargetTransformInfo.h
	llvm/lib/Target/PowerPC/PPCTargetTransformInfo.h
	llvm/lib/Target/SystemZ/SystemZTargetTransformInfo.cpp
	llvm/lib/Target/ARM/ARMTargetTransformInfo.cpp
Commit e2703c021d844ea0e5c1b203a4bd534e7a231997 by mkazantsev [SCEV] Handle `less` predicates for FoundPred = NE Currently these predicates are ignored, yet their handling is pretty simple. I could not find a single test where it would actually change something, but it's only because isImpliedCondOperands is not smart enough to prove it further on. Yet the situation when we come there with `less` predicate is pretty common. Differential Revision: https://reviews.llvm.org/D87890 Reviewed By: fhahn
	llvm/lib/Analysis/ScalarEvolution.cpp
Commit 0fb97fd6a4f2ec9267a1f4d039ec8895c2460ab7 by Abhina.Sreeskantharajan [SystemZ][z/OS] Set default wchar_t type for zOS Set the default wchar_t type on z/OS, and unsigned as the default. Reviewed By: hubert.reinterpretcast, fanbo-meng Differential Revision: https://reviews.llvm.org/D87624
	clang/lib/Driver/ToolChains/Clang.cpp
	clang/test/Lexer/wchar-signedness.c
	clang/test/CodeGen/wchar-size.c
	clang/test/Preprocessor/wchar_t.c
	clang/lib/Basic/Targets/OSTargets.h
	clang/test/Sema/wchar.c
Commit 967e29ff8c8f572aceaa0f551b281a4d7c4a73bd by wei.huang [LLD][PowerPC][test] Update thunk range error report for PPC64PCRelLongBranchThunk Update the thunk range error report for PPC64PCRelLongBranchThunk and add a range error test case for PPC64R12SetupStub. Differential Revision: https://reviews.llvm.org/D87381
	lld/test/ELF/ppc64-pcrel-long-branch-error.s
	lld/test/ELF/ppc64-pcrel-call-to-toc-error.s
	lld/ELF/Thunks.cpp
Commit 94c799fecff06c614cb68976288fc7b8c9a11139 by sam.parker [ARM] Trying to fix asan buildbot
	llvm/lib/Target/ARM/ARMLowOverheadLoops.cpp
Commit 0451ed961993d4f52f4083192de0e57a1b246ac6 by Louis Dionne [libc++] NFC: Remove trailing whitespace from the feature test macro table
	libcxx/utils/generate_feature_test_macro_components.py
	libcxx/docs/FeatureTestMacroTable.rst