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