# This plugin renders 64-bit binary integer decimal floating point constants directly in the
# decompilation. See the sample binary at `examples/bid64_constant/sample_binary` for an
# example of a binary that uses this unusual format.

from binaryninja import (ConstantRenderer, InstructionTextToken, InstructionTextTokenType, IntegerType)
from decimal import Decimal


class Bid64ConstantRenderer(ConstantRenderer):
    renderer_name = "bid64_constant"

    def render_constant(self, instr, type, val, tokens, settings, precedence):
        # Typedefs have the final type, so make sure it is a 64 bit integer. The registered name
        # should be the typedef "BID_UINT64".
        if not isinstance(type, IntegerType):
            return False
        if type.width != 8:
            return False
        if type.registered_name is None or type.registered_name.name != 'BID_UINT64':
            return False

        sign = (val & (1 << 63)) != 0
        raw_exponent = (val >> 53) & 0x3ff
        if raw_exponent >= 0x300:
            # Don't try and render NaN or infinity
            return False

        bias = 398
        exponent = raw_exponent - bias
        magnitude = val & ((1 << 53) - 1)

        if magnitude == 0:
            exponent = 0

        value = Decimal(magnitude) * Decimal(10.0) ** Decimal(exponent)
        if sign:
            value = -value
        tokens.append(InstructionTextToken(InstructionTextTokenType.FloatingPointToken, str(value) + "_bid"))
        return True


Bid64ConstantRenderer().register()