diff options
Diffstat (limited to 'test/Bitcode/blockaddress.ll')
| -rw-r--r-- | test/Bitcode/blockaddress.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/Bitcode/blockaddress.ll b/test/Bitcode/blockaddress.ll index 8ac54be00d541..db109dfe469bc 100644 --- a/test/Bitcode/blockaddress.ll +++ b/test/Bitcode/blockaddress.ll @@ -1,4 +1,5 @@ ; RUN: llvm-as < %s | llvm-dis | FileCheck %s +; RUN: verify-uselistorder < %s ; PR9857 define void @f(i8** nocapture %ptr1) { @@ -43,3 +44,17 @@ here: end: ret void } + +; Check a blockaddress taken in two separate functions before the referenced +; function. +define i8* @take1() { + ret i8* blockaddress(@taken, %bb) +} +define i8* @take2() { + ret i8* blockaddress(@taken, %bb) +} +define void @taken() { + unreachable +bb: + unreachable +} |