llvm/mlir/test/Dialect/SCF/transform-op-take-assumed-branch.mlir

// RUN: mlir-opt %s -transform-interpreter -split-input-file -verify-diagnostics --allow-unregistered-dialect | FileCheck %s

func.func @if_no_else(%cond: i1, %a: index, %b: memref<?xf32>, %c: i8) {
  scf.if %cond {
    "some_op"(%cond, %b) : (i1, memref<?xf32>) -> ()
    scf.yield
  }
  return
}

module attributes {transform.with_named_sequence} {
  transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {
    %if = transform.structured.match ops{["scf.if"]} in %arg1
      : (!transform.any_op) -> !transform.any_op
    // expected-error @+1 {{requires an scf.if op with a single-block `else` region}}
    transform.scf.take_assumed_branch %if take_else_branch
      : (!transform.any_op) -> ()
      transform.yield
  }
}

// -----

// CHECK-LABEL: if_no_else
func.func @if_no_else(%cond: i1, %a: index, %b: memref<?xf32>, %c: i8) {
  scf.if %cond {
    "some_op"(%cond, %b) : (i1, memref<?xf32>) -> ()
    scf.yield
  }
  return
}

module attributes {transform.with_named_sequence} {
  transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {
    %if = transform.structured.match ops{["scf.if"]} in %arg1
      : (!transform.any_op) -> !transform.any_op
    %some_op = transform.structured.match ops{["some_op"]} in %arg1
      : (!transform.any_op) -> !transform.any_op

    transform.scf.take_assumed_branch %if : (!transform.any_op) -> ()

    // Handle to formerly nested `some_op` is still valid after the transform.
    transform.print %some_op: !transform.any_op
    transform.yield
  }
}

// -----

// CHECK-LABEL: tile_tensor_pad
func.func @tile_tensor_pad(
  %arg0 : tensor<?x?xf32>, %cst : f32, %low: index, %high: index)
    -> tensor<20x40xf32>
{
  //     CHECK: scf.forall
  // CHECK-NOT:   scf.if
  // CHECK-NOT:     tensor.generate
  // CHECK-NOT:   else
  //     CHECK:     tensor.pad {{.*}} nofold
  %0 = tensor.pad %arg0 nofold low[%low, %low] high[%high, %high] {
        ^bb0(%arg9: index, %arg10: index):
          tensor.yield %cst : f32
  } : tensor<?x?xf32> to tensor<20x40xf32>
  return %0 : tensor<20x40xf32>
}

module attributes {transform.with_named_sequence} {
  transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {
    %0 = transform.structured.match ops{["tensor.pad"]} in %arg1
      : (!transform.any_op) -> !transform.any_op
    transform.structured.tile_using_forall %0 tile_sizes[1, 1]
      : (!transform.any_op) -> (!transform.any_op, !transform.any_op)

    %if = transform.structured.match ops{["scf.if"]} in %arg1
      : (!transform.any_op) -> !transform.any_op
    transform.scf.take_assumed_branch %if take_else_branch
      : (!transform.any_op) -> ()
      transform.yield
  }
}