SuccessChanges

Summary

  1. [mlir][Linalg] Print both types for linalg.transpose (details)
  2. [CodeGenPrepare] Simplify code. NFCI. (details)
  3. [AMDGPU] Make movreld-bug test case more robust (details)
  4. [clangd][NFC] Get rid of an `else after return` (details)
  5. BasicTTIImpl.h - remove unused MCSchedule.h include. NFCI. (details)
  6. [X86] Keep variables from getDataLayout/getDebugLoc calls as const reference. NFCI. (details)
  7. [clang][aarch64] Fix ILP32 ABI for arm_sve_vector_bits (details)
  8. [flang][driver] Add the new flang compiler and frontend drivers (details)
  9. [clang][aarch64] Fix mangling of bfloat16 neon vectors (details)
  10. [DFSan] XFail a test that's suffering too much optimization (details)
  11. PluginLoader.h - only include CommandLine.h if required. NFCI. (details)
  12. Attributor.h - remove unused includes. NFCI. (details)
  13. [IPO] Remove unnecessary Module.h includes. NFCI. (details)
  14. [LiveDebugValues][NFC] Re-land 60db26a66d, add instr-ref tests (details)
  15. [analyzer][MacroExpansion] Add a few dumps functions (details)
  16. [analyzer][MacroExpansion][NFC] Fix incorrectly calling parameters arguments (details)
  17. [NFC] Fix the signature and definition of findByPrefix (details)
  18. [analyzer][MacroExpansion][NFC] Fix a missing test output check (details)
  19. [mlir][Linalg] Refactor StructuredOpInterface - NFC (details)
  20. [analyzer][MacroExpansion] Fix a crash where multiple parameters resolved to __VA_ARGS__ (details)
  21. [MLIR][Linalg] Undo spurious parameter name change (details)
  22. [libTooling] Fix use of `char` in comparison. (details)
  23. [ARM] Update arm-storebytesmerge.ll test. NFC (details)
  24. [flang] Add new documentation main page (details)
  25. [libcxx] Handle target triples with dashes in platform name (details)
  26. [ConstraintSystem] Add helpers to deal with linear constraints. (details)
  27. [gn build] Port 3eb141e5078 (details)
  28. Revert "[ConstraintSystem] Add helpers to deal with linear constraints." (details)
  29. [gn build] Port 8da6ae4ce1b (details)
  30. [analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a GDM trait (details)
  31. [libc++] NFC: Add missing license to test (details)
  32. [NFC] Fix compiler warnings due to integer comparison of different signedness (details)
  33. [LiveDebugValues][NFC] Add additional tests (details)
  34. [InstCombine] add/move tests for ptr diff; NFC (details)
  35. [InstCombine] propagate 'nsw' on pointer difference of 'inbounds' geps (PR47430) (details)
  36. [SyntaxTree] Rename functions to start with verb (details)
  37. Revert "[InstCombine] propagate 'nsw' on pointer difference of 'inbounds' geps (PR47430)" (details)
  38. [DSE] Make sure that DSE+MSSA can handle masked stores (details)
  39. [NFC] Follow up on D87111 - Add an option for unrolling loops up to a factor - CR issues addressed. (details)
  40. [flang] Fix build issue with BUILD_SHARED_LIBS=ON (details)
  41. [gn build] slightly improve libcxx_needs_site_config (details)
  42. [examples] Adjust ThinLtoInstrumentationLayer for emit signature change (details)
  43. [libcxx] Remove the 'availability' Lit feature (details)
  44. [SLP] add test for missed store vectorization; NFC (details)
  45. [SLP] further limit bailout for load combine candidate (PR47450) (details)
  46. [docs] Fix typos (details)
  47. [DFSan] Re-enable event_callbacks test. (details)
  48. [ELF][PowerPC] Define NOP as 0x60000000 to tidy up code. NFC (details)
  49. Revert "[examples] Adjust ThinLtoInstrumentationLayer for emit signature change" (details)
Commit a0e0d30a29841fe6cc854f3949f12bb523814d7a by benny.kra
[mlir][Linalg] Print both types for linalg.transpose

Previously only the input type was printed, and the parser applied it to
both input and output, creating an invalid transpose. Print and parse
both types, and verify that they match.

Differential Revision: https://reviews.llvm.org/D87462
The file was modifiedmlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgOps.td
The file was modifiedmlir/test/Dialect/Linalg/llvm.mlir
The file was modifiedmlir/test/Dialect/Linalg/invalid.mlir
The file was modifiedmlir/test/Dialect/Linalg/roundtrip.mlir
Commit 5405ee553a631dd8cd18eed8ed9e76ec318febcb by benny.kra
[CodeGenPrepare] Simplify code. NFCI.
The file was modifiedllvm/lib/CodeGen/CodeGenPrepare.cpp
Commit 06e356c81e0fce90c9a21f9f5fb7567efa51ee0f by jay.foad
[AMDGPU] Make movreld-bug test case more robust

Without this, future optimizer improvements can optimize the entire
function to "return 0".
The file was modifiedllvm/test/CodeGen/AMDGPU/movreld-bug.ll
Commit bceca7a996248aba44c3e4b4752634114650e6ac by kadircet
[clangd][NFC] Get rid of an `else after return`
The file was modifiedclang-tools-extra/clangd/ClangdLSPServer.cpp
Commit ff77d165a8161705c8ec3bb3ced2711dce297699 by llvm-dev
BasicTTIImpl.h - remove unused MCSchedule.h include. NFCI.
The file was modifiedllvm/include/llvm/CodeGen/BasicTTIImpl.h
Commit 70a05ee2880e0ad88416ae4b4bed3cadc53e5cd1 by llvm-dev
[X86] Keep variables from getDataLayout/getDebugLoc calls as const reference. NFCI.

These are only ever used as references in the called functions, so just pass the original reference instead of copying it.
The file was modifiedllvm/lib/Target/X86/X86ISelLowering.cpp
Commit 002f5ab3b171c7d9c9ea192b04a5303be78f6e52 by cullen.rhodes
[clang][aarch64] Fix ILP32 ABI for arm_sve_vector_bits

The element types of scalable vectors are defined in terms of stdint
types in the ACLE. This patch fixes the mapping to builtin types for the
ILP32 ABI when creating VLS types with the arm_sve_vector_bits, where
the mapping is as follows:

  int32_t -> LongTy
  int64_t -> LongLongTy
  uint32_t -> UnsignedLongTy
  uint64_t -> UnsignedLongLongTy

This is implemented by leveraging getBuiltinVectorTypeInfo which is
target agnostic since it calls ASTContext::getIntTypeForBitwidth for
integer types. The element type for svfloat16_t is changed from
Float16Ty to HalfTy when creating VLS types since this is what is used
elsewhere.

For more information, see:

https://github.com/ARM-software/abi-aa/blob/master/aapcs64/aapcs64.rst#types-varying-by-data-model
https://github.com/ARM-software/abi-aa/blob/master/aapcs64/aapcs64.rst#appendix-support-for-scalable-vectors

Reviewed By: efriedma

Differential Revision: https://reviews.llvm.org/D87358
The file was modifiedclang/lib/CodeGen/TargetInfo.cpp
The file was modifiedclang/lib/AST/Type.cpp
The file was modifiedclang/test/CodeGen/attr-arm-sve-vector-bits-types.c
The file was modifiedclang/lib/AST/ItaniumMangle.cpp
Commit 257b29715bb27b7d9f6c3c40c481b6a4af0b37e5 by caroline.concatto
[flang][driver] Add the new flang compiler and frontend drivers

Summary:

This is the first patch implementing the new Flang driver as outlined in [1],
[2] & [3]. It creates Flang driver (`flang-new`) and Flang frontend driver
(`flang-new -fc1`). These will be renamed as `flang` and `flang -fc1` once the
current Flang throwaway driver, `flang`, can be replaced with `flang-new`.

Currently only 2 options are supported: `-help` and `--version`.

`flang-new` is implemented in terms of libclangDriver, defaulting the driver
mode to `FlangMode` (added to libclangDriver in [4]). This ensures that the
driver runs in Flang mode regardless of the name of the binary inferred from
argv[0].

The design of the new Flang compiler and frontend drivers is inspired by it
counterparts in Clang [3]. Currently, the new Flang compiler and frontend
drivers re-use Clang libraries: clangBasic, clangDriver and clangFrontend.

To identify Flang options, this patch adds FlangOption/FC1Option enums.
Driver::printHelp is updated so that `flang-new` prints only Flang options.
The new Flang driver is disabled by default. To enable it, set
`-DBUILD_FLANG_NEW_DRIVER=ON` when configuring CMake and add clang to
`LLVM_ENABLE_PROJECTS` (e.g. -DLLVM_ENABLE_PROJECTS=“clang;flang;mlir”).

[1] “RFC: new Flang driver - next steps”
http://lists.llvm.org/pipermail/flang-dev/2020-July/000470.html
[2] “RFC: Adding a fortran mode to the clang driver for flang”
http://lists.llvm.org/pipermail/cfe-dev/2019-June/062669.html
[3] “RFC: refactoring libclangDriver/libclangFrontend to share with Flang”
http://lists.llvm.org/pipermail/cfe-dev/2020-July/066393.html
[4] https://reviews.llvm.org/rG6bf55804924d5a1d902925ad080b1a2b57c5c75c

co-authored-by: Andrzej Warzynski <andrzej.warzynski@arm.com>

Reviewed By: richard.barton.arm, sameeranjoshi

Differential Revision: https://reviews.llvm.org/D86089
The file was addedflang/lib/FrontendTool/CMakeLists.txt
The file was modifiedclang/test/Driver/flang/multiple-inputs.f90
The file was modifiedclang/test/Driver/flang/flang_ucase.F90
The file was addedflang/lib/Frontend/CMakeLists.txt
The file was modifiedflang/test/CMakeLists.txt
The file was modifiedclang/unittests/Driver/ToolChainTest.cpp
The file was modifiedflang/CMakeLists.txt
The file was addedflang/test/Flang-Driver/driver-version.f90
The file was modifiedclang/include/clang/Driver/Driver.h
The file was addedflang/test/Flang-Driver/driver-error-cc1.cpp
The file was addedflang/test/Flang-Driver/driver-help.f90
The file was modifiedclang/lib/Frontend/CreateInvocationFromCommandLine.cpp
The file was addedflang/tools/flang-driver/CMakeLists.txt
The file was modifiedclang/test/Driver/flang/flang.f90
The file was addedflang/include/flang/FrontendTool/Utils.h
The file was addedflang/lib/Frontend/CompilerInvocation.cpp
The file was addedflang/test/Flang-Driver/driver-error-cc1.c
The file was addedflang/unittests/Frontend/CompilerInstanceTest.cpp
The file was addedflang/include/flang/Frontend/CompilerInstance.h
The file was modifiedclang/lib/Driver/ToolChains/Flang.cpp
The file was addedflang/test/Flang-Driver/missing-input.f90
The file was modifiedflang/unittests/CMakeLists.txt
The file was addedflang/tools/flang-driver/driver.cpp
The file was modifiedllvm/include/llvm/Option/OptTable.h
The file was modifiedflang/test/lit.cfg.py
The file was modifiedflang/README.md
The file was addedflang/lib/Frontend/FrontendOptions.cpp
The file was modifiedflang/test/lit.site.cfg.py.in
The file was addedflang/tools/flang-driver/fc1_main.cpp
The file was addedflang/unittests/Frontend/CMakeLists.txt
The file was modifiedclang/include/clang/Driver/Options.h
The file was addedflang/lib/Frontend/CompilerInstance.cpp
The file was addedflang/include/flang/Frontend/FrontendOptions.h
The file was modifiedclang/include/clang/Driver/Options.td
The file was addedflang/test/Flang-Driver/emit-obj.f90
The file was modifiedclang/lib/Tooling/Tooling.cpp
The file was addedflang/lib/FrontendTool/ExecuteCompilerInvocation.cpp
The file was modifiedclang/lib/Driver/Driver.cpp
The file was modifiedflang/lib/CMakeLists.txt
The file was addedflang/include/flang/Frontend/CompilerInvocation.h
The file was modifiedclang/unittests/Driver/SanitizerArgsTest.cpp
The file was modifiedflang/tools/CMakeLists.txt
The file was modifiedclang/test/Driver/flang/multiple-inputs-mixed.f90
Commit cabd60c26b5df34f096cccca5a915bde3b1d8ee1 by cullen.rhodes
[clang][aarch64] Fix mangling of bfloat16 neon vectors

The AAPCS64 specifies the internal type is used for c++ mangling. For
bfloat16 it was defined as `BFloat16` when it should be `Bfloat16`, i.e.
lowercase 'f'.

For more information, see:

https://github.com/ARM-software/abi-aa/blob/master/aapcs64/aapcs64.rst#appendix-support-for-advanced-simd-extensions

Reviewed By: stuij

Differential Revision: https://reviews.llvm.org/D87463
The file was modifiedclang/lib/AST/ItaniumMangle.cpp
The file was modifiedclang/test/CodeGenCXX/mangle-neon-vectors.cpp
Commit 82390454f0c4dfc57dbb82a2cad77de1260868a4 by jeremy.morse
[DFSan] XFail a test that's suffering too much optimization

See https://bugs.llvm.org/show_bug.cgi?id=47488 , rGfb109c42d9 is
optimizing out part of this test.
The file was modifiedcompiler-rt/test/dfsan/event_callbacks.c
Commit 95c7b66abe594116789dd21b32c8ef4c677d18c8 by llvm-dev
PluginLoader.h - only include CommandLine.h if required. NFCI.

We only need this if DONT_GET_PLUGIN_LOADER_OPTION isn't defined.
The file was modifiedllvm/include/llvm/Support/PluginLoader.h
Commit e9a777c4ec7c86043cf82b29cc78da52585bec25 by llvm-dev
Attributor.h - remove unused includes. NFCI.
The file was modifiedllvm/include/llvm/Transforms/IPO/Attributor.h
Commit e17219b15f7528c8240a93fd9385b3a9f3290aa5 by llvm-dev
[IPO] Remove unnecessary Module.h includes. NFCI.

Uses of Module are all implicit to PassInfoMixin<> so we can guarantee PassManager.h to handle it for us.
The file was modifiedllvm/include/llvm/Transforms/IPO/CrossDSOCFI.h
The file was modifiedllvm/include/llvm/Transforms/IPO/ForceFunctionAttrs.h
The file was modifiedllvm/include/llvm/Transforms/IPO/CalledValuePropagation.h
Commit 0caeaff123768020c7b0e1a648d6b6ba67ad6d87 by jeremy.morse
[LiveDebugValues][NFC] Re-land 60db26a66d, add instr-ref tests

This was landed but reverted in 5b9c2b1bea7 due to asan picking up a memory
leak. This is fixed in the change to InstrRefBasedImpl.cpp. Original
commit message follows:

[LiveDebugValues][NFC] Add instr-ref tests, adapt old tests

This patch adds a few tests in DebugInfo/MIR/InstrRef/ of interesting
behaviour that the instruction referencing implementation of
LiveDebugValues has. Mostly, these tests exist to ensure that if you
give the "-experimental-debug-variable-locations" command line switch,
the right implementation runs; and to ensure it behaves the same way as
the VarLoc LiveDebugValues implementation.

I've also touched roughly 30 other tests, purely to make the tests less
rigid about what output to accept. DBG_VALUE instructions are usually
printed with a trailing !debug-location indicating its scope:

  !debug-location !1234

However InstrRefBasedLDV produces new DebugLoc instances on the fly,
meaning there sometimes isn't a numbered node when they're printed,
making the output:

  !debug-location !DILocation(line: 0, blah blah)

Which causes a ton of these tests to fail. This patch removes checks for
that final part of each DBG_VALUE instruction. None of them appear to
be actually checking the scope is correct, just that it's present, so
I don't believe there's any loss in coverage here.

Differential Revision: https://reviews.llvm.org/D83054
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_moved.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/live-debug-values-bad-transfer.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_break.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues-ignores-metaInstructions.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_clobber.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_move.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_move_to_clobber.mir
The file was modifiedllvm/test/DebugInfo/MIR/Mips/last-inst-bundled.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_match_move.mir
The file was modifiedllvm/lib/CodeGen/LiveDebugValues/InstrRefBasedImpl.cpp
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond_one_clobber.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_bb_to_bb_clobbered.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop_outer_moved.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/live-debug-values.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_diamond_move.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/live-debug-values-3preds.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_diamond.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/kill-after-spill.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_basic_loop.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_two_backedge.mir
The file was modifiedllvm/test/DebugInfo/MIR/X86/livedebugvalues_loop_within_loop.mir
Commit 1c08da38676d15600b5c707cf7522eb4273a5347 by dkszelethus
[analyzer][MacroExpansion] Add a few dumps functions
The file was modifiedclang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
Commit 26d9a94681056f88bd3e892f8113093268fa0907 by dkszelethus
[analyzer][MacroExpansion][NFC] Fix incorrectly calling parameters arguments
The file was modifiedclang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
Commit 4eed800b18abaeba3082bf950fbe5c3020c4b592 by andrzej.warzynski
[NFC] Fix the signature and definition of findByPrefix

In https://reviews.llvm.org/rG257b29715bb27b7d9f6c3c40c481b6a4af0b37e5,
the definition of OptTable::Info::Flags was changed from `unsigned
short` to `unsigned int`, but the definition/declaration of
OptTable::findByPrefix wasn't updated to reflect that.

This patch updates findByPrefix accordingly.
The file was modifiedllvm/include/llvm/Option/OptTable.h
The file was modifiedllvm/lib/Option/OptTable.cpp
Commit 7527898fef47da929e70c81100a0248c2f445762 by dkszelethus
[analyzer][MacroExpansion][NFC] Fix a missing test output check
The file was modifiedclang/test/Analysis/plist-macros-with-expansion.cpp
The file was modifiedclang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
Commit e6f2f17f05a1248b069ba830c4afffd61ee2f297 by ntv
[mlir][Linalg] Refactor StructuredOpInterface - NFC

This revision refactors and cleans up a bunch of things to simplify StructuredOpInterface
before work can proceed on Linalg on tensors:
- break out pieces of the StructuredOps trait that are part of the StructuredOpInterface,
- drop referenceIterators and referenceIndexingMaps that end up being more confusing than useful,
- drop NamedStructuredOpTrait
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgStructuredOpsInterface.td
The file was modifiedmlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
The file was modifiedmlir/test/mlir-linalg-ods-gen/test-linalg-ods-gen.tc
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgTraits.h
The file was modifiedmlir/tools/mlir-linalg-ods-gen/mlir-linalg-ods-gen.cpp
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgStructuredOps.td
The file was modifiedmlir/test/Dialect/Linalg/invalid.mlir
Commit be0d79f32930fe780dc89ba96dac0ba163f7ec50 by dkszelethus
[analyzer][MacroExpansion] Fix a crash where multiple parameters resolved to __VA_ARGS__

In short, macro expansions handled the case where a variadic parameter mapped to
multiple arguments, but not the other way around. An internal ticket was
submitted that demonstrated that we fail an assertion. Macro expansion so far
worked by lexing the source code token-by-token and using the Preprocessor to
turn these tokens into identifiers or just get their proper spelling, but what
this counter intuitively doesn't do, is actually expand these macros, so we have
to do the heavy lifting -- in this case, figure out what __VA_ARGS__ expands
into. Since this case can only occur in a nested macro, the information we
gathered from the containing macro does contain this information. If a parameter
resolves to __VA_ARGS__, we need to temporarily stop getting our tokens from the
lexer, and get the tokens from what __VA_ARGS__ maps to.

Differential Revision: https://reviews.llvm.org/D86135
The file was modifiedclang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
The file was modifiedclang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
The file was modifiedclang/test/Analysis/plist-macros-with-expansion.cpp
Commit 1851bab176bba70fb6c6452b7ae55c2dc97f7bb9 by ntv
[MLIR][Linalg] Undo spurious parameter name change
The file was modifiedmlir/include/mlir/Dialect/Linalg/IR/LinalgStructuredOps.td
Commit a5cefd95cc60318fbf8610ee782bd22b492692a2 by yitzhakm
[libTooling] Fix use of `char` in comparison.

Fixes Transformer's `Range` parser to handle `char` in a platform-independent way.

Differential Revision: https://reviews.llvm.org/D87409
The file was modifiedclang/lib/Tooling/Transformer/Parsing.cpp
Commit 9fda213ac0e2af05fdae69c60d2cdde316c31cd6 by david.green
[ARM] Update arm-storebytesmerge.ll test. NFC

This test was using a very odd combination of cortex-m7 and Neon. I have
changed it to thumbv7em only.
The file was modifiedllvm/test/CodeGen/ARM/arm-storebytesmerge.ll
Commit 271a7bb144d3f51d29a465329c3614eaa15a6a3c by richard.barton
[flang] Add new documentation main page

Add a new index page to be the Flang documentation mainpage instead of
Overview.md, which jumps straight into the compiler Design. The index file
needs to be in .rst format to use the toctree directive to create table of
contents.

Also use the sphinx_markdown_tables extension to generate html tables form
markdown.

A number of additional style changes to the existing docs were needed to make
this work well:
* Convert all headings to the # style, which works better with toctree's
   titlesonly option. Ensure that there is only one top-level heading per
   document.
* Add a title to documents that don't have one for rendering on the index.
* Convert the grammar docs from .txt to .md. for better rendering
* Fixed broken link to a section in another document - sphinx does not seem to
   support anchor links in markdown files.

Depends on D87226

Reviewed By: sameeranjoshi

Differential Revision: https://reviews.llvm.org/D87242
The file was modifiedflang/docs/IORuntimeInternals.md
The file was modifiedflang/docs/Preprocessing.md
The file was modifiedflang/docs/Character.md
The file was modifiedflang/docs/Semantics.md
The file was modifiedflang/docs/ModFiles.md
The file was modifiedflang/docs/BijectiveInternalNameUniquing.md
The file was addedflang/docs/index.md
The file was modifiedflang/docs/LabelResolution.md
The file was modifiedflang/docs/conf.py
The file was removedflang/docs/f2018-grammar.txt
The file was modifiedflang/docs/ArrayComposition.md
The file was modifiedflang/docs/Directives.md
The file was modifiedflang/docs/OptionComparison.md
The file was modifiedflang/docs/FortranForCProgrammers.md
The file was modifiedflang/docs/ParserCombinators.md
The file was modifiedflang/docs/C++style.md
The file was addedflang/docs/OpenMP-4.5-grammar.md
The file was modifiedflang/docs/OpenMP-semantics.md
The file was modifiedflang/docs/Calls.md
The file was modifiedflang/docs/Overview.md
The file was modifiedflang/docs/C++17.md
The file was modifiedflang/docs/ImplementingASemanticCheck.md
The file was removedflang/docs/OpenMP-4.5-grammar.txt
The file was modifiedflang/docs/Intrinsics.md
The file was modifiedflang/docs/PullRequestChecklist.md
The file was modifiedflang/docs/Extensions.md
The file was modifiedflang/docs/ControlFlowGraph.md
The file was modifiedflang/docs/RuntimeDescriptor.md
The file was addedflang/docs/f2018-grammar.md
The file was modifiedflang/docs/FortranIR.md
The file was modifiedflang/docs/Parsing.md
Commit 6af8758ba4d7c42298a14fcc2433f9ab49215ac1 by mikhail.maltsev
[libcxx] Handle target triples with dashes in platform name

Target triples may contain a dash in the platform name (e.g.
"aarch64-arm-none-eabi"). Account for it when splitting the triple
into components.

Reviewed By: ldionne, #libc

Differential Revision: https://reviews.llvm.org/D87508
The file was modifiedlibcxx/utils/libcxx/test/config.py
Commit 3eb141e5078a0ce9d92eadc721bc49d214d23056 by flo
[ConstraintSystem] Add helpers to deal with linear constraints.

This patch introduces a new ConstraintSystem class, that maintains a set
of linear constraints and uses Fourier–Motzkin elimination to eliminate
constraints to check if there are solutions for the system.

It also adds a convert-constraint-log-to-z3.py script, which can parse
the debug output of the constraint system and convert it to a python
script that feeds the constraints into Z3 and checks if it produces the
same result as the LLVM implementation. This is for verification
purposes.

Reviewed By: spatel

Differential Revision: https://reviews.llvm.org/D84544
The file was modifiedllvm/lib/Analysis/CMakeLists.txt
The file was addedllvm/include/llvm/Analysis/ConstraintSystem.h
The file was addedllvm/lib/Analysis/ConstraintSystem.cpp
The file was addedllvm/unittests/Analysis/ConstraintSystemTest.cpp
The file was addedllvm/utils/convert-constraint-log-to-z3.py
The file was modifiedllvm/unittests/Analysis/CMakeLists.txt
Commit bbb6392c1471aa4c7b7433be6dc572444005f617 by llvmgnsyncbot
[gn build] Port 3eb141e5078
The file was modifiedllvm/utils/gn/secondary/llvm/lib/Analysis/BUILD.gn
The file was modifiedllvm/utils/gn/secondary/llvm/unittests/Analysis/BUILD.gn
Commit 8da6ae4ce1b686c5c13698e4c5ee937811fda6f7 by flo
Revert "[ConstraintSystem] Add helpers to deal with linear constraints."

This reverts commit 3eb141e5078a0ce9d92eadc721bc49d214d23056.

This uses __builtin_mul_overflow which is not available everywhere.
The file was removedllvm/include/llvm/Analysis/ConstraintSystem.h
The file was removedllvm/unittests/Analysis/ConstraintSystemTest.cpp
The file was modifiedllvm/unittests/Analysis/CMakeLists.txt
The file was modifiedllvm/lib/Analysis/CMakeLists.txt
The file was removedllvm/lib/Analysis/ConstraintSystem.cpp
The file was removedllvm/utils/convert-constraint-log-to-z3.py
Commit de2adfaf2575b3193bdef5bde7dd19ac338e1f2e by llvmgnsyncbot
[gn build] Port 8da6ae4ce1b
The file was modifiedllvm/utils/gn/secondary/llvm/lib/Analysis/BUILD.gn
The file was modifiedllvm/utils/gn/secondary/llvm/unittests/Analysis/BUILD.gn
Commit b9bca883c970d36f408db80df21838c713c326db by dkszelethus
[analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a GDM trait

Based on the discussion in D82598#2171312. Thanks @NoQ!

D82598 is titled "Get rid of statement liveness, because such a thing doesn't
exist", and indeed, expressions express a value, non-expression statements
don't.

if (a && get() || []{ return true; }())
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ has a value
    ~ has a value
    ~~~~~~~~~~ has a value
                  ~~~~~~~~~~~~~~~~~~~~ has a value
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ doesn't have a value

That is simple enough, so it would only make sense if we only assigned symbolic
values to expressions in the static analyzer. Yet the interface checkers can
access presents, among other strange things, the following two methods:

ProgramState::BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V,
                       bool Invalidate=true)
ProgramState::getSVal(const Stmt *S, const LocationContext *LCtx)

So, what gives? Turns out, we make an exception for ReturnStmt (which we'll
leave for another time) and ObjCForCollectionStmt. For any other loops, in order
to know whether we should analyze another iteration, among other things, we
evaluate it's condition. Which is a problem for ObjCForCollectionStmt, because
it simply doesn't have one (CXXForRangeStmt has an implicit one!). In its
absence, we assigned the actual statement with a concrete 1 or 0 to indicate
whether there are any more iterations left. However, this is wildly incorrect,
its just simply not true that the for statement has a value of 1 or 0, we can't
calculate its liveness because that doesn't make any sense either, so this patch
turns it into a GDM trait.

Fixing this allows us to reinstate the assert removed in
https://reviews.llvm.org/rG032b78a0762bee129f33e4255ada6d374aa70c71.

Differential Revision: https://reviews.llvm.org/D86736
The file was modifiedclang/lib/StaticAnalyzer/Core/ExprEngine.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp
The file was addedclang/test/Analysis/objc-live-crash.mm
The file was modifiedclang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/Environment.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/SymbolManager.cpp
The file was modifiedclang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
The file was modifiedclang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
Commit 4d12d6149ced575be5386889b27f3bb1891052ab by Louis Dionne
[libc++] NFC: Add missing license to test
The file was modifiedlibcxx/test/libcxx/utilities/memory/util.smartptr/util.smartptr.shared/function_type_default_deleter.fail.cpp
Commit 48b510c4bc0fe090e635ee0440e46fc176527d7e by llvm-dev
[NFC] Fix compiler warnings due to integer comparison of different signedness

Fix by directly using INT_MAX and INT32_MAX.

Patch by: @nullptr.cpp (Yang Fan)

Differential Revision: https://reviews.llvm.org/D87347
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp
The file was modifiedllvm/lib/Analysis/VectorUtils.cpp
The file was modifiedllvm/lib/MC/WasmObjectWriter.cpp
The file was modifiedclang/lib/Lex/Pragma.cpp
Commit 0825fa9526818d7d9c94fa47e1fbe19de91003d1 by jeremy.morse
[LiveDebugValues][NFC] Add additional tests

These were supposed to be in 0caeaff1237 and D83054, but a fat-fingered
error when git-adding missed them. Ooops.
The file was addedllvm/test/DebugInfo/MIR/X86/livedebugvalues_many_loop_heads.mir
The file was addedllvm/test/DebugInfo/MIR/X86/livedebugvalues_load_in_loop.mir
Commit 6b5b6511a52276820d4a2e8529370a67cf0bd746 by spatel
[InstCombine] add/move tests for ptr diff; NFC
The file was modifiedllvm/test/Transforms/InstCombine/sub.ll
The file was modifiedllvm/test/Transforms/InstCombine/sub-gep.ll
Commit 324a53205a3af979e3de109fdd52f91781816cba by spatel
[InstCombine] propagate 'nsw' on pointer difference of 'inbounds' geps (PR47430)

There's no signed wrap if both geps have 'inbounds':
https://alive2.llvm.org/ce/z/nZkQTg
https://alive2.llvm.org/ce/z/7qFauh
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
The file was modifiedllvm/test/Transforms/InstCombine/sub.ll
The file was modifiedllvm/test/Transforms/InstCombine/sub-gep.ll
Commit 4c14ee61b73746b314d83e7c52e03d6527b78105 by ecaldas
[SyntaxTree] Rename functions to start with verb

According to LLVM coding standards:
https://llvm.org/docs/CodingStandards.html#name-types-functions-variables-and-enumerators-properly

Differential Revision: https://reviews.llvm.org/D87498
The file was modifiedclang/lib/Tooling/Syntax/Synthesis.cpp
The file was modifiedclang/include/clang/Tooling/Syntax/Tree.h
The file was modifiedclang/unittests/Tooling/Syntax/TreeTestBase.cpp
The file was modifiedclang/include/clang/Tooling/Syntax/Nodes.h
The file was modifiedclang/lib/Tooling/Syntax/Mutations.cpp
The file was modifiedclang/lib/Tooling/Syntax/ComputeReplacements.cpp
The file was modifiedclang/lib/Tooling/Syntax/Nodes.cpp
The file was modifiedclang/unittests/Tooling/Syntax/BuildTreeTest.cpp
The file was modifiedclang/lib/Tooling/Syntax/Tree.cpp
The file was modifiedclang/unittests/Tooling/Syntax/SynthesisTest.cpp
The file was modifiedclang/lib/Tooling/Syntax/BuildTree.cpp
Commit 6aa3fc4a5b88bd0175212e06b183c87cf87c306c by spatel
Revert "[InstCombine] propagate 'nsw' on pointer difference of 'inbounds' geps (PR47430)"

This reverts commit 324a53205a3af979e3de109fdd52f91781816cba.

On closer examination of at least one of the test diffs,
this does not appear to be correct in all cases. Even the
existing 'nsw' creation may be wrong based on this example:
https://alive2.llvm.org/ce/z/uL4Hw9
https://alive2.llvm.org/ce/z/fJMKQS
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
The file was modifiedllvm/test/Transforms/InstCombine/sub.ll
The file was modifiedllvm/test/Transforms/InstCombine/sub-gep.ll
Commit f92908cc749ead7a14960343636549409380d12b by kparzysz
[DSE] Make sure that DSE+MSSA can handle masked stores

Differential Revision: https://reviews.llvm.org/D87414
The file was modifiedllvm/test/Transforms/DeadStoreElimination/masked-dead-store.ll
The file was modifiedllvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
Commit 320624784c49ccaa0fb6dc5147a9c94d9170afb7 by Lubomir.Litchev
[NFC] Follow up on D87111 - Add an option for unrolling loops up to a factor - CR issues addressed.

Addressed some CR issues pointed out in D87111. Formatting and other nits.
The original Diff D87111 - Add an option for unrolling loops up to a factor.

Reviewed By: bondhugula

Differential Revision: https://reviews.llvm.org/D87313
The file was modifiedmlir/include/mlir/Dialect/Affine/Passes.td
The file was modifiedmlir/test/Dialect/SCF/loop-unroll.mlir
The file was modifiedmlir/lib/Dialect/Affine/Transforms/LoopUnroll.cpp
Commit d2c69c2f4947b38832a34cab14fe32c6b94dd4d2 by richard.barton
[flang] Fix build issue with BUILD_SHARED_LIBS=ON

Define Fortran::Semantics::Scope::GetName in the header so it is available
to Fortran::Evaluate::Tool::AttachDeclaration without a circular dependency
introduced in 82edd42.

Reviewed By: tskeith

Differential Revision: https://reviews.llvm.org/D87505
The file was modifiedflang/include/flang/Semantics/scope.h
The file was modifiedflang/lib/Semantics/scope.cpp
Commit 87494def4830f0b20af6cb8a4d8b3b668c8d3ec5 by thakis
[gn build] slightly improve libcxx_needs_site_config

The write_cmake_config() here still looks busted, but at least
the value that's explicitly set is now set correctly.
The file was modifiedllvm/utils/gn/secondary/libcxx/include/BUILD.gn
Commit bfbaf172ce9978d8367ff08fdf90eb05fff5759d by Jonas Devlieghere
[examples] Adjust ThinLtoInstrumentationLayer for emit signature change

Emit now takes a std::unique_ptr<MaterializationResponsibility> instead
of a MaterializationResponsibility directly.

This should fix:
http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake-standalone/
The file was modifiedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.cpp
The file was modifiedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.h
Commit f980ed4184f9d9139961e21739d7692ea86b0ccf by Louis Dionne
[libcxx] Remove the 'availability' Lit feature

Instead, use with_system_cxx_lib with various compile-only tests to ensure
that we're getting compile-time errors, as expected. This follows the
lead of ec46cfefe80d5.
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.single/new_align_val_t_nothrow.pass.cpp
The file was modifiedlibcxx/test/libcxx/thread/barrier.availability.verify.cpp
The file was modifiedlibcxx/test/libcxx/utilities/charconv/charconv.to.chars/availability.fail.cpp
The file was modifiedlibcxx/utils/libcxx/test/config.py
The file was modifiedlibcxx/test/libcxx/thread/atomic.availability.verify.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.array/sized_delete_array_fsizeddeallocation.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.single/new_align_val_t_nothrow_replace.pass.cpp
The file was modifiedlibcxx/docs/DesignDocs/AvailabilityMarkup.rst
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.array/new_align_val_t.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.single/new_align_val_t.pass.cpp
The file was modifiedlibcxx/test/libcxx/thread/latch.availability.verify.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.array/new_align_val_t_nothrow_replace.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.single/delete_align_val_t_replace.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.array/new_align_val_t_nothrow.pass.cpp
The file was modifiedlibcxx/test/libcxx/language.support/support.dynamic/libcpp_deallocate.sh.cpp
The file was addedlibcxx/test/libcxx/memory/aligned_allocation_macro.compile.pass.cpp
The file was modifiedlibcxx/test/libcxx/thread/semaphore.availability.verify.cpp
The file was removedlibcxx/test/libcxx/memory/aligned_allocation_macro.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.array/delete_align_val_t_replace.pass.cpp
The file was modifiedlibcxx/test/std/language.support/support.dynamic/new.delete/new.delete.single/sized_delete_fsizeddeallocation.pass.cpp
The file was addedlibcxx/test/libcxx/language.support/support.dynamic/aligned_alloc_availability.verify.cpp
Commit 54680591e8bf13322d265478d10f043a503fb4f2 by spatel
[SLP] add test for missed store vectorization; NFC
The file was modifiedllvm/test/Transforms/SLPVectorizer/X86/bad-reduction.ll
Commit 40f12ef621d9fd2fb2dfe24f82b3f4f8c091f4ba by spatel
[SLP] further limit bailout for load combine candidate (PR47450)

The test example based on PR47450 shows that we can
match non-byte-sized shifts, but those won't ever be
bswap opportunities. This isn't a full fix (we'd still
match if the shifts were by 8-bits for example), but
this should be enough until there's evidence that we
need to do more (this is a borderline case for
vectorization in the first place).
The file was modifiedllvm/test/Transforms/SLPVectorizer/X86/bad-reduction.ll
The file was modifiedllvm/lib/Transforms/Vectorize/SLPVectorizer.cpp
Commit f2bb4b88550a04be977d85e2efe0bef1664c9b31 by sebastian.neubauer
[docs] Fix typos

Differential Revision: https://reviews.llvm.org/D87356
The file was modifiedllvm/docs/AMDGPUDwarfExtensionsForHeterogeneousDebugging.rst
Commit 2df6efedef5c7647f966ba238a2901eb4b98204d by mascasa
[DFSan] Re-enable event_callbacks test.

Mark the dest pointers for memcpy and memmove as volatile, to avoid dead
store elimination.  Fixes https://bugs.llvm.org/show_bug.cgi?id=47488.
The file was modifiedcompiler-rt/test/dfsan/event_callbacks.c
Commit 560188ddcccb4e5ca2261c1990f085101238c8df by i
[ELF][PowerPC] Define NOP as 0x60000000 to tidy up code. NFC

Reviewed By: nemanjai

Differential Revision: https://reviews.llvm.org/D87483
The file was modifiedlld/ELF/Arch/PPC64.cpp
Commit bd2f7ad6036caf214c4e3f46bcea9d4aa70bb810 by Jonas Devlieghere
Revert "[examples] Adjust ThinLtoInstrumentationLayer for emit signature change"

I raced with Florian and he had already reverted the original patch.
The file was modifiedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.cpp
The file was modifiedllvm/examples/ThinLtoJIT/ThinLtoInstrumentationLayer.h