Alfie Richards
Alfie Richards
Proposal can get a +1 from me. Seems like a good idea I lean towards `priority\d+` personally (I think priority and a number clearly indicates 1 would be highest). But...
Added a proposal document for this: https://github.com/ARM-software/acle/issues/403
@chrisbazley The `priority=N;arch` proposal was brought up in the proposal doc for this: https://github.com/ARM-software/acle/issues/403 I think we'll likely close this out in favor of that as we seem to be...
@andrewcarlotti Are you okay to close this, as we opted for the other PR
> As far as I understand, according to the first proposal, the labels `priority` are considered "fake" FMV features. Should they be part of the mangled name or not? I...
> I think you just gave an example that creates ambiguity, two different versions with the same mangled name (because priorityA was dropped from the first one). I think that's...
Oh nice, that was quick! That's interesting to know about the IR metadata required. I'm surprised that the priority information needs to be passed through LLVM-IR at all.
Great, it seems we all prefer option 1. As that is what https://github.com/ARM-software/acle/pull/371 implements shall we merge that and close this out?
This new third proposal is my preferred, I think thats better syntactically.