[all-commits] [llvm/llvm-project] 8dd160: Revert "[VPlan] Fold NOT into predicate of wide co...

Fri Mar 7 14:58:09 PST 2025

  Branch: refs/heads/users/vitalybuka/spr/nfcir-wrap-stdset-into-cfifunctionindex
  Home:   https://github.com/llvm/llvm-project
  Commit: 8dd160f4767f971572eac065c8650d9202ff5bf9
      https://github.com/llvm/llvm-project/commit/8dd160f4767f971572eac065c8650d9202ff5bf9
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/VPlan.h
    M llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
    M llvm/test/Transforms/LoopVectorize/AArch64/masked-call.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/masked-op-cost.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/simple_early_exit.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-select-cmp.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-tail-folding.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/tail-fold-uniform-memops.ll
    M llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
    M llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-cond-reduction.ll
    M llvm/test/Transforms/LoopVectorize/X86/cost-model.ll
    M llvm/test/Transforms/LoopVectorize/X86/drop-inbounds-flags-for-reverse-vector-pointer.ll
    M llvm/test/Transforms/LoopVectorize/X86/gep-use-outside-loop.ll
    M llvm/test/Transforms/LoopVectorize/X86/induction-costs.ll
    M llvm/test/Transforms/LoopVectorize/X86/masked-store-cost.ll
    M llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll
    M llvm/test/Transforms/LoopVectorize/X86/pr55096-scalarize-add.ll
    M llvm/test/Transforms/LoopVectorize/debugloc.ll
    M llvm/test/Transforms/LoopVectorize/epilog-vectorization-any-of-reductions.ll
    M llvm/test/Transforms/LoopVectorize/if-reduction.ll
    M llvm/test/Transforms/LoopVectorize/load-deref-pred-align.ll
    M llvm/test/Transforms/LoopVectorize/loop-form.ll
    M llvm/test/Transforms/LoopVectorize/pointer-induction.ll
    M llvm/test/Transforms/LoopVectorize/select-cmp.ll
    M llvm/test/Transforms/LoopVectorize/select-reduction-start-value-may-be-undef-or-poison.ll
    M llvm/test/Transforms/LoopVectorize/single_early_exit.ll
    M llvm/test/Transforms/LoopVectorize/single_early_exit_live_outs.ll
    M llvm/test/Transforms/LoopVectorize/vplan-sink-scalars-and-merge.ll

  Log Message:
  -----------
  Revert "[VPlan] Fold NOT into predicate of wide compares." (#130347)

Reverts llvm/llvm-project#129430

this seems to have introduced a divergence between legacy and
VPlan-based cost model

https://lab.llvm.org/buildbot/#/builders/30/builds/17159

  Commit: f1178815d2435fdbe9eb5491ff52663e78c8ef7a
      https://github.com/llvm/llvm-project/commit/f1178815d2435fdbe9eb5491ff52663e78c8ef7a
  Author: agozillon <Andrew.Gozillon at amd.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M flang/lib/Lower/OpenMP/ClauseProcessor.cpp
    M flang/lib/Optimizer/OpenMP/MapInfoFinalization.cpp
    M flang/test/Integration/OpenMP/map-types-and-sizes.f90
    R flang/test/Lower/OpenMP/Todo/from-expectation-modifier.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-close.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-ompxhold.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-present.f90
    R flang/test/Lower/OpenMP/Todo/to-expectation-modifier.f90
    A flang/test/Lower/OpenMP/map-modifiers.f90
    M mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp
    M mlir/test/Dialect/OpenMP/ops.mlir
    M offload/test/Inputs/target-use-dev-ptr.c
    M offload/test/offloading/fortran/target-use-dev-ptr.f90
    A offload/test/offloading/fortran/target_map_ompx_hold.f90
    A offload/test/offloading/fortran/target_map_present_fail.f90
    A offload/test/offloading/fortran/target_map_present_success.f90
    A offload/test/offloading/fortran/usm_map_close.f90

  Log Message:
  -----------
  [Flang][OpenMP][MLIR] Implement close, present and ompx_hold modifiers for Flang maps (#129586)

This PR adds an initial implementation for the map modifiers close,
present and ompx_hold, primarily just required adding the appropriate
map type flags to the map type bits. In the case of ompx_hold it
required adding the map type to the OpenMP dialect. Close has a bit of a
problem when utilised with the ALWAYS map type on descriptors, so it is
likely we'll have to make sure close and always are not applied to the
descriptor simultaneously in the future when we apply always to the
descriptors to facilitate movement of descriptor information to device
for consistency, however, we may find an alternative to this with
further investigation. For the moment, it is a TODO/Note to keep track
of it.

  Commit: d90423e310482bdbc731242fa25dcb3dd44e69de
      https://github.com/llvm/llvm-project/commit/d90423e310482bdbc731242fa25dcb3dd44e69de
  Author: Alexey Samsonov <vonosmas at gmail.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M libc/test/src/stdlib/SortingTest.h
    M utils/bazel/llvm-project-overlay/libc/BUILD.bazel
    M utils/bazel/llvm-project-overlay/libc/test/src/stdlib/BUILD.bazel

  Log Message:
  -----------
  [libc][bazel] Minor cleanup to remove unused dependencies. (#130348)

* strcpy doesn't need to depend on memcpy
* qsort_test_helper has been generalized and doesn't need to depend on
qsort.

This is a small cleanup to unblock the work outlined in #130327.

  Commit: 993cbead9e5c2385b93b7931b74c5d83dbadeb34
      https://github.com/llvm/llvm-project/commit/993cbead9e5c2385b93b7931b74c5d83dbadeb34
  Author: Tom Tromey <tromey at adacore.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
    A llvm/test/DebugInfo/Generic/subrange_type.ll

  Log Message:
  -----------
  Two fixes for DISubrangeType (#130345)

My previous patch to add DISubrangeType (#126772) had a couple of minor
errors. This patch corrects them.

1. When using a DISubrangeType as an array index type, the wrong tag was
written into the DIE.

2. I'd intended for subranges to use bit strides, not byte strides --
but neglected to actually implement this. Ada needs bit strides.

This patch adds a new test that checks both these things.

Finally, this patch adds some documentation for DISubrangeType.

  Commit: c419acdf82d3b33cf151f78865469cf155ddf372
      https://github.com/llvm/llvm-project/commit/c419acdf82d3b33cf151f78865469cf155ddf372
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp
    M clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
    M clang/test/Analysis/Checkers/WebKit/call-args.cpp

  Log Message:
  -----------
  [alpha.webkit.UncountedCallArgsChecker] Recognize CXXUnresolvedConstructExpr as a safe origin. (#130258)

Handle CXXUnresolvedConstructExpr in tryToFindPtrOrigin so that
constructing Ref, RefPtr, CheckedRef, CheckedPtr, ... constructed in
such a way that its type is unresolved at AST level will be still
treated as a safe pointer origin.

Also fix a bug in isPtrOfType that it was not recognizing
DeducedTemplateSpecializationType.

  Commit: 356bbb0b2527ba929ac239596b361d257a411d2a
      https://github.com/llvm/llvm-project/commit/356bbb0b2527ba929ac239596b361d257a411d2a
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp

  Log Message:
  -----------
  [NFC][IR] Use auto instead of explicit type (#130351)

Preparation for CFI Index refactoring,
which will fix O(N^2) in ThinLTO indexing.

  Commit: e4a6e2eb7176e677eb9a9c45913a284d374d60c5
      https://github.com/llvm/llvm-project/commit/e4a6e2eb7176e677eb9a9c45913a284d374d60c5
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Bitcode/Writer/BitcodeWriter.cpp

  Log Message:
  -----------
  [NFC][IR] Remove redundant .empty() check (#130352)

Preparation for CFI Index refactoring,
which will fix O(N^2) in ThinLTO indexing.

  Commit: d8e8892ddfe4ba1e3b7f859134766ef942bc0ba2
      https://github.com/llvm/llvm-project/commit/d8e8892ddfe4ba1e3b7f859134766ef942bc0ba2
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Transforms/IPO/LowerTypeTests.cpp

  Log Message:
  -----------
  [NFC][ThinLTO] Avoid temporary std::string (#130353)

Preparation for CFI Index refactoring,
which will fix O(N^2) in ThinLTO indexing.

  Commit: e3076c6f3df8e5611406426f6c93b38c8a721a4b
      https://github.com/llvm/llvm-project/commit/e3076c6f3df8e5611406426f6c93b38c8a721a4b
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp

  Log Message:
  -----------
  [NFC][IR] Use emplace instead of insert (#130360)

Preparation for for CFI Index refactoring,
which will fix O(N^2) in ThinLTO indexing.

  Commit: ad73b9074ec0385e606d1d177ba5c2eb3bcc116c
      https://github.com/llvm/llvm-project/commit/ad73b9074ec0385e606d1d177ba5c2eb3bcc116c
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-03-07 (Fri, 07 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp
    M clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
    M clang/test/Analysis/Checkers/WebKit/call-args.cpp
    M flang/lib/Lower/OpenMP/ClauseProcessor.cpp
    M flang/lib/Optimizer/OpenMP/MapInfoFinalization.cpp
    M flang/test/Integration/OpenMP/map-types-and-sizes.f90
    R flang/test/Lower/OpenMP/Todo/from-expectation-modifier.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-close.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-ompxhold.f90
    R flang/test/Lower/OpenMP/Todo/map-modifiers-present.f90
    R flang/test/Lower/OpenMP/Todo/to-expectation-modifier.f90
    A flang/test/Lower/OpenMP/map-modifiers.f90
    M libc/test/src/stdlib/SortingTest.h
    M llvm/docs/LangRef.rst
    M llvm/include/llvm/IR/ModuleSummaryIndex.h
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
    M llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
    M llvm/lib/Transforms/IPO/LowerTypeTests.cpp
    M llvm/lib/Transforms/Vectorize/VPlan.h
    M llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
    A llvm/test/DebugInfo/Generic/subrange_type.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/masked-call.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/masked-op-cost.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/simple_early_exit.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-select-cmp.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/sve-tail-folding.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/tail-fold-uniform-memops.ll
    M llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
    M llvm/test/Transforms/LoopVectorize/RISCV/vectorize-force-tail-with-evl-cond-reduction.ll
    M llvm/test/Transforms/LoopVectorize/X86/cost-model.ll
    M llvm/test/Transforms/LoopVectorize/X86/drop-inbounds-flags-for-reverse-vector-pointer.ll
    M llvm/test/Transforms/LoopVectorize/X86/gep-use-outside-loop.ll
    M llvm/test/Transforms/LoopVectorize/X86/induction-costs.ll
    M llvm/test/Transforms/LoopVectorize/X86/masked-store-cost.ll
    M llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll
    M llvm/test/Transforms/LoopVectorize/X86/pr55096-scalarize-add.ll
    M llvm/test/Transforms/LoopVectorize/debugloc.ll
    M llvm/test/Transforms/LoopVectorize/epilog-vectorization-any-of-reductions.ll
    M llvm/test/Transforms/LoopVectorize/if-reduction.ll
    M llvm/test/Transforms/LoopVectorize/load-deref-pred-align.ll
    M llvm/test/Transforms/LoopVectorize/loop-form.ll
    M llvm/test/Transforms/LoopVectorize/pointer-induction.ll
    M llvm/test/Transforms/LoopVectorize/select-cmp.ll
    M llvm/test/Transforms/LoopVectorize/select-reduction-start-value-may-be-undef-or-poison.ll
    M llvm/test/Transforms/LoopVectorize/single_early_exit.ll
    M llvm/test/Transforms/LoopVectorize/single_early_exit_live_outs.ll
    M llvm/test/Transforms/LoopVectorize/vplan-sink-scalars-and-merge.ll
    M mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp
    M mlir/test/Dialect/OpenMP/ops.mlir
    M offload/test/Inputs/target-use-dev-ptr.c
    M offload/test/offloading/fortran/target-use-dev-ptr.f90
    A offload/test/offloading/fortran/target_map_ompx_hold.f90
    A offload/test/offloading/fortran/target_map_present_fail.f90
    A offload/test/offloading/fortran/target_map_present_success.f90
    A offload/test/offloading/fortran/usm_map_close.f90
    M utils/bazel/llvm-project-overlay/libc/BUILD.bazel
    M utils/bazel/llvm-project-overlay/libc/test/src/stdlib/BUILD.bazel

  Log Message:
  -----------
  format

Created using spr 1.3.4

Compare: https://github.com/llvm/llvm-project/compare/67c2b4eab45b...ad73b9074ec0

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications