[all-commits] [llvm/llvm-project] 008e3a: [ValueTracking] Test for trunc nuw cond in assume....

[Andreas Jonson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 008e3a0b3d08a863f777d67e067eed75f0c08402
      https://github.com/llvm/llvm-project/commit/008e3a0b3d08a863f777d67e067eed75f0c08402
  Author: Andreas Jonson <andjo403 at hotmail.com>
  Date:   2025-04-05 (Sat, 05 Apr 2025)

  Changed paths:
    M llvm/test/Transforms/InstCombine/assume.ll

  Log Message:
  -----------
  [ValueTracking] Test for trunc nuw cond in assume. (NFC)


  Commit: 16573315d986568641e536c37c84fcc5dd161bf6
      https://github.com/llvm/llvm-project/commit/16573315d986568641e536c37c84fcc5dd161bf6
  Author: Andreas Jonson <andjo403 at hotmail.com>
  Date:   2025-04-05 (Sat, 05 Apr 2025)

  Changed paths:
    M llvm/test/Transforms/InstCombine/and-or-icmps.ll

  Log Message:
  -----------
  [InstCombine] Test for fold of and of icmps with operands in the range(0,2)  (NFC)

proof https://alive2.llvm.org/ce/z/xeazCu

this is a regression found in https://github.com/llvm/llvm-project/pull/128861
This fold is done when icmp eq/ne x, 1/0 is folded to trunc nuw x iff x is in the range(0,2)


Compare: https://github.com/llvm/llvm-project/compare/6c9e098b397f...16573315d986

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