| ; 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(...) |