File: tag-section.ll

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-18
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,999,584 kB
  • sloc: cpp: 6,951,724; ansic: 1,486,157; asm: 913,598; python: 232,059; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,079; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,430; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (72 lines) | stat: -rw-r--r-- 3,017 bytes parent folder | download | duplicates (9)
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
; Static code
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling %p/Inputs/tag-section1.ll -o %t1.o
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling %p/Inputs/tag-section2.ll -o %t2.o
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling %s -o %t.o
; RUN: wasm-ld -o %t.wasm %t.o %t1.o %t2.o
; RUN: wasm-ld --export-all -o %t-export-all.wasm %t.o %t1.o %t2.o
; RUN: obj2yaml %t.wasm | FileCheck %s --check-prefix=NOPIC
; RUN: obj2yaml %t-export-all.wasm | FileCheck %s --check-prefix=NOPIC-EXPORT-ALL

; PIC code
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling -relocation-model=pic %p/Inputs/tag-section1.ll -o %t1.o
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling -relocation-model=pic %p/Inputs/tag-section2.ll -o %t2.o
; RUN: llc -filetype=obj -wasm-enable-eh -exception-model=wasm -mattr=+exception-handling -relocation-model=pic %s -o %t.o
; RUN: wasm-ld --import-undefined --experimental-pic --unresolved-symbols=import-dynamic -pie -o %t.wasm %t.o %t1.o %t2.o
; RUN: obj2yaml %t.wasm | FileCheck %s --check-prefix=PIC

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-emscripten"

declare void @foo(ptr)
declare void @bar(ptr)

define void @_start() {
  call void @foo(ptr null)
  call void @bar(ptr null)
  ret void
}

; NOPIC:      Sections:
; NOPIC-NEXT:   - Type:            TYPE
; NOPIC-NEXT:     Signatures:
; NOPIC-NEXT:       - Index:           0
; NOPIC-NEXT:         ParamTypes:      []
; NOPIC-NEXT:         ReturnTypes:     []
; NOPIC-NEXT:       - Index:           1
; NOPIC-NEXT:         ParamTypes:
; NOPIC-NEXT:           - I32
; NOPIC-NEXT:         ReturnTypes:     []

; NOPIC:        - Type:            TAG
; NOPIC-NEXT:     TagTypes:        [ 1 ]

; Global section has to come after tag section
; NOPIC:        - Type:            GLOBAL

; NOPIC-EXPORT-ALL:   - Type:            EXPORT
; NOPIC-EXPORT-ALL-NEXT Exports:
; NOPIC-EXPORT-ALL:       - Name:            __cpp_exception
; NOPIC-EXPORT-ALL:         Kind:            TAG
; NOPIC-EXPORT-ALL:         Index:           0

; In PIC mode, tags are undefined and imported from JS.
; PIC:        Sections:
; PIC:         - Type:            TYPE
; PIC-NEXT:      Signatures:
; PIC-NEXT:        - Index:           0
; PIC-NEXT:          ParamTypes:
; PIC-NEXT:            - I32
; PIC-NEXT:          ReturnTypes:     []
; PIC-NEXT:        - Index:           1
; PIC-NEXT:          ParamTypes:      []
; PIC-NEXT:          ReturnTypes:     []

; PIC:         - Type:            IMPORT
; PIC-NEXT:      Imports:
; PIC:             - Module:          env
; PIC:               Field:           __cpp_exception
; PIC-NEXT:          Kind:            TAG
; PIC-NEXT:          SigIndex:        0

; In PIC mode, tags should NOT be defined in the module; they are imported.
; PIC-NOT:     - Type:            TAG