c3536b263f
This defines some new target features. These are subsets of existing features that reflect implementation concerns: - "call-indirect-overlong" - implied by "reference-types"; just the overlong encoding for the `call_indirect` immediate, and not the actual reference types. - "bulk-memory-opt" - implied by "bulk-memory": just `memory.copy` and `memory.fill`, and not the other instructions in the bulk-memory proposal. This is split out from https://github.com/llvm/llvm-project/pull/112035. --------- Co-authored-by: Heejin Ahn <aheejin@gmail.com>
30 lines
1.2 KiB
LLVM
30 lines
1.2 KiB
LLVM
; 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
|