[all-commits] [llvm/llvm-project] aea792: [libc++] Unify __is_trivial_equality_predicate and...

[Anton Rydahl via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aea7929b0a04c5ea0ac85aba2b85fb58c718626f
      https://github.com/llvm/llvm-project/commit/aea7929b0a04c5ea0ac85aba2b85fb58c718626f
  Author: Anton Rydahl <44206479+AntonRydahl at users.noreply.github.com>
  Date:   2023-11-23 (Thu, 23 Nov 2023)

  Changed paths:
    M libcxx/include/CMakeLists.txt
    M libcxx/include/__algorithm/comp.h
    M libcxx/include/__algorithm/equal.h
    M libcxx/include/__algorithm/pstl_backends/cpu_backends/transform_reduce.h
    M libcxx/include/__functional/operations.h
    M libcxx/include/__functional/ranges_operations.h
    M libcxx/include/__numeric/pstl_transform_reduce.h
    M libcxx/include/__type_traits/operation_traits.h
    R libcxx/include/__type_traits/predicate_traits.h
    M libcxx/include/module.modulemap.in

  Log Message:
  -----------
  [libc++] Unify __is_trivial_equality_predicate and __is_trivial_plus_operation into __desugars_to (#68642)

When working on an OpenMP offloading backend for standard parallel
algorithms (https://github.com/llvm/llvm-project/pull/66968) we noticed
the need of a generalization of `__is_trivial_plus_operation`. This patch
merges `__is_trivial_equality_predicate` and `__is_trivial_plus_operation`
into `__desugars_to`, and in the future we might extend the latter to support
other binary operations as well.

Co-authored-by: Louis Dionne <ldionne.2 at gmail.com>