1// RUN: mlir-opt -verify-diagnostics -ownership-based-buffer-deallocation -split-input-file %s
2
3// Test Case: ownership-based-buffer-deallocation should not fail
4//            with cf.assert op
5
6// CHECK-LABEL: func @func_with_assert(
7//       CHECK: %0 = arith.cmpi slt, %arg0, %arg1 : index
8//       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 : index
11  cf.assert %0, "%arg0 must be less than %arg1"
12  return
13}