llvm-project/llvm/test/MC/WebAssembly/function-alias.ll
Dan Gohman c3536b263f
[WebAssembly] Define call-indirect-overlong and bulk-memory-opt features (#117087)
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>
2024-12-02 17:08:07 -08:00

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: ]