llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang @llvm/pr-subscribers-clangir Author: Amr Hesham (AmrDeveloper) <details> <summary>Changes</summary> This change adds local zero initialization for VectorType Issue https://github.com/llvm/llvm-project/issues/136487 --- Full diff: https://github.com/llvm/llvm-project/pull/138346.diff 3 Files Affected: - (modified) clang/lib/CIR/CodeGen/CIRGenExprScalar.cpp (+6-5) - (modified) clang/test/CIR/CodeGen/vector-ext.cpp (+9) - (modified) clang/test/CIR/CodeGen/vector.cpp (+9) ``````````diff diff --git a/clang/lib/CIR/CodeGen/CIRGenExprScalar.cpp b/clang/lib/CIR/CodeGen/CIRGenExprScalar.cpp index 8ead6e793b4c8..087f480bd008e 100644 --- a/clang/lib/CIR/CodeGen/CIRGenExprScalar.cpp +++ b/clang/lib/CIR/CodeGen/CIRGenExprScalar.cpp @@ -1684,11 +1684,6 @@ mlir::Value ScalarExprEmitter::VisitInitListExpr(InitListExpr *e) { return {}; } - if (numInitElements == 0) { - cgf.cgm.errorNYI(e->getSourceRange(), "InitListExpr with 0 init elements"); - return {}; - } - if (e->getType()->isVectorType()) { const auto vectorType = mlir::cast<cir::VectorType>(cgf.convertType(e->getType())); @@ -1710,6 +1705,12 @@ mlir::Value ScalarExprEmitter::VisitInitListExpr(InitListExpr *e) { cgf.getLoc(e->getSourceRange()), vectorType, elements); } + if (numInitElements == 0) { + cgf.cgm.errorNYI(e->getSourceRange(), + "InitListExpr Non VectorType with 0 init elements"); + return {}; + } + return Visit(e->getInit(0)); } diff --git a/clang/test/CIR/CodeGen/vector-ext.cpp b/clang/test/CIR/CodeGen/vector-ext.cpp index a3880a944de1f..10431bf1c43cb 100644 --- a/clang/test/CIR/CodeGen/vector-ext.cpp +++ b/clang/test/CIR/CodeGen/vector-ext.cpp @@ -61,6 +61,8 @@ void foo() { vi4 f = { x, 5, 6, x + 1 }; vi4 g = { 5 }; + + vi4 h = {}; } // CIR: %[[VEC_A:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["a"] @@ -70,12 +72,15 @@ void foo() { // CIR: %[[VEC_E:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["e", init] // CIR: %[[VEC_F:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["f", init] // CIR: %[[VEC_G:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["g", init] +// CIR: %[[VEC_H:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["h", init] // CIR: %[[VEC_E_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_E_VAL]], %[[VEC_E]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // CIR: %[[VEC_F_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_F_VAL]], %[[VEC_F]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // CIR: %[[VEC_G_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_G_VAL]], %[[VEC_G]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> +// CIR: %[[VEC_H_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> +// CIR: cir.store %[[VEC_H_VAL]], %[[VEC_H]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // LLVM: %[[VEC_A:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_B:.*]] = alloca <3 x i32>, i64 1, align 16 @@ -84,9 +89,11 @@ void foo() { // LLVM: %[[VEC_E:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_F:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_G:.*]] = alloca <4 x i32>, i64 1, align 16 +// LLVM: %[[VEC_H:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr %[[VEC_E]], align 16 // LLVM: store <4 x i32> {{.*}}, ptr %[[VEC_F]], align 16 // LLVM: store <4 x i32> <i32 5, i32 0, i32 0, i32 0>, ptr %[[VEC_G]], align 16 +// LLVM: store <4 x i32> zeroinitializer, ptr %[[VEC_H]], align 16 // OGCG: %[[VEC_A:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_B:.*]] = alloca <3 x i32>, align 16 @@ -95,9 +102,11 @@ void foo() { // OGCG: %[[VEC_E:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_F:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_G:.*]] = alloca <4 x i32>, align 16 +// OGCG: %[[VEC_H:.*]] = alloca <4 x i32>, align 16 // OGCG: store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr %[[VEC_E]], align 16 // OGCG: store <4 x i32> {{.*}}, ptr %[[VEC_F]], align 16 // OGCG: store <4 x i32> <i32 5, i32 0, i32 0, i32 0>, ptr %[[VEC_G]], align 16 +// OGCG: store <4 x i32> zeroinitializer, ptr %[[VEC_H]], align 16 void foo2(vi4 p) {} diff --git a/clang/test/CIR/CodeGen/vector.cpp b/clang/test/CIR/CodeGen/vector.cpp index 76a85eab52380..2c7ea936e20c1 100644 --- a/clang/test/CIR/CodeGen/vector.cpp +++ b/clang/test/CIR/CodeGen/vector.cpp @@ -51,6 +51,8 @@ void foo() { vi4 e = { x, 5, 6, x + 1 }; vi4 f = { 5 }; + + vi4 g = {}; } // CIR: %[[VEC_A:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["a"] @@ -59,12 +61,15 @@ void foo() { // CIR: %[[VEC_D:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["d", init] // CIR: %[[VEC_E:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["e", init] // CIR: %[[VEC_F:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["f", init] +// CIR: %[[VEC_H:.*]] = cir.alloca !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>>, ["g", init] // CIR: %[[VEC_D_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_D_VAL]], %[[VEC_D]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // CIR: %[[VEC_E_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_E_VAL]], %[[VEC_E]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // CIR: %[[VEC_F_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> // CIR: cir.store %[[VEC_F_VAL]], %[[VEC_F]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> +// CIR: %[[VEC_G_VAL:.*]] = cir.vec.create({{.*}}, {{.*}}, {{.*}}, {{.*}} : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i> +// CIR: cir.store %[[VEC_G_VAL]], %[[VEC_H]] : !cir.vector<4 x !s32i>, !cir.ptr<!cir.vector<4 x !s32i>> // LLVM: %[[VEC_A:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_B:.*]] = alloca <2 x double>, i64 1, align 16 @@ -72,9 +77,11 @@ void foo() { // LLVM: %[[VEC_D:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_E:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: %[[VEC_F:.*]] = alloca <4 x i32>, i64 1, align 16 +// LLVM: %[[VEC_G:.*]] = alloca <4 x i32>, i64 1, align 16 // LLVM: store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr %[[VEC_D]], align 16 // LLVM: store <4 x i32> {{.*}}, ptr %[[VEC_E]], align 16 // LLVM: store <4 x i32> <i32 5, i32 0, i32 0, i32 0>, ptr %[[VEC_F]], align 16 +// LLVM: store <4 x i32> zeroinitializer, ptr %[[VEC_G]], align 16 // OGCG: %[[VEC_A:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_B:.*]] = alloca <2 x double>, align 16 @@ -82,9 +89,11 @@ void foo() { // OGCG: %[[VEC_D:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_E:.*]] = alloca <4 x i32>, align 16 // OGCG: %[[VEC_F:.*]] = alloca <4 x i32>, align 16 +// OGCG: %[[VEC_G:.*]] = alloca <4 x i32>, align 16 // OGCG: store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr %[[VEC_D]], align 16 // OGCG: store <4 x i32> {{.*}}, ptr %[[VEC_E]], align 16 // OGCG: store <4 x i32> <i32 5, i32 0, i32 0, i32 0>, ptr %[[VEC_F]], align 16 +// OGCG: store <4 x i32> zeroinitializer, ptr %[[VEC_G]], align 16 void foo2(vi4 p) {} `````````` </details> https://github.com/llvm/llvm-project/pull/138346 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
