Lines Matching refs:replace
192 # - If it's in the replace expression, either it's ambiguous (in which
507 that a given search-and-replace operation is 100% well-defined before we
535 which can't be specialized to 32 which is the bitsize of the replace
563 other and to physical bitsizes. In the replace expression, we disallow
598 In the replace expression, disallow merging variables with other
618 if the search expression specified some constraint but the replace
639 have the same bitsize. If we're operating on the replace expression, we
743 def validate(self, search, replace):
746 self.merge_variables(replace)
750 self.validate_value(replace)
752 # Check that search is always more specialized than replace. Note that
753 # we're doing this in replace mode, disallowing merging variables.
755 replace_bit_size = replace.get_bit_size()
759 'The search expression bit size {} and replace expression ' \
763 replace.set_bit_size(search)
765 self.validate_replace(replace, search)
776 replace = transform[1]
794 if isinstance(replace, Value):
795 self.replace = replace
797 self.replace = Value.create(replace, "replace{0}".format(self.id), varset, algebraic_pass)
799 BitSizeValidator(varset).validate(self.search, self.replace)
1078 * ${xform.search} => ${xform.replace}
1085 /* ${xform.search} => ${xform.replace} */
1087 ${xform.replace.render(cache)}
1110 { ${xforms[i].search.array_index}, ${xforms[i].replace.array_index}, ${xforms[i].condition_index} },