<div dir="ltr"><div dir="ltr">This is interesting; I hadn't thought of breaking out tagging into its own construct. I do like the name SECTION_CLASS; it makes it clear that elements from that section could be placed there, and the only plausible meaning for multiple references to the same class would be to allow them to spill. <br><br>This also slightly increases the power of regular matching, since you could catch a group of sections earlier in a linker script and place them later, perhaps to avoid a broad wildcard needed for output sections that should appear earlier in a memory region.<br><br>E.g.<br>```<br>SECTIONS {<br> SECTION_CLASS(specific) { *(.specific) }<br> .first_output { *(*) } >m1<br> .second_output { SECTION_CLASS(specific) } >m1<br>}<br>```<br><br>On the down side, it would make it harder to port existing linker scripts. To spill a wildcard match inside an output section with strong ordering requirements, you would need to define classes for anything that precedes it.<br><br>Without spilling:<br>```<br>SECTIONS {</div><div dir="ltr"> .foo {</div><div> *(.foo.first.*)</div><div> . = . < 0xc000 ? 0xc000 : .; /* or something similarly horrible */<br> *(.foo.second.*)</div><div><br> /* Excludes .foo.first.* and .foo.second.* by virtue of ordering */<br> *(.foo.*)</div><div> }>m1</div><div dir="ltr">}<br>```<br><br>With spilling:<br><div dir="ltr">```SECTIONS {<br></div><div dir="ltr"><div dir="ltr"><div dir="ltr"> /* A whole collection now needs to be broken out of the output section to preserve its semantics */ </div></div><div dir="ltr"> SECTION_CLASS(foo_first) { *(.foo.first.*) }</div><div dir="ltr"> SECTION_CLASS(foo_second) { *(.foo.second.*) }</div><div dir="ltr"> /* If only this section class were defined, then it would unintentionally capture .foo.first and .foo.second */<br> SECTION_CLASS(foo_rest) { *(.foo.*) }</div></div><div dir="ltr"> </div><div dir="ltr">.foo {</div><div> SECTION_CLASS(foo_first)</div><div> . = . < 0xc000 ? 0xc000 : .;</div><div> SECTION_CLASS(foo_second)</div><div> SECTION_CLASS(foo_rest)<br></div><div> }>m1</div><div> .foo_alt {</div><div> /* foo_rest is the only desirable spill, but it forces sweeping changes to the linker script */</div><div> SECTION_CLASS(foo_rest)</div><div> }>m2</div><div dir="ltr">}<br>```</div><br>Progressive enhancement of existing scripts is essential for this to be useful in practice. As far as I can see, since linker script semantics are so imperative, that requires section classes to be nameable in the same place as existing wildcards. That being said, as mentioned earlier, naming outside output sections also adds power, so it might be useful too, but it seems like it would need to be judged on merit of the extra power added.<br><br>On Tue, Feb 6, 2024 at 4:33 PM Roland McGrath <<a href="mailto:mcgrathr@google.com">mcgrathr@google.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">```<br>
SECTIONS {</blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> </blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> /* New syntax that is not an output section clause: */<br>
SECTION_CLASS(class1) { *(.input2) }<br>
<br>
/* Output section clause referring to SECTION_CLASS: */<br>
.output2 {<br>
*(.input3) /* normal section wildcard */<br>
<br>
SECTION_CLASS(class1) /* reference to previously defined class */<br>
<br>
*(.input4) /* normal section wildcard */<br>
}<br> .output4 {<br>
/* reference to remainder not in .output[23], sorting applied to them */<br>
SORT_BY_NAME(SECTION_CLASS(class1))<br>
}<br>}<br>
``` <br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Where they do appear, they can appear inside the SORT_* to have that<br>
sorting applied to the subset. I'm not sure it's actually meaningful to<br>
select a subset and then sort within that subset, so perhaps it would be<br>
better to only support the SORT_* modifiers in the usual way on the input<br>
section wildcards in the defining `SECTION_CLASS` clause, and then every<br>
reference has to always just draw in order from that sorted list.<br></blockquote><div><br>I would expect SECTION_CLASS uses in output sections to be referentially transparent with the exception of the packing behavior and the ordering of section "consumption". They should broadly behave as if the named wildcards had actually appeared in order in the corresponding location; that should allow providing a set of allowed and disallowed SORT_x family specifications to match the current behavior. That would support using SECTION_CLASS to break out an existing wildcard to run it earlier, since it would provide some assurance that this wouldn't change the behavior beyond that which was intended.<br><br></div></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><br><div style="line-height:1.5em;padding-top:10px;margin-top:10px;color:rgb(85,85,85);font-family:sans-serif;font-size:small"><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(213,15,37);padding-top:2px;margin-top:2px">Daniel </span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(51,105,232);padding-top:2px;margin-top:2px">Thornburgh |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(0,153,57);padding-top:2px;margin-top:2px"> <a href="mailto:dthorn@google.com" target="_blank">dthorn@google.com</a></span></div><br></div></div></div></div></div>