; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes='function(instsimplify),globalopt' < %s | FileCheck %s
; RUN: opt -S -passes='function(instsimplify)' < %s | opt -S -passes=globalopt | FileCheck %s

@g = internal global [6 x ptr] undef

define void @test1() {
; CHECK-LABEL: @test1(
; CHECK-NEXT:    ret void
;
  %cmp = icmp ne ptr getelementptr (i8, ptr @g, i64 3), null
  %add = add i1 %cmp, 1
  %xor4 = xor i1 %add, 0
  %t0 = load ptr, ptr getelementptr (i8, ptr @g, i64 3), align 1
  %t1 = load i16, ptr %t0, align 1
  ret void
}

define void @test2() {
; CHECK-LABEL: @test2(
; CHECK-NEXT:    ret void
;
  store ptr null, ptr getelementptr inbounds ([6 x ptr], ptr @g, i32 0, i32 5)
  ret void
}