1; RUN: opt < %s -passes=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 ptr @malloc(i64) nounwind allockind("alloc,uninitialized") "alloc-family"="malloc" 7declare void @free(ptr) allockind("free") "alloc-family"="malloc" 8 9; PR5130 10define i1 @test1() { 11 %A = call noalias ptr @malloc(i64 4) nounwind 12 %B = icmp eq ptr %A, null 13 store i8 0, ptr %A 14 15 call void @free(ptr %A) 16 ret i1 %B 17 18; CHECK-LABEL: @test1( 19; CHECK: ret i1 false 20} 21 22; CHECK-LABEL: @test2( 23define noalias ptr @test2() nounwind { 24entry: 25; CHECK: @malloc 26 %A = call noalias ptr @malloc(i64 4) nounwind 27; CHECK: icmp eq 28 %tobool = icmp eq ptr %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, ptr %A 35 br label %return 36 37return: 38; CHECK: phi 39 %retval.0 = phi ptr [ %A, %if.end ], [ null, %entry ] 40 ret ptr %retval.0 41} 42