Elektrine lite

← Feed

@ljrk@todon.eu

Post #2639695

2025-05-15 15:01 UTC

@ela@infosec.exchange Nice! I wonder how this feat is performed? I suppose the tail-call is eliminated, and the resulting loop is reasoned about, perhaps unrolled even and then some analysis turns up this?

Replies (2)

  • @ljrk@todon.eu 2025-05-15 15:03

    @ela@infosec.exchange ah whelp u answered this while I was typing :'D https://infosec.exchange/@ela/114512429688903239

    Open ##2639696

  • @lbehm@chaos.social 2025-05-15 17:06

    @ljrk@todon.eu @ela@infosec.exchange the truly amazing thing about compiler explorer with clang is, that it can even give you every important step of the optimization pipeline: https://clang.godbolt.org/z/dvhs93z5f

    Open ##2639697