[all-commits] [llvm/llvm-project] 711fca: [ValueTracking] Handle `trunc nuw` in `computeKnow...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 711fcae67ac4902283c513c5c91fe171595b3916
      https://github.com/llvm/llvm-project/commit/711fcae67ac4902283c513c5c91fe171595b3916
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-02-03 (Mon, 03 Feb 2025)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/known-bits.ll

  Log Message:
  -----------
  [ValueTracking] Handle `trunc nuw` in `computeKnownBitsFromICmpCond` (#125414)

This patch extends https://github.com/llvm/llvm-project/pull/82803 to
further infer high bits when `nuw` is set. It will save some and
instructions on induction variables. No real-world benefit is observed
for `trunc nsw`.
Alive2: https://alive2.llvm.org/ce/z/j-YFvt



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