This is an archive of the discontinued LLVM Phabricator instance.

Differential D117739

[lld][WebAssemlby] Convert test to check disassembly output. NFC
ClosedPublic

Authored by sbc100 on Jan 19 2022, 6:42 PM.

Details

Reviewers
tlively
Commits
rGfeddf1150227: [lld][WebAssemlby] Convert test to check disassembly output. NFC

Diff Detail

Event Timeline

sbc100 created this revision.Jan 19 2022, 6:42 PM
Herald added a subscriber: wingo. · View Herald TranscriptJan 19 2022, 6:42 PM
sbc100 requested review of this revision.Jan 19 2022, 6:42 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 19 2022, 6:42 PM
Herald added subscribers: llvm-commits, aheejin. · View Herald Transcript
sbc100 added a reviewer: tlively.Jan 19 2022, 6:43 PM
Harbormaster completed remote builds in B144461: Diff 401475.Jan 19 2022, 6:53 PM
sbc100 updated this revision to Diff 401493.Jan 19 2022, 8:47 PM
  • 64bit test too
Harbormaster completed remote builds in B144472: Diff 401493.Jan 19 2022, 8:57 PM
tlively accepted this revision.Jan 20 2022, 9:25 AM
This revision is now accepted and ready to land.Jan 20 2022, 9:25 AM
Closed by commit rGfeddf1150227: [lld][WebAssemlby] Convert test to check disassembly output. NFC (authored by sbc100). · Explain WhyJan 20 2022, 9:34 AM
This revision was automatically updated to reflect the committed changes.
sbc100 added a commit: rGfeddf1150227: [lld][WebAssemlby] Convert test to check disassembly output. NFC.

Revision Contents

PathSize
lld/
test/
wasm/
51 lines
51 lines

Diff 401670

lld/test/wasm/shared.s

# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld --experimental-pic -shared -o %t.wasm %t.o # RUN: wasm-ld --experimental-pic -shared -o %t.wasm %t.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# RUN: llvm-objdump --disassemble-symbols=__wasm_call_ctors,__wasm_apply_data_relocs --no-show-raw-insn --no-leading-addr %t.wasm | FileCheck %s --check-prefixes DIS
.functype func_external () -> () .functype func_external () -> ()
# Linker-synthesized globals # Linker-synthesized globals
.globaltype __stack_pointer, i32 .globaltype __stack_pointer, i32
.globaltype __table_base, i32, immutable .globaltype __table_base, i32, immutable
.globaltype __memory_base, i32, immutable .globaltype __memory_base, i32, immutable
▲ Show 20 Lines • Show All 188 Lines • ▼ Show 20 Lines
# CHECK: - Type: ELEM # CHECK: - Type: ELEM
# CHECK-NEXT: Segments: # CHECK-NEXT: Segments:
# CHECK-NEXT: - Offset: # CHECK-NEXT: - Offset:
# CHECK-NEXT: Opcode: GLOBAL_GET # CHECK-NEXT: Opcode: GLOBAL_GET
# CHECK-NEXT: Index: 2 # CHECK-NEXT: Index: 2
# CHECK-NEXT: Functions: [ 3, 2 ] # CHECK-NEXT: Functions: [ 3, 2 ]
# check the generated code in __wasm_call_ctors and __wasm_apply_data_relocs functions # check the generated code in __wasm_call_ctors and __wasm_apply_data_relocs functions
# TODO(sbc): Disassemble and verify instructions.
# CHECK: - Type: CODE # DIS: <__wasm_call_ctors>:
# CHECK-NEXT: Functions: # DIS-EMPTY:
# CHECK-NEXT: - Index: 0 # DIS-NEXT: call 1
# CHECK-NEXT: Locals: [] # DIS-NEXT: end
# CHECK-NEXT: Body: 10010B
# CHECK-NEXT: - Index: 1 # DIS: <__wasm_apply_data_relocs>:
# CHECK-NEXT: Locals: [] # DIS-EMPTY:
# CHECK-NEXT: Body: 230141046A2304360200230141086A230241016A3602002301410C6A230141006A360200230141106A2305360200230141146A230641046A3602000B # DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 4
# DIS-NEXT: i32.add
# DIS-NEXT: global.get 4
# DIS-NEXT: i32.store 0
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 8
# DIS-NEXT: i32.add
# DIS-NEXT: global.get 2
# DIS-NEXT: i32.const 1
# DIS-NEXT: i32.add
# DIS-NEXT: i32.store 0
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 12
# DIS-NEXT: i32.add
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 0
# DIS-NEXT: i32.add
# DIS-NEXT: i32.store 0
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 16
# DIS-NEXT: i32.add
# DIS-NEXT: global.get 5
# DIS-NEXT: i32.store 0
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 20
# DIS-NEXT: i32.add
# DIS-NEXT: global.get 6
# DIS-NEXT: i32.const 4
# DIS-NEXT: i32.add
# DIS-NEXT: i32.store 0
# DIS-NEXT: end
# check the data segment initialized with __memory_base global as offset # check the data segment initialized with __memory_base global as offset
# CHECK: - Type: DATA # CHECK: - Type: DATA
# CHECK-NEXT: Segments: # CHECK-NEXT: Segments:
# CHECK-NEXT: - SectionOffset: 6 # CHECK-NEXT: - SectionOffset: 6
# CHECK-NEXT: InitFlags: 0 # CHECK-NEXT: InitFlags: 0
# CHECK-NEXT: Offset: # CHECK-NEXT: Offset:
# CHECK-NEXT: Opcode: GLOBAL_GET # CHECK-NEXT: Opcode: GLOBAL_GET
# CHECK-NEXT: Index: 1 # CHECK-NEXT: Index: 1
# CHECK-NEXT: Content: '020000000000000001000000000000000000000000000000' # CHECK-NEXT: Content: '020000000000000001000000000000000000000000000000'

lld/test/wasm/shared64.s

# RUN: llvm-mc -filetype=obj -triple=wasm64-unknown-unknown -o %t.o %s # RUN: llvm-mc -filetype=obj -triple=wasm64-unknown-unknown -o %t.o %s
# RUN: wasm-ld -mwasm64 --experimental-pic -shared -o %t.wasm %t.o # RUN: wasm-ld -mwasm64 --experimental-pic -shared -o %t.wasm %t.o
# RUN: obj2yaml %t.wasm | FileCheck %s # RUN: obj2yaml %t.wasm | FileCheck %s
# RUN: llvm-objdump --disassemble-symbols=__wasm_call_ctors,__wasm_apply_data_relocs --no-show-raw-insn --no-leading-addr %t.wasm | FileCheck %s --check-prefixes DIS
.functype func_external () -> () .functype func_external () -> ()
# Linker-synthesized globals # Linker-synthesized globals
.globaltype __stack_pointer, i64 .globaltype __stack_pointer, i64
.globaltype __table_base, i64, immutable .globaltype __table_base, i64, immutable
.globaltype __memory_base, i64, immutable .globaltype __memory_base, i64, immutable
▲ Show 20 Lines • Show All 195 Lines • ▼ Show 20 Lines
# CHECK: - Type: ELEM # CHECK: - Type: ELEM
# CHECK-NEXT: Segments: # CHECK-NEXT: Segments:
# CHECK-NEXT: - Offset: # CHECK-NEXT: - Offset:
# CHECK-NEXT: Opcode: GLOBAL_GET # CHECK-NEXT: Opcode: GLOBAL_GET
# CHECK-NEXT: Index: 3 # CHECK-NEXT: Index: 3
# CHECK-NEXT: Functions: [ 3, 2 ] # CHECK-NEXT: Functions: [ 3, 2 ]
# check the generated code in __wasm_call_ctors and __wasm_apply_data_relocs functions # check the generated code in __wasm_call_ctors and __wasm_apply_data_relocs functions
# TODO(sbc): Disassemble and verify instructions.
# CHECK: - Type: CODE # DIS: <__wasm_call_ctors>:
# CHECK-NEXT: Functions: # DIS-EMPTY:
# CHECK-NEXT: - Index: 0 # DIS-NEXT: call 1
# CHECK-NEXT: Locals: [] # DIS-NEXT: end
# CHECK-NEXT: Body: 10010B
# CHECK-NEXT: - Index: 1 # DIS: <__wasm_apply_data_relocs>:
# CHECK-NEXT: Locals: [] # DIS-EMPTY:
# CHECK-NEXT: Body: 230142047C23053702002301420C7C230242017C370200230142147C230141006A360200230142187C2306370200230142207C230741046A3602000B # DIS-NEXT: global.get 1
# DIS-NEXT: i64.const 4
# DIS-NEXT: i64.add
# DIS-NEXT: global.get 5
# DIS-NEXT: i64.store 0:p2align=2
# DIS-NEXT: global.get 1
# DIS-NEXT: i64.const 12
# DIS-NEXT: i64.add
# DIS-NEXT: global.get 2
# DIS-NEXT: i64.const 1
# DIS-NEXT: i64.add
# DIS-NEXT: i64.store 0:p2align=2
# DIS-NEXT: global.get 1
# DIS-NEXT: i64.const 20
# DIS-NEXT: i64.add
# DIS-NEXT: global.get 1
# DIS-NEXT: i32.const 0
# DIS-NEXT: i32.add
# DIS-NEXT: i32.store 0
# DIS-NEXT: global.get 1
# DIS-NEXT: i64.const 24
# DIS-NEXT: i64.add
# DIS-NEXT: global.get 6
# DIS-NEXT: i64.store 0:p2align=2
# DIS-NEXT: global.get 1
# DIS-NEXT: i64.const 32
# DIS-NEXT: i64.add
# DIS-NEXT: global.get 7
# DIS-NEXT: i32.const 4
# DIS-NEXT: i32.add
# DIS-NEXT: i32.store 0
# DIS-NEXT: end
# check the data segment initialized with __memory_base global as offset # check the data segment initialized with __memory_base global as offset
# CHECK: - Type: DATA # CHECK: - Type: DATA
# CHECK-NEXT: Segments: # CHECK-NEXT: Segments:
# CHECK-NEXT: - SectionOffset: 6 # CHECK-NEXT: - SectionOffset: 6
# CHECK-NEXT: InitFlags: 0 # CHECK-NEXT: InitFlags: 0
# CHECK-NEXT: Offset: # CHECK-NEXT: Offset:
# CHECK-NEXT: Opcode: GLOBAL_GET # CHECK-NEXT: Opcode: GLOBAL_GET
# CHECK-NEXT: Index: 1 # CHECK-NEXT: Index: 1
# CHECK-NEXT: Content: '020000000000000000000000010000000000000000000000000000000000000000000000' # CHECK-NEXT: Content: '020000000000000000000000010000000000000000000000000000000000000000000000'