1; RUN: llc < %s -asm-verbose=false -wasm-keep-registers | FileCheck %s
2
3target triple = "wasm32-unknown-unknown"
4
5define void @test() #0 {
6  ret void
7}
8
9declare void @test2() #1
10
11
12attributes #0 = { "wasm-export-name"="foo" }
13attributes #1 = { "wasm-export-name"="bar" }
14
15; CHECK: .export_name test, foo
16; CHECK: .export_name test2, bar
17