[all-commits] [llvm/llvm-project] d4cd65: [LVI] Handle range attributes (#86413)

[Andreas Jonson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d4cd65ecf2546e509f43363f96364c976f49b9da
      https://github.com/llvm/llvm-project/commit/d4cd65ecf2546e509f43363f96364c976f49b9da
  Author: Andreas Jonson <andjo403 at hotmail.com>
  Date:   2024-04-04 (Thu, 04 Apr 2024)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/range.ll

  Log Message:
  -----------
  [LVI] Handle range attributes (#86413)

This adds handling of range attribute for return values of Call and
Invoke in getFromRangeMetadata and handling of argument with range
attribute in solveBlockValueNonLocal.
There is one additional check of the range metadata at line 1120 in
getValueFromSimpleICmpCondition that is not covered in this PR as after
https://github.com/llvm/llvm-project/pull/75311 there is no test that
cover that check any more and I have not been able to create a test that
trigger that code.



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