Displaying 5 results from an estimated 5 matches for "pictionary".
Did you mean:
dictionary
2011 Oct 18
0
[LLVMdev] Matching addsub
...ication? It's likely to get suboptimal code in many
cases.
On the other hand, a producer that knows that the target has certain
instructions could pretty easily just use appropriate intrinsics that can
be mapped directly to the desired instructions. This way, there's no need
for it to play pictionary with the backend, drawing out its desired
semantics in terms of primitive operations and expecting codegen to
rediscover what was meant by pattern-matching.
Dan
2011 Oct 18
2
[LLVMdev] Matching addsub
...t suboptimal code in many
> cases.
>
> On the other hand, a producer that knows that the target has certain
> instructions could pretty easily just use appropriate intrinsics that can
> be mapped directly to the desired instructions. This way, there's no need
> for it to play pictionary with the backend, drawing out its desired
> semantics in terms of primitive operations and expecting codegen to
> rediscover what was meant by pattern-matching.
>
In general, I agree with you. It is always questionable how far to
attempt to go with idiom recognition. However, some kind o...
2011 Oct 18
0
[LLVMdev] Matching addsub
...y
>> cases.
>>
>> On the other hand, a producer that knows that the target has certain
>> instructions could pretty easily just use appropriate intrinsics that can
>> be mapped directly to the desired instructions. This way, there's no need
>> for it to play pictionary with the backend, drawing out its desired
>> semantics in terms of primitive operations and expecting codegen to
>> rediscover what was meant by pattern-matching.
>>
>
> In general, I agree with you. It is always questionable how far to
> attempt to go with idiom recogn...
2011 Oct 17
4
[LLVMdev] Matching addsub
How should I go about matching floating-point addsub-like vector
instructions? My first inclination is to write something which matches
build_vector 1.0, -1.0, and then use that in combination with a match on
fadd, but that does not seem to work. I think this is because
BUILD_VECTOR cannot ever be "Legal", and so it is always turned into a
constant load before instruction selection.
2011 Oct 18
1
[LLVMdev] Matching addsub
...t;>
> >> On the other hand, a producer that knows that the target has certain
> >> instructions could pretty easily just use appropriate intrinsics that can
> >> be mapped directly to the desired instructions. This way, there's no need
> >> for it to play pictionary with the backend, drawing out its desired
> >> semantics in terms of primitive operations and expecting codegen to
> >> rediscover what was meant by pattern-matching.
> >>
> >
> > In general, I agree with you. It is always questionable how far to
> > a...