Displaying 4 results from an estimated 4 matches for "solverecurse".
2017 Jul 31
1
LLVM's loop strength reduction module
...the chains computed in the first step to implement the solution? Can the chains somehow drive the LSR use and formulae generation process to restrict the latter to only those that are “interesting” for the chains computed?
4) I may have mis-understood the code, but it seems that the function SolveRecurse() succeeds in computing a solution only if every LSR use has at least one formula associated with it. For example, if all the formulae associated with an LSR use get filtered away, it appears that the SolveRecurse() function would not compute a solution and instead say “No Satisfactory Solution”. I...
2017 Jul 06
3
LLVM's loop strength reduction module
Hi Raghavan,
I concur no specific docs.
What do you want to know specifically?
Cheers,
-Quentin
> On Jul 5, 2017, at 11:16 PM, Madhur Amilkanthwar via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>
> AFAIK, no official doc.
> You can probably get better help if you ask specific questions (which part of the code you don't understand).
>
> On Thu, Jul 6, 2017 at 9:53
2019 Jun 06
2
Strange behaviour of post-legalising optimisations(?)
Hi Tim,
Thank you for your reply. It actually helped a lot to narrow the issue, as previously I didn’t even know where to look.
I have been following the code in the debugger, specially the LSRInstance::SolveRecurse function. This function traverses recursively all possible ‘Formulae’, and determines the best instruction combination for the loop generation, based on minimal cost. The SolveRecurse function uses Cost::RateFormula as the basis for the cost computation.
I found that the RateFormula function does...
2019 Jun 05
2
Strange behaviour of post-legalising optimisations(?)
I come across a situation that I am having a hard time to understand.
When I compile the following code :
char *tst( char *dest, const char *src, unsigned int len )
{
for (int i=0 ; i<len ; i++) {
dest[i] = src[i];
}
return dest;
}
Clang generates this for the ‘for’ body:
for.body: ; preds = %for.cond
%arrayidx = getelementptr inbounds i8,