[llvm-dev] Complex proposal v3 + roundtable agenda

[Simon Moll via llvm-dev]

I've uploaded the generalized pattern matching and InstSimplify patch:
https://reviews.llvm.org/D92086
Posting this here since it's linked to the thread - there will be a
separate mail for the RFC.

- Simon



On 11/19/20 4:04 PM, Simon Moll via llvm-dev wrote:
> On 11/18/20 10:09 PM, David Greene wrote:
>> Simon Moll <Simon.Moll at EMEA.NEC.COM> writes:
>>
>>> The generalized pattern matching in the VP reference patch is not
>>> VP-specific, eg it is parameter-ized in the abstraction. That means we
>>> can lift InstCombine,InstSimplify once on top of that abstraction and
>>> than instantiate that (it's literally a template parameter) to (0)
>>> regular LLVM instructions, (1) constrained fp intrinsics, (2) complex
>>> intrinsics, (3) VP.. hypothetically even (4) constrained/complex/vp
>>> intrinsics.
>>>
>>> I'll send out a separate RFC on how that generalized pattern match works
>>> - it's about time we get working on this since use cases keep piling up..
>> I think this has some real promise for getting complex support up and
>> running more quickly.  Since the vector predication intrinsics are
>> apparently already in
>> (http://llvm.org/docs/LangRef.html#vector-predication-intrinsics), it
>> makes sense to me to get these generic matchers in and build complex on
>> top of that, at least to get something working.
>>
>> Do we have any idea of a timeline for such matchers?
> I am currently extracting/refactoring the generalized pattern matching
> stuff from the VP reference patch. This patch should be on Phabricator
> by end of next week.
>
> - Simon
>>                 -David
>>
>>
>>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>