| Sanjoy Das | 8cf1000 | 2016-12-15 21:23:44 +0000 | [diff] [blame] | 1 | ; RUN: opt -S < %s |
| 2 | |
| 3 | ; This file contains TBAA metadata that is okay and should pass the verifier. |
| 4 | |
| 5 | declare void @callee() |
| 6 | declare void @llvm.va_start(i8*) nounwind |
| 7 | |
| 8 | define void @f_0(i8* %ptr, ...) { |
| 9 | %args = alloca i8, align 8 |
| 10 | call void @llvm.va_start(i8* %args) |
| 11 | |
| 12 | %old = atomicrmw add i8* %ptr, i8 0 seq_cst, !tbaa !{!1, !1, i64 0} |
| 13 | %pair = cmpxchg i8* %ptr, i8 0, i8 1 acquire acquire, !tbaa !{!1, !1, i64 0} |
| 14 | %ld = load i8, i8* %ptr, !tbaa !{!1, !1, i64 0} |
| 15 | store i8 1, i8* %ptr, !tbaa !{!1, !1, i64 0} |
| 16 | call void @callee(), !tbaa !{!1, !1, i64 0} |
| 17 | %argval = va_arg i8* %args, i8, !tbaa !{!1, !1, i64 0} |
| 18 | ret void |
| 19 | } |
| 20 | |
| 21 | !0 = !{!"root"} |
| 22 | !1 = !{!"scalar-a", !0} |