Remove the name field from the PredNode union type.

The name of a predicate was only ever used for named settings that are
computed as a boolean expression of other settings.

- Record the names of these settings in named_predicates instead.
- Remove the name field from all predicates.

Named predicates does not interact well with the interning of predicates
through isa.unique_pred().

lib/cretonne/meta/cdsl/predicates.py

@@ -80,7 +80,6 @@ class Predicate(object):
 
     def __init__(self, parts):
         # type: (Sequence[PredNode]) -> None
-        self.name = None  # type: str
         self.number = None  # type: int
         self.parts = parts
         self.context = reduce(
@@ -91,12 +90,8 @@ class Predicate(object):
 
     def __str__(self):
         # type: () -> str
-        if self.name:
-            return '{}.{}'.format(self.context.name, self.name)
-        else:
-            return '{}({})'.format(
-                    type(self).__name__,
-                    ', '.join(map(str, self.parts)))
+        return '{}({})'.format(type(self).__name__,
+                               ', '.join(map(str, self.parts)))
 
     def predicate_context(self):
         # type: () -> PredContext
@@ -219,8 +214,6 @@ class FieldPredicate(object):
         self.field = field
         self.function = function
         self.args = args
-        # All PredNode members must have a name field. This will never be set.
-        self.name = None  # type: str
 
     def __str__(self):
         # type: () -> str
@@ -338,8 +331,6 @@ class TypePredicate(object):
         self.value_arg = value_arg
         self.value_type = value_type
         self.number = None  # type: int
-        # All PredNode members must have a name field. This will never be set.
-        self.name = None  # type: str
 
     def __str__(self):
         # type: () -> str

lib/cretonne/meta/cdsl/settings.py

@@ -190,7 +190,7 @@ class SettingGroup(object):
         self.settings = []  # type: List[Setting]
         # Named predicates computed from settings in this group or its
         # parents.
-        self.named_predicates = []  # type: List[Predicate]
+        self.named_predicates = OrderedDict()  # type: OrderedDict[str, Predicate]  # noqa
         # All boolean predicates that can be accessed by number. This includes:
         # - All boolean settings in this group.
         # - All named predicates.
@@ -235,9 +235,7 @@ class SettingGroup(object):
                     assert obj.name is None, obj.name
                     obj.name = name
                 if isinstance(obj, Predicate):
-                    assert obj.name is None
-                    obj.name = name
-                    self.named_predicates.append(obj)
+                    self.named_predicates[name] = obj
                 if isinstance(obj, Preset):
                     assert obj.name is None, obj.name
                     obj.name = name
@@ -333,8 +331,8 @@ class SettingGroup(object):
         self.settings_size = self.byte_size()
 
         # Now assign numbers to all our named predicates.
-        for p in self.named_predicates:
-            self.number_predicate(p)
+        for name, pred in self.named_predicates.items():
+            self.number_predicate(pred)
 
     def byte_size(self):
         # type: () -> int