diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2011-10-21 20:45:19 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2011-10-21 20:45:19 +0000 |
commit | 4090e1ce91fd5a6a690fd0bd6c9240b69ac1f301 (patch) | |
tree | f42c83bf0361c7718028059ff11cfc13d062f2c9 /test/Transforms | |
parent | ca7eb3e171f63de3cfc1020d86375ce11d356194 (diff) | |
download | llvm-4090e1ce91fd5a6a690fd0bd6c9240b69ac1f301.tar.gz llvm-4090e1ce91fd5a6a690fd0bd6c9240b69ac1f301.tar.bz2 llvm-4090e1ce91fd5a6a690fd0bd6c9240b69ac1f301.tar.xz |
Remap blockaddress correctly when inlining a function. Fixes PR10162.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142684 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
-rw-r--r-- | test/Transforms/Inline/blockaddress.ll | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/Transforms/Inline/blockaddress.ll b/test/Transforms/Inline/blockaddress.ll new file mode 100644 index 0000000000..4206312d77 --- /dev/null +++ b/test/Transforms/Inline/blockaddress.ll @@ -0,0 +1,27 @@ +; RUN: opt -inline -S < %s | FileCheck %s +; PR10162 + +; Make sure the blockaddress is mapped correctly when doit is inlined +; CHECK: store i8* blockaddress(@f, %here.i), i8** @ptr1, align 8 + +@i = global i32 1, align 4 +@ptr1 = common global i8* null, align 8 + +define void @doit(i8** nocapture %pptr, i32 %cond) nounwind uwtable { +entry: + %tobool = icmp eq i32 %cond, 0 + br i1 %tobool, label %if.end, label %here + +here: + store i8* blockaddress(@doit, %here), i8** %pptr, align 8 + br label %if.end + +if.end: + ret void +} + +define void @f(i32 %cond) nounwind uwtable { +entry: + call void @doit(i8** @ptr1, i32 %cond) + ret void +} |