Lines Matching refs:scf

1 // RUN: mlir-opt %s -pass-pipeline='func.func(scf-for-to-while)' -split-input-file | FileCheck %s
10 // CHECK:           %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index {
12 // CHECK:             scf.condition(%[[VAL_7]]) %[[VAL_6]] : index
18 // CHECK:             scf.yield %[[VAL_9]] : index
25   scf.for %i = %c0 to %arg1 step %c1 {
40 // CHECK:           %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index {
42 // CHECK:             scf.condition(%[[VAL_7]]) %[[VAL_6]] : index
46 // CHECK:             %[[VAL_10:.*]] = scf.while (%[[VAL_11:.*]] = %[[VAL_3]]) : (index) -> index {
48 // CHECK:               scf.condition(%[[VAL_12]]) %[[VAL_11]] : index
55 // CHECK:               scf.yield %[[VAL_14]] : index
57 // CHECK:             scf.yield %[[VAL_9]] : index
64   scf.for %i = %c0 to %arg1 step %c1 {
65     scf.for %j = %c0 to %arg1 step %c1 {
80 // CHECK:           %[[VAL_4:.*]]:3 = scf.while (%[[VAL_5:.*]] = %[[VAL_0]], %[[VAL_6:.*]] = %[[VAL…
82 // CHECK:             scf.condition(%[[VAL_8]]) %[[VAL_5]], %[[VAL_6]], %[[VAL_7]] : index, f32, f32
87 // CHECK:             scf.yield %[[VAL_12]], %[[VAL_13]], %[[VAL_13]] : index, f32, f32
93 …%result:2 = scf.for %i0 = %arg0 to %arg1 step %arg2 iter_args(%iarg0 = %s0, %iarg1 = %s0) -> (f32,…
95     scf.yield %sn, %sn : f32, f32
108 // CHECK:           %[[VAL_5:.*]]:2 = scf.while (%[[VAL_6:.*]] = %[[VAL_3]], %[[VAL_7:.*]] = %[[VAL…
110 // CHECK:             scf.condition(%[[VAL_8]]) %[[VAL_6]], %[[VAL_7]] : index, i32
114 // CHECK:             %[[VAL_12:.*]] = scf.execute_region -> i32 {
119 // CHECK:               scf.yield %[[VAL_14]] : i32
122 // CHECK:               scf.yield %[[VAL_15]] : i32
124 // CHECK:             scf.yield %[[VAL_11]], %[[VAL_16:.*]] : index, i32
134   %0 = scf.for %i = %c0 to %arg1 step %c1 iter_args(%iarg0 = %arg0) -> i32 {
135     %2 = scf.execute_region -> i32 {
140       scf.yield %2 : i32
143       scf.yield %3 : i32
145     scf.yield %2 : i32