| Martin Erhart | 254d139 | 2023-08-09 10:24:53 | [diff] [blame] | 1 | // RUN: mlir-opt %s --test-side-effects --verify-diagnostics |
| 2 | |
| 3 | func.func @test_side_effects(%arg0: memref<2xi32>) -> memref<2xi32> { |
| donald chen | 2c1ae801 | 2024-06-19 14:10:34 | [diff] [blame] | 4 | // expected-remark @below {{found an instance of 'read' on a op operand, on resource '<Default>'}} |
| 5 | // expected-remark @below {{found an instance of 'write' on a op result, on resource '<Default>'}} |
| 6 | // expected-remark @below {{found an instance of 'allocate' on a op result, on resource '<Default>'}} |
| Martin Erhart | 254d139 | 2023-08-09 10:24:53 | [diff] [blame] | 7 | %0 = bufferization.clone %arg0 : memref<2xi32> to memref<2xi32> |
| Martin Erhart | 254d139 | 2023-08-09 10:24:53 | [diff] [blame] | 8 | return %0 : memref<2xi32> |
| 9 | } |
