On 06/29/2015 01:38 PM, Doug Simon wrote: > I seems just plain wrong for an intrinsic to not implement the same > semantics as the intrinsified method. I would expect an intrinsic to > perform all necessary runtime checks and only have the compiler omit > them if it can prove they are unnecessary. If all intrinsics obeyed > this contract, then there’s no need for the > @HotSpotIntrinsicCandidate annotation from a semantics > perspective. And in terms of the keeping HotSpot in sync with the > JDK, the responsibility should fall entirely on HotSpot to check > that its intrinsics correspond to existing methods.
Don't you think you're being rather idealistic? The other side of the argument is that it's much easier to write and maintain the arg-checking code if it's written in Java, and it also has the advantage that it benefits from profile data to guide the JIT. Andrew.
