From bbd8abaa25b0ab8f035b9c47d0358936e0777286 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20Janiszewski?= Date: Fri, 2 Nov 2018 20:36:30 +0100 Subject: [PATCH] Provide justification for always-true condition (#412) --- .../A64/translate/impl/floating_point_conversion_integer.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontend/A64/translate/impl/floating_point_conversion_integer.cpp b/src/frontend/A64/translate/impl/floating_point_conversion_integer.cpp index b3e11b88..62b3dc20 100644 --- a/src/frontend/A64/translate/impl/floating_point_conversion_integer.cpp +++ b/src/frontend/A64/translate/impl/floating_point_conversion_integer.cpp @@ -87,6 +87,7 @@ bool TranslatorVisitor::FMOV_float_gen(bool sf, Imm<2> type, Imm<1> rmode_0, Imm size_t part; switch (rmode_0.ZeroExtend()) { case 0b0: + // fltsize != 16 is always true for now (late 2018), until half-float support is implemented. if (fltsize != 16 && fltsize != intsize) { return UnallocatedEncoding(); }