| ; 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 | |
| } |