Lines Matching refs:scf

8   // CHECK-NOT: scf.if
12   %res = scf.if %cond -> (i32) {
14     scf.yield %1 : i32
16     scf.yield %arg0 : i32
27   // CHECK-NOT: scf.if
30   %res = scf.if %cond -> (i32) {
32     scf.yield %1 : i32
35     scf.yield %2 : i32
45   // CHECK: %[[RES:.*]] = scf.if
48   %res = scf.if %cond -> (i32) {
50     scf.yield %1 : i32
52     scf.yield %arg0 : i32
62   // CHECK: %[[RES:.*]] = scf.if
65   %res = scf.if %cond -> (i32) {
67     scf.yield %1 : i32
70     scf.yield %2 : i32
80   // CHECK-NOT: scf.for
84   %result = scf.for %i0 = %arg0 to %arg1 step %arg2 iter_args(%si = %s0) -> (i32) {
86     scf.yield %sn : i32
96   // CHECK: %[[RES:.*]] = scf.for
100   %result = scf.for %i0 = %arg0 to %arg1 step %arg2 iter_args(%si = %s0) -> (i32) {
102     scf.yield %sn : i32
114   // CHECK-NOT: scf.for
115   // CHECK-NOT: scf.if
119   %result = scf.for %i0 = %arg0 to %arg1 step %arg2 iter_args(%si = %cst_1) -> (i32) {
122     %inner_res = scf.if %cond -> (i32) {
124       scf.yield %1 : i32
127       scf.yield %si_inc : i32
129     scf.yield %inner_res : i32
143    %0 = scf.while (%arg2 = %c2_i32) : (i32) -> (i32) {
145     scf.condition(%1) %arg2 : i32
148     scf.yield %arg2 : i32
200   // CHECK: %[[WHILE:.*]] = scf.while
201   %0 = scf.while (%arg3 = %c0, %arg4 = %c1) : (index, index) -> index {
203     // CHECK: scf.condition(%[[TRUE]]) %[[C1]]
204     scf.condition(%1) %arg4 : index
208     // CHECK: scf.yield %[[C0]], %[[C1]]
209     scf.yield %c0, %1 : index, index
221   %1 = scf.while (%arg1 = %0) : (index) -> index {
223     scf.condition(%2) %arg1 : index
227     scf.yield %3 : index