[clang] [llvm] [PowerPC] Support for Packed BCD conversion builtins (PR #142723)
via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 23 21:58:16 PDT 2025
https://github.com/Himadhith updated https://github.com/llvm/llvm-project/pull/142723
>From 13bb90db00e38147a8e4fc7cab9e2d2076d2180a Mon Sep 17 00:00:00 2001
From: himadhith <himadhith.v at ibm.com>
Date: Wed, 4 Jun 2025 06:13:13 +0000
Subject: [PATCH 1/2] [PowerPC] Support for Packed BCD conversion builtins
---
clang/include/clang/Basic/BuiltinsPPC.def | 7 ++
clang/lib/Basic/Targets/PPC.cpp | 6 ++
clang/lib/CodeGen/TargetBuiltins/PPC.cpp | 28 ++++++
clang/lib/Sema/SemaPPC.cpp | 4 +
.../PowerPC/builtins-bcd-transform-negative.c | 23 +++++
.../CodeGen/PowerPC/builtins-bcd-transform.c | 57 +++++++++++
clang/test/Sema/builtins-bcd-transform.c | 30 ++++++
llvm/include/llvm/IR/IntrinsicsPowerPC.td | 8 ++
llvm/lib/Target/PowerPC/PPCInstrAltivec.td | 12 ++-
.../CodeGen/PowerPC/builtins-bcd-transform.ll | 96 +++++++++++++++++++
10 files changed, 267 insertions(+), 4 deletions(-)
create mode 100644 clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
create mode 100644 clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
create mode 100644 clang/test/Sema/builtins-bcd-transform.c
create mode 100644 llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
diff --git a/clang/include/clang/Basic/BuiltinsPPC.def b/clang/include/clang/Basic/BuiltinsPPC.def
index 099500754a0e0..5112c7ae5a82e 100644
--- a/clang/include/clang/Basic/BuiltinsPPC.def
+++ b/clang/include/clang/Basic/BuiltinsPPC.def
@@ -567,6 +567,13 @@ TARGET_BUILTIN(__builtin_altivec_vextsh2w, "V4SiV8Ss", "", "power9-vector")
TARGET_BUILTIN(__builtin_altivec_vextsh2d, "V2SLLiV8Ss", "", "power9-vector")
TARGET_BUILTIN(__builtin_altivec_vextsw2d, "V2SLLiV4Si", "", "power9-vector")
+// P9 BCD builtins (the signature used here is for informational purposes only
+// as front-end emits custom codegens for these set of builtins.)
+TARGET_BUILTIN(__builtin_ppc_national2packed, "V16UcV16UcUc", "t", "power9-vector")
+TARGET_BUILTIN(__builtin_ppc_packed2national, "V16UcV16Uc", "", "power9-vector")
+TARGET_BUILTIN(__builtin_ppc_packed2zoned, "V16UcV16UcUc", "t", "power9-vector")
+TARGET_BUILTIN(__builtin_ppc_zoned2packed, "V16UcV16UcUc", "t", "power9-vector")
+
// P10 Vector extend sign builtins.
TARGET_BUILTIN(__builtin_altivec_vextsd2q, "V1SLLLiV2SLLi", "",
"power10-vector")
diff --git a/clang/lib/Basic/Targets/PPC.cpp b/clang/lib/Basic/Targets/PPC.cpp
index 77145e2891a8a..05a5dc2d94256 100644
--- a/clang/lib/Basic/Targets/PPC.cpp
+++ b/clang/lib/Basic/Targets/PPC.cpp
@@ -89,6 +89,12 @@ bool PPCTargetInfo::handleTargetFeatures(std::vector<std::string> &Features,
}
static void defineXLCompatMacros(MacroBuilder &Builder) {
+ Builder.defineMacro("__builtin_national2packed",
+ "__builtin_ppc_national2packed");
+ Builder.defineMacro("__builtin_packed2national",
+ "__builtin_ppc_packed2national");
+ Builder.defineMacro("__builtin_packed2zoned", "__builtin_ppc_packed2zoned");
+ Builder.defineMacro("__builtin_zoned2packed", "__builtin_ppc_zoned2packed");
Builder.defineMacro("__cdtbcd", "__builtin_ppc_cdtbcd");
Builder.defineMacro("__cbcdtd", "__builtin_ppc_cbcdtd");
Builder.defineMacro("__addg6s", "__builtin_ppc_addg6s");
diff --git a/clang/lib/CodeGen/TargetBuiltins/PPC.cpp b/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
index f9890285f0aab..7209b82372d4a 100644
--- a/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
+++ b/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
@@ -294,6 +294,34 @@ Value *CodeGenFunction::EmitPPCBuiltinExpr(unsigned BuiltinID,
return Builder.CreateCall(F, Ops, "");
}
+ // BCD convert builtins for P9
+ case PPC::BI__builtin_ppc_national2packed:
+ case PPC::BI__builtin_ppc_packed2zoned:
+ case PPC::BI__builtin_ppc_zoned2packed: {
+ SmallVector<Value *, 3> Ops;
+ // Zero extending unsigned char to 32 bits by using Int32ty
+ llvm::Type *Int32Ty = llvm::IntegerType::get(getLLVMContext(), 32);
+ Ops.push_back(EmitScalarExpr(E->getArg(0)));
+ Ops.push_back(EmitScalarExpr(E->getArg(1)));
+ Ops.push_back(Builder.CreateZExtOrTrunc(EmitScalarExpr(E->getArg(2)),
+ Int32Ty, "zext_mode"));
+
+ switch (BuiltinID) {
+ default:
+ llvm_unreachable("Unsupported BCD convert intrinsic!");
+ case PPC::BI__builtin_ppc_national2packed:
+ ID = Intrinsic::ppc_national2packed;
+ break;
+ case PPC::BI__builtin_ppc_packed2zoned:
+ ID = Intrinsic::ppc_packed2zoned;
+ break;
+ case PPC::BI__builtin_ppc_zoned2packed:
+ ID = Intrinsic::ppc_zoned2packed;
+ break;
+ }
+ return Builder.CreateIntrinsic(ID, Ops);
+ }
+
// vec_st, vec_xst_be
case PPC::BI__builtin_altivec_stvx:
case PPC::BI__builtin_altivec_stvxl:
diff --git a/clang/lib/Sema/SemaPPC.cpp b/clang/lib/Sema/SemaPPC.cpp
index 9b4d82745f881..d5c83aedb3008 100644
--- a/clang/lib/Sema/SemaPPC.cpp
+++ b/clang/lib/Sema/SemaPPC.cpp
@@ -106,6 +106,10 @@ bool SemaPPC::CheckPPCBuiltinFunctionCall(const TargetInfo &TI,
switch (BuiltinID) {
default:
return false;
+ case PPC::BI__builtin_ppc_national2packed:
+ case PPC::BI__builtin_ppc_packed2zoned:
+ case PPC::BI__builtin_ppc_zoned2packed:
+ return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 1);
case PPC::BI__builtin_altivec_crypto_vshasigmaw:
case PPC::BI__builtin_altivec_crypto_vshasigmad:
return SemaRef.BuiltinConstantArgRange(TheCall, 1, 0, 1) ||
diff --git a/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c b/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
new file mode 100644
index 0000000000000..f76e0abed103e
--- /dev/null
+++ b/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
@@ -0,0 +1,23 @@
+// Testfile for negative condition for BCD builtins national2packed, packed2zoned and zoned2packed.
+// REQUIRES: powerpc-registered-target
+// RUN: not %clang_cc1 -triple powerpc64le-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
+// RUN: not %clang_cc1 -triple powerpc64-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
+// RUN: not %clang_cc1 -triple powerpc-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
+
+// CHECK: builtins-bcd-transform-negative.c:12:12: error: argument value 2 is outside the valid range [0, 1]
+vector unsigned char tBcd_National2packed_imm2(vector unsigned char a) {
+ return __builtin_ppc_national2packed (a,'\2');
+}
+
+// CHECK: builtins-bcd-transform-negative.c:17:12: error: argument value 2 is outside the valid range [0, 1]
+vector unsigned char tBcd_Packed2zoned_imm2(vector unsigned char a) {
+ return __builtin_ppc_packed2zoned (a,'\2');
+}
+
+// CHECK: builtins-bcd-transform-negative.c:22:12: error: argument value 2 is outside the valid range [0, 1]
+vector unsigned char tBcd_Zoned2packed_imm2(vector unsigned char a) {
+ return __builtin_ppc_zoned2packed (a,'\2');
+}
\ No newline at end of file
diff --git a/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c b/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
new file mode 100644
index 0000000000000..025dcbce58118
--- /dev/null
+++ b/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
@@ -0,0 +1,57 @@
+// Testfile that verifies positive cases (0 or 1 only) for BCD builtins national2packed, packed2zoned and zoned2packed.
+// REQUIRES: powerpc-registered-target
+// RUN: %clang_cc1 -triple powerpc64le-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple powerpc64-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple powerpc-unknown-unknown -O2 -target-cpu pwr9 \
+// RUN: -emit-llvm %s -o - | FileCheck %s
+
+// CHECK-LABEL: tBcd_National2packed_imm1
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_National2packed_imm1(vector unsigned char a) {
+ return __builtin_ppc_national2packed (a,'\1');
+}
+
+// CHECK-LABEL: tBcd_National2packed_imm0
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_National2packed_imm0(vector unsigned char a) {
+ return __builtin_ppc_national2packed (a,'\0');
+}
+
+// CHECK-LABEL: tBcd_Packed2national
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2national(<16 x i8> %a)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_Packed2national(vector unsigned char a){
+ return __builtin_ppc_packed2national(a);
+}
+
+// CHECK-LABEL: tBcd_Packed2zoned_imm0
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_Packed2zoned_imm0(vector unsigned char a){
+ return __builtin_ppc_packed2zoned(a,'\0');
+}
+
+// CHECK-LABEL: tBcd_Packed2zoned_imm1
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_Packed2zoned_imm1(vector unsigned char a){
+ return __builtin_ppc_packed2zoned(a,'\1');
+}
+
+// CHECK-LABEL: tBcd_Zoned2packed_imm0
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_Zoned2packed_imm0(vector unsigned char a){
+ return __builtin_ppc_zoned2packed(a,'\0');
+}
+
+// CHECK-LABEL: tBcd_Zoned2packed_imm1
+// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+vector unsigned char tBcd_Zoned2packed_imm1(vector unsigned char a){
+ return __builtin_ppc_zoned2packed(a,'\1');
+}
\ No newline at end of file
diff --git a/clang/test/Sema/builtins-bcd-transform.c b/clang/test/Sema/builtins-bcd-transform.c
new file mode 100644
index 0000000000000..103a6be6452b5
--- /dev/null
+++ b/clang/test/Sema/builtins-bcd-transform.c
@@ -0,0 +1,30 @@
+// Testfile to verify the semantics and the error handling for BCD builtins national2packed, packed2zoned and zoned2packed.
+// REQUIRES: powerpc-registered-target
+// RUN: %clang_cc1 -target-feature +altivec -triple powerpc64-unknown-unknown -fsyntax-only -verify %s
+// RUN: %clang_cc1 -target-feature +altivec -triple powerpc64le-unknown-unknown -fsyntax-only -verify %s
+// RUN: %clang_cc1 -target-feature +altivec -triple powerpc-unknown-unknown -fsyntax-only -verify %s
+
+#include <altivec.h>
+vector unsigned char test_national2packed(void)
+{
+ vector unsigned char a = {1,2,3,4};
+ vector unsigned char res_a = __builtin_ppc_national2packed(a, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ vector unsigned char res_b = __builtin_ppc_national2packed(a, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ return __builtin_ppc_national2packed(a, 0);
+}
+
+vector unsigned char test_packed2zoned(void)
+{
+ vector unsigned char a = {1,2,3,4};
+ vector unsigned char res_a = __builtin_ppc_packed2zoned(a,2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ vector unsigned char res_b = __builtin_ppc_packed2zoned(a, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ return __builtin_ppc_packed2zoned(a,1);
+}
+
+vector unsigned char test_zoned2packed(void)
+{
+ vector unsigned char a = {1,2,3,4};
+ vector unsigned char res_a = __builtin_ppc_zoned2packed(a,2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ vector unsigned char res_b = __builtin_ppc_zoned2packed(a, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}
+ return __builtin_ppc_zoned2packed(a,0);
+}
\ No newline at end of file
diff --git a/llvm/include/llvm/IR/IntrinsicsPowerPC.td b/llvm/include/llvm/IR/IntrinsicsPowerPC.td
index 84c26599b5b70..7dd9ff7f08b8b 100644
--- a/llvm/include/llvm/IR/IntrinsicsPowerPC.td
+++ b/llvm/include/llvm/IR/IntrinsicsPowerPC.td
@@ -655,6 +655,14 @@ let TargetPrefix = "ppc" in { // All intrinsics start with "llvm.ppc.".
DefaultAttrsIntrinsic<[llvm_v1i128_ty],[llvm_v1i128_ty],[IntrNoMem]>;
// BCD intrinsics.
+ def int_ppc_national2packed: ClangBuiltin<"__builtin_ppc_national2packed">,
+ DefaultAttrsIntrinsic<[llvm_v16i8_ty],[llvm_v16i8_ty, llvm_i32_ty], [IntrNoMem, ImmArg<ArgIndex<1>>]>;
+ def int_ppc_packed2national: ClangBuiltin<"__builtin_ppc_packed2national">,
+ DefaultAttrsIntrinsic<[llvm_v16i8_ty],[llvm_v16i8_ty], [IntrNoMem]>;
+ def int_ppc_packed2zoned: ClangBuiltin<"__builtin_ppc_packed2zoned">,
+ DefaultAttrsIntrinsic<[llvm_v16i8_ty],[llvm_v16i8_ty, llvm_i32_ty], [IntrNoMem, ImmArg<ArgIndex<1>>]>;
+ def int_ppc_zoned2packed: ClangBuiltin<"__builtin_ppc_zoned2packed">,
+ DefaultAttrsIntrinsic<[llvm_v16i8_ty],[llvm_v16i8_ty, llvm_i32_ty], [IntrNoMem, ImmArg<ArgIndex<1>>]>;
def int_ppc_cdtbcdd : ClangBuiltin<"__builtin_ppc_cdtbcd">,
DefaultAttrsIntrinsic<[llvm_i64_ty], [llvm_i64_ty], [IntrNoMem]>;
def int_ppc_cbcdtdd: ClangBuiltin<"__builtin_ppc_cbcdtd">,
diff --git a/llvm/lib/Target/PowerPC/PPCInstrAltivec.td b/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
index 386c94a324996..9a54e070629b7 100644
--- a/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
+++ b/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
@@ -1617,10 +1617,14 @@ class VX_VT5_EO5_VB5_XO9_o<bits<5> eo, bits<9> xo, string opc,
}
// Decimal Convert From/to National/Zoned/Signed-QWord
-def BCDCFN_rec : VX_VT5_EO5_VB5_PS1_XO9_o<7, 385, "bcdcfn." , []>;
-def BCDCFZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<6, 385, "bcdcfz." , []>;
-def BCDCTN_rec : VX_VT5_EO5_VB5_XO9_o <5, 385, "bcdctn." , []>;
-def BCDCTZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<4, 385, "bcdctz." , []>;
+def BCDCFN_rec : VX_VT5_EO5_VB5_PS1_XO9_o<7, 385, "bcdcfn." ,
+ [(set v16i8:$VD, (int_ppc_national2packed v16i8:$VB, i32:$PS))]>;
+def BCDCFZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<6, 385, "bcdcfz." ,
+ [(set v16i8:$VD, (int_ppc_zoned2packed v16i8:$VB, i32:$PS))]>;
+def BCDCTN_rec : VX_VT5_EO5_VB5_XO9_o <5, 385, "bcdctn." ,
+ [(set v16i8:$VD, (int_ppc_packed2national v16i8:$VB))]>;
+def BCDCTZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<4, 385, "bcdctz." ,
+ [(set v16i8:$VD, (int_ppc_packed2zoned v16i8:$VB, i32:$PS))]>;
def BCDCFSQ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<2, 385, "bcdcfsq.", []>;
def BCDCTSQ_rec : VX_VT5_EO5_VB5_XO9_o <0, 385, "bcdctsq.", []>;
diff --git a/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll b/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
new file mode 100644
index 0000000000000..deb4656fcc718
--- /dev/null
+++ b/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
@@ -0,0 +1,96 @@
+; Testfile that verifies positive case (0 or 1 only) for BCD builtins national2packed, packed2zoned and zoned2packed.
+; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \
+; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
+
+; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64-unknown-unknown \
+; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
+
+; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc-unknown-unknown \
+; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
+
+; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64-ibm-aix-xcoff \
+; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
+
+; CHECK-LABEL: tBcd_National2packed_imm0
+; CHECK: bcdcfn. v2, v2, 0
+; CHECK-NEXT: blr
+
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
+declare <16 x i8> @llvm.ppc.national2packed(<16 x i8>, i32 immarg)
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
+define <16 x i8> @tBcd_National2packed_imm0(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 0)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_National2packed_imm1
+; CHECK: bcdcfn. v2, v2, 1
+; CHECK-NEXT: blr
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
+define <16 x i8> @tBcd_National2packed_imm1(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 1)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_Packed2national
+; CHECK: bcdctn. v2, v2
+; CHECK-NEXT: blr
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
+declare <16 x i8> @llvm.ppc.packed2national(<16 x i8>)
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
+define <16 x i8> @tBcd_Packed2national(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.packed2national(<16 x i8> %a)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_Packed2zoned_imm0
+; CHECK: bcdctz. v2, v2, 0
+; CHECK-NEXT: blr
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
+declare <16 x i8> @llvm.ppc.packed2zoned(<16 x i8>, i32 immarg)
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
+define dso_local <16 x i8> @tBcd_Packed2zoned_imm0(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 0)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_Packed2zoned_imm1
+; CHECK: bcdctz. v2, v2, 1
+; CHECK-NEXT: blr
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
+define dso_local <16 x i8> @tBcd_Packed2zoned_imm1(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 1)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_Zoned2packed_imm0
+; CHECK: bcdcfz. v2, v2, 0
+; CHECK-NEXT: blr
+; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
+declare <16 x i8> @llvm.ppc.zoned2packed(<16 x i8>, i32 immarg)
+
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
+define dso_local <16 x i8> @tBcd_Zoned2packed_imm0(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 0)
+ ret <16 x i8> %0
+}
+
+; CHECK-LABEL: tBcd_Zoned2packed_imm1
+; CHECK: bcdcfz. v2, v2, 1
+; CHECK-NEXT: blr
+; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
+define dso_local <16 x i8> @tBcd_Zoned2packed_imm1(<16 x i8> noundef %a) {
+entry:
+ %0 = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 1)
+ ret <16 x i8> %0
+}
\ No newline at end of file
>From 300ca5aaf47bde2b54b618ac382ab7c4ddc5a0f9 Mon Sep 17 00:00:00 2001
From: himadhith <himadhith.v at ibm.com>
Date: Wed, 11 Jun 2025 13:41:46 +0000
Subject: [PATCH 2/2] Removing redundant code and fixing test files
---
clang/include/clang/Basic/BuiltinsPPC.def | 3 +-
clang/lib/CodeGen/TargetBuiltins/PPC.cpp | 28 ------
.../PowerPC/builtins-bcd-transform-negative.c | 23 -----
.../CodeGen/PowerPC/builtins-bcd-transform.c | 68 +++++++++-----
llvm/lib/Target/PowerPC/PPCInstrAltivec.td | 6 +-
.../CodeGen/PowerPC/builtins-bcd-transform.ll | 93 +++++++++----------
6 files changed, 93 insertions(+), 128 deletions(-)
delete mode 100644 clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
diff --git a/clang/include/clang/Basic/BuiltinsPPC.def b/clang/include/clang/Basic/BuiltinsPPC.def
index 5112c7ae5a82e..c07f9d5dc44d0 100644
--- a/clang/include/clang/Basic/BuiltinsPPC.def
+++ b/clang/include/clang/Basic/BuiltinsPPC.def
@@ -567,8 +567,7 @@ TARGET_BUILTIN(__builtin_altivec_vextsh2w, "V4SiV8Ss", "", "power9-vector")
TARGET_BUILTIN(__builtin_altivec_vextsh2d, "V2SLLiV8Ss", "", "power9-vector")
TARGET_BUILTIN(__builtin_altivec_vextsw2d, "V2SLLiV4Si", "", "power9-vector")
-// P9 BCD builtins (the signature used here is for informational purposes only
-// as front-end emits custom codegens for these set of builtins.)
+// P9 Binary-coded decimal (BCD) builtins.
TARGET_BUILTIN(__builtin_ppc_national2packed, "V16UcV16UcUc", "t", "power9-vector")
TARGET_BUILTIN(__builtin_ppc_packed2national, "V16UcV16Uc", "", "power9-vector")
TARGET_BUILTIN(__builtin_ppc_packed2zoned, "V16UcV16UcUc", "t", "power9-vector")
diff --git a/clang/lib/CodeGen/TargetBuiltins/PPC.cpp b/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
index 7209b82372d4a..f9890285f0aab 100644
--- a/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
+++ b/clang/lib/CodeGen/TargetBuiltins/PPC.cpp
@@ -294,34 +294,6 @@ Value *CodeGenFunction::EmitPPCBuiltinExpr(unsigned BuiltinID,
return Builder.CreateCall(F, Ops, "");
}
- // BCD convert builtins for P9
- case PPC::BI__builtin_ppc_national2packed:
- case PPC::BI__builtin_ppc_packed2zoned:
- case PPC::BI__builtin_ppc_zoned2packed: {
- SmallVector<Value *, 3> Ops;
- // Zero extending unsigned char to 32 bits by using Int32ty
- llvm::Type *Int32Ty = llvm::IntegerType::get(getLLVMContext(), 32);
- Ops.push_back(EmitScalarExpr(E->getArg(0)));
- Ops.push_back(EmitScalarExpr(E->getArg(1)));
- Ops.push_back(Builder.CreateZExtOrTrunc(EmitScalarExpr(E->getArg(2)),
- Int32Ty, "zext_mode"));
-
- switch (BuiltinID) {
- default:
- llvm_unreachable("Unsupported BCD convert intrinsic!");
- case PPC::BI__builtin_ppc_national2packed:
- ID = Intrinsic::ppc_national2packed;
- break;
- case PPC::BI__builtin_ppc_packed2zoned:
- ID = Intrinsic::ppc_packed2zoned;
- break;
- case PPC::BI__builtin_ppc_zoned2packed:
- ID = Intrinsic::ppc_zoned2packed;
- break;
- }
- return Builder.CreateIntrinsic(ID, Ops);
- }
-
// vec_st, vec_xst_be
case PPC::BI__builtin_altivec_stvx:
case PPC::BI__builtin_altivec_stvxl:
diff --git a/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c b/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
deleted file mode 100644
index f76e0abed103e..0000000000000
--- a/clang/test/CodeGen/PowerPC/builtins-bcd-transform-negative.c
+++ /dev/null
@@ -1,23 +0,0 @@
-// Testfile for negative condition for BCD builtins national2packed, packed2zoned and zoned2packed.
-// REQUIRES: powerpc-registered-target
-// RUN: not %clang_cc1 -triple powerpc64le-unknown-unknown -O2 -target-cpu pwr9 \
-// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
-// RUN: not %clang_cc1 -triple powerpc64-unknown-unknown -O2 -target-cpu pwr9 \
-// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
-// RUN: not %clang_cc1 -triple powerpc-unknown-unknown -O2 -target-cpu pwr9 \
-// RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s
-
-// CHECK: builtins-bcd-transform-negative.c:12:12: error: argument value 2 is outside the valid range [0, 1]
-vector unsigned char tBcd_National2packed_imm2(vector unsigned char a) {
- return __builtin_ppc_national2packed (a,'\2');
-}
-
-// CHECK: builtins-bcd-transform-negative.c:17:12: error: argument value 2 is outside the valid range [0, 1]
-vector unsigned char tBcd_Packed2zoned_imm2(vector unsigned char a) {
- return __builtin_ppc_packed2zoned (a,'\2');
-}
-
-// CHECK: builtins-bcd-transform-negative.c:22:12: error: argument value 2 is outside the valid range [0, 1]
-vector unsigned char tBcd_Zoned2packed_imm2(vector unsigned char a) {
- return __builtin_ppc_zoned2packed (a,'\2');
-}
\ No newline at end of file
diff --git a/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c b/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
index 025dcbce58118..74a8500da6dab 100644
--- a/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
+++ b/clang/test/CodeGen/PowerPC/builtins-bcd-transform.c
@@ -1,3 +1,4 @@
+// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
// Testfile that verifies positive cases (0 or 1 only) for BCD builtins national2packed, packed2zoned and zoned2packed.
// REQUIRES: powerpc-registered-target
// RUN: %clang_cc1 -triple powerpc64le-unknown-unknown -O2 -target-cpu pwr9 \
@@ -7,51 +8,72 @@
// RUN: %clang_cc1 -triple powerpc-unknown-unknown -O2 -target-cpu pwr9 \
// RUN: -emit-llvm %s -o - | FileCheck %s
-// CHECK-LABEL: tBcd_National2packed_imm1
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 1)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_National2packed_imm1(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> [[A]], i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_National2packed_imm1(vector unsigned char a) {
- return __builtin_ppc_national2packed (a,'\1');
+ return __builtin_ppc_national2packed (a,'\1');
}
-// CHECK-LABEL: tBcd_National2packed_imm0
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 0)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_National2packed_imm0(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> [[A]], i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_National2packed_imm0(vector unsigned char a) {
return __builtin_ppc_national2packed (a,'\0');
}
-// CHECK-LABEL: tBcd_Packed2national
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2national(<16 x i8> %a)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_Packed2national(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2national(<16 x i8> [[A]])
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_Packed2national(vector unsigned char a){
return __builtin_ppc_packed2national(a);
}
-// CHECK-LABEL: tBcd_Packed2zoned_imm0
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 0)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_Packed2zoned_imm0(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> [[A]], i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_Packed2zoned_imm0(vector unsigned char a){
return __builtin_ppc_packed2zoned(a,'\0');
}
-// CHECK-LABEL: tBcd_Packed2zoned_imm1
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 1)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_Packed2zoned_imm1(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> [[A]], i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_Packed2zoned_imm1(vector unsigned char a){
return __builtin_ppc_packed2zoned(a,'\1');
}
-// CHECK-LABEL: tBcd_Zoned2packed_imm0
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 0)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_Zoned2packed_imm0(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> [[A]], i32 0)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_Zoned2packed_imm0(vector unsigned char a){
return __builtin_ppc_zoned2packed(a,'\0');
}
-// CHECK-LABEL: tBcd_Zoned2packed_imm1
-// CHECK: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 1)
-// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+// CHECK-LABEL: define dso_local <16 x i8> @tBcd_Zoned2packed_imm1(
+// CHECK-SAME: <16 x i8> noundef [[A:%.*]]) local_unnamed_addr #[[ATTR0]] {
+// CHECK-NEXT: [[ENTRY:.*:]]
+// CHECK-NEXT: [[TMP0:%.*]] = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> [[A]], i32 1)
+// CHECK-NEXT: ret <16 x i8> [[TMP0]]
+//
vector unsigned char tBcd_Zoned2packed_imm1(vector unsigned char a){
return __builtin_ppc_zoned2packed(a,'\1');
-}
\ No newline at end of file
+}
diff --git a/llvm/lib/Target/PowerPC/PPCInstrAltivec.td b/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
index 9a54e070629b7..24287a95ecb05 100644
--- a/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
+++ b/llvm/lib/Target/PowerPC/PPCInstrAltivec.td
@@ -1618,13 +1618,13 @@ class VX_VT5_EO5_VB5_XO9_o<bits<5> eo, bits<9> xo, string opc,
// Decimal Convert From/to National/Zoned/Signed-QWord
def BCDCFN_rec : VX_VT5_EO5_VB5_PS1_XO9_o<7, 385, "bcdcfn." ,
- [(set v16i8:$VD, (int_ppc_national2packed v16i8:$VB, i32:$PS))]>;
+ [(set v16i8:$VD, (int_ppc_national2packed v16i8:$VB, timm:$PS))]>;
def BCDCFZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<6, 385, "bcdcfz." ,
- [(set v16i8:$VD, (int_ppc_zoned2packed v16i8:$VB, i32:$PS))]>;
+ [(set v16i8:$VD, (int_ppc_zoned2packed v16i8:$VB, timm:$PS))]>;
def BCDCTN_rec : VX_VT5_EO5_VB5_XO9_o <5, 385, "bcdctn." ,
[(set v16i8:$VD, (int_ppc_packed2national v16i8:$VB))]>;
def BCDCTZ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<4, 385, "bcdctz." ,
- [(set v16i8:$VD, (int_ppc_packed2zoned v16i8:$VB, i32:$PS))]>;
+ [(set v16i8:$VD, (int_ppc_packed2zoned v16i8:$VB, timm:$PS))]>;
def BCDCFSQ_rec : VX_VT5_EO5_VB5_PS1_XO9_o<2, 385, "bcdcfsq.", []>;
def BCDCTSQ_rec : VX_VT5_EO5_VB5_XO9_o <0, 385, "bcdctsq.", []>;
diff --git a/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll b/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
index deb4656fcc718..449beeb18c2de 100644
--- a/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
+++ b/llvm/test/CodeGen/PowerPC/builtins-bcd-transform.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; Testfile that verifies positive case (0 or 1 only) for BCD builtins national2packed, packed2zoned and zoned2packed.
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64le-unknown-unknown \
; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
@@ -11,86 +12,80 @@
; RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple=powerpc64-ibm-aix-xcoff \
; RUN: -ppc-asm-full-reg-names < %s | FileCheck %s
-; CHECK-LABEL: tBcd_National2packed_imm0
-; CHECK: bcdcfn. v2, v2, 0
-; CHECK-NEXT: blr
-
-; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
-declare <16 x i8> @llvm.ppc.national2packed(<16 x i8>, i32 immarg)
+declare <16 x i8> @llvm.ppc.national2packed(<16 x i8>, i32 immarg)
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
-define <16 x i8> @tBcd_National2packed_imm0(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_National2packed_imm0(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_National2packed_imm0:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdcfn. v2, v2, 0
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 0)
+ %0 = call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 0)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_National2packed_imm1
-; CHECK: bcdcfn. v2, v2, 1
+define <16 x i8> @tBcd_National2packed_imm1(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_National2packed_imm1:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdcfn. v2, v2, 1
; CHECK-NEXT: blr
-
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
-define <16 x i8> @tBcd_National2packed_imm1(<16 x i8> noundef %a) {
entry:
- %0 = tail call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 1)
+ %0 = call <16 x i8> @llvm.ppc.national2packed(<16 x i8> %a, i32 1)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_Packed2national
-; CHECK: bcdctn. v2, v2
-; CHECK-NEXT: blr
-; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
declare <16 x i8> @llvm.ppc.packed2national(<16 x i8>)
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
-define <16 x i8> @tBcd_Packed2national(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_Packed2national(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_Packed2national:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdctn. v2, v2
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.packed2national(<16 x i8> %a)
+ %0 = call <16 x i8> @llvm.ppc.packed2national(<16 x i8> %a)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_Packed2zoned_imm0
-; CHECK: bcdctz. v2, v2, 0
-; CHECK-NEXT: blr
-; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
declare <16 x i8> @llvm.ppc.packed2zoned(<16 x i8>, i32 immarg)
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
-define dso_local <16 x i8> @tBcd_Packed2zoned_imm0(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_Packed2zoned_imm0(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_Packed2zoned_imm0:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdctz. v2, v2, 0
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 0)
+ %0 = call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 0)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_Packed2zoned_imm1
-; CHECK: bcdctz. v2, v2, 1
-; CHECK-NEXT: blr
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
-define dso_local <16 x i8> @tBcd_Packed2zoned_imm1(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_Packed2zoned_imm1(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_Packed2zoned_imm1:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdctz. v2, v2, 1
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 1)
+ %0 = call <16 x i8> @llvm.ppc.packed2zoned(<16 x i8> %a, i32 1)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_Zoned2packed_imm0
-; CHECK: bcdcfz. v2, v2, 0
-; CHECK-NEXT: blr
-; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(none)
declare <16 x i8> @llvm.ppc.zoned2packed(<16 x i8>, i32 immarg)
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
-define dso_local <16 x i8> @tBcd_Zoned2packed_imm0(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_Zoned2packed_imm0(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_Zoned2packed_imm0:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdcfz. v2, v2, 0
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 0)
+ %0 = call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 0)
ret <16 x i8> %0
}
-; CHECK-LABEL: tBcd_Zoned2packed_imm1
-; CHECK: bcdcfz. v2, v2, 1
-; CHECK-NEXT: blr
-; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) uwtable
-define dso_local <16 x i8> @tBcd_Zoned2packed_imm1(<16 x i8> noundef %a) {
+define <16 x i8> @tBcd_Zoned2packed_imm1(<16 x i8> %a) {
+; CHECK-LABEL: tBcd_Zoned2packed_imm1:
+; CHECK: # %bb.0: # %entry
+; CHECK-NEXT: bcdcfz. v2, v2, 1
+; CHECK-NEXT: blr
entry:
- %0 = tail call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 1)
+ %0 = call <16 x i8> @llvm.ppc.zoned2packed(<16 x i8> %a, i32 1)
ret <16 x i8> %0
-}
\ No newline at end of file
+}
More information about the cfe-commits
mailing list