reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

gen/unittests/TableGen/AutomataAutomata.inc
 2762   {1, BRK_0_to_4_dbl, 4, 11},
 2778   {2, BRK_0_to_4_dbl, 20, 173},
 2794   {3, BRK_0_to_4_dbl, 35, 4193},
 2810   {4, BRK_0_to_4_dbl, 49, 554},
 2826   {5, BRK_0_to_4_dbl, 50, 13489},
 2842   {6, BRK_0_to_4_dbl, 51, 52},
 2858   {7, BRK_0_to_4_dbl, 52, 170},
 2874   {8, BRK_0_to_4_dbl, 53, 1360},
 2890   {9, BRK_0_to_4_dbl, 54, 4181},
 2906   {10, BRK_0_to_4_dbl, 55, 4195},
 2922   {11, BRK_0_to_4_dbl, 50, 13490},
 2938   {12, BRK_0_to_4_dbl, 56, 1361},
 2954   {13, BRK_0_to_4_dbl, 57, 4182},
 2970   {14, BRK_0_to_4_dbl, 58, 175},
 2985   {15, BRK_0_to_4_dbl, 49, 555},
 2997   {16, BRK_0_to_4_dbl, 59, 53},
 3011   {17, BRK_0_to_4_dbl, 60, 171},
 3025   {18, BRK_0_to_4_dbl, 49, 554},
 3041   {19, BRK_0_to_4_dbl, 138, 5916},
 3071   {21, BRK_0_to_4_dbl, 151, 18854},
 3087   {22, BRK_0_to_4_dbl, 49, 554},
 3103   {23, BRK_0_to_4_dbl, 49, 554},
 3119   {24, BRK_0_to_4_dbl, 152, 1732},
 3135   {25, BRK_0_to_4_dbl, 153, 5897},
 3151   {26, BRK_0_to_4_dbl, 138, 5917},
 3167   {27, BRK_0_to_4_dbl, 151, 18854},
 3183   {28, BRK_0_to_4_dbl, 152, 1733},
 3199   {29, BRK_0_to_4_dbl, 153, 5898},
 3215   {30, BRK_0_to_4_dbl, 49, 555},
 3241   {32, BRK_0_to_4_dbl, 49, 555},
 3255   {33, BRK_0_to_4_dbl, 49, 555},
 3269   {34, BRK_0_to_4_dbl, 206, 13753},
 3285   {35, BRK_0_to_4_dbl, 213, 8338},
 3301   {36, BRK_0_to_4_dbl, 214, 18894},
 3317   {37, BRK_0_to_4_dbl, 215, 4588},
 3333   {38, BRK_0_to_4_dbl, 216, 5841},
 3349   {39, BRK_0_to_4_dbl, 217, 13625},
 3365   {40, BRK_0_to_4_dbl, 218, 13726},
 3381   {41, BRK_0_to_4_dbl, 206, 13754},
 3397   {42, BRK_0_to_4_dbl, 214, 18861},
 3413   {43, BRK_0_to_4_dbl, 219, 13545},
 3429   {44, BRK_0_to_4_dbl, 220, 13705},
 3445   {45, BRK_0_to_4_dbl, 221, 5880},
 3460   {46, BRK_0_to_4_dbl, 213, 8304},
 3472   {47, BRK_0_to_4_dbl, 222, 4563},
 3486   {48, BRK_0_to_4_dbl, 223, 5826},
 3508   {50, BRK_0_to_4_dbl, 273, 31368},
 3548   {53, BRK_0_to_4_dbl, 274, 2965},
 3564   {54, BRK_0_to_4_dbl, 275, 8321},
 3580   {55, BRK_0_to_4_dbl, 213, 8338},
 3596   {56, BRK_0_to_4_dbl, 274, 2965},
 3612   {57, BRK_0_to_4_dbl, 275, 8321},
 3666   {61, BRK_0_to_4_dbl, 276, 14519},
 3682   {62, BRK_0_to_4_dbl, 277, 18766},
 3698   {63, BRK_0_to_4_dbl, 278, 14529},
 3714   {64, BRK_0_to_4_dbl, 279, 18791},
 3730   {65, BRK_0_to_4_dbl, 280, 18829},
 3746   {66, BRK_0_to_4_dbl, 281, 14506},
 3762   {67, BRK_0_to_4_dbl, 282, 18760},
 3778   {68, BRK_0_to_4_dbl, 283, 18809},
 3793   {69, BRK_0_to_4_dbl, 273, 31365},
 3805   {70, BRK_0_to_4_dbl, 284, 14498},
 3819   {71, BRK_0_to_4_dbl, 285, 18740},
 3845   {73, BRK_0_to_4_dbl, 49, 554},
 3861   {74, BRK_0_to_4_dbl, 286, 1502},
 3877   {75, BRK_0_to_4_dbl, 287, 4574},
 3893   {76, BRK_0_to_4_dbl, 215, 4589},
 3909   {77, BRK_0_to_4_dbl, 276, 14519},
 3925   {78, BRK_0_to_4_dbl, 287, 4575},
 3941   {79, BRK_0_to_4_dbl, 49, 555},
 3966   {81, BRK_0_to_4_dbl, 49, 555},
 3992   {83, BRK_0_to_4_dbl, 288, 1701},
 4008   {84, BRK_0_to_4_dbl, 289, 5838},
 4024   {85, BRK_0_to_4_dbl, 216, 5842},
 4040   {86, BRK_0_to_4_dbl, 277, 18766},
 4056   {87, BRK_0_to_4_dbl, 288, 1702},
 4072   {88, BRK_0_to_4_dbl, 49, 555},
 4097   {90, BRK_0_to_4_dbl, 49, 555},
 4111   {91, BRK_0_to_4_dbl, 290, 13582},
 4127   {92, BRK_0_to_4_dbl, 291, 13604},
 4143   {93, BRK_0_to_4_dbl, 278, 14523},
 4159   {94, BRK_0_to_4_dbl, 292, 13566},
 4175   {95, BRK_0_to_4_dbl, 293, 1721},
 4190   {96, BRK_0_to_4_dbl, 274, 2956},
 4202   {97, BRK_0_to_4_dbl, 294, 1499},
 4216   {98, BRK_0_to_4_dbl, 295, 1693},
 4230   {99, BRK_0_to_4_dbl, 296, 13684},
 4246   {100, BRK_0_to_4_dbl, 279, 18770},
 4262   {101, BRK_0_to_4_dbl, 297, 13514},
 4278   {102, BRK_0_to_4_dbl, 298, 5869},
 4293   {103, BRK_0_to_4_dbl, 275, 8286},
 4305   {104, BRK_0_to_4_dbl, 299, 4555},
 4319   {105, BRK_0_to_4_dbl, 300, 5824},
 4333   {106, BRK_0_to_4_dbl, 301, 13667},
 4349   {107, BRK_0_to_4_dbl, 280, 18813},
 4363   {108, BRK_0_to_4_dbl, 302, 13530},
 4379   {109, BRK_0_to_4_dbl, 303, 13652},
 4395   {110, BRK_0_to_4_dbl, 221, 5880},
 4410   {111, BRK_0_to_4_dbl, 213, 8304},
 4421   {112, BRK_0_to_4_dbl, 222, 4563},
 4435   {113, BRK_0_to_4_dbl, 223, 5826},
 4449   {114, BRK_0_to_4_dbl, 273, 31365},
 4457   {115, BRK_0_to_4_dbl, 281, 14502},
 4469   {116, BRK_0_to_4_dbl, 282, 18744},
 4481   {117, BRK_0_to_4_dbl, 283, 18809},
 4495   {118, BRK_0_to_4_dbl, 284, 14498},
 4507   {119, BRK_0_to_4_dbl, 285, 18740},
 4519   {120, BRK_0_to_4_dbl, 294, 1499},
 4531   {121, BRK_0_to_4_dbl, 304, 13501},
 4547   {122, BRK_0_to_4_dbl, 293, 1721},
 4562   {123, BRK_0_to_4_dbl, 274, 2956},
 4572   {124, BRK_0_to_4_dbl, 295, 1693},
 4586   {125, BRK_0_to_4_dbl, 300, 5824},
 4598   {126, BRK_0_to_4_dbl, 298, 5869},
 4613   {127, BRK_0_to_4_dbl, 275, 8286},
 4623   {128, BRK_0_to_4_dbl, 299, 4555},
 4637   {129, BRK_0_to_4_dbl, 213, 8338},
 4653   {130, BRK_0_to_4_dbl, 273, 31368},
 4669   {131, BRK_0_to_4_dbl, 274, 2965},
 4685   {132, BRK_0_to_4_dbl, 275, 8321},
 4701   {133, BRK_0_to_4_dbl, 274, 2965},
 4717   {134, BRK_0_to_4_dbl, 275, 8321},
 4759   {137, BRK_0_to_4_dbl, 214, 18894},
 4789   {139, BRK_0_to_4_dbl, 273, 31368},
 4805   {140, BRK_0_to_4_dbl, 213, 8338},
 4821   {141, BRK_0_to_4_dbl, 213, 8338},
 4837   {142, BRK_0_to_4_dbl, 214, 18894},
 4853   {143, BRK_0_to_4_dbl, 214, 18894},
 4869   {144, BRK_0_to_4_dbl, 273, 31368},
 4885   {145, BRK_0_to_4_dbl, 214, 18871},
 4901   {146, BRK_0_to_4_dbl, 214, 18882},
 4917   {147, BRK_0_to_4_dbl, 213, 8304},
 4943   {149, BRK_0_to_4_dbl, 213, 8304},
 4957   {150, BRK_0_to_4_dbl, 213, 8304},
 5011   {154, BRK_0_to_4_dbl, 273, 31368},
 5027   {155, BRK_0_to_4_dbl, 273, 31368},
 5043   {156, BRK_0_to_4_dbl, 273, 31368},
 5059   {157, BRK_0_to_4_dbl, 273, 31368},
 5075   {158, BRK_0_to_4_dbl, 273, 31365},
 5090   {159, BRK_0_to_4_dbl, 273, 31365},
 5105   {160, BRK_0_to_4_dbl, 273, 31365},
 5120   {161, BRK_0_to_4_dbl, 273, 31365},
 5141   {163, BRK_0_to_4_dbl, 273, 31365},
 5155   {164, BRK_0_to_4_dbl, 273, 31365},
 5169   {165, BRK_0_to_4_dbl, 274, 2965},
 5185   {166, BRK_0_to_4_dbl, 275, 8321},
 5201   {167, BRK_0_to_4_dbl, 275, 8321},
 5217   {168, BRK_0_to_4_dbl, 274, 2965},
 5233   {169, BRK_0_to_4_dbl, 275, 8321},
 5249   {170, BRK_0_to_4_dbl, 274, 2965},
 5265   {171, BRK_0_to_4_dbl, 214, 18894},
 5281   {172, BRK_0_to_4_dbl, 273, 31368},
 5297   {173, BRK_0_to_4_dbl, 214, 18882},
 5313   {174, BRK_0_to_4_dbl, 274, 2956},
 5339   {176, BRK_0_to_4_dbl, 274, 2956},
 5353   {177, BRK_0_to_4_dbl, 274, 2956},
 5367   {178, BRK_0_to_4_dbl, 273, 31368},
 5383   {179, BRK_0_to_4_dbl, 214, 18871},
 5399   {180, BRK_0_to_4_dbl, 275, 8286},
 5425   {182, BRK_0_to_4_dbl, 275, 8286},
 5439   {183, BRK_0_to_4_dbl, 275, 8286},
 5453   {184, BRK_0_to_4_dbl, 214, 18861},
 5469   {185, BRK_0_to_4_dbl, 273, 31365},
 5483   {186, BRK_0_to_4_dbl, 214, 18861},
 5499   {187, BRK_0_to_4_dbl, 214, 18861},
 5515   {188, BRK_0_to_4_dbl, 213, 8304},
 5539   {190, BRK_0_to_4_dbl, 213, 8304},
 5553   {191, BRK_0_to_4_dbl, 213, 8304},
 5567   {192, BRK_0_to_4_dbl, 273, 31365},
 5579   {193, BRK_0_to_4_dbl, 273, 31365},
 5591   {194, BRK_0_to_4_dbl, 273, 31365},
 5605   {195, BRK_0_to_4_dbl, 273, 31365},
 5617   {196, BRK_0_to_4_dbl, 273, 31365},
 5629   {197, BRK_0_to_4_dbl, 274, 2956},
 5641   {198, BRK_0_to_4_dbl, 214, 18861},
 5657   {199, BRK_0_to_4_dbl, 274, 2956},
 5680   {201, BRK_0_to_4_dbl, 274, 2956},
 5694   {202, BRK_0_to_4_dbl, 275, 8286},
 5706   {203, BRK_0_to_4_dbl, 275, 8286},
 5729   {205, BRK_0_to_4_dbl, 275, 8286},
 5743   {206, BRK_0_to_4_dbl, 273, 31368},
 5759   {207, BRK_0_to_4_dbl, 468, 14553},
 5775   {208, BRK_0_to_4_dbl, 469, 18800},
 5791   {209, BRK_0_to_4_dbl, 280, 18813},
 5806   {210, BRK_0_to_4_dbl, 273, 31365},
 5818   {211, BRK_0_to_4_dbl, 470, 14513},
 5832   {212, BRK_0_to_4_dbl, 471, 18748},
 5888   {217, BRK_0_to_4_dbl, 273, 31368},
 5904   {218, BRK_0_to_4_dbl, 273, 31368},
 5920   {219, BRK_0_to_4_dbl, 273, 31368},
 5936   {220, BRK_0_to_4_dbl, 273, 31368},
 5990   {224, BRK_0_to_4_dbl, 273, 31368},
 6006   {225, BRK_0_to_4_dbl, 273, 31368},
 6022   {226, BRK_0_to_4_dbl, 273, 31368},
 6038   {227, BRK_0_to_4_dbl, 273, 31368},
 6054   {228, BRK_0_to_4_dbl, 273, 31368},
 6070   {229, BRK_0_to_4_dbl, 273, 31368},
 6086   {230, BRK_0_to_4_dbl, 273, 31365},
 6110   {232, BRK_0_to_4_dbl, 273, 31365},
 6124   {233, BRK_0_to_4_dbl, 273, 31365},
 6150   {235, BRK_0_to_4_dbl, 213, 8338},
 6166   {236, BRK_0_to_4_dbl, 278, 14529},
 6182   {237, BRK_0_to_4_dbl, 468, 14553},
 6198   {238, BRK_0_to_4_dbl, 273, 31368},
 6214   {239, BRK_0_to_4_dbl, 468, 14543},
 6230   {240, BRK_0_to_4_dbl, 213, 8304},
 6255   {242, BRK_0_to_4_dbl, 213, 8304},
 6281   {244, BRK_0_to_4_dbl, 469, 18800},
 6297   {245, BRK_0_to_4_dbl, 279, 18791},
 6313   {246, BRK_0_to_4_dbl, 273, 31368},
 6329   {247, BRK_0_to_4_dbl, 469, 18783},
 6345   {248, BRK_0_to_4_dbl, 213, 8304},
 6370   {250, BRK_0_to_4_dbl, 213, 8304},
 6384   {251, BRK_0_to_4_dbl, 273, 31368},
 6400   {252, BRK_0_to_4_dbl, 280, 18813},
 6415   {253, BRK_0_to_4_dbl, 273, 31365},
 6427   {254, BRK_0_to_4_dbl, 281, 14502},
 6441   {255, BRK_0_to_4_dbl, 471, 18748},
 6455   {256, BRK_0_to_4_dbl, 273, 31368},
 6471   {257, BRK_0_to_4_dbl, 280, 18813},
 6486   {258, BRK_0_to_4_dbl, 273, 31365},
 6498   {259, BRK_0_to_4_dbl, 470, 14513},
 6512   {260, BRK_0_to_4_dbl, 282, 18744},
 6526   {261, BRK_0_to_4_dbl, 280, 18813},
 6541   {262, BRK_0_to_4_dbl, 273, 31365},
 6552   {263, BRK_0_to_4_dbl, 470, 14513},
 6566   {264, BRK_0_to_4_dbl, 471, 18748},
 6580   {265, BRK_0_to_4_dbl, 281, 14502},
 6592   {266, BRK_0_to_4_dbl, 280, 18813},
 6607   {267, BRK_0_to_4_dbl, 273, 31365},
 6617   {268, BRK_0_to_4_dbl, 471, 18748},
 6631   {269, BRK_0_to_4_dbl, 282, 18744},
 6643   {270, BRK_0_to_4_dbl, 280, 18813},
 6658   {271, BRK_0_to_4_dbl, 273, 31365},
 6668   {272, BRK_0_to_4_dbl, 470, 14513},
 6818   {290, BRK_0_to_4_dbl, 273, 31368},
 6834   {291, BRK_0_to_4_dbl, 273, 31368},
 6850   {292, BRK_0_to_4_dbl, 273, 31368},
 6900   {296, BRK_0_to_4_dbl, 273, 31368},
 6916   {297, BRK_0_to_4_dbl, 273, 31368},
 6966   {301, BRK_0_to_4_dbl, 273, 31368},
 6982   {302, BRK_0_to_4_dbl, 273, 31368},
 6998   {303, BRK_0_to_4_dbl, 273, 31368},
 7014   {304, BRK_0_to_4_dbl, 273, 31368},
 7038   {306, BRK_0_to_4_dbl, 273, 31368},
 7062   {308, BRK_0_to_4_dbl, 273, 31368},
 7078   {309, BRK_0_to_4_dbl, 273, 31365},
 7093   {310, BRK_0_to_4_dbl, 273, 31365},
 7108   {311, BRK_0_to_4_dbl, 273, 31365},
 7127   {313, BRK_0_to_4_dbl, 273, 31365},
 7149   {315, BRK_0_to_4_dbl, 273, 31368},
 7173   {317, BRK_0_to_4_dbl, 273, 31365},
 7188   {318, BRK_0_to_4_dbl, 273, 31365},
 7203   {319, BRK_0_to_4_dbl, 273, 31365},
 7222   {321, BRK_0_to_4_dbl, 273, 31365},
 7236   {322, BRK_0_to_4_dbl, 273, 31368},
 7252   {323, BRK_0_to_4_dbl, 273, 31368},
 7268   {324, BRK_0_to_4_dbl, 273, 31368},
 7284   {325, BRK_0_to_4_dbl, 273, 31365},
 7313   {328, BRK_0_to_4_dbl, 273, 31365},
 7327   {329, BRK_0_to_4_dbl, 273, 31368},
 7343   {330, BRK_0_to_4_dbl, 273, 31368},
 7359   {331, BRK_0_to_4_dbl, 273, 31365},
 7380   {333, BRK_0_to_4_dbl, 273, 31365},
 7402   {335, BRK_0_to_4_dbl, 273, 31365},
 7417   {336, BRK_0_to_4_dbl, 273, 31365},
 7431   {337, BRK_0_to_4_dbl, 273, 31365},
 7445   {338, BRK_0_to_4_dbl, 273, 31365},
 7460   {339, BRK_0_to_4_dbl, 273, 31365},
 7474   {340, BRK_0_to_4_dbl, 273, 31365},
 7489   {341, BRK_0_to_4_dbl, 273, 31365},
 7547   {346, BRK_0_to_4_dbl, 274, 2965},
 7563   {347, BRK_0_to_4_dbl, 275, 8321},
 7579   {348, BRK_0_to_4_dbl, 278, 14529},
 7595   {349, BRK_0_to_4_dbl, 278, 14523},
 7619   {351, BRK_0_to_4_dbl, 278, 14523},
 7635   {352, BRK_0_to_4_dbl, 274, 2956},
 7656   {354, BRK_0_to_4_dbl, 274, 2956},
 7670   {355, BRK_0_to_4_dbl, 273, 31368},
 7686   {356, BRK_0_to_4_dbl, 275, 8286},
 7711   {358, BRK_0_to_4_dbl, 275, 8286},
 7725   {359, BRK_0_to_4_dbl, 468, 14535},
 7741   {360, BRK_0_to_4_dbl, 273, 31365},
 7755   {361, BRK_0_to_4_dbl, 468, 14535},
 7771   {362, BRK_0_to_4_dbl, 213, 8304},
 7794   {364, BRK_0_to_4_dbl, 213, 8304},
 7808   {365, BRK_0_to_4_dbl, 273, 31365},
 7820   {366, BRK_0_to_4_dbl, 273, 31365},
 7834   {367, BRK_0_to_4_dbl, 273, 31365},
 7846   {368, BRK_0_to_4_dbl, 275, 8286},
 7858   {369, BRK_0_to_4_dbl, 275, 8286},
 7924   {375, BRK_0_to_4_dbl, 279, 18791},
 7940   {376, BRK_0_to_4_dbl, 273, 31368},
 7956   {377, BRK_0_to_4_dbl, 274, 2956},
 7981   {379, BRK_0_to_4_dbl, 274, 2956},
 7995   {380, BRK_0_to_4_dbl, 279, 18770},
 8019   {382, BRK_0_to_4_dbl, 279, 18770},
 8035   {383, BRK_0_to_4_dbl, 275, 8286},
 8056   {385, BRK_0_to_4_dbl, 275, 8286},
 8070   {386, BRK_0_to_4_dbl, 469, 18775},
 8086   {387, BRK_0_to_4_dbl, 273, 31365},
 8100   {388, BRK_0_to_4_dbl, 469, 18775},
 8116   {389, BRK_0_to_4_dbl, 213, 8304},
 8139   {391, BRK_0_to_4_dbl, 213, 8304},
 8153   {392, BRK_0_to_4_dbl, 273, 31365},
 8165   {393, BRK_0_to_4_dbl, 273, 31365},
 8179   {394, BRK_0_to_4_dbl, 273, 31365},
 8191   {395, BRK_0_to_4_dbl, 274, 2956},
 8203   {396, BRK_0_to_4_dbl, 274, 2956},
 8225   {398, BRK_0_to_4_dbl, 273, 31368},
 8241   {399, BRK_0_to_4_dbl, 280, 18813},
 8256   {400, BRK_0_to_4_dbl, 273, 31365},
 8268   {401, BRK_0_to_4_dbl, 281, 14502},
 8282   {402, BRK_0_to_4_dbl, 282, 18744},
 8296   {403, BRK_0_to_4_dbl, 497, 18837},
 8312   {404, BRK_0_to_4_dbl, 497, 18837},
 8328   {405, BRK_0_to_4_dbl, 280, 18813},
 8343   {406, BRK_0_to_4_dbl, 273, 31365},
 8354   {407, BRK_0_to_4_dbl, 281, 14502},
 8368   {408, BRK_0_to_4_dbl, 471, 18748},
 8382   {409, BRK_0_to_4_dbl, 282, 18744},
 8394   {410, BRK_0_to_4_dbl, 280, 18813},
 8409   {411, BRK_0_to_4_dbl, 273, 31365},
 8419   {412, BRK_0_to_4_dbl, 281, 14502},
 8433   {413, BRK_0_to_4_dbl, 498, 18844},
 8449   {414, BRK_0_to_4_dbl, 498, 18844},
 8465   {415, BRK_0_to_4_dbl, 280, 18813},
 8480   {416, BRK_0_to_4_dbl, 273, 31365},
 8491   {417, BRK_0_to_4_dbl, 470, 14513},
 8505   {418, BRK_0_to_4_dbl, 282, 18744},
 8519   {419, BRK_0_to_4_dbl, 281, 14502},
 8531   {420, BRK_0_to_4_dbl, 280, 18813},
 8546   {421, BRK_0_to_4_dbl, 273, 31365},
 8556   {422, BRK_0_to_4_dbl, 282, 18744},
 8570   {423, BRK_0_to_4_dbl, 470, 14513},
 8583   {424, BRK_0_to_4_dbl, 471, 18748},
 8596   {425, BRK_0_to_4_dbl, 273, 31368},
 8612   {426, BRK_0_to_4_dbl, 273, 31368},
 8780   {440, BRK_0_to_4_dbl, 273, 31368},
 8806   {442, BRK_0_to_4_dbl, 273, 31368},
 8822   {443, BRK_0_to_4_dbl, 273, 31368},
 8838   {444, BRK_0_to_4_dbl, 273, 31365},
 8852   {445, BRK_0_to_4_dbl, 273, 31365},
 8888   {448, BRK_0_to_4_dbl, 273, 31368},
 8904   {449, BRK_0_to_4_dbl, 273, 31368},
 8920   {450, BRK_0_to_4_dbl, 273, 31365},
 8934   {451, BRK_0_to_4_dbl, 273, 31365},
 8948   {452, BRK_0_to_4_dbl, 273, 31365},
 8960   {453, BRK_0_to_4_dbl, 273, 31365},
 8983   {455, BRK_0_to_4_dbl, 273, 31365},
 8997   {456, BRK_0_to_4_dbl, 273, 31365},
 9009   {457, BRK_0_to_4_dbl, 273, 31365},
 9032   {459, BRK_0_to_4_dbl, 273, 31365},
 9068   {462, BRK_0_to_4_dbl, 273, 31368},
 9084   {463, BRK_0_to_4_dbl, 273, 31368},
 9100   {464, BRK_0_to_4_dbl, 273, 31365},
 9114   {465, BRK_0_to_4_dbl, 273, 31365},
 9128   {466, BRK_0_to_4_dbl, 273, 31365},
 9141   {467, BRK_0_to_4_dbl, 273, 31365},
 9206   {473, BRK_0_to_4_dbl, 273, 31368},
 9222   {474, BRK_0_to_4_dbl, 273, 31365},
 9245   {476, BRK_0_to_4_dbl, 273, 31365},
 9271   {478, BRK_0_to_4_dbl, 273, 31365},
 9294   {480, BRK_0_to_4_dbl, 273, 31365},
 9320   {482, BRK_0_to_4_dbl, 273, 31368},
 9336   {483, BRK_0_to_4_dbl, 273, 31368},
 9352   {484, BRK_0_to_4_dbl, 273, 31365},
 9367   {485, BRK_0_to_4_dbl, 273, 31365},
 9381   {486, BRK_0_to_4_dbl, 273, 31365},
 9395   {487, BRK_0_to_4_dbl, 273, 31365},
 9407   {488, BRK_0_to_4_dbl, 273, 31365},
 9441   {491, BRK_0_to_4_dbl, 273, 31365},
 9455   {492, BRK_0_to_4_dbl, 273, 31365},
 9470   {493, BRK_0_to_4_dbl, 273, 31365},
 9484   {494, BRK_0_to_4_dbl, 273, 31365},
 9496   {495, BRK_0_to_4_dbl, 273, 31365},
 9574   {502, BRK_0_to_4_dbl, 273, 31365},
 9588   {503, BRK_0_to_4_dbl, 273, 31365},
 9611   {505, BRK_0_to_4_dbl, 273, 31365},
 9625   {506, BRK_0_to_4_dbl, 273, 31365},
 9638   {507, BRK_0_to_4_dbl, 273, 31365},
 9651   {508, BRK_0_to_4_dbl, 273, 31365},
unittests/TableGen/AutomataTest.cpp
  106   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));
  107   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));
  113   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));
  114   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));
  135   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));
  136   EXPECT_TRUE(A.add(BRK_0_to_4_dbl));