diff options
Diffstat (limited to 'llvm/test/Transforms/Inline/alloca_test.ll')
| -rw-r--r-- | llvm/test/Transforms/Inline/alloca_test.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Inline/alloca_test.ll b/llvm/test/Transforms/Inline/alloca_test.ll index 1894c434131..c9d8f11cd84 100644 --- a/llvm/test/Transforms/Inline/alloca_test.ll +++ b/llvm/test/Transforms/Inline/alloca_test.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; This test ensures that alloca instructions in the entry block for an inlined ; function are moved to the top of the function they are inlined into. ; @@ -23,3 +24,32 @@ Entry: ret i32 %Y } +; https://llvm.org/bugs/show_bug.cgi?id=27277 +; Don't assume that the size is a ConstantInt (an undef value is also a constant). + +define void @PR27277(i32 %p1) { +; CHECK-LABEL: @PR27277( +; CHECK-NEXT: [[VLA:%.*]] = alloca double, i32 %p1 +; CHECK-NEXT: call void @PR27277(i32 undef) +; CHECK-NEXT: ret void +; + %vla = alloca double, i32 %p1 + call void @PR27277(i32 undef) + ret void +} + +; Don't assume that the size is a ConstantInt (a ConstExpr is also a constant). + +@GV = common global i32* null + +define void @PR27277_part2(i32 %p1) { +; CHECK-LABEL: @PR27277_part2( +; CHECK-NEXT: [[VLA:%.*]] = alloca double, i32 %p1 +; CHECK-NEXT: call void @PR27277_part2(i32 ptrtoint (i32** @GV to i32)) +; CHECK-NEXT: ret void +; + %vla = alloca double, i32 %p1 + call void @PR27277_part2(i32 ptrtoint (i32** @GV to i32)) + ret void +} + |
