1; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s
2
3; CHECK: Block ID {{.*}} (TYPE_BLOCK_ID)
4; CHECK: BFLOAT
5; CHECK: TOKEN
6; CHECK: X86_MMX
7; CHECK: HALF
8; CHECK: Block ID
9
10define half @test_half(half %x, half %y) {
11  %a = fadd half %x, %y
12  ret half %a
13}
14
15define x86_mmx @test_mmx(<2 x i32> %x) {
16  %a = bitcast <2 x i32> %x to x86_mmx
17  ret x86_mmx %a
18}
19
20define bfloat @test_bfloat(i16 %x) {
21  %a = bitcast i16 %x to bfloat
22  ret bfloat %a
23}
24
25declare void @llvm.token(token)
26