Home | History | Annotate | Download | only in verifier

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);