<div dir="auto"><div dir="auto">Hi Francesco, </div><div dir="auto"><br></div>Whatever we end up doing, even if not a direct implementation of omp 5, should be of identical behaviour, or at least a subset.<div dir="auto"><br></div><div dir="auto">I think both you and Alexey agree with that, I'm just making sure this is said out loud, before we start getting different proposals and derail this thread.</div><div dir="auto"><br></div><div dir="auto">We are not in the business of inventing new standards, but of implementing existing ones. Standards that work across languages and hardware are really hard to get right and having local (different) features competing with them will not help users in the long run.</div><div dir="auto"><br></div><div dir="auto">Implementation defined behaviour should also be consistent and compatible with prior art (other compilers) as we want to follow the path of least friction. Mangling will have side effects at link time, so picking any random one, no matter how much better it looks now, could lead to long term conflicts.</div><div dir="auto"><br></div><div dir="auto">Spending a bit more time now could save us a lot of time in the future. </div><div dir="auto"><br></div><div dir="auto">Cheers, </div><div dir="auto">Renato </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 3 Jun 2019, 20:25 Francesco Petrogalli 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">+CC Alexey B.<br>
<br>
> On Jun 3, 2019, at 1:43 PM, Andrea Bocci <<a href="mailto:andrea.bocci@cern.ch" target="_blank" rel="noreferrer">andrea.bocci@cern.ch</a>> wrote:<br>
> <br>
> On Mon, 3 Jun 2019 at 20:00, Francesco Petrogalli via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a>> wrote:<br>
> Hi All,<br>
> <br>
> The original intend of this thread is to "Expose user provided vector function for auto-vectorization.”<br>
> <br>
> I originally proposed to use OpenMP `declare variant` for the sake of using something that is defined by a standard. The RFC itself is not about fully implementing the `declare variant` directive. In fact, given the amount of complication it is bringing, I would like to move the discussion away from `declare variant`. Therefore, I kindly ask to move any further discussion about `declare variant` to a separate thread.<br>
> <br>
> I believe that to "Expose user provided vector function for auto-vectorization” we need three components.<br>
> <br>
> 1. The main component is the IR representation we want to give to this information. My proposal is to use the `vector-variant` attribute with custom symbol redirection. <br>
> <br>
>         vector-variant = {“_ZGVnN2v_f(custon_vector_f_2), _ZGVnN4v_f(custon_vector_f_4)”}<br>
> <br>
> The names here are made of the Vector Function ABI mangled name, plus custom symbol redirection in parenthesis. I believe that themes mangled according to the Vector Function ABI have all the information needed to build the signature of the vector function and the properties of its parameters (linear, uniform, aligned…). This format will cover most (if not all) the cases that are needed for auto-vectorization. I am not aware of any situation in which this information might not be sufficient. Please provide such an example if you know of any.<br>
> <br>
> We can attach the IR attribute to call instructions (preferred for avoiding conflicts when merging modules who don’t see the same attributes) or to function declaration, or both.<br>
> <br>
> 2. The second component is a tool that other parts of LLVM (for example, the loop vectorizer) can use to query the availability of the vector function, the SVFS I have described in the original post of the RFC, which is based on interpreting the `vector-variant` attribute.<br>
> <br>
> The final component is the one that seems to have generated most of the controversies discussed in the thread, and for which I decided to move away from `declare variant`.<br>
> <br>
> 3. The third component is a set of descriptors that can be attached to the scalar function declaration / definition in the C/C++ source file, to be able to inform about the availability of an associated vector functions that can be used when / if needed.<br>
> <br>
> As someone as suggested, we should use a custom attribute. Because the mangling scheme of the Vector Function ABI provides all the information about the shape and properties of the vector function, I propose the approach exemplified in the following code:<br>
> <br>
> <br>
> ```<br>
> // AArch64 Advanced SIMD compilation<br>
> double foo(double) __attribute__(simd_variant(“nN2v”,”neon_foo”));<br>
> float64x2_t neon_foo(float64x2_t x) {…}<br>
> <br>
> // x86 SSE compilation<br>
> double foo(double) __attribute__(simd_variant(“aN2v”,”sse_foo”));<br>
> __m128 sse_foo(__m128 x) {…}<br>
> ```<br>
> <br>
> The attribute would use the “core” tokens of the mangled names (without _ZGV prefix and the scalar function name postfix) to describe the vector function provided in the redirection.<br>
> <br>
> Formal syntax:<br>
> <br>
> ```<br>
> __attribute__(simd_variant(“<isa><mask><VLEN><par_type_list>”, “custom_vector_name”))<br>
> <br>
> <isa> := “a” (SSE), “b” (AVX) , …, “n” (NEON), “s” (SVE) (from the vector function ABI specifications of each of the targets that support this, for now AArch64 and x86)<br>
> <br>
> <mask> := “N” for no mask, or “M” for masking<br>
> <br>
> <VLEN> := number of lanes in a vector | “x” for scalable vectorization (defined in the AArch64 Vector function ABI).<br>
> <br>
> <part_type_list> := “v” | “l” | … all these tokens are defined in the Vector Function ABI of the target (which get selected by the <isa>). FWIW, they are the same for x86 and AArch64.<br>
> ```<br>
> <br>
> Please let me know what you thing about this proposal. I will rework the proposal if it makes it easier to follow and submit a new RFC about it, but before getting into rewriting everything I want to have some feedback on this change.<br>
> <br>
> Kind regards,<br>
> <br>
> Francesco<br>
> <br>
> <br>
> <br>
> Hi Francesco,<br>
> as a candidate future user of the proposed extension, I think I like the simplified proposal better than the original RFC.<br>
> <br>
> The only part of the syntax that I would find not very much user-friendly is having to mangle the isa/mask/vlen/type list by hand.<br>
> <br>
> Would a more C-like syntax be feasible ?<br>
> E.g. something like<br>
> <br>
> ```<br>
> // AArch64 Advanced SIMD compilation<br>
> double foo(double) __attribute__(simd_variant(“double[2] neon”,”neon_foo”));<br>
> float64x2_t neon_foo(float64x2_t x) {…}<br>
> <br>
> // x86 SSE compilation<br>
> double foo(double) __attribute__(simd_variant(“double[2] sse”,”sse_foo”));<br>
> __m128 sse_foo(__m128 x) {…}<br>
> ```<br>
> <br>
> ?<br>
> <br>
> <br>
> Ciao,<br>
> .Andrea<br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" rel="noreferrer">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>