harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Apache Wiki <wikidi...@apache.org>
Subject [Harmony Wiki] Update of "Jitrino OPT/opcodes" by Mikhail Fursov
Date Wed, 28 May 2008 07:49:07 GMT
Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Harmony Wiki" for change notification.

The following page has been changed by Mikhail Fursov:
http://wiki.apache.org/harmony/Jitrino_OPT/opcodes

------------------------------------------------------------------------------
  // cast takes an ExceptionModifier
   * [:Jitrino_OPT/opcodes/TauStaticCast: Op_TauStaticCast] -  Compile-time assertion.  Asserts
that cast is legal.
   * [:Jitrino_OPT/opcodes/TauCast: Op_TauCast] -  Casts the argument to the specified type.
Succeeds if argument is null, returns casted object. throws CastException if cast is illegal.
-  * [:Jitrino_OPT/opcodes/TauAsType: Op_TauAsType] -  returns casted object if argument is
an instance of, null otherwise
+  * [:Jitrino_OPT/opcodes/TauAsType: Op_TauAsType] -  Returns casted object if argument is
an instance of, or return null otherwise.
-  * [:Jitrino_OPT/opcodes/TauInstanceOf: Op_TauInstanceOf] -  returns true if argument is
a non-null instance of type T
+  * [:Jitrino_OPT/opcodes/TauInstanceOf: Op_TauInstanceOf] -  Returns true if argument is
a non-null instance of type T
-  * [:Jitrino_OPT/opcodes/TauCheckCast: Op_TauCheckCast]
-  * [:Jitrino_OPT/opcodes/TauHasType: Op_TauHasType]
-  * [:Jitrino_OPT/opcodes/TauHasExactType: Op_TauHasExactType]
-  * [:Jitrino_OPT/opcodes/TauIsNonNull: Op_TauIsNonNull]
+  * [:Jitrino_OPT/opcodes/TauCheckCast: Op_TauCheckCast] - Returns ''tau'' that the cast
is safe if argument is an instance of, or throws ClassCastException otherwise.
+  * [:Jitrino_OPT/opcodes/TauHasType: Op_TauHasType]- Returns ''tau'' that the cast is safe.
+  * [:Jitrino_OPT/opcodes/TauHasExactType: Op_TauHasExactType] - The same as Op_TauHasType
but ensures that argument has exact type.
+  * [:Jitrino_OPT/opcodes/TauIsNonNull: Op_TauIsNonNull] - Returns ''tau'' that can be used
to prove that argument is not null
  
  === Type initialization: ===
-  * [:Jitrino_OPT/opcodes/InitType: Op_InitType] -  initialize type before static method
invocation or field access. 
+  * [:Jitrino_OPT/opcodes/InitType: Op_InitType] -  Initialize type before static method
invocation or field access. For Java language it means that  <clinit> will be called
for an uninitialized class. Nothing happened if a class is already initialized.
  
  === Labels & markers: ===
-  * [:Jitrino_OPT/opcodes/Label: Op_Label] -  special label instructions for branch labels,
finally, catch
+  * [:Jitrino_OPT/opcodes/Label: Op_Label] -  A special label instructions for branch labels,
finally, catch blocks. Every node in HIR must start with this instruction.
-  * [:Jitrino_OPT/opcodes/MethodEntry: Op_MethodEntry] -  method entry label
+  * [:Jitrino_OPT/opcodes/MethodEntry: Op_MethodEntry] -  Method entry label. Used to mark
inlined methods boundaries.
-  * [:Jitrino_OPT/opcodes/MethodEnd: Op_MethodEnd] -  end of a method
+  * [:Jitrino_OPT/opcodes/MethodEnd: Op_MethodEnd] -  Method end label. Used to mark inlined
methods boundaries.
-  * [:Jitrino_OPT/opcodes/SourceLineNumber: Op_SourceLineNumber] -  change to source position
+  * [:Jitrino_OPT/opcodes/SourceLineNumber: Op_SourceLineNumber] -  Changes to source position.
TODO: unused, remove this opcode.
              
  === Memory instructions: ===
   * [:Jitrino_OPT/opcodes/InitBlock: Op_InitBlock] -  memset
@@ -174, +174 @@

   * [:Jitrino_OPT/opcodes/TauSafe: Op_TauSafe]
  
  === Instructions for manipulating value objects in CLI: ===
+ 
+ ---- /!\ '''Edit conflict - other version:''' ----
   * [:Jitrino_OPT/opcodes/LdObj: Op_LdObj] -  Loads a value type to the stack. TODO: remove
as unused.
   * [:Jitrino_OPT/opcodes/StObj: Op_StObj] -  Stores a value type from the stack. TODO: remove
as unused.
   * [:Jitrino_OPT/opcodes/CopyObj: Op_CopyObj] - Copies a value type. TODO: remove as unused.
@@ -184, +186 @@

   * [:Jitrino_OPT/opcodes/LdToken: Op_LdToken]  - Pushes a RuntimeMethodHandle, RuntimeTypeHandle,
or RuntimeFieldHandle for 
   passing to the Reflection methods in the system class library. TODO: remove as unused.
  
+ ---- /!\ '''Edit conflict - your version:''' ----
+  * [:Jitrino_OPT/opcodes/LdObj: Op_LdObj] -  Loads a value type to the stack. TODO: remove
as unused.
+  * [:Jitrino_OPT/opcodes/StObj: Op_StObj] -  Stores a value type from the stack. TODO: remove
as unused.
+  * [:Jitrino_OPT/opcodes/CopyObj: Op_CopyObj] - Copies a value type. TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/InitObj: Op_InitObj] -  Initialize a value type. TODO: remove as
unused.
+  * [:Jitrino_OPT/opcodes/Sizeof: Op_Sizeof] -  Pushes the size of a value type as a U4.
TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/Box: Op_Box] - TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/Unbox: Op_Unbox] - TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/LdToken: Op_LdToken]  - Pushes a RuntimeMethodHandle, RuntimeTypeHandle,
or RuntimeFieldHandle for 
+  passing to the Reflection methods in the system class library. TODO: remove as unused.
+ 
+ ---- /!\ '''End of edit conflict''' ----
+ 
  
  === Instruction for manipulating typed references: ===
+ 
+ ---- /!\ '''Edit conflict - other version:''' ----
   * [:Jitrino_OPT/opcodes/MkRefAny: Op_MkRefAny] - Transforms a pointer to a typed reference.
TODO: remove as unused.
   * [:Jitrino_OPT/opcodes/RefAnyVal: Op_RefAnyVal] - TODO: remove as unused.
   * [:Jitrino_OPT/opcodes/RefAnyType: Op_RefAnyType] - TODO: remove as unused.
  
+ ---- /!\ '''Edit conflict - your version:''' ----
+  * [:Jitrino_OPT/opcodes/MkRefAny: Op_MkRefAny] - Transforms a pointer to a typed reference.
TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/RefAnyVal: Op_RefAnyVal] - TODO: remove as unused.
+  * [:Jitrino_OPT/opcodes/RefAnyType: Op_RefAnyType] - TODO: remove as unused.
+ 
+ ---- /!\ '''End of edit conflict''' ----
+ 

Mime
View raw message