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: @test1 19 ; CHECK: ret i1 false 20 } 21 22 ; CHECK: @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 } 42
