Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion exir/serde/export_serialize.py
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
import math
import operator
import re
import sys
import typing

from contextlib import contextmanager
Expand Down Expand Up @@ -1847,7 +1848,13 @@ def deserialize(
self.symbol_name_to_range = {}
if symbol_name_to_range:
for k, vr in symbol_name_to_range.items():
lower = int(vr.lower)
if math.isinf(vr.lower) and vr.lower < 0:
lower = -math.inf
elif math.isinf(vr.lower):
lower = math.inf
else:
lower = int(vr.lower)

if vr.upper >= 2: # max is >= 2, not sym bool range
lower = max(2, lower)
self.symbol_name_to_range[k] = symbolic_shapes.ValueRanges(
Expand Down
Loading