The Java Virtual Machine Specification, Java SE 8 Edition by Lindholm Tim & Frank Yellin & Gilad Bracha & Alex Buckley

The Java Virtual Machine Specification, Java SE 8 Edition by Lindholm Tim & Frank Yellin & Gilad Bracha & Alex Buckley

Author:Lindholm, Tim & Frank Yellin & Gilad Bracha & Alex Buckley
Language: eng
Format: epub
Publisher: Pearson Education Limited (US titles)
Published: 2014-01-09T05:00:00+00:00


Click here to view code image

instructionIsTypeSafe(dconst_0, Environment, _Offset, StackFrame,

NextStackFrame, ExceptionStackFrame) :-

validTypeTransition(Environment, [], double, StackFrame, NextStackFrame),

exceptionStackFrame(StackFrame, ExceptionStackFrame).

A dconst_1 instruction is type safe iff the equivalent dconst_0 instruction is type safe.

Click here to view code image

instructionHasEquivalentTypeRule(dconst_1, dconst_0).

ddiv

A ddiv instruction is type safe iff the equivalent dadd instruction is type safe.



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.