[all-commits] [llvm/llvm-project] 62f84c: [MLIR][SCF] Allow combining subsequent if statemen...

[William Moses via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 62f84c73d23a68c1a22391d97e578a304795c86c
      https://github.com/llvm/llvm-project/commit/62f84c73d23a68c1a22391d97e578a304795c86c
  Author: William S. Moses <gh at wsmoses.com>
  Date:   2022-03-04 (Fri, 04 Mar 2022)

  Changed paths:
    M mlir/lib/Dialect/SCF/SCF.cpp
    M mlir/test/Dialect/SCF/canonicalize.mlir

  Log Message:
  -----------
  [MLIR][SCF] Allow combining subsequent if statements that yield & negated condition

This patch extends the existing if combining canonicalization to also handle the case where a value returned by the first if is used within the body of the second if.

This patch also extends if combining to support if's whose conditions are logical negations of each other.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D120924