[all-commits] [llvm/llvm-project] aa7f82: [IR] Add helpers for `NUWAddLike` and `NSWAddLike`...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa7f8200ac29823e6c662d1f41763c2509514161
      https://github.com/llvm/llvm-project/commit/aa7f8200ac29823e6c662d1f41763c2509514161
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-21 (Thu, 21 Mar 2024)

  Changed paths:
    M llvm/include/llvm/IR/PatternMatch.h

  Log Message:
  -----------
  [IR] Add helpers for `NUWAddLike` and `NSWAddLike` to also match `or disjoint`; NFC

`or disjoint` implies `add nuw nsw`: https://alive2.llvm.org/ce/z/VABhDA


  Commit: ac13e5c0f698c1e3f759e622d2d3cf36ab3b77f3
      https://github.com/llvm/llvm-project/commit/ac13e5c0f698c1e3f759e622d2d3cf36ab3b77f3
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-21 (Thu, 21 Mar 2024)

  Changed paths:
    M llvm/test/Transforms/InstCombine/add.ll
    M llvm/test/Transforms/InstCombine/div.ll
    M llvm/test/Transforms/InstCombine/sadd-with-overflow.ll
    M llvm/test/Transforms/InstCombine/shift-add.ll
    M llvm/test/Transforms/InstCombine/uadd-with-overflow.ll

  Log Message:
  -----------
  [InstCombine] Add tests for integrating `N{U,S}WAddLike`; NFC


  Commit: b3ee127e7dead25fa284b26d2c5a067671d0e896
      https://github.com/llvm/llvm-project/commit/b3ee127e7dead25fa284b26d2c5a067671d0e896
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-03-21 (Thu, 21 Mar 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp
    M llvm/test/Transforms/InstCombine/add.ll
    M llvm/test/Transforms/InstCombine/div.ll
    M llvm/test/Transforms/InstCombine/sadd-with-overflow.ll
    M llvm/test/Transforms/InstCombine/shift-add.ll
    M llvm/test/Transforms/InstCombine/uadd-with-overflow.ll

  Log Message:
  -----------
  [InstCombine] integrate `N{U,S}WAddLike` into existing folds

Just went a quick replacement of `N{U,S}WAdd` with the `Like` variant
that old matches `or disjoint`

Closes #86082


Compare: https://github.com/llvm/llvm-project/compare/3218570620a3...b3ee127e7dea

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