SuccessChanges

Summary

  1. [FPEnv] Document that constrained FP intrinsics cannot be mixed with non-constrained Reviewed by: andrew.w.kaylor, cameron.mcinally, uweigand Approved by: andrew.w.kaylor Differential Revision: https://reviews.llvm.org/D67360
  2. [aarch64] move custom isel of extract_vector_elt to td file - NFC In preparation for def-pat selection of dot product instructions, this patch moves the custom instruction selection of extract_vector_elt to the td file. Without this change it is impossible to catch a pattern that starts with an extract_vector_elt: the custom cpp code is executed first ahead of the patterns in the td files that are only executed at the end of the switch statement in SelectCode(Node). With this patch applied, it becomes possible to select a different pattern that starts with extract_vector_elt by selecting a higher complexity than this pattern. The patch has been tested on aarch64-linux with make check-all. Differential Revision: https://reviews.llvm.org/D67497
  3. Mark [[nodiscard]] test as unsupported with GCC 5
  4. Fix pretty printer test with GCC
  5. AArch64: fix EXPENSIVE_CHECKS for arm64_32. For some reason I'd decided to mark the end-result of a GOT load as dead. It's clearly not (necessarily).
  6. Fix various test failures with GCC
  7. [SLP] add test for vectorization of constant expressions; NFC Goes with D67362.
  8. [NFC][InstSimplify] Add some more tests for D67498/D67502
Revision 371888 by kpn:
[FPEnv] Document that constrained FP intrinsics cannot be mixed with non-constrained

Reviewed by: andrew.w.kaylor, cameron.mcinally, uweigand
Approved by: andrew.w.kaylor
Differential Revision: https://reviews.llvm.org/D67360
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/docs/LangRef.rst (diff)llvm.src/docs/LangRef.rst
Revision 371887 by spop:
[aarch64] move custom isel of extract_vector_elt to td file - NFC

In preparation for def-pat selection of dot product instructions,
this patch moves the custom instruction selection of extract_vector_elt
to the td file. Without this change it is impossible to catch a pattern that
starts with an extract_vector_elt: the custom cpp code is executed first
ahead of the patterns in the td files that are only executed at the end of
the switch statement in SelectCode(Node).

With this patch applied, it becomes possible to select a different pattern
that starts with extract_vector_elt by selecting a higher complexity than
this pattern.

The patch has been tested on aarch64-linux with make check-all.

Differential Revision: https://reviews.llvm.org/D67497
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp (diff)llvm.src/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp
The file was modified/llvm/trunk/lib/Target/AArch64/AArch64InstrInfo.td (diff)llvm.src/lib/Target/AArch64/AArch64InstrInfo.td
Revision 371886 by ericwf:
Mark [[nodiscard]] test as unsupported with GCC 5
Change TypePath in RepositoryPath in Workspace
The file was modified/libcxx/trunk/test/libcxx/thread/thread.lock/thread.lock.guard/nodiscard.fail.cpp (diff)libcxx.src/test/libcxx/thread/thread.lock/thread.lock.guard/nodiscard.fail.cpp
Revision 371884 by ericwf:
Fix pretty printer test with GCC
Change TypePath in RepositoryPath in Workspace
The file was modified/libcxx/trunk/test/pretty_printers/gdb_pretty_printer_test.sh.cpp (diff)libcxx.src/test/pretty_printers/gdb_pretty_printer_test.sh.cpp
Revision 371883 by Tim Northover:
AArch64: fix EXPENSIVE_CHECKS for arm64_32.

For some reason I'd decided to mark the end-result of a GOT load as
dead. It's clearly not (necessarily).
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/lib/Target/AArch64/AArch64ExpandPseudoInsts.cpp (diff)llvm.src/lib/Target/AArch64/AArch64ExpandPseudoInsts.cpp
Revision 371880 by ericwf:
Fix various test failures with GCC
Change TypePath in RepositoryPath in Workspace
The file was modified/libcxx/trunk/include/type_traits (diff)libcxx.src/include/type_traits
The file was modified/libcxx/trunk/test/std/utilities/meta/meta.unary/meta.unary.prop/is_constructible.pass.cpp (diff)libcxx.src/test/std/utilities/meta/meta.unary/meta.unary.prop/is_constructible.pass.cpp
The file was modified/libcxx/trunk/test/std/utilities/tuple/tuple.tuple/tuple.cnstr/deduct.pass.cpp (diff)libcxx.src/test/std/utilities/tuple/tuple.tuple/tuple.cnstr/deduct.pass.cpp
Revision 371879 by spatel:
[SLP] add test for vectorization of constant expressions; NFC

Goes with D67362.
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/test/Transforms/SLPVectorizer/X86/consecutive-access.ll (diff)llvm.src/test/Transforms/SLPVectorizer/X86/consecutive-access.ll
Revision 371877 by lebedevri:
[NFC][InstSimplify] Add some more tests for D67498/D67502
Change TypePath in RepositoryPath in Workspace
The file was modified/llvm/trunk/test/Transforms/InstSimplify/result-of-add-of-negative-is-non-zero-and-no-underflow.ll (diff)llvm.src/test/Transforms/InstSimplify/result-of-add-of-negative-is-non-zero-and-no-underflow.ll
The file was modified/llvm/trunk/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll (diff)llvm.src/test/Transforms/InstSimplify/result-of-usub-is-non-zero-and-no-overflow.ll