[all-commits] [llvm/llvm-project] b3ca9c: [ValueTracking] Add tests for isKnowNonZero of `tr...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b3ca9c30dedf28ecf687779294c1343a840bfd35
      https://github.com/llvm/llvm-project/commit/b3ca9c30dedf28ecf687779294c1343a840bfd35
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-24 (Wed, 24 Apr 2024)

  Changed paths:
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for isKnowNonZero of `trunc nuw/nsw`; NFC


  Commit: b933c8447b2a8797a882d3506460f49fb6f7bf34
      https://github.com/llvm/llvm-project/commit/b933c8447b2a8797a882d3506460f49fb6f7bf34
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-04-24 (Wed, 24 Apr 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add support for `trunc nuw/nsw` in isKnowNonZero

With `nsw`/`nuw`, the `trunc` is non-zero if its operand is non-zero.

Proofs: https://alive2.llvm.org/ce/z/iujmk6

Closes #89643


Compare: https://github.com/llvm/llvm-project/compare/78ebaa2d798f...b933c8447b2a

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