test/Transforms/DeadStoreElimination/free.ll

   1 ; RUN: opt < %s -basicaa -dse -S | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64"
   4
   5 ; CHECK: @test
   6 ; CHECK-NEXT: bitcast
   7 ; CHECK-NEXT: @free
   8 ; CHECK-NEXT: ret void
   9 define void @test(i32* %Q, i32* %P) {
  10         %DEAD = load i32* %Q            ; <i32> [#uses=1]
  11         store i32 %DEAD, i32* %P
  12         free i32* %P
  13         ret void
  14 }
  15
  16 ; CHECK: @test2
  17 ; CHECK-NEXT: bitcast
  18 ; CHECK-NEXT: @free
  19 ; CHECK-NEXT: ret void
  20 define void @test2({i32, i32}* %P) {
  21         %Q = getelementptr {i32, i32} *%P, i32 0, i32 1
  22         store i32 4, i32* %Q
  23         free {i32,i32}* %P
  24         ret void
  25 }
  26