<div dir="ltr">I think the changes for musttail were wrong here, but I need to think harder. Mechanically, inlining one level of musttail -> musttail should work, but it violates the langref guarantees. Maybe we need to finesse the reference.<div><br></div><div>This is the kind of optimizer change that should really get pre-commit code review.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 31, 2014 at 11:02 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">><br>
> -; Don't insert lifetime end markers here, the lifetime is trivially over due<br>
> -; the return.<br>
> -; CHECK: define void @test_byval_a(<br>
> -; CHECK: musttail call void @test_byval_c(<br>
> -; CHECK-NEXT: ret void<br>
> -<br>
> -declare void @test_byval_c(i32* byval %p)<br>
> -define internal void @test_byval_b(i32* byval %p) {<br>
> -  musttail call void @test_byval_c(i32* byval %p)<br>
> -  ret void<br>
> -}<br>
> -define void @test_byval_a(i32* byval %p) {<br>
> -  musttail call void @test_byval_b(i32* byval %p)<br>
> -  ret void<br>
> -}<br>
> -<br>
> -; Don't insert a stack restore, we're about to return.<br>
> -; CHECK: define void @test_dynalloca_a(<br>
> -; CHECK: call i8* @llvm.stacksave(<br>
> -; CHECK: alloca i8, i32 %n<br>
> -; CHECK: musttail call void @test_dynalloca_c(<br>
> -; CHECK-NEXT: ret void<br>
> -<br>
> -declare void @escape(i8* %buf)<br>
> -declare void @test_dynalloca_c(i32* byval %p, i32 %n)<br>
> -define internal void @test_dynalloca_b(i32* byval %p, i32 %n) alwaysinline {<br>
> -  %buf = alloca i8, i32 %n              ; dynamic alloca<br>
> -  call void @escape(i8* %buf)           ; escape it<br>
> -  musttail call void @test_dynalloca_c(i32* byval %p, i32 %n)<br>
> -  ret void<br>
> -}<br>
> -define void @test_dynalloca_a(i32* byval %p, i32 %n) {<br>
> -  musttail call void @test_dynalloca_b(i32* byval %p, i32 %n)<br>
> -  ret void<br>
> -}<br>
<br>
</div></div>Why remove these tests? The musttail case in particular is interesting.<br>
<br>
Cheers,<br>
Rafael<br>
</blockquote></div><br></div>