Method check_fixed_width_range

mypyc/irbuild/ll_builder.py:566–605

Check if src fits in target_type range, branch to overflow_block if not. On success, continues in a newly activated block where the value is known to be in range. Args: src: Source value to check target_type: Target fixed-width type defining the vali

(
        self, src: Value, target_type: RPrimitive, overflow_block: BasicBlock, line: int
    )

        return res

    def check_fixed_width_range(
        self, src: Value, target_type: RPrimitive, overflow_block: BasicBlock, line: int
    ) -> None:
        """Check if src fits in target_type range, branch to overflow_block if not.

        On success, continues in a newly activated block where the value is
        known to be in range.

        Args:
            src: Source value to check
            target_type: Target fixed-width type defining the valid range
            overflow_block: Block to branch to if value is out of range
            line: Line number
        """
        in_range, in_range2 = BasicBlock(), BasicBlock()

        size = target_type.size
        upper_bound = 1 << (size * 8 - 1)
        if not target_type.is_signed:
            upper_bound *= 2

        # Check if value < upper_bound
        check_upper = self.add(
            ComparisonOp(src, Integer(upper_bound, src.type), ComparisonOp.SLT, line)
        )
        self.add(Branch(check_upper, in_range, overflow_block, Branch.BOOL, line))

        self.activate_block(in_range)

        # Check if value >= lower_bound
        if target_type.is_signed:
            lower_bound = -upper_bound
        else:
            lower_bound = 0
        check_lower = self.add(
            ComparisonOp(src, Integer(lower_bound, src.type), ComparisonOp.SGE, line)
        )
        self.add(Branch(check_lower, in_range2, overflow_block, Branch.BOOL, line))

        self.activate_block(in_range2)

    def coerce_tagged_to_fixed_width_with_range_check(
        self,