test/Transforms/InstCombine/alloca.ll

   1 ; Zero byte allocas should be deleted.
   2
   3 ; RUN: opt < %s -instcombine -S | \
   4 ; RUN:   not grep alloca
   5 ; END.
   6
   7 declare void @use(...)
   8
   9 define void @test() {
  10         %X = alloca [0 x i32]           ; <[0 x i32]*> [#uses=1]
  11         call void (...)* @use( [0 x i32]* %X )
  12         %Y = alloca i32, i32 0          ; <i32*> [#uses=1]
  13         call void (...)* @use( i32* %Y )
  14         %Z = alloca {  }                ; <{  }*> [#uses=1]
  15         call void (...)* @use( {  }* %Z )
  16         ret void
  17 }
  18
  19 define void @test2() {
  20         %A = alloca i32         ; <i32*> [#uses=1]
  21         store i32 123, i32* %A
  22         ret void
  23 }
  24
  25 define void @test3() {
  26         %A = alloca { i32 }             ; <{ i32 }*> [#uses=1]
  27         %B = getelementptr { i32 }* %A, i32 0, i32 0            ; <i32*> [#uses=1]
  28         store i32 123, i32* %B
  29         ret void
  30 }
  31