target triple = "wasm32-unknown-unknown"

; Wasm module generated from the following C code:
;   void puts(const char*);
;   void hello() { puts("hello\n"); }

@hello_str = unnamed_addr constant [7 x i8] c"hello\0A\00", align 1

; Function Attrs: nounwind
define hidden void @hello() local_unnamed_addr #0 {
entry:
  tail call void @puts(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @hello_str, i32 0, i32 0))
  ret void
}

; Function Attrs: nounwind
declare void @puts(i8* nocapture readonly) local_unnamed_addr #1