[all-commits] [llvm/llvm-project] 3127b6: [CVP] Infer range return attribute (#99620)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3127b659fad358b135721bd937fead49e5c73de5
      https://github.com/llvm/llvm-project/commit/3127b659fad358b135721bd937fead49e5c73de5
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-09-20 (Fri, 20 Sep 2024)

  Changed paths:
    M clang/test/CodeGenHLSL/BasicFeatures/OutputArguments.hlsl
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/add.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/ashr.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/cond-using-block-value.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/select.ll
    M llvm/test/Transforms/CorrelatedValuePropagation/vectors.ll

  Log Message:
  -----------
  [CVP] Infer range return attribute (#99620)

We already infer this in IPSCCP (which runs very early, so cannot
benefit from inlining and simplifications) and SCCP (which runs without
PredicateInfo, so does not use assumes). Do it in CVP as well, so it can
handle cases that IPSCCP/SCCP can't.

Fixes https://github.com/llvm/llvm-project/issues/98946 (everything
apart from f2, where the assume is dropped by the frontend).



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