| ; RUN: llvm-as < %s | llvm-dis | FileCheck %s |
| ; Check support for basic target extension type properties |
| |
| declare void @g1(target("atype", void)) |
| declare void @g2(target("atype", i32)) |
| declare void @g3(target("atype", i32, 0)) |
| declare void @g4(target("atype", 0)) |
| declare void @g5(target("atype", 0, 1, 2)) |
| declare void @g6(target("atype", void, i32, float, {i32, bfloat}, 0, 1, 2)) |
| |
| ;CHECK: declare void @g1(target("atype", void)) |
| ;CHECK: declare void @g2(target("atype", i32)) |
| ;CHECK: declare void @g3(target("atype", i32, 0)) |
| ;CHECK: declare void @g4(target("atype", 0)) |
| ;CHECK: declare void @g5(target("atype", 0, 1, 2)) |
| ;CHECK: declare void @g6(target("atype", void, i32, float, { i32, bfloat }, 0, 1, 2)) |