Convert FP to IEEE BV representation.
(a: FPRef, ctx: Context | None = None)
| 3526 | |
| 3527 | |
| 3528 | def fpToIEEEBV(a: FPRef, ctx: Context | None = None) -> BitVecRef: |
| 3529 | """Convert FP to IEEE BV representation.""" |
| 3530 | sort = a._sort |
| 3531 | if isinstance(sort, FPSortRef): |
| 3532 | w = sort.ebits() + sort.sbits() |
| 3533 | else: |
| 3534 | w = 64 |
| 3535 | return BitVecRef(AppNode(_AstVar("fpToIEEEBV"), (a._ast,)), BitVecSort(w), a._vars) |
| 3536 | |
| 3537 | |
| 3538 | def fpInfinity(sort: FPSortRef, negative: bool) -> FPNumRef: |
nothing calls this directly
no test coverage detected