Lines Matching refs:Truncation
14 Truncation LeastGeneralTruncation(const Truncation& t1, const Truncation& t2) {
20 Truncation LeastGeneralTruncation(const Truncation& t1, const Truncation& t2,
21 const Truncation& t3) {
43 const Truncation& trunc) {
57 bool IsModuloTruncation(const Truncation& truncation) {
59 Truncation::Any().IsLessGeneralThan(truncation);
62 Truncation SimplifiedLoweringVerifier::GeneralizeTruncation(
63 const Truncation& truncation, const Type& type) const {
70 case Truncation::TruncationKind::kAny: {
71 return Truncation::Any(identify_zeros);
73 case Truncation::TruncationKind::kWord32: {
76 return Truncation::Any(identify_zeros);
78 return Truncation(Truncation::TruncationKind::kWord32, identify_zeros);
80 case Truncation::TruncationKind::kWord64: {
85 return Truncation::Any(IdentifyZeros::kDistinguishZeros);
88 return Truncation::Any(identify_zeros);
90 return Truncation(Truncation::TruncationKind::kWord64, identify_zeros);
121 CheckAndSet(node, input_type, Truncation::Word32());
127 Truncation output_trunc = LeastGeneralTruncation(InputTruncation(node, 0),
129 Truncation::Word32());
137 Truncation output_trunc = LeastGeneralTruncation(InputTruncation(node, 0),
139 Truncation::Word32());
181 Truncation output_trunc = LeastGeneralTruncation(InputTruncation(node, 0),
183 Truncation::Word64());
195 CheckAndSet(node, Type::None(), Truncation::Any());
208 CHECK(Truncation::Word64().IsLessGeneralThan(InputTruncation(node, 0)));
209 CheckAndSet(node, input_type, Truncation::Word64());
215 Truncation output_trunc = LeastGeneralTruncation(InputTruncation(node, 0),
216 Truncation::Word64());
230 Truncation input_trunc = InputTruncation(node, 1 + i);
233 CHECK_EQ(input_trunc, Truncation::Any());
239 Truncation output_trunc = InputTruncation(node, 0);