; Input used for generating checked-in binaries (trivial.obj.*)
; llc -mtriple=wasm32-unknown-unknown trivial.ll -filetype=obj -o trivial.obj.wasm
@.str = private unnamed_addr constant [13 x i8] c"Hello World\0A\00", align 1
define i32 @main() nounwind {
entry:
%call = tail call i32 @puts(ptr @.str) nounwind
tail call void @SomeOtherFunction() nounwind
ret i32 0
}
declare i32 @puts(ptr nocapture) nounwind
declare void @SomeOtherFunction(...)