| ; RUN: llc < %s -asm-verbose=false -mattr=-reference-types,-call-indirect-overlong -O2 | FileCheck --check-prefixes=CHECK,NOREF %s | |
| ; RUN: llc < %s -asm-verbose=false -mattr=+call-indirect-overlong -O2 | FileCheck --check-prefixes=CHECK,REF %s | |
| ; RUN: llc < %s -asm-verbose=false -O2 --filetype=obj | obj2yaml | FileCheck --check-prefix=OBJ %s | |
| ; Test that compilation units with call_indirect but without any | |
| ; function pointer declarations still get a table. | |
| target triple = "wasm32-unknown-unknown" | |
| ; CHECK-LABEL: call_indirect_void: | |
| ; CHECK-NEXT: .functype call_indirect_void (i32) -> () | |
| ; CHECK-NEXT: local.get 0 | |
| ; REF: call_indirect __indirect_function_table, () -> () | |
| ; NOREF: call_indirect () -> () | |
| ; CHECK-NEXT: end_function | |
| define void @call_indirect_void(ptr %callee) { | |
| call void %callee() | |
| ret void | |
| } | |
| ; OBJ: Imports: | |
| ; OBJ-NEXT: - Module: env | |
| ; OBJ-NEXT: Field: __linear_memory | |
| ; OBJ-NEXT: Kind: MEMORY | |
| ; OBJ-NEXT: Memory: | |
| ; OBJ-NEXT: Minimum: 0x0 | |
| ; OBJ-NEXT: - Module: env | |
| ; OBJ-NEXT: Field: __indirect_function_table | |
| ; OBJ-NEXT: Kind: TABLE |