File: reference-types.s

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (89 lines) | stat: -rw-r--r-- 2,186 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
 
# RUN: llvm-mc -show-encoding -triple=wasm32-unknown-unknown -mattr=+reference-types < %s | FileCheck %s
# RUN: llvm-mc -show-encoding -triple=wasm64-unknown-unknown -mattr=+reference-types < %s | FileCheck %s

# CHECK-LABEL:ref_is_null:
# CHECK: ref.is_null     # encoding: [0xd1]
ref_is_null:
  .functype ref_is_null () -> (i32, i32, i32)
  ref.null_extern
  ref.is_null
  ref.null_func
  ref.is_null
  ref.null_exn
  ref.is_null
  end_function

# CHECK-LABEL: ref_null_test:
# CHECK: ref.null_func   # encoding: [0xd0,0x70]
# CHECK: ref.null_extern # encoding: [0xd0,0x6f]
# CHECK: ref.null_exn    # encoding: [0xd0,0x69]
ref_null_test:
  .functype ref_null_test () -> ()
  ref.null_func
  drop
  ref.null_extern
  drop
  ref.null_exn
  drop
  end_function

# CHECK-LABEL: ref_sig_test_funcref:
# CHECK-NEXT: .functype ref_sig_test_funcref (funcref) -> (funcref)
ref_sig_test_funcref:
  .functype ref_sig_test_funcref (funcref) -> (funcref)
  local.get 0
  end_function

# CHECK-LABEL: ref_sig_test_externref:
# CHECK-NEXT: .functype ref_sig_test_externref (externref) -> (externref)
ref_sig_test_externref:
  .functype ref_sig_test_externref (externref) -> (externref)
  local.get 0
  end_function

# CHECK-LABEL: ref_sig_test_exnref:
# CHECK-NEXT: .functype ref_sig_test_exnref (exnref) -> (exnref)
ref_sig_test_exnref:
  .functype ref_sig_test_exnref (exnref) -> (exnref)
  local.get 0
  end_function

# CHECK-LABEL: ref_select_test:
# CHECK: funcref.select   # encoding: [0x1b]
# CHECK: externref.select # encoding: [0x1b]
# CHECK: exnref.select    # encoding: [0x1b]
ref_select_test:
  .functype ref_select_test () -> ()
  ref.null_func
  ref.null_func
  i32.const 0
  funcref.select
  drop
  ref.null_extern
  ref.null_extern
  i32.const 0
  externref.select
  drop
  ref.null_exn
  ref.null_exn
  i32.const 0
  exnref.select
  drop
  end_function

# CHECK-LABEL: ref_block_test:
# CHECK: block funcref
# CHECK: block externref
# CHECK: block exnref
ref_block_test:
  .functype ref_block_test () -> (exnref, externref, funcref)
  block funcref
  block externref
  block exnref
  ref.null_exn
  end_block
  ref.null_extern
  end_block
  ref.null_func
  end_block
  end_function