2 ms·
Obviously, removing repeated/redundant bounds checks is a basic optimization. That's not what I meant. My point still stands.
by pitaj 2y ago
Obviously, 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.