mlir/test/Conversion/FuncToLLVM/convert-argattrs.mlir

   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}
   5 func.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}
  12 func.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}
  18 func.func @check_multiple(%first: f32 {first.arg = true}, %second: i64 {second.arg = 42 : i32}) {
  19   return
  20 }