test/Verifier/writeonly.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @a() readnone writeonly
   4 ; CHECK: Attributes {{.*}} are incompatible
   5
   6 declare void @b() readonly writeonly
   7 ; CHECK: Attributes {{.*}} are incompatible
   8
   9 declare void @c(i32* readnone writeonly %p)
  10 ; CHECK: Attributes {{.*}} are incompatible
  11
  12 declare void @d(i32* readonly writeonly %p)
  13 ; CHECK: Attributes {{.*}} are incompatible