1; RUN: opt < %s -instcombine -S | FileCheck %s 2 3target 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" 4target triple = "x86_64-apple-darwin10.0" 5 6declare noalias i8* @malloc(i64) nounwind 7declare void @free(i8*) 8 9; PR5130 10define 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( 23define noalias i8* @test2() nounwind { 24entry: 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 32if.end: 33; CHECK: store 34 store i8 7, i8* %A 35 br label %return 36 37return: 38; CHECK: phi 39 %retval.0 = phi i8* [ %A, %if.end ], [ null, %entry ] 40 ret i8* %retval.0 41} 42