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 14