[all-commits] [llvm/llvm-project] 0a62a9: [SelectOpt] Add handling for not conditions. (#92517)

[David Green via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0a62a99aa610a7a8cf739208603646bc01b37347
      https://github.com/llvm/llvm-project/commit/0a62a99aa610a7a8cf739208603646bc01b37347
  Author: David Green <david.green at arm.com>
  Date:   2024-05-22 (Wed, 22 May 2024)

  Changed paths:
    M llvm/lib/CodeGen/SelectOptimize.cpp
    M llvm/test/CodeGen/AArch64/selectopt-not.ll

  Log Message:
  -----------
  [SelectOpt] Add handling for not conditions. (#92517)

This patch attempts to help the SelectOpt pass detect select groups made
up of conditions and not(conditions). Usually these are canonicalized in
instcombine to remove the not and invert the true/false values, but this
will not happen for Loginal operations, which can be beneficial to
convert if they are part of a larger select group. The handling for
not's are mostly handled in the SelectLike, which can be marked as
Inverted in order to reverse the TrueValue and FalseValue.

This helps fix a regression in fortran minloc constructs, after #84628
helped simplify a loop with branches into a loop with selects.



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