Lines Matching refs:float_type
518 const RegType& float_type = cache_new.Float();
523 const RegType& merged = float_type.Merge(precise_cst, &cache_new, /* verifier */ nullptr);
528 const RegType& merged = precise_cst.Merge(float_type, &cache_new, /* verifier */ nullptr);
533 const RegType& merged = float_type.Merge(imprecise_cst, &cache_new, /* verifier */ nullptr);
538 const RegType& merged = imprecise_cst.Merge(float_type, &cache_new, /* verifier */ nullptr);