diff options
| author | Owen Anderson <resistor@mac.com> | 2015-05-26 23:48:40 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2015-05-26 23:48:40 +0000 |
| commit | 85fa7d5037fed8191ef67c2b4d954218b942a7d1 (patch) | |
| tree | 7e3c7d6e771cbbe3926c0411cd3d1ee678a493b6 /llvm/test/Bitcode/attributes.ll | |
| parent | 3abb86da627a01b1e2091c08a9117dc273f9473f (diff) | |
| download | bcm5719-llvm-85fa7d5037fed8191ef67c2b4d954218b942a7d1.tar.gz bcm5719-llvm-85fa7d5037fed8191ef67c2b4d954218b942a7d1.zip | |
Add initial support for the convergent attribute.
llvm-svn: 238264
Diffstat (limited to 'llvm/test/Bitcode/attributes.ll')
| -rw-r--r-- | llvm/test/Bitcode/attributes.ll | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/llvm/test/Bitcode/attributes.ll b/llvm/test/Bitcode/attributes.ll index 9fbdfeb0ef0..cae6a2e01e6 100644 --- a/llvm/test/Bitcode/attributes.ll +++ b/llvm/test/Bitcode/attributes.ll @@ -204,7 +204,7 @@ define void @f34() ; CHECK: define void @f34() { call void @nobuiltin() nobuiltin -; CHECK: call void @nobuiltin() #25 +; CHECK: call void @nobuiltin() #26 ret void; } @@ -251,6 +251,11 @@ define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo) ret i8* %foo } +; CHECK: define void @f43() #25 +define void @f43() convergent { + ret void +} + ; CHECK: attributes #0 = { noreturn } ; CHECK: attributes #1 = { nounwind } ; CHECK: attributes #2 = { readnone } @@ -276,4 +281,5 @@ define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo) ; CHECK: attributes #22 = { minsize } ; CHECK: attributes #23 = { noinline optnone } ; CHECK: attributes #24 = { jumptable } -; CHECK: attributes #25 = { nobuiltin } +; CHECK: attributes #25 = { convergent } +; CHECK: attributes #26 = { nobuiltin } |
