| # RUN: yaml2obj %s | obj2yaml | FileCheck %s |
| --- !WASM |
| FileHeader: |
| Version: 0x00000001 |
| Sections: |
| - Type: TABLE |
| Tables: |
| - ElemType: FUNCREF |
| Limits: |
| Flags: [ HAS_MAX ] |
| Initial: 0x00000010 |
| Maximum: 0x00000011 |
| - Type: ELEM |
| Segments: |
| - Offset: |
| Opcode: I32_CONST |
| Value: 3 |
| Functions: |
| - 1 |
| - Offset: |
| Opcode: GLOBAL_GET |
| Index: 1 |
| Functions: |
| - 4 |
| ... |
| # CHECK: --- !WASM |
| # CHECK: FileHeader: |
| # CHECK: Version: 0x00000001 |
| # CHECK: Sections: |
| # CHECK: - Type: ELEM |
| # CHECK: Segments: |
| # CHECK: - Offset: |
| # CHECK: Opcode: I32_CONST |
| # CHECK: Value: 3 |
| # CHECK: Functions: [ 1 ] |
| # CHECK: - Offset: |
| # CHECK: Opcode: GLOBAL_GET |
| # CHECK: Index: 1 |
| # CHECK: Functions: [ 4 ] |
| # CHECK: ... |
