Displaying 2 results from an estimated 2 matches for "exit_usage".
Did you mean:
ex_usage
2017 Mar 31
2
Well-formed @llvm.lifetime.start and @llvm.lifetime.end intrinsics
...block containing the exit... but it seems to me that this is really the crux
> of the problem.
Thank you for the clarification. I indeed did not consider that the
exit/unreachable makes a difference.
This is what happens in Polly:
llvm.lifetime.start(&var)
if (c) {
call void @_z10exit_usagepkc
unreachable // because exit_usage is no-return
}
- Optimistically assume that no functions are executed or control flow
ends in an unreachable. It can determine the condition c1 for when no
such thing ever appears (in which case c1 is just "true")
- Version the old code and the...
2017 Mar 31
3
Well-formed @llvm.lifetime.start and @llvm.lifetime.end intrinsics
2017-03-31 13:46 GMT+02:00 Daniel Berlin <dberlin at dberlin.org>:
>
>
> On Fri, Mar 31, 2017 at 4:05 AM, Michael Kruse <llvmdev at meinersbur.de>
> wrote:
>>
>> 2017-03-31 1:16 GMT+02:00 Daniel Berlin <dberlin at dberlin.org>:
>> > if you transformed
>> >
>> > lifetime.start(%p)
>> > use %p
>> >