From 8863c9bb4b9861fccaa6e637e7c86f85d7c160c3 Mon Sep 17 00:00:00 2001 From: Lioncash Date: Thu, 19 Apr 2018 16:36:14 -0400 Subject: [PATCH] A64: Implement SHA512H2 --- src/frontend/A64/decoder/a64.inc | 2 +- .../A64/translate/impl/simd_sha512.cpp | 120 ++++++++++++------ 2 files changed, 83 insertions(+), 39 deletions(-) diff --git a/src/frontend/A64/decoder/a64.inc b/src/frontend/A64/decoder/a64.inc index 844fc97c..b513834c 100644 --- a/src/frontend/A64/decoder/a64.inc +++ b/src/frontend/A64/decoder/a64.inc @@ -859,7 +859,7 @@ INST(SM3TT2B, "SM3TT2B", "11001 // Data Processing - FP and SIMD - SHA512 three register INST(SHA512H, "SHA512H", "11001110011mmmmm100000nnnnnddddd") -//INST(SHA512H2, "SHA512H2", "11001110011mmmmm100001nnnnnddddd") +INST(SHA512H2, "SHA512H2", "11001110011mmmmm100001nnnnnddddd") INST(SHA512SU1, "SHA512SU1", "11001110011mmmmm100010nnnnnddddd") INST(RAX1, "RAX1", "11001110011mmmmm100011nnnnnddddd") INST(SM3PARTW1, "SM3PARTW1", "11001110011mmmmm110000nnnnnddddd") diff --git a/src/frontend/A64/translate/impl/simd_sha512.cpp b/src/frontend/A64/translate/impl/simd_sha512.cpp index 9189005a..955092ee 100644 --- a/src/frontend/A64/translate/impl/simd_sha512.cpp +++ b/src/frontend/A64/translate/impl/simd_sha512.cpp @@ -23,6 +23,82 @@ IR::U64 MakeMNSig(IREmitter& ir, IR::U64 data, u8 first_rot_amount, u8 second_ro return ir.Eor(tmp1, ir.Eor(tmp2, tmp3)); } + +enum class SHA512HashPart { + Part1, + Part2, +}; + +IR::U128 SHA512Hash(IREmitter& ir, Vec Vm, Vec Vn, Vec Vd, SHA512HashPart part) { + const IR::U128 x = ir.GetQ(Vn); + const IR::U128 y = ir.GetQ(Vm); + const IR::U128 w = ir.GetQ(Vd); + + const IR::U64 lower_x = ir.VectorGetElement(64, x, 0); + const IR::U64 upper_x = ir.VectorGetElement(64, x, 1); + + const IR::U64 lower_y = ir.VectorGetElement(64, y, 0); + const IR::U64 upper_y = ir.VectorGetElement(64, y, 1); + + const auto make_sigma = [&](IR::U64 data) { + if (part == SHA512HashPart::Part1) { + return MakeMNSig(ir, data, 14, 18, 41); + } + return MakeMNSig(ir, data, 28, 34, 39); + }; + + const auto make_partial_half = [&](IR::U64 a, IR::U64 b, IR::U64 c) { + const IR::U64 tmp1 = ir.And(a, b); + + if (part == SHA512HashPart::Part1) { + const IR::U64 tmp2 = ir.And(ir.Not(a), c); + return ir.Eor(tmp1, tmp2); + } + + const IR::U64 tmp2 = ir.And(a, c); + const IR::U64 tmp3 = ir.And(upper_y, lower_y); + return ir.Eor(tmp1, ir.Eor(tmp2, tmp3)); + }; + + const IR::U64 Vtmp = [&] { + const IR::U64 partial = [&] { + if (part == SHA512HashPart::Part1) { + return make_partial_half(upper_y, lower_x, upper_x); + } + return make_partial_half(lower_x, upper_y, lower_y); + }(); + const IR::U64 upper_w = ir.VectorGetElement(64, w, 1); + const IR::U64 sig = [&] { + if (part == SHA512HashPart::Part1) { + return make_sigma(upper_y); + } + return make_sigma(lower_y); + }(); + + return ir.Add(partial, ir.Add(sig, upper_w)); + }(); + + const IR::U128 low_result = [&] { + const IR::U64 tmp = [&]() -> IR::U64 { + if (part == SHA512HashPart::Part1) { + return ir.Add(Vtmp, lower_y); + } + return Vtmp; + }(); + const IR::U64 partial = [&] { + if (part == SHA512HashPart::Part1) { + return make_partial_half(tmp, upper_y, lower_x); + } + return make_partial_half(Vtmp, lower_y, upper_y); + }(); + const IR::U64 sig = make_sigma(tmp); + const IR::U64 lower_w = ir.VectorGetElement(64, w, 0); + + return ir.ZeroExtendToQuad(ir.Add(partial, ir.Add(sig, lower_w))); + }(); + + return ir.VectorSetElement(64, low_result, 1, Vtmp); +} } // Anonymous namespace bool TranslatorVisitor::SHA512SU0(Vec Vn, Vec Vd) { @@ -69,45 +145,13 @@ bool TranslatorVisitor::SHA512SU1(Vec Vm, Vec Vn, Vec Vd) { } bool TranslatorVisitor::SHA512H(Vec Vm, Vec Vn, Vec Vd) { - const IR::U128 x = ir.GetQ(Vn); - const IR::U128 y = ir.GetQ(Vm); - const IR::U128 w = ir.GetQ(Vd); - - const IR::U64 lower_x = ir.VectorGetElement(64, x, 0); - const IR::U64 upper_x = ir.VectorGetElement(64, x, 1); - - const IR::U64 lower_y = ir.VectorGetElement(64, y, 0); - const IR::U64 upper_y = ir.VectorGetElement(64, y, 1); - - const auto make_msigma = [&](IR::U64 data) { - return MakeMNSig(ir, data, 14, 18, 41); - }; - - const auto make_partial_half = [](IREmitter& ir, IR::U64 a, IR::U64 b, IR::U64 c) { - const IR::U64 tmp1 = ir.And(a, b); - const IR::U64 tmp2 = ir.And(ir.Not(a), c); - return ir.Eor(tmp1, tmp2); - }; - - const IR::U64 Vtmp = [&] { - const IR::U64 upper_w = ir.VectorGetElement(64, w, 1); - const IR::U64 partial = make_partial_half(ir, upper_y, lower_x, upper_x); - const IR::U64 sig = make_msigma(upper_y); - - return ir.Add(partial, ir.Add(sig, upper_w)); - }(); - const IR::U64 tmp = ir.Add(Vtmp, lower_y); - - const IR::U128 low_result = [&] { - const IR::U64 lower_w = ir.VectorGetElement(64, w, 0); - const IR::U64 partial = make_partial_half(ir, tmp, upper_y, lower_x); - const IR::U64 sig = make_msigma(tmp); - - return ir.ZeroExtendToQuad(ir.Add(partial, ir.Add(sig, lower_w))); - }(); - - const IR::U128 result = ir.VectorSetElement(64, low_result, 1, Vtmp); + const IR::U128 result = SHA512Hash(ir, Vm, Vn, Vd, SHA512HashPart::Part1); + ir.SetQ(Vd, result); + return true; +} +bool TranslatorVisitor::SHA512H2(Vec Vm, Vec Vn, Vec Vd) { + const IR::U128 result = SHA512Hash(ir, Vm, Vn, Vd, SHA512HashPart::Part2); ir.SetQ(Vd, result); return true; }