RFR : JDK-8166110 : C2 crash in compiling method handles

[Dmitry Chuyko]

Summary: some method handles can be used with actual parameters not 
matching their signatures. It's too expensive to check this on call but 
possible to check during inlining. Inlined MHs with wrong usage caused 
further assertion failures in debug builds. The fix adds checks for 
signatures match during MH inlining so it fails if they are not 
matching. New test checks linkToStatic and invokeBasic cases.

Bug: https://bugs.openjdk.java.net/browse/JDK-8166110

Webrev: http://cr.openjdk.java.net/~vlivanov/dchuyko/8166110/webrev.00/

Testing: new test, Hotspot and JDK tests, promotion benchmarks.

Thanks,
-Dmitry

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20170203/e60280c1/attachment.html>