
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>
86 lines
2.3 KiB
LLVM
86 lines
2.3 KiB
LLVM
; RUN: llc -filetype=obj %s -mattr=-reference-types,-call-indirect-overlong -o - | llvm-readobj --symbols - | FileCheck %s
|
|
; RUN: llc -filetype=obj %s -mattr=+reference-types,-call-indirect-overlong -o - | llvm-readobj --symbols - | FileCheck --check-prefix=REF %s
|
|
|
|
target triple = "wasm32-unknown-unknown-wasm"
|
|
|
|
@foo = alias i8, ptr @func
|
|
@bar = alias ptr (), ptr @func
|
|
@bar2 = alias ptr (), ptr @bar
|
|
|
|
define ptr @func() {
|
|
call ptr @bar2();
|
|
ret ptr @foo;
|
|
}
|
|
|
|
; CHECK: Symbols [
|
|
; CHECK-NEXT: Symbol {
|
|
; CHECK-NEXT: Name: func
|
|
; CHECK-NEXT: Type: FUNCTION (0x0)
|
|
; CHECK-NEXT: Flags [ (0x0)
|
|
; CHECK-NEXT: ]
|
|
; CHECK-NEXT: ElementIndex: 0x0
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: Symbol {
|
|
; CHECK-NEXT: Name: bar2
|
|
; CHECK-NEXT: Type: FUNCTION (0x0)
|
|
; CHECK-NEXT: Flags [ (0x0)
|
|
; CHECK-NEXT: ]
|
|
; CHECK-NEXT: ElementIndex: 0x0
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: Symbol {
|
|
; CHECK-NEXT: Name: foo
|
|
; CHECK-NEXT: Type: FUNCTION (0x0)
|
|
; CHECK-NEXT: Flags [ (0x0)
|
|
; CHECK-NEXT: ]
|
|
; CHECK-NEXT: ElementIndex: 0x0
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: Symbol {
|
|
; CHECK-NEXT: Name: bar
|
|
; CHECK-NEXT: Type: FUNCTION (0x0)
|
|
; CHECK-NEXT: Flags [ (0x0)
|
|
; CHECK-NEXT: ]
|
|
; CHECK-NEXT: ElementIndex: 0x0
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: ]
|
|
|
|
; REF: Symbols [
|
|
; REF-NEXT: Symbol {
|
|
; REF-NEXT: Name: func
|
|
; REF-NEXT: Type: FUNCTION (0x0)
|
|
; REF-NEXT: Flags [ (0x0)
|
|
; REF-NEXT: ]
|
|
; REF-NEXT: ElementIndex: 0x0
|
|
; REF-NEXT: }
|
|
; REF-NEXT: Symbol {
|
|
; REF-NEXT: Name: bar2
|
|
; REF-NEXT: Type: FUNCTION (0x0)
|
|
; REF-NEXT: Flags [ (0x0)
|
|
; REF-NEXT: ]
|
|
; REF-NEXT: ElementIndex: 0x0
|
|
; REF-NEXT: }
|
|
; REF-NEXT: Symbol {
|
|
; REF-NEXT: Name: foo
|
|
; REF-NEXT: Type: FUNCTION (0x0)
|
|
; REF-NEXT: Flags [ (0x0)
|
|
; REF-NEXT: ]
|
|
; REF-NEXT: ElementIndex: 0x0
|
|
; REF-NEXT: }
|
|
; REF-NEXT: Symbol {
|
|
; REF-NEXT: Name: bar
|
|
; REF-NEXT: Type: FUNCTION (0x0)
|
|
; REF-NEXT: Flags [ (0x0)
|
|
; REF-NEXT: ]
|
|
; REF-NEXT: ElementIndex: 0x0
|
|
; REF-NEXT: }
|
|
; REF-NEXT: Symbol {
|
|
; REF-NEXT: Name: __indirect_function_table
|
|
; REF-NEXT: Type: TABLE (0x5)
|
|
; REF-NEXT: Flags [ (0x90)
|
|
; REF-NEXT: NO_STRIP (0x80)
|
|
; REF-NEXT: UNDEFINED (0x10)
|
|
; REF-NEXT: ]
|
|
; REF-NEXT: ImportModule: env
|
|
; REF-NEXT: ElementIndex: 0x0
|
|
; REF-NEXT: }
|
|
; REF-NEXT: ]
|