; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -passes=globalopt -S < %s | FileCheck %s

@g = internal global ptr null, align 8

define void @init() {
; CHECK-LABEL: define void @init() local_unnamed_addr {
; CHECK-NEXT:    [[ALLOC:%.*]] = call ptr @malloc(i64 48)
; CHECK-NEXT:    store atomic ptr [[ALLOC]], ptr @g seq_cst, align 8
; CHECK-NEXT:    ret void
;
  %alloc = call ptr @malloc(i64 48)
  store atomic ptr %alloc, ptr @g seq_cst, align 8
  ret void
}

define i1 @check() {
; CHECK-LABEL: define i1 @check() local_unnamed_addr {
; CHECK-NEXT:    [[VAL:%.*]] = load atomic ptr, ptr @g seq_cst, align 8
; CHECK-NEXT:    [[CMP:%.*]] = icmp eq ptr [[VAL]], null
; CHECK-NEXT:    ret i1 [[CMP]]
;
  %val = load atomic ptr, ptr @g seq_cst, align 8
  %cmp = icmp eq ptr %val, null
  ret i1 %cmp
}

declare ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)