llvm/test/Verifier/writable-attr.ll

   1 ; RUN: not llvm-as -disable-output %s 2>&1 | FileCheck %s
   2
   3 ; CHECK: Attribute 'writable' applied to incompatible type!
   4 ; CHECK-NEXT: ptr @not_pointer
   5 define void @not_pointer_writable(i32 writable %arg) {
   6   ret void
   7 }
   8
   9 ; CHECK: Attributes writable and readnone are incompatible!
  10 ; CHECK-NEXT: ptr @writable_readnone
  11 define void @writable_readnone(ptr writable readnone %arg) {
  12   ret void
  13 }
  14
  15 ; CHECK: Attributes writable and readonly are incompatible!
  16 ; CHECK-NEXT: ptr @writable_readonly
  17 define void @writable_readonly(ptr writable readonly %arg) {
  18   ret void
  19 }
  20
  21 ; CHECK: Attribute writable and memory without argmem: write are incompatible!
  22 ; CHECK-NEXT: ptr @writable_memory_argmem_read
  23 define void @writable_memory_argmem_read(ptr writable %arg) memory(write, argmem: read) {
  24   ret void
  25 }
  26
  27 ; CHECK-NOT: incompatible
  28 define void @writable_memory_argmem_write(ptr writable %arg) memory(read, argmem: write) {
  29   ret void
  30 }