[whatagreatboy]

> Fil-C is currently 1.5x slower than normal C in good cases, and about 4x slower in the worst cases. I'm actively working on performance optimizations for Fil-C, so that 4x number will go down.

I am pretty sure you cannot go much lower than 1.2 here on the best cases. In contrast, CHERI on good hardware will easily be as close to current performance as possible.

[ngrilly]

Do you say that CHERI will be "as close to current performance as possible" with the same energy consumption?

[pizlonator]

Cheri hardware is going to be more than 1.2x slower than the fastest non Cheri hardware.