This test captures branch labels and uses them in phi matchers (or vice versa), but it doesn't actually capture or check the label definitions themselves. The difference is that the latter doesn't have a leading '%', which the former has and is captured. Thus the test is a little brittle. This redoes the label matching to also match the label definitions. I.e. the '%' is no longer part of the capture, and must be provided at the use point too.
Discovered when a patch set I'm working on disturbed the label numbering here.
Matt, I think you authored this test?