<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Sat, Nov 26, 2016 at 9:07 AM Renato Golin via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 26 November 2016 at 11:49, Paul Walker <<a href="mailto:Paul.Walker@arm.com" class="gmail_msg" target="_blank">Paul.Walker@arm.com</a>> wrote:<br class="gmail_msg">
> Related to this I want to push this and related conversations in a different direction.  From the outset our approach to add SVE support to LLVM IR has been about solving the generic problem of vectorising for an unknown vector length and then extending this to support predication.  With this in mind I would rather the problem and its solution be discussed at the IR's level of abstraction rather than getting into the guts of SVE.<br class="gmail_msg">
<br class="gmail_msg">
Hi Paul,<br class="gmail_msg">
<br class="gmail_msg">
How scalable vectors operate is intimately related to how you<br class="gmail_msg">
represent them in IR. It took a long time for the vector types to be<br class="gmail_msg">
mapped to all available semantics. We still had to use a bunch of<br class="gmail_msg">
intrinsics for scatter / gather, it took years to get the strided<br class="gmail_msg">
access settled.<br class="gmail_msg">
<br class="gmail_msg">
I understand that scalable vectors are orthogonal to all this, but as<br class="gmail_msg">
a new concept, one that isn't available in any open source compiler I<br class="gmail_msg">
know of, is one that will likely be very vague. Not publishing the<br class="gmail_msg">
specs only make it worse.<br class="gmail_msg">
<br class="gmail_msg">
I take the example of the ACLE and ARMv8.2 patches that ARM has been<br class="gmail_msg">
pushing upstream. I have no idea what the new additions are, so I have<br class="gmail_msg">
to take your word that they're correct. But later on, different<br class="gmail_msg">
behaviour comes along for the same features with a comment "it didn't<br class="gmail_msg">
work that way, let's try this". Sometimes, I don't even know what<br class="gmail_msg">
failed, or why this new thing is better.<br class="gmail_msg">
<br class="gmail_msg">
When that behaviour is constricted to the ARM back-end, it's ok. It's<br class="gmail_msg">
a burden that me and Tim will have to carry, and so far, it has been a<br class="gmail_msg">
small burden. But exposing the guts of the vectorizers (which are<br class="gmail_msg">
already getting to a point where the need large refactorings), which<br class="gmail_msg">
will affect all targets, need a bit more of concrete information.<br class="gmail_msg">
<br class="gmail_msg">
The last thing we want is to keep changing how the vectorizer behaves<br class="gmail_msg">
every six months without any concrete information as to why.<br class="gmail_msg">
<br class="gmail_msg">
I also understand that LLVM is great at prototyping, and that's an<br class="gmail_msg">
important step for companies like ARM to make sure their features work<br class="gmail_msg">
as reliably as they expect in the wild, but I think adding new IR<br class="gmail_msg">
semantics and completely refactoring core LLVM passes without a clue<br class="gmail_msg">
is a few steps too far.<br class="gmail_msg">
<br class="gmail_msg">
I'm not asking for a full spec. All I'm asking is for a description of<br class="gmail_msg">
the intended basic functionality. Addressing modes, how to extract<br class="gmail_msg">
information from unknown lanes, or if all reduction steps will be done<br class="gmail_msg">
like `saddv`. Without that information, I cannot know what is the best<br class="gmail_msg">
IR representation for scalable vectors or what will be the semantics<br class="gmail_msg">
of shufffle / extract / insert operations.<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
> "complex constant" is the term used within the LangRef.  Although its value can be different across certain interfaces this does not need to be modelled within the IR and thus for all intents and purposes we can safely consider it to be constant.<br class="gmail_msg">
<br class="gmail_msg">
>From the LangRef:<br class="gmail_msg">
<br class="gmail_msg">
"Complex constants are a (potentially recursive) combination of simple<br class="gmail_msg">
constants and smaller complex constants."<br class="gmail_msg">
<br class="gmail_msg">
There's nothing there saying it doesn't need to be modeled in IR.<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
> "vscale" is not trying to represent the result of such speculation. It's purely a constant runtime vector length multiplier.  Such a value is required by LoopVectorize to update induction variables as describe below plus simple interactions like extracting the last element of a scalable vector.<br class="gmail_msg">
<br class="gmail_msg">
Right, I'm beginning to see what you mean...<br class="gmail_msg">
<br class="gmail_msg">
The vectorizer needs that to be a constant at compile time to make<br class="gmail_msg">
safety assurances.<br class="gmail_msg">
<br class="gmail_msg">
For instance: for (1..N) { a[i+3] = a[i] + i; }<br class="gmail_msg">
<br class="gmail_msg">
Has a max VF of 3. If the vectorizer is to act on that loop, it'll<br class="gmail_msg">
have to change "vscale" to 3. If there are no loop dependencies, then<br class="gmail_msg">
you leave as "vscale" but vectorizes anyway.<br class="gmail_msg">
<br class="gmail_msg">
Other assurances are done for run time constants, for instance, tail<br class="gmail_msg">
loops when changing<br class="gmail_msg">
<br class="gmail_msg">
for (i=0; i<N; i++)   ->    for (i=0; i<N; i+=VF)<br class="gmail_msg">
<br class="gmail_msg">
That VF is now a run-time "constant", and the vectorizer needs to see<br class="gmail_msg">
it as much, otherwise it can't even test for validity.<br class="gmail_msg">
<br class="gmail_msg">
So, the vectorizer will need to be taught two things:<br class="gmail_msg">
<br class="gmail_msg">
1. "vscale" is a run time constant, and for the purpose of validity,<br class="gmail_msg">
can be shrunk to any value down to two. If the value is shrunk, the<br class="gmail_msg">
new compile time constant replaces vscale.<br class="gmail_msg">
<br class="gmail_msg">
2. The cost model will *have* to treat "vscale" as an actual compile<br class="gmail_msg">
time constant. This could come from a target feature, overriden by a<br class="gmail_msg">
command line flag but there has to be a default, which I'd assume is<br class="gmail_msg">
4, given that it's the lowest length.<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
>     %index.next = add nuw nsw i64 %index, mul (i64 vscale, i64 4)<br class="gmail_msg">
><br class="gmail_msg">
> for a VF of "n*4" (remembering that vscale is the "n" in "<n x 4 x Ty>")<br class="gmail_msg">
<br class="gmail_msg">
I see what you mean.<br class="gmail_msg">
<br class="gmail_msg">
Quick question: Since you're saying "vscale" is an unknown constant,<br class="gmail_msg">
why not just:<br class="gmail_msg">
<br class="gmail_msg">
   %index.next = add nuw nsw i64 %index, i64 vscale<br class="gmail_msg">
<br class="gmail_msg">
All scalable operations will be tied up by the predication vector<br class="gmail_msg">
anyway, and you already know what the vector type size is anyway.<br class="gmail_msg">
<br class="gmail_msg">
The only worry is about providing redundant information that could go<br class="gmail_msg">
stale and introduce bugs.<br class="gmail_msg">
<br class="gmail_msg">
I'm assuming the vectorizer will *have* to learn about the compulsory<br class="gmail_msg">
predication and build those vectors, or the back-end will have to<br class="gmail_msg">
handle them, and it can get ugly.<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
>> %const_vec = <n x 4 x i32> @llvm.sve.constant_vector(i32 %start, i32 %step)<br class="gmail_msg">
><br class="gmail_msg">
> This intrinsic matches the seriesvector instruction we original proposed.  However, on reflection we didn't like how it allowed multiple representations for the same constant.<br class="gmail_msg">
<br class="gmail_msg">
Can you expand how this allows multiple representations for the same constant?<br class="gmail_msg">
<br class="gmail_msg">
This is a series, with a start and a step, and will only be identical<br class="gmail_msg">
to another which has the same start and step.<br class="gmail_msg">
<br class="gmail_msg">
Just like C constants can "appear" different...<br class="gmail_msg">
<br class="gmail_msg">
const int foo = 4;<br class="gmail_msg">
const int bar = foo;<br class="gmail_msg">
const int baz = 2 + 2;<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
> I know this doesn't preclude the use of an intrinsic, I just wanted to highlight that doing so doesn't automatically change the surrounding IR.<br class="gmail_msg">
<br class="gmail_msg">
I don't mind IR changes, I'm just trying to understand the need for it.<br class="gmail_msg">
<br class="gmail_msg">
Normally, what we did in the past for some things was to add<br class="gmail_msg">
intrinsics and then, if it's clear a native IR construct would be<br class="gmail_msg">
better, we change it.<br class="gmail_msg">
<br class="gmail_msg">
At least the intrinsic can be easily added without breaking<br class="gmail_msg">
compatibility with anything, and since we're in prototyping phase<br class="gmail_msg">
anyway, changing the IR would be the worst idea.<br class="gmail_msg">
<br class="gmail_msg"></blockquote><div><br></div><div>These last 3 paragraphs are a great summary of my position on this as well.</div><div><br></div><div>Thanks!</div><div><br></div><div>-eric</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
cheers,<br class="gmail_msg">
--renato<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
LLVM Developers mailing list<br class="gmail_msg">
<a href="mailto:llvm-dev@lists.llvm.org" class="gmail_msg" target="_blank">llvm-dev@lists.llvm.org</a><br class="gmail_msg">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" class="gmail_msg" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br class="gmail_msg">
</blockquote></div></div>