Provide justification for always-true condition (#412)

2018-11-02 20:36:30 +01:00 · 2018-11-02 20:36:30 +01:00 · af96812b47
commit af96812b47
parent 4295f727cd
1 changed files with 1 additions and 0 deletions
--- 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();
        }