| ; RUN: llc -filetype=obj %s -o - | llvm-readobj -file-headers | FileCheck %s | |
| target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" | |
| target triple = "wasm32-unknown-unknown-wasm" | |
| ; CHECK: Format: WASM{{$}} | |
| ; CHECK: Arch: wasm32{{$}} | |
| ; CHECK: AddressSize: 32bit{{$}} | |
| ; CHECK: Version: 0x1{{$}} |