; bin/opt -passes=instcombine test.ll -S
; ModuleID = 'test.c'
source_filename = "test.c"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@f = dso_local global [2 x i32] zeroinitializer, align 4
@__const.g.n = private unnamed_addr constant [1 x ptr] [ptr getelementptr (i8, ptr @f, i64 4)]

define void @g() {
entry:
  %n = alloca [1 x ptr], align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %n) #4
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %n, ptr align 8 @__const.g.n, i64 8, i1 false)
  %0 = load ptr, ptr %n, align 8
  %cmp3 = icmp eq ptr %0, null
  %1 = load i32, ptr %0, align 4
  %and = select i1 %cmp3, i32 %1, i32 0
  store i32 %and, ptr %0, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %n) #4
  ret void
}

define void @g() {
  store i1 true, ptr poison, align 1
  ret void
}

IC: Visiting:   %cmp3 = icmp eq ptr getelementptr (i8, ptr @f, i64 4), null
IC: Visiting:   %0 = load i32, ptr getelementptr (i8, ptr @f, i64 4), align 4
IC: Visiting:   %and = select i1 %cmp3, i32 %0, i32 0
ADD DEFERRED:   %0 = load i32, ptr null, align 4
IC: Mod =   %and = select i1 %cmp3, i32 %0, i32 0
    New =   %and = select i1 %cmp3, i32 %0, i32 0