test/Transforms/InstCombine/badmalloc.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   4 target triple = "x86_64-apple-darwin10.0"
   5
   6 declare noalias i8* @malloc(i64) nounwind
   7 declare void @free(i8*)
   8
   9 ; PR5130
  10 define i1 @test1() {
  11   %A = call noalias i8* @malloc(i64 4) nounwind
  12   %B = icmp eq i8* %A, null
  13   store i8 0, i8* %A
  14
  15   call void @free(i8* %A)
  16   ret i1 %B
  17
  18 ; CHECK-LABEL: @test1(
  19 ; CHECK: ret i1 false
  20 }
  21
  22 ; CHECK-LABEL: @test2(
  23 define noalias i8* @test2() nounwind {
  24 entry:
  25 ; CHECK: @malloc
  26   %A = call noalias i8* @malloc(i64 4) nounwind
  27 ; CHECK: icmp eq
  28   %tobool = icmp eq i8* %A, null
  29 ; CHECK: br i1
  30   br i1 %tobool, label %return, label %if.end
  31
  32 if.end:
  33 ; CHECK: store
  34   store i8 7, i8* %A
  35   br label %return
  36
  37 return:
  38 ; CHECK: phi
  39   %retval.0 = phi i8* [ %A, %if.end ], [ null, %entry ]
  40   ret i8* %retval.0
  41 }