Mercurial > hg > CbC > CbC_llvm
view mlir/test/IR/test-side-effects.mlir @ 236:c4bab56944e8 llvm-original
LLVM 16
author | kono |
---|---|
date | Wed, 09 Nov 2022 17:45:10 +0900 (2022-11-09) |
parents | 79ff65ed7e25 |
children |
line wrap: on
line source
// RUN: mlir-opt %s -test-side-effects -verify-diagnostics // expected-remark@+1 {{operation has no memory effects}} %0 = "test.side_effect_op"() {} : () -> i32 // expected-remark@+2 {{found an instance of 'read' on resource '<Default>'}} // expected-remark@+1 {{found an instance of 'free' on resource '<Default>'}} %1 = "test.side_effect_op"() {effects = [ {effect="read"}, {effect="free"} ]} : () -> i32 // expected-remark@+1 {{found an instance of 'write' on resource '<Test>'}} %2 = "test.side_effect_op"() {effects = [ {effect="write", test_resource} ]} : () -> i32 // expected-remark@+1 {{found an instance of 'allocate' on a value, on resource '<Test>'}} %3 = "test.side_effect_op"() {effects = [ {effect="allocate", on_result, test_resource} ]} : () -> i32 // expected-remark@+1 {{found an instance of 'read' on a symbol '@foo_ref', on resource '<Test>'}} "test.side_effect_op"() {effects = [ {effect="read", on_reference = @foo_ref, test_resource} ]} : () -> i32 // No _memory_ effects, but a parametric test effect. // expected-remark@+2 {{operation has no memory effects}} // expected-remark@+1 {{found a parametric effect with affine_map<(d0, d1) -> (d1, d0)>}} %4 = "test.side_effect_op"() { effect_parameter = affine_map<(i, j) -> (j, i)> } : () -> i32 // Check with this unregistered operation to test the fallback on the dialect. // expected-remark@+1 {{found a parametric effect with affine_map<(d0, d1) -> (d1, d0)>}} %5 = "test.unregistered_side_effect_op"() { effect_parameter = affine_map<(i, j) -> (j, i)> } : () -> i32