Displaying 1 result from an estimated 1 matches for "1081716".
Did you mean:
101716
2016 Feb 27
4
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Hi Sanjoy,
These are both very interesting examples, and demonstrate that the problems extends beyond function attributes (encompassing dead-argument elimination, etc.).
I'm beginning to think that the best solution, at least when optimizing for speed, is the one that David Li suggested: we need to internalize functions that have been optimized in certain ways (e.g. instructions with