1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 11:42:57 +01:00
llvm-mirror/test/Verifier/writeonly.ll
Nicolai Haehnle fe1657d8ae Add writeonly IR attribute
Summary:
This complements the earlier addition of IntrWriteMem and IntrWriteArgMem
LLVM intrinsic properties, see D18291.

Also start using the attribute for memset, memcpy, and memmove intrinsics,
and remove their special-casing in BasicAliasAnalysis.

Reviewers: reames, joker.eph

Subscribers: joker.eph, llvm-commits

Differential Revision: http://reviews.llvm.org/D18714

llvm-svn: 274485
2016-07-04 08:01:29 +00:00

14 lines
397 B
LLVM

; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
declare void @a() readnone writeonly
; CHECK: Attributes {{.*}} are incompatible
declare void @b() readonly writeonly
; CHECK: Attributes {{.*}} are incompatible
declare void @c(i32* readnone writeonly %p)
; CHECK: Attributes {{.*}} are incompatible
declare void @d(i32* readonly writeonly %p)
; CHECK: Attributes {{.*}} are incompatible