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
  27 ; CHECK: @test4
  28 ; CHECK-NOT: store
  29 ; CHECK: ret void
  30 define void @test4() {
  31   %m = call i8* @malloc(i64 24)
  32   store i8 0, i8* %m
  33   %m1 = getelementptr i8* %m, i64 1
  34   store i8 1, i8* %m1
  35   call void @free(i8* %m)
  36   ret void
  37 }
  38
  39 declare void @free(i8*)
  40 declare i8* @malloc(i64)