Home | History | Annotate | Download | only in Inline 
      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 
      7 define i32 @func(i32 %i) {
      8   %X = alloca i32
      9   store i32 %i, i32* %X
     10   ret i32 %i
     11 }
     12 
     13 declare void @bar()
     14 
     15 define i32 @main(i32 %argc) {
     16 ; CHECK-LABEL: @main(
     17 ; CHECK-NEXT:  Entry:
     18 ; CHECK-NEXT:    [[X_I:%.*]] = alloca i32
     19 ;
     20 Entry:
     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 
     30 define 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 
     45 define 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