Lines Matching defs:table
318 /* Verify that the 'unknown' entry in each row (or column) of the table is the
670 static const enum ssa_ranges table[last_range + 1] = {
677 ASSERT_UNION_OF_DISJOINT_MATCHES_UNKNOWN_1_SOURCE(table);
678 ASSERT_UNION_OF_EQ_AND_STRICT_INEQ_MATCHES_NONSTRICT_1_SOURCE(table);
681 r.range = table[r.range];
744 static const enum ssa_ranges table[last_range + 1][last_range + 1] = {
756 ASSERT_TABLE_IS_COMMUTATIVE(table);
757 ASSERT_TABLE_IS_DIAGONAL(table);
758 ASSERT_UNION_OF_OTHERS_MATCHES_UNKNOWN_2_SOURCE(table);
760 r.range = table[left.range][right.range];
830 static const enum ssa_ranges table[last_range + 1][last_range + 1] = {
842 ASSERT_TABLE_IS_COMMUTATIVE(table);
843 ASSERT_TABLE_IS_DIAGONAL(table);
844 ASSERT_UNION_OF_OTHERS_MATCHES_UNKNOWN_2_SOURCE(table);
846 r.range = table[left.range][right.range];
1120 static const enum ssa_ranges table[last_range + 1][last_range + 1] = {
1136 ASSERT_UNION_OF_DISJOINT_MATCHES_UNKNOWN_2_SOURCE(table);
1137 ASSERT_UNION_OF_EQ_AND_STRICT_INEQ_MATCHES_NONSTRICT_2_SOURCE(table);
1141 r.range = table[left.range][right.range];