SuccessChanges

Summary

  1. [analyzer][StdLibraryFunctionsChecker] Add more return value contraints (details)
  2. [mlir][Shape] Canonicalize assume_all with one input and tensor_cast of constant_shape (details)
  3. [libc++] Add a CI job to backdeploy to macOS 10.14 (details)
  4. Add sqrt lowering from standard to NVVM (details)
  5. [libc++] ADL-proof <iterator>. `__convert_to_integral` is not a customization point. (details)
  6. [mlir] Use rewriting infrastructure in AsyncToLLVM (details)
Commit febe75032f6f8322cce1dcbba11a44559aaa14e3 by gabor.marton
[analyzer][StdLibraryFunctionsChecker] Add more return value contraints

This time, we add contraints to functions that either return with [0, -1] or
with a file descriptor.

Differential Revision: https://reviews.llvm.org/D92771
The file was modifiedclang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
Commit 5844bc540cafb4330e7625b83371f1dab90528c3 by benny.kra
[mlir][Shape] Canonicalize assume_all with one input and tensor_cast of constant_shape

This allows simplifying some more complicated shape expressions

Differential Revision: https://reviews.llvm.org/D92843
The file was modifiedmlir/lib/Dialect/Shape/IR/Shape.cpp
The file was modifiedmlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
The file was modifiedmlir/lib/Dialect/Shape/IR/ShapeCanonicalization.td
The file was modifiedmlir/test/Dialect/Shape/canonicalize.mlir
Commit 8726f94cc74ff1e91a24cb7259e209995283ae0f by Louis Dionne
[libc++] Add a CI job to backdeploy to macOS 10.14

It adds coverage for back-deploying to a system that contains the
filesystem library, which 10.9 (currently our only back-deployment
target in the CI) does not have.

Differential Revision: https://reviews.llvm.org/D92794
The file was modifiedlibcxx/utils/ci/buildkite-pipeline.yml
Commit b4750f58d89f2fbc74489b5e56d30daadec47198 by frgossen
Add sqrt lowering from standard to NVVM

Differential Revision: https://reviews.llvm.org/D92850
The file was modifiedmlir/lib/Conversion/GPUToNVVM/LowerGpuOpsToNVVMOps.cpp
The file was modifiedmlir/test/Conversion/GPUToNVVM/gpu-to-nvvm.mlir
Commit c0428b3c0c1f3b78d39ceaf909908800fb7aabe3 by arthur.j.odwyer
[libc++] ADL-proof <iterator>. `__convert_to_integral` is not a customization point.

The interesting change here is that we no longer consider `__convert_to_integral`
an ADL customization point for the user's types. I think the new behavior
is defensible. The old behavior had come from D7449, where Marshall explicitly
said "people can't define their own [`__convert_to_integral` overloads]."

Differential Revision: https://reviews.llvm.org/D92814
The file was modifiedlibcxx/include/algorithm
The file was modifiedlibcxx/include/iterator
The file was addedlibcxx/test/std/iterators/iterator.primitives/iterator.operations/robust_against_adl.pass.cpp
Commit 111ae220a3bff944e10a0760ce344630f4efc40d by tpopp
[mlir] Use rewriting infrastructure in AsyncToLLVM

This is needed so a listener hears all changes during the dialect
conversion to allow correct rollbacks upon failure.

Differential Revision: https://reviews.llvm.org/D92685
The file was modifiedmlir/lib/Conversion/AsyncToLLVM/AsyncToLLVM.cpp