Index: lib/CodeGen/GlobalISel/IRTranslator.cpp =================================================================== --- lib/CodeGen/GlobalISel/IRTranslator.cpp +++ lib/CodeGen/GlobalISel/IRTranslator.cpp @@ -1068,6 +1068,9 @@ else if (auto CAZ = dyn_cast(&C)) { if (!CAZ->getType()->isVectorTy()) return false; + // Return the scalar if it is a <1 x Ty> vector. + if (CAZ->getNumElements() == 1) + return translate(*CAZ->getElementValue(0u), Reg); std::vector Ops; for (unsigned i = 0; i < CAZ->getNumElements(); ++i) { Constant &Elt = *CAZ->getElementValue(i); @@ -1075,6 +1078,9 @@ } EntryBuilder.buildMerge(Reg, Ops); } else if (auto CV = dyn_cast(&C)) { + // Return the scalar if it is a <1 x Ty> vector. + if (CV->getNumElements() == 1) + return translate(*CV->getElementAsConstant(0), Reg); std::vector Ops; for (unsigned i = 0; i < CV->getNumElements(); ++i) { Constant &Elt = *CV->getElementAsConstant(i); Index: test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll =================================================================== --- test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll +++ test/CodeGen/AArch64/GlobalISel/arm64-irtranslator.ll @@ -1368,3 +1368,27 @@ ; CHECK: %q0 = COPY [[VEC]](<2 x s64>) ret <2 x double> } + +define i32 @test_constantaggzerovector_v1s32(i32 %arg){ +; CHECK-LABEL: name: test_constantaggzerovector_v1s32 +; CHECK: [[ARG:%[0-9]+]](s32) = COPY %w0 +; CHECK: [[C0:%[0-9]+]](s32) = G_CONSTANT i32 0 +; CHECK-NOT: G_MERGE_VALUES +; CHECK: G_ADD [[ARG]], [[C0]] + %vec = insertelement <1 x i32> undef, i32 %arg, i32 0 + %add = add <1 x i32> %vec, zeroinitializer + %res = extractelement <1 x i32> %add, i32 0 + ret i32 %res +} + +define i32 @test_constantdatavector_v1s32(i32 %arg){ +; CHECK-LABEL: name: test_constantdatavector_v1s32 +; CHECK: [[ARG:%[0-9]+]](s32) = COPY %w0 +; CHECK: [[C1:%[0-9]+]](s32) = G_CONSTANT i32 1 +; CHECK-NOT: G_MERGE_VALUES +; CHECK: G_ADD [[ARG]], [[C1]] + %vec = insertelement <1 x i32> undef, i32 %arg, i32 0 + %add = add <1 x i32> %vec, + %res = extractelement <1 x i32> %add, i32 0 + ret i32 %res +}