; RUN: opt -S -allow-incomplete-ir < %s | FileCheck %s
; CHECK: @fn2 = external global i8
; CHECK: @g1 = external global i8
; CHECK: @g2 = external global i8
; CHECK: @g3 = external global i8
; CHECK: @g4 = external global i8
; CHECK: declare void @fn1(i32)
define ptr @test() {
call void @fn1(i32 0)
call void @fn1(i32 1)
call void @fn2(i32 2)
call void @fn2(i32 2, i32 3)
call void @fn2(ptr @g1)
load i32, ptr @g2
store i32 0, ptr @g2
load i32, ptr @g3
load i64, ptr @g3
ret ptr @g4
}