SuccessChanges

Changes from Git (git http://labmaster3.local/git/llvm-project.git)

Summary

  1. GlobalISel: Partially implement fewerElementsVector G_UNMERGE_VALUES (details)
  2. [SLC] Improve dereferenceable bytes annotation (details)
  3. [X86] Add some vXi8 extract subvector cost model tests (details)
  4. [analyzer][NFC] Refactoring BugReporter.cpp P3.: (details)
  5. [Dwarf] Complete the list of type tags. (details)
  6. [lld][WebAssembly] Allow linking of pic code into static binaries (details)
  7. [NFC][AIX] Use assert instead of llvm_unreachable (details)
  8. Reland r368691: "[AIX] Implement LR prolog/epilog save/restore" (details)
  9. [NFC] Revisited/updated tests (details)
  10. [ValueTracking] Improve reverse assumption inference (details)
Commit 28215caa60a40dcbee5666c319f251afce86fa72 by Matthew.Arsenault
GlobalISel: Partially implement fewerElementsVector G_UNMERGE_VALUES
Odd sized vectors aren't handled yet.
llvm-svn: 368713
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fsub.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-ashr.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fabs.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-sext.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fsqrt.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-phi.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-smin.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-unmerge-values.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fmaxnum.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-zext.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fneg.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-shl.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fminnum.mir
The file was modifiedllvm/lib/Target/AMDGPU/AMDGPULegalizerInfo.cpp
The file was modifiedllvm/include/llvm/CodeGen/GlobalISel/LegalizerHelper.h
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fadd.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fma.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-umax.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fcanonicalize.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-umin.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fpext.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-smax.mir
The file was modifiedllvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-fmul.mir
The file was modifiedllvm/test/CodeGen/AMDGPU/GlobalISel/legalize-lshr.mir
Commit 90a30fdcc39ebbee04b3d426ea0496179eddc494 by david.bolvansky
[SLC] Improve dereferenceable bytes annotation
llvm-svn: 368715
The file was modifiedllvm/test/Transforms/InstCombine/mem-deref-bytes.ll
The file was modifiedllvm/lib/Transforms/Utils/SimplifyLibCalls.cpp
Commit e842314e768b6cf22e61c57d02c36616a76469ca by llvm-dev
[X86] Add some vXi8 extract subvector cost model tests
We don't have full 512-bit test coverage yet - but there's enough to
help test D65892
llvm-svn: 368716
The file was modifiedllvm/test/Analysis/CostModel/X86/shuffle-extract_subvector.ll
Commit 6d716ef1814bea126dcdb761eb2482abb9c44f39 by dkszelethus
[analyzer][NFC] Refactoring BugReporter.cpp P3.:
std::shared_pointer<PathDiagnosticPiece> -> PathDiagnosticPieceRef
find clang/ -type f -exec sed -i
's/std::shared_ptr<PathDiagnosticPiece>/PathDiagnosticPieceRef/g' {} \;
git diff -U3 --no-color HEAD^ | clang-format-diff-6.0 -p1 -i
Just as C++ is meant to be refactored, right?
Differential Revision: https://reviews.llvm.org/D65381
llvm-svn: 368717
The file was modifiedclang/lib/StaticAnalyzer/Checkers/Taint.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h
The file was modifiedclang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/Taint.h
The file was modifiedclang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
The file was modifiedclang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
The file was modifiedclang/include/clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/BugReporter.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
Commit 57ae300562f826e3fee81017d6473a5dec516383 by Jonas Devlieghere
[Dwarf] Complete the list of type tags.
An incorrect verification error revealed that the list of type tags was
incomplete. This patch adds the missing types by adding a tag kind to
the Dwarf.def file, which is used by the `isType` function.
A test was added for the original verification error.
Differential revision: https://reviews.llvm.org/D65914
llvm-svn: 368718
The file was modifiedllvm/include/llvm/BinaryFormat/Dwarf.h
The file was modifiedllvm/include/llvm/BinaryFormat/Dwarf.def
The file was modifiedllvm/include/llvm/ObjectYAML/DWARFYAML.h
The file was modifiedllvm/lib/BinaryFormat/Dwarf.cpp
The file was modifiedllvm/test/DebugInfo/X86/template.ll
Commit 7185a7301e860a2c7c35a2013ac27f6a8673f067 by sbc
[lld][WebAssembly] Allow linking of pic code into static binaries
Summary: See https://github.com/emscripten-core/emscripten/issues/9013
Subscribers: dschuff, jgravelle-google, aheejin, sunfish, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D65922
llvm-svn: 368719
The file was modifiedlld/wasm/SyntheticSections.cpp
The file was modifiedlld/wasm/Driver.cpp
The file was addedlld/test/wasm/pic-static.ll
The file was modifiedlld/wasm/Relocations.cpp
The file was modifiedlld/wasm/Symbols.cpp
The file was modifiedlld/wasm/Writer.cpp
The file was modifiedlld/wasm/Symbols.h
The file was modifiedlld/wasm/SyntheticSections.h
Commit 9bf01e53a39f9b5b0b20fa2e425cf859c1f92ea8 by daltenty
[NFC][AIX] Use assert instead of llvm_unreachable
Addresses post-commit comments on https://reviews.llvm.org/D64825. Use
assert instead of llvm_unreachable to check if invalid csect types are
being generated. Use report_fatal_error on unimplemented XCOFF features.
Differential Revision: https://reviews.llvm.org/D64825
llvm-svn: 368720
The file was modifiedllvm/lib/MC/MCSectionXCOFF.cpp
The file was modifiedllvm/lib/MC/MCAsmStreamer.cpp
The file was modifiedllvm/include/llvm/MC/MCStreamer.h
The file was modifiedllvm/lib/MC/MCXCOFFStreamer.cpp
Commit 09967050098ea75a3b331c1d6ab21df7b2e2b4df by hubert.reinterpretcast
Reland r368691: "[AIX] Implement LR prolog/epilog save/restore"
Trying again with the code changes (and not just the new test).
Summary: This patch fixes the offsets of fields in the stack frame
linkage save area for AIX.
Reviewers: sfertile, hubert.reinterpretcast, jasonliu, Xiangling_L,
xingxue, ZarkoCA, daltenty
Reviewed By: hubert.reinterpretcast
Subscribers: wuzish, nemanjai, hiraditya, kbarton, MaskRay, jsji,
llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D64424
Patch by Chris Bowler!
llvm-svn: 368721
The file was modifiedllvm/lib/Target/PowerPC/PPCFrameLowering.cpp
The file was modifiedllvm/test/CodeGen/PowerPC/test_call_aix.ll
The file was modifiedllvm/lib/Target/PowerPC/PPCFrameLowering.h
The file was addedllvm/test/CodeGen/PowerPC/aix-lr.ll
Commit dde10cd7a968e57598726347b323348eceffeb05 by david.bolvansky
[NFC] Revisited/updated tests
llvm-svn: 368722
The file was modifiedllvm/test/Transforms/InstCombine/mem-deref-bytes.ll
Commit 2a4f26b4c28aaf9307e690b2f743ffcde5183b9e by nikita.ppv
[ValueTracking] Improve reverse assumption inference
Use isGuaranteedToTransferExecutionToSuccessor() instead of
isSafeToSpeculativelyExecute() when seeing whether we can propagate the
information in an assume backwards in isValidAssumeForContext(). The
latter is more general - it also allows arbitrary loads/stores - and is
also the condition we want: if our assume is guaranteed to execute, its
condition not holding would be UB.
Original patch by arielb1.
Differential Revision: https://reviews.llvm.org/D37215
llvm-svn: 368723
The file was modifiedllvm/lib/Analysis/ValueTracking.cpp
The file was modifiedllvm/test/Transforms/InstCombine/assume_inevitable.ll