1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; This test ensures that alloca instructions in the entry block for an inlined
3; function are moved to the top of the function they are inlined into.
4;
5; RUN: opt -S -inline < %s | FileCheck %s
6
7define i32 @func(i32 %i) {
8  %X = alloca i32
9  store i32 %i, i32* %X
10  ret i32 %i
11}
12
13declare void @bar()
14
15define i32 @main(i32 %argc) {
16; CHECK-LABEL: @main(
17; CHECK-NEXT:  Entry:
18; CHECK-NEXT:    [[X_I:%.*]] = alloca i32
19;
20Entry:
21  call void @bar( )
22  %X = call i32 @func( i32 7 )
23  %Y = add i32 %X, %argc
24  ret i32 %Y
25}
26
27; https://llvm.org/bugs/show_bug.cgi?id=27277
28; Don't assume that the size is a ConstantInt (an undef value is also a constant).
29
30define void @PR27277(i32 %p1) {
31; CHECK-LABEL: @PR27277(
32; CHECK-NEXT:    [[VLA:%.*]] = alloca double, i32 %p1
33; CHECK-NEXT:    call void @PR27277(i32 undef)
34; CHECK-NEXT:    ret void
35;
36  %vla = alloca double, i32 %p1
37  call void @PR27277(i32 undef)
38  ret void
39}
40
41; Don't assume that the size is a ConstantInt (a ConstExpr is also a constant).
42
43@GV = common global i32* null
44
45define void @PR27277_part2(i32 %p1) {
46; CHECK-LABEL: @PR27277_part2(
47; CHECK-NEXT:    [[VLA:%.*]] = alloca double, i32 %p1
48; CHECK-NEXT:    call void @PR27277_part2(i32 ptrtoint (i32** @GV to i32))
49; CHECK-NEXT:    ret void
50;
51  %vla = alloca double, i32 %p1
52  call void @PR27277_part2(i32 ptrtoint (i32** @GV to i32))
53  ret void
54}
55
56