Displaying 3 results from an estimated 3 matches for "isbeforethrowinginst".
2017 Mar 31
4
Dereferenceable load semantics & LICM
...owing
instruction yet
- Pass the above as a boolean parameter to isGuaranteedToExecute, and
instead of
if (Inst.getParent() == CurLoop->getHeader())
return !SafetyInfo->HeaderMayThrow;
do something like
if (Inst.getParent() == CurLoop->getHeader())
return IsBeforeThrowingInst;
-- Sanjoy
2017 Apr 03
4
Dereferenceable load semantics & LICM
...an parameter to isGuaranteedToExecute, and
>> instead of
>> if (Inst.getParent() == CurLoop->getHeader())
>> return !SafetyInfo->HeaderMayThrow;
>> do something like
>> if (Inst.getParent() == CurLoop->getHeader())
>> return IsBeforeThrowingInst;
>>
>> -- Sanjoy
>>
> I was thinking about something very similar and it seems to be a good
> approach to me because it has much lower complexity.
>
> In the review Sanjoy correctly spoted that I am not discarding
> invariant.group metadata when hoisting, which is i...
2017 Mar 31
2
Dereferenceable load semantics & LICM
On Fri, Mar 31, 2017 at 10:23 AM, Sanjoy Das <sanjoy at playingwithpointers.com
> wrote:
> Hi Piotr,
>
> On March 31, 2017 at 9:07:42 AM, Piotr Padlewski
> (piotr.padlewski at gmail.com) wrote:
> > Hi all,
> > I have a question about dereferenceable metadata on load instruction. I
> > have a patch (https://reviews.llvm.org/D31539) for LICM that hoists
>