21     case TruncationKind::kNone:  in description()
23     case TruncationKind::kBool:  in description()
25     case TruncationKind::kWord32:  in description()
27     case TruncationKind::kWord64:  in description()
29     case TruncationKind::kFloat64:  in description()
31     case TruncationKind::kAny:  in description()
57 Truncation::TruncationKind Truncation::Generalize(TruncationKind rep1,  in Generalize()
58                                                   TruncationKind rep2) {  in Generalize()
62   if (LessGeneral(rep1, TruncationKind::kFloat64) &&  in Generalize()
63       LessGeneral(rep2, TruncationKind::kFloat64)) {  in Generalize()
64     return TruncationKind::kFloat64;  in Generalize()
67   if (LessGeneral(rep1, TruncationKind::kAny) &&  in Generalize()
68       LessGeneral(rep2, TruncationKind::kAny)) {  in Generalize()
69     return TruncationKind::kAny;  in Generalize()
73   return TruncationKind::kNone;  in Generalize()
78 bool Truncation::LessGeneral(TruncationKind rep1, TruncationKind rep2) {  in LessGeneral()
80     case TruncationKind::kNone:  in LessGeneral()
82     case TruncationKind::kBool:  in LessGeneral()
83       return rep2 == TruncationKind::kBool || rep2 == TruncationKind::kAny;  in LessGeneral()
84     case TruncationKind::kWord32:  in LessGeneral()
85       return rep2 == TruncationKind::kWord32 ||  in LessGeneral()
86              rep2 == TruncationKind::kWord64 ||  in LessGeneral()
87              rep2 == TruncationKind::kFloat64 || rep2 == TruncationKind::kAny;  in LessGeneral()
88     case TruncationKind::kWord64:  in LessGeneral()
89       return rep2 == TruncationKind::kWord64;  in LessGeneral()
90     case TruncationKind::kFloat64:  in LessGeneral()
91       return rep2 == TruncationKind::kFloat64 || rep2 == TruncationKind::kAny;  in LessGeneral()
92     case TruncationKind::kAny:  in LessGeneral()
93       return rep2 == TruncationKind::kAny;  in LessGeneral()