Function handle_subnormal

ir/instr.cpp:675–708

}

static expr handle_subnormal(const State &s, FPDenormalAttrs::Type attr,
                             expr &&v) {
  auto posz = [&]() {
    return expr::mkIf(v.isFPSubNormal(), expr::mkNumber("0", v), v);
  };
  auto sign = [&]() {
    return expr::mkIf(v.isFPSubNormal(),
                      expr::mkIf(v.isFPNegative(),
                                 expr::mkNumber("-0", v),
                                 expr::mkNumber("0", v)),
                      v);
  };

  switch (attr) {
  case FPDenormalAttrs::IEEE:
    break;
  case FPDenormalAttrs::PositiveZero:
    v = posz();
    break;
  case FPDenormalAttrs::PreserveSign:
    v = sign();
    break;
  case FPDenormalAttrs::Dynamic: {
    auto &mode = s.getFpDenormalMode();
    v = expr::mkIf(mode == FPDenormalAttrs::IEEE,
                   v,
                   expr::mkIf(mode == FPDenormalAttrs::PositiveZero,
                              posz(),
                              sign()));
    break;
  }
  }
  return std::move(v);
}

template <typename T>
static T round_value(const State &s, FpRoundingMode rm, AndExpr &non_poison,