[all-commits] [llvm/llvm-project] e2a855: [InstCombine] Fix SimplifyDemandedBits recursion c...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e2a855def523cf3731b971ad383d2942cd425944
      https://github.com/llvm/llvm-project/commit/e2a855def523cf3731b971ad383d2942cd425944
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-10-01 (Tue, 01 Oct 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
    A llvm/test/Transforms/InstCombine/instcombine-verify-known-bits.ll

  Log Message:
  -----------
  [InstCombine] Fix SimplifyDemandedBits recursion cutoff for Arguments

There was a discrepancy between how SimplifyDemandedBits and
computeKnownBits handled the Argument case. computeKnownBits()
would use information from range attributes even once the
recursion limit has been reached.

Fixes https://github.com/llvm/llvm-project/issues/110631.



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