This is an archive of the discontinued LLVM Phabricator instance.

Differential D110087

rebase to main
AbandonedPublic

Authored by mortbopet on Sep 20 2021, 11:02 AM.

Details

Reviewers
None

Diff Detail

Event Timeline

mortbopet created this revision.Sep 20 2021, 11:02 AM
Herald added subscribers: wenzhicui, wrengr, Chia-hungDuan and 19 others. · View Herald TranscriptSep 20 2021, 11:02 AM
mortbopet requested review of this revision.Sep 20 2021, 11:02 AM
Herald added a project: Restricted Project. · View Herald TranscriptSep 20 2021, 11:02 AM
Herald added subscribers: stephenneuendorffer, nicolasvasilache. · View Herald Transcript
mortbopet abandoned this revision.Sep 20 2021, 11:03 AM
Harbormaster completed remote builds in B124715: Diff 373658.Sep 20 2021, 11:03 AM

Revision Contents

PathSize
mlir/
test/
Dialect/
SCF/
8 lines

Diff 373658

mlir/test/Dialect/SCF/for-loop-to-while-loop.mlir

// RUN: mlir-opt %s -pass-pipeline='builtin.func(scf-for-to-while)' -split-input-file | FileCheck %s // RUN: mlir-opt %s -pass-pipeline='builtin.func(scf-for-to-while)' -split-input-file | FileCheck %s
// NOTE: Assertions have been autogenerated by utils/generate-test-checks.py // NOTE: Assertions have been autogenerated by utils/generate-test-checks.py
// CHECK-LABEL: builtin.func @single_loop( // CHECK-LABEL: func @single_loop(
// CHECK-SAME: %[[VAL_0:.*]]: memref<?xi32>, // CHECK-SAME: %[[VAL_0:.*]]: memref<?xi32>,
// CHECK-SAME: %[[VAL_1:.*]]: index, // CHECK-SAME: %[[VAL_1:.*]]: index,
// CHECK-SAME: %[[VAL_2:.*]]: i32) { // CHECK-SAME: %[[VAL_2:.*]]: i32) {
// CHECK: %[[VAL_3:.*]] = constant 0 : index // CHECK: %[[VAL_3:.*]] = constant 0 : index
// CHECK: %[[VAL_4:.*]] = constant 1 : index // CHECK: %[[VAL_4:.*]] = constant 1 : index
// CHECK: %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index { // CHECK: %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index {
// CHECK: %[[VAL_7:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index // CHECK: %[[VAL_7:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index
// CHECK: scf.condition(%[[VAL_7]]) %[[VAL_6]] : index // CHECK: scf.condition(%[[VAL_7]]) %[[VAL_6]] : index
Show All 13 Lines scf.for %i = %c0 to %arg1 step %c1 {
%0 = addi %arg2, %arg2 : i32 %0 = addi %arg2, %arg2 : i32
memref.store %0, %arg0[%i] : memref<?xi32> memref.store %0, %arg0[%i] : memref<?xi32>
} }
return return
} }
// ----- // -----
// CHECK-LABEL: builtin.func @nested_loop( // CHECK-LABEL: func @nested_loop(
// CHECK-SAME: %[[VAL_0:.*]]: memref<?xi32>, // CHECK-SAME: %[[VAL_0:.*]]: memref<?xi32>,
// CHECK-SAME: %[[VAL_1:.*]]: index, // CHECK-SAME: %[[VAL_1:.*]]: index,
// CHECK-SAME: %[[VAL_2:.*]]: i32) { // CHECK-SAME: %[[VAL_2:.*]]: i32) {
// CHECK: %[[VAL_3:.*]] = constant 0 : index // CHECK: %[[VAL_3:.*]] = constant 0 : index
// CHECK: %[[VAL_4:.*]] = constant 1 : index // CHECK: %[[VAL_4:.*]] = constant 1 : index
// CHECK: %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index { // CHECK: %[[VAL_5:.*]] = scf.while (%[[VAL_6:.*]] = %[[VAL_3]]) : (index) -> index {
// CHECK: %[[VAL_7:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index // CHECK: %[[VAL_7:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index
// CHECK: scf.condition(%[[VAL_7]]) %[[VAL_6]] : index // CHECK: scf.condition(%[[VAL_7]]) %[[VAL_6]] : index
Show All 25 Lines scf.for %j = %c0 to %arg1 step %c1 {
memref.store %0, %arg0[%j] : memref<?xi32> memref.store %0, %arg0[%j] : memref<?xi32>
} }
} }
return return
} }
// ----- // -----
// CHECK-LABEL: builtin.func @for_iter_args( // CHECK-LABEL: func @for_iter_args(
// CHECK-SAME: %[[VAL_0:.*]]: index, %[[VAL_1:.*]]: index, // CHECK-SAME: %[[VAL_0:.*]]: index, %[[VAL_1:.*]]: index,
// CHECK-SAME: %[[VAL_2:.*]]: index) -> f32 { // CHECK-SAME: %[[VAL_2:.*]]: index) -> f32 {
// CHECK: %[[VAL_3:.*]] = constant 0.000000e+00 : f32 // CHECK: %[[VAL_3:.*]] = constant 0.000000e+00 : f32
// CHECK: %[[VAL_4:.*]]:3 = scf.while (%[[VAL_5:.*]] = %[[VAL_0]], %[[VAL_6:.*]] = %[[VAL_3]], %[[VAL_7:.*]] = %[[VAL_3]]) : (index, f32, f32) -> (index, f32, f32) { // CHECK: %[[VAL_4:.*]]:3 = scf.while (%[[VAL_5:.*]] = %[[VAL_0]], %[[VAL_6:.*]] = %[[VAL_3]], %[[VAL_7:.*]] = %[[VAL_3]]) : (index, f32, f32) -> (index, f32, f32) {
// CHECK: %[[VAL_8:.*]] = cmpi slt, %[[VAL_5]], %[[VAL_1]] : index // CHECK: %[[VAL_8:.*]] = cmpi slt, %[[VAL_5]], %[[VAL_1]] : index
// CHECK: scf.condition(%[[VAL_8]]) %[[VAL_5]], %[[VAL_6]], %[[VAL_7]] : index, f32, f32 // CHECK: scf.condition(%[[VAL_8]]) %[[VAL_5]], %[[VAL_6]], %[[VAL_7]] : index, f32, f32
// CHECK: } do { // CHECK: } do {
// CHECK: ^bb0(%[[VAL_9:.*]]: index, %[[VAL_10:.*]]: f32, %[[VAL_11:.*]]: f32): // CHECK: ^bb0(%[[VAL_9:.*]]: index, %[[VAL_10:.*]]: f32, %[[VAL_11:.*]]: f32):
Show All 9 Lines %result:2 = scf.for %i0 = %arg0 to %arg1 step %arg2 iter_args(%iarg0 = %s0, %iarg1 = %s0) -> (f32, f32) {
%sn = addf %iarg0, %iarg1 : f32 %sn = addf %iarg0, %iarg1 : f32
scf.yield %sn, %sn : f32, f32 scf.yield %sn, %sn : f32, f32
} }
return %result#1 : f32 return %result#1 : f32
} }
// ----- // -----
// CHECK-LABEL: builtin.func @exec_region_multiple_yields( // CHECK-LABEL: func @exec_region_multiple_yields(
// CHECK-SAME: %[[VAL_0:.*]]: i32, // CHECK-SAME: %[[VAL_0:.*]]: i32,
// CHECK-SAME: %[[VAL_1:.*]]: index, // CHECK-SAME: %[[VAL_1:.*]]: index,
// CHECK-SAME: %[[VAL_2:.*]]: i32) -> i32 { // CHECK-SAME: %[[VAL_2:.*]]: i32) -> i32 {
// CHECK: %[[VAL_3:.*]] = constant 0 : index // CHECK: %[[VAL_3:.*]] = constant 0 : index
// CHECK: %[[VAL_4:.*]] = constant 1 : index // CHECK: %[[VAL_4:.*]] = constant 1 : index
// CHECK: %[[VAL_5:.*]]:2 = scf.while (%[[VAL_6:.*]] = %[[VAL_3]], %[[VAL_7:.*]] = %[[VAL_0]]) : (index, i32) -> (index, i32) { // CHECK: %[[VAL_5:.*]]:2 = scf.while (%[[VAL_6:.*]] = %[[VAL_3]], %[[VAL_7:.*]] = %[[VAL_0]]) : (index, i32) -> (index, i32) {
// CHECK: %[[VAL_8:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index // CHECK: %[[VAL_8:.*]] = cmpi slt, %[[VAL_6]], %[[VAL_1]] : index
// CHECK: scf.condition(%[[VAL_8]]) %[[VAL_6]], %[[VAL_7]] : index, i32 // CHECK: scf.condition(%[[VAL_8]]) %[[VAL_6]], %[[VAL_7]] : index, i32
Show All 38 Lines