The lack of a terminator on section, plus this code, makes the implicit assumption that only the results of the very last op in a section are the output of the entire section op. If you want to be able to have a section produce multiple results, you would probably need a terminator at that point.

If these are the intended semantics of section, this should be added to the tablegen description for the section op.

Originally posted by @j2kun in #2594 (comment)