3 ms·
No, I won’t have checks on every dereference. The monotonicity of Fil-C’s capabilities makes it possible to do a lot of redundant check elimination. That’s wha
by pizlonator 2y ago
No, I won’t have checks on every dereference. The monotonicity of Fil-C’s capabilities makes it possible to do a lot of redundant check elimination.
That’s what I’m working on now. Should have some early results soon.
- pitaj 2y agoObviously, removing repeated/redundant bounds checks is a basic optimization. That's not what I meant. My point still stands.
- pizlonator 2y agoI think that check on every access is a lot different than check on some accesses. That plateau might not be any different than the CHERI plateau, since at the microarch level, CHERI will have more checks since it cannot benefit from a compiler’s static reasoning about redundant check elimination.