29 lines · plain
1// RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation -split-input-file %s2 3// Test Case: ownership-based-buffer-deallocation should not fail4// with cf.assert op5 6// CHECK-LABEL: func @func_with_assert(7// CHECK: %0 = arith.cmpi slt, %arg0, %arg1 : index8// CHECK: cf.assert %0, "%arg0 must be less than %arg1"9func.func @func_with_assert(%arg0: index, %arg1: index) {10 %0 = arith.cmpi slt, %arg0, %arg1 : index11 cf.assert %0, "%arg0 must be less than %arg1"12 return13}14 15// CHECK-LABEL: func @func_with_assume_alignment(16// CHECK: %0 = memref.assume_alignment %arg0, 64 : memref<128xi8>17func.func @func_with_assume_alignment(%arg0: memref<128xi8>) {18 %0 = memref.assume_alignment %arg0, 64 : memref<128xi8>19 return20}21 22// CHECK-LABEL: func @func_with_prefetch(23// CHECK: memref.prefetch %arg0[%c0, %c0], read, locality<1>, data : memref<4x8xf32>24func.func @func_with_prefetch(%arg0: memref<4x8xf32>) {25 %c0 = arith.constant 0 : index26 memref.prefetch %arg0[%c0, %c0], read, locality<1>, data : memref<4x8xf32>27 return28}29