Displaying 2 results from an estimated 2 matches for "skip_start".
2014 Nov 05
3
[LLVMdev] lifetime.start/end clarification
...uld be something that jumps into the middle of a lifetime
region, like the example that Arnaud gave. This was assuming the current
state of the world where we haven't added a second lifetime start call
prior to the goto branch.
Start with something like:
void f(int x) {
while (x) {
goto skip_start;
{
int y; // lifetime.start
skip_start:
y = g();
x -= y;
// lifetime.end
}
}
}
The block containing the lifetime start of y is unreachable and can be
deleted.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org...
2014 Nov 05
4
[LLVMdev] lifetime.start/end clarification
>
> This seems fine to me. The optimizer can (soundly) conclude that %p is
> dead after the "lifetime.end" (for the two instructions), and dead before
> the "lifetime.start" (for the *single* instruction in that basic block,
> *not* for the previous BB). This seems like the proper result for this
> example, am I missing something?
>
What if I put that in