search

byuccl / coast

Compiler Assisted Software Fault Tolerance
MIT License
18 stars 8 forks source link

Was COAST tested with tail calls? #7

Closed bgat closed 1 year ago

bgat commented 1 year ago

I'm seeing this output with LLVM-15, and for the moment it appears to be related to tail call instructions:

Attribute 'align' should have an Argument

I'm not currently in a position to test whether the LLVM-7 regression tests actually produced tail calls, so I figured I'd just ask before diving into this rabbit-hole.

jgoeders commented 1 year ago

I believe it worked for tail calls, but I can't say for certain.

You could check out my students' theses for more info: https://scholarsarchive.byu.edu/etd/6724/ and https://scholarsarchive.byu.edu/etd/8958/

bgat commented 1 year ago

It turns out, the problem I was investigating was rooted in changes in how parameter attributes behave vs. LLVM-7. It just so happened that the function I first saw problems with also had quite a few tail calls, and I misattributed the problem to that.

You can close this ticket, thanks!

On Wed, Mar 15, 2023 at 6:56 AM Jeff Goeders @.***> wrote:

I believe it worked for tail calls, but I can't say for certain.

You could check out my students' theses for more info: https://scholarsarchive.byu.edu/etd/6724/ and https://scholarsarchive.byu.edu/etd/8958/

— Reply to this email directly, view it on GitHub https://github.com/byuccl/coast/issues/7#issuecomment-1470056847, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAS2T4GJUY5FMCVZZ2LFPY3W4HDCJANCNFSM6AAAAAAVXJCPCE . You are receiving this because you authored the thread.Message ID: @.***>

-- Bill Gatliff @.***