mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
de96d7b688
This used to be allowed before r289402 by default (before r289402 you could have TBAA metadata on any instruction), and while I'm not sure that it helps, it does sound reasonable enough to not fail the verifier and we have out-of-tree users who use this. llvm-svn: 289872
23 lines
795 B
LLVM
23 lines
795 B
LLVM
; RUN: opt -S < %s
|
|
|
|
; This file contains TBAA metadata that is okay and should pass the verifier.
|
|
|
|
declare void @callee()
|
|
declare void @llvm.va_start(i8*) nounwind
|
|
|
|
define void @f_0(i8* %ptr, ...) {
|
|
%args = alloca i8, align 8
|
|
call void @llvm.va_start(i8* %args)
|
|
|
|
%old = atomicrmw add i8* %ptr, i8 0 seq_cst, !tbaa !{!1, !1, i64 0}
|
|
%pair = cmpxchg i8* %ptr, i8 0, i8 1 acquire acquire, !tbaa !{!1, !1, i64 0}
|
|
%ld = load i8, i8* %ptr, !tbaa !{!1, !1, i64 0}
|
|
store i8 1, i8* %ptr, !tbaa !{!1, !1, i64 0}
|
|
call void @callee(), !tbaa !{!1, !1, i64 0}
|
|
%argval = va_arg i8* %args, i8, !tbaa !{!1, !1, i64 0}
|
|
ret void
|
|
}
|
|
|
|
!0 = !{!"root"}
|
|
!1 = !{!"scalar-a", !0}
|