| Nicolai Haehnle | b07f540 | 2016-07-04 08:01:29 +0000 | [diff] [blame] | 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 | ||||