1// RUN: mlir-opt -convert-func-to-llvm %s | FileCheck %s 2 3// CHECK-LABEL: func @check_attributes 4// CHECK-SAME: {dialect.a = true, dialect.b = 4 : i64} 5func.func @check_attributes(%int: i64 {dialect.a = true, dialect.b = 4 : i64 }) { 6 return 7} 8 9// CHECK-LABEL: func @check_memref 10// 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 return 14} 15 16// CHECK-LABEL: func @check_multiple 17// 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 return 20} 21