| 418 | }; |
| 419 | |
| 420 | expr FloatType::getDummyFloat() const { |
| 421 | expr ty; |
| 422 | switch (fpType) { |
| 423 | case Half: ty = expr::mkHalf(0); break; |
| 424 | case Float: ty = expr::mkFloat(0); break; |
| 425 | case Double: ty = expr::mkDouble(0); break; |
| 426 | case Quad: ty = expr::mkQuad(0); break; |
| 427 | case BFloat: ty = expr::mkBFloat(0); break; |
| 428 | case Unknown: UNREACHABLE(); |
| 429 | } |
| 430 | return ty; |
| 431 | } |
| 432 | |
| 433 | expr FloatType::getFloat(const expr &v) const { |
| 434 | expr ty = getDummyFloat(); |