21 lines · plain
1// RUN: mlir-opt -convert-func-to-llvm %s | FileCheck %s2 3// CHECK-LABEL: func @check_attributes4// CHECK-SAME: {dialect.a = true, dialect.b = 4 : i64}5func.func @check_attributes(%int: i64 {dialect.a = true, dialect.b = 4 : i64 }) {6 return7}8 9// CHECK-LABEL: func @check_memref10// When expanding the memref to multiple arguments, argument attributes should be dropped entirely.11// CHECK-NOT: {llvm.noalias}12func.func @check_memref(%static: memref<10x20xf32> {llvm.noalias}) {13 return14}15 16// CHECK-LABEL: func @check_multiple17// CHECK-SAME: %{{.*}}: f32 {first.arg = true}, %{{.*}}: i64 {second.arg = 42 : i32}18func.func @check_multiple(%first: f32 {first.arg = true}, %second: i64 {second.arg = 42 : i32}) {19 return20}21