And while I'm at it - using uint64_t as type for rbx instead of r64 generates the proper code: godbolt.org/z/vrasvG7Y9 - ThreadSky

cerrseien.bsky.social • 10 days ago

And while I'm at it - using uint64_t as type for rbx instead of r64 generates the proper code: https://godbolt.org/z/vrasvG7Y9

Reply