Lines Matching full:symbolic
124 // Sort the XorOpnd-Pointer in ascending order of symbolic-value-rank.
126 // 1) Cluster together the operands sharing the same symbolic-value.
127 // 2) Operand having smaller symbolic-value-rank is permuted earlier, which
1235 /// it will return NULL. 2) if the constant is ~0, the symbolic operand will
1254 // into "R ^ C", where C would be 0, and R is a symbolic value.
1289 // symbolic value.
1403 // the same symbolic value cluster together. For instance, the input operand
1432 // step 3.2: When previous and current operands share the same symbolic
