Lines Matching refs:TruncationKind
26 case TruncationKind::kNone:
28 case TruncationKind::kBool:
30 case TruncationKind::kWord32:
32 case TruncationKind::kWord64:
34 case TruncationKind::kOddballAndBigIntToNumber:
41 case TruncationKind::kAny:
75 Truncation::TruncationKind Truncation::Generalize(TruncationKind rep1,
76 TruncationKind rep2) {
80 if (LessGeneral(rep1, TruncationKind::kOddballAndBigIntToNumber) &&
81 LessGeneral(rep2, TruncationKind::kOddballAndBigIntToNumber)) {
82 return TruncationKind::kOddballAndBigIntToNumber;
85 if (LessGeneral(rep1, TruncationKind::kAny) &&
86 LessGeneral(rep2, TruncationKind::kAny)) {
87 return TruncationKind::kAny;
104 bool Truncation::LessGeneral(TruncationKind rep1, TruncationKind rep2) {
106 case TruncationKind::kNone:
108 case TruncationKind::kBool:
109 return rep2 == TruncationKind::kBool || rep2 == TruncationKind::kAny;
110 case TruncationKind::kWord32:
111 return rep2 == TruncationKind::kWord32 ||
112 rep2 == TruncationKind::kWord64 ||
113 rep2 == TruncationKind::kOddballAndBigIntToNumber ||
114 rep2 == TruncationKind::kAny;
115 case TruncationKind::kWord64:
116 return rep2 == TruncationKind::kWord64 ||
117 rep2 == TruncationKind::kOddballAndBigIntToNumber ||
118 rep2 == TruncationKind::kAny;
119 case TruncationKind::kOddballAndBigIntToNumber:
120 return rep2 == TruncationKind::kOddballAndBigIntToNumber ||
121 rep2 == TruncationKind::kAny;
122 case TruncationKind::kAny:
123 return rep2 == TruncationKind::kAny;