[all-commits] [llvm/llvm-project] 4075a3: [clang][NFC] Convert `Parser::CastParseKind` to sc...

Tue Apr 29 22:43:58 PDT 2025

  Branch: refs/heads/users/arichardson/spr/amdgpu-remove-explicitly-datalayout-from-tests-where-not-needed
  Home:   https://github.com/llvm/llvm-project
  Commit: 4075a3698a3fdda3a77ce2456e3bfefbc0f0c56e
      https://github.com/llvm/llvm-project/commit/4075a3698a3fdda3a77ce2456e3bfefbc0f0c56e
  Author: Vlad Serebrennikov <serebrennikov.vladislav at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseExpr.cpp
    M clang/lib/Parse/ParseExprCXX.cpp
    M clang/lib/Parse/ParseOpenMP.cpp

  Log Message:
  -----------
  [clang][NFC] Convert `Parser::CastParseKind` to scoped enum

  Commit: 830cf36bd4c491ef28d9bba74737e324639bb4cd
      https://github.com/llvm/llvm-project/commit/830cf36bd4c491ef28d9bba74737e324639bb4cd
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/include/llvm/IR/Instruction.h
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/IR/Instruction.cpp
    A llvm/test/Transforms/CorrelatedValuePropagation/pr137582.ll

  Log Message:
  -----------
  [LVI][ValueTracking] Take UB-implying attributes into account in `isSafeToSpeculativelyExecute` (#137604)

Closes https://github.com/llvm/llvm-project/issues/137582.

In the original case, LVI uses the edge information in `%entry ->
%if.end` to get a more precise result. However, since the call to `smin`
has an `noundef` return attribute, an immediate UB will be triggered
after optimization.

Currently, `isSafeToSpeculativelyExecuteWithOpcode(%min)` returns true
because
https://github.com/llvm/llvm-project/commit/6a288c1e32351d4be3b7630841af078fa1c3bb8b
only checks whether the function is speculatable. However, it is not
enough in this case.

This patch takes UB-implying attributes into account if
`IgnoreUBImplyingAttrs` is set to false. If it is set to true, the
caller is responsible for correctly propagating UB-implying attributes.

  Commit: e8c684a0e4299077904892d11b1906f8e660eb01
      https://github.com/llvm/llvm-project/commit/e8c684a0e4299077904892d11b1906f8e660eb01
  Author: Vlad Serebrennikov <serebrennikov.vladislav at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseExpr.cpp
    M clang/lib/Parse/ParseExprCXX.cpp
    M clang/lib/Parse/Parser.cpp

  Log Message:
  -----------
  [clang][NFC] Convert `Parser::ParenParseOption` to scoped enum

  Commit: 5f22b84b653e9b76a21ea4ea2ae864173242f237
      https://github.com/llvm/llvm-project/commit/5f22b84b653e9b76a21ea4ea2ae864173242f237
  Author: Vlad Serebrennikov <serebrennikov.vladislav at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseDeclCXX.cpp
    M clang/lib/Parse/ParseInit.cpp
    M clang/lib/Parse/ParseStmt.cpp
    M clang/lib/Parse/Parser.cpp

  Log Message:
  -----------
  [clang][NFC] Convert `Parser::IfExistsBehavior` to scoped enum

  Commit: 78a1d92870b596c67ee301b96d3a7864bafaab92
      https://github.com/llvm/llvm-project/commit/78a1d92870b596c67ee301b96d3a7864bafaab92
  Author: Vlad Serebrennikov <serebrennikov.vladislav at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseTemplate.cpp
    M clang/lib/Parse/ParseTentative.cpp

  Log Message:
  -----------
  [clang][NFC] Convert `Parser::TentativeCXXTypeIdContext` to scoped enum

  Commit: e803c20863f52a218a381a5f09ea8c23a57b545e
      https://github.com/llvm/llvm-project/commit/e803c20863f52a218a381a5f09ea8c23a57b545e
  Author: Vlad Serebrennikov <serebrennikov.vladislav at gmail.com>
  Date:   2025-04-30 (Wed, 30 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseDecl.cpp
    M clang/lib/Parse/ParseDeclCXX.cpp
    M clang/lib/Parse/ParseExprCXX.cpp
    M clang/lib/Parse/ParseTentative.cpp

  Log Message:
  -----------
  [clang][NFC] Convert `Parser::CXX11AttributeKind` to scoped enum

  Commit: e4332e470678093c42670b594014bce8e91fe31b
      https://github.com/llvm/llvm-project/commit/e4332e470678093c42670b594014bce8e91fe31b
  Author: Alexander Richardson <alexrichardson at google.com>
  Date:   2025-04-29 (Tue, 29 Apr 2025)

  Changed paths:
    M flang/test/CMakeLists.txt

  Log Message:
  -----------
  [flang] Fix build when examples are disabled

Without this change I get a build error due to the missing Bye target
when I configure my build with -DLLVM_INCLUDE_EXAMPLES=OFF.
This check for LLVM_BUILD_EXAMPLES matches the checks in llvm and lld.

Reviewed By: mgorny

Pull Request: https://github.com/llvm/llvm-project/pull/137908

  Commit: 6493fed8ae4642486453acc40bbfead516217989
      https://github.com/llvm/llvm-project/commit/6493fed8ae4642486453acc40bbfead516217989
  Author: Alex Richardson <alexrichardson at google.com>
  Date:   2025-04-29 (Tue, 29 Apr 2025)

  Changed paths:
    M clang/include/clang/Parse/Parser.h
    M clang/lib/Parse/ParseDecl.cpp
    M clang/lib/Parse/ParseDeclCXX.cpp
    M clang/lib/Parse/ParseExpr.cpp
    M clang/lib/Parse/ParseExprCXX.cpp
    M clang/lib/Parse/ParseInit.cpp
    M clang/lib/Parse/ParseOpenMP.cpp
    M clang/lib/Parse/ParseStmt.cpp
    M clang/lib/Parse/ParseTemplate.cpp
    M clang/lib/Parse/ParseTentative.cpp
    M clang/lib/Parse/Parser.cpp
    M flang/test/CMakeLists.txt
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/include/llvm/IR/Instruction.h
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/IR/Instruction.cpp
    M llvm/test/Transforms/AtomicExpand/AMDGPU/expand-atomic-i16-system.ll
    A llvm/test/Transforms/CorrelatedValuePropagation/pr137582.ll
    M llvm/test/Transforms/InferAddressSpaces/AMDGPU/ptrmask.ll
    M llvm/test/Transforms/Inline/AMDGPU/amdgpu-inline-alloca-argument-cost.ll
    M llvm/test/Transforms/Inline/AMDGPU/amdgpu-inline-alloca-argument.ll
    M llvm/test/Transforms/InstCombine/AMDGPU/memcpy-from-constant.ll
    M llvm/test/Transforms/SLPVectorizer/AMDGPU/address-space-ptr-sze-gep-index-assert.ll
    M llvm/test/Transforms/VectorCombine/AMDGPU/as-transition-inseltpoison.ll
    M llvm/test/Transforms/VectorCombine/AMDGPU/as-transition.ll

  Log Message:
  -----------
  add a few more missed cases

Created using spr 1.3.6-beta.1

Compare: https://github.com/llvm/llvm-project/compare/243c8cfd8385...6493fed8ae46

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