| ; RUN: llvm-as < %s | llvm-dis | FileCheck %s |
| ; Check support for mangling of target extension types in intrinsics |
| |
| declare target("a", target("b")) @llvm.ssa.copy.ta_tbtt(target("a", target("b")) returned) |
| declare target("a", void, i8, 5, 3) @llvm.ssa.copy.ta_isVoid_i8_5_3t(target("a", void, i8, 5, 3) returned) |
| declare target("b") @llvm.ssa.copy.tbt(target("b") returned) |
| |
| ; CHECK: declare target("a", target("b")) @llvm.ssa.copy.ta_tbtt(target("a", target("b")) returned) |
| ; CHECK: declare target("a", void, i8, 5, 3) @llvm.ssa.copy.ta_isVoid_i8_5_3t(target("a", void, i8, 5, 3) returned) |
| ; CHECK: declare target("b") @llvm.ssa.copy.tbt(target("b") returned) |
| |
