| # RUN: yaml2obj %s | obj2yaml | FileCheck %s |
| --- !WASM |
| FileHeader: |
| Version: 0x00000001 |
| Sections: |
| - Type: GLOBAL |
| Globals: |
| - Index: 0 |
| Type: I32 |
| Mutable: false |
| InitExpr: |
| # "extended" encoding of init expression: |
| # (global.get[0x23] 0x1 end[0x0b]) |
| Extended: true |
| Body: 23010b |
| - Index: 1 |
| Type: I64 |
| Mutable: false |
| InitExpr: |
| # (global.get[0x23] 0x1 i32.const[0x41] 0x2 i32.add[0x6a] end[0x0b]) |
| Extended: true |
| Body: 230141026a0b |
| ... |
| # CHECK: --- !WASM |
| # CHECK: FileHeader: |
| # CHECK: Version: 0x1 |
| # CHECK: Sections: |
| # CHECK: - Type: GLOBAL |
| # CHECK: Globals: |
| # CHECK: - Index: 0 |
| # CHECK: Type: I32 |
| # CHECK: Mutable: false |
| # CHECK: InitExpr: |
| # CHECK: Opcode: GLOBAL_GET |
| # CHECK: Index: 1 |
| # CHECK: - Index: 1 |
| # CHECK: Type: I64 |
| # CHECK: Mutable: false |
| # CHECK: InitExpr: |
| # CHECK: Extended: true |
| # CHECK: Body: 230141026A0B |
| # CHECK: ... |
