irken-compiler
irken-compiler copied to clipboard
tag/untag box/unbox only on demand
Something I want to try, especially for integers: do not enforce tagging in registers, but only in tuples. In other words, apply tag/box only upon store/fetch to/from a tuple. This would protect GC while theoretically really cutting down on tag/untag ops in code. While clang/gcc usually 'see through' the tag ops, it'd be cleaner and possibly faster. This would also have (good) implications for FFI.