<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-05-21 6:56 GMT+02:00 <span dir="ltr"><<a href="mailto:commits@source.squeak.org" target="_blank">commits@source.squeak.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
Eliot Miranda uploaded a new version of VMMaker to project VM Maker:<br>
<a href="http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1317.mcz" target="_blank">http://source.squeak.org/VMMaker/VMMaker.oscog-eem.1317.mcz</a><br>
<br>
==================== Summary ====================<br>
<br>
Name: VMMaker.oscog-eem.1317<br>
Author: eem<br>
Time: 20 May 2015, 9:56:04.05 pm<br>
UUID: a7e082b5-1ad8-42ef-84cc-0079605c8440<br>
Ancestors: VMMaker.oscog-eem.1316<br>
<br>
Cogit:<br>
Fix the performance regression on x86 in r3308<br>
VMMaker.oscog-eem.1178 through the use of the XCHG<br>
instruction in CogIA32Compiler>>genPushRegisterArgsForNumArgs:.<br>
Since SendNumArgsReg is not live with small arity sends<br>
it can be used instead of TempReg.<br>
<br>
Replace uses of the magic constant 2 with<br>
NumSendTrampolines - 2 (actually <= 2 =><br>
< (NumSendTrampolines - 1)) where appropriate. Hence<br>
NumSendTrampolines moved to CogCompilationConstants.<br>
<br>
Fix bug on ARM with pc-relative addressing. pc-relative<br>
addressing can only be used within a method because of relocation.<br>
The old code would use pc-relative addressing to access<br>
trampolines for methods close to the trampolines and then<br>
not for methods further away, causing changes in the code<br>
generated by compileInterpreterPrimitive:.<br>
<br>
To support this, rationalize the PIC compilation code, being sure<br>
to initialize and concretize methodLabel at the start of each PIC.<br>
Don't bother to pass PIC size as a parameter given we have<br>
PIC-specific header-filling routines now.<br>
<br>
Spur:<br>
Firm up the checkTraversableSortedFreeList assert routine to<br>
check that the list is traversable from lastFreeChunk, not just firstFreeChunk.<br>
<br>
Slang:<br>
Make promoteArithmeticTypes:and: obey C99's promotion rules<br>
more closely in an effort to generate more stable sources.<br>
Types were flipping between sqInt & usqInt for variables that<br>
were assigned both types, so that one generation would produce<br>
one type and a subsequent one another (Set/Dictionary hashing?).<br>
<br>
Simulation/In-image Compilation:<br>
Fix varBaseAddress calculations for in-image compilation so that<br>
it jives with real compilation.<br>
<br>
Allow setting of recordPrimTrace through initializationOptions.<br>
<br>
=============== Diff against VMMaker.oscog-eem.1316 ===============<br>
<br>
Item was changed:<br>
----- Method: CCodeGenerator>>promoteArithmeticTypes:and: (in category 'type inference') -----<br>
promoteArithmeticTypes: firstType and: secondType<br>
+ "Answer the return type for an arithmetic send. This is so that the inliner can still inline<br>
+ simple expressions. Deal with pointer arithmetic, floating point arithmetic and promotion."<br>
+ | firstSize secondSize |<br>
- "Answer the return type for an arithmetic sendThis is so that the inliner can still<br>
- inline simple expressions. Deal with pointer arithmetic, floating point arithmetic<br>
- and promotion."<br>
((#(#double float) includes: firstType)<br>
or: [#(#double float) includes: secondType]) ifTrue:<br>
[^(firstType = #float and: [secondType = #float])<br>
ifTrue: [#float]<br>
ifFalse: [#double]].<br>
"deal with unknowns, answering nil."<br>
(firstType isNil or: [secondType isNil]) ifTrue:<br>
[^nil].<br>
+ "Deal with promotion; answer the longest type, defaulting to the recever if they're the same.<br>
+ See e.g. section 6.3.1.8 Usual arithmetic conversions, from the C99 standard:<br>
+ Otherwise, the integer promotions are performed on both operands<br>
+ Then the following rules are applied to the promoted operands:<br>
+<br>
+ If both operands have the same type, then no further conversion is needed.<br>
+<br>
+ Otherwise, if both operands have signed integer types or both have unsigned integer<br>
+ types, the operand with the type of lesser integer conversion rank is converted to the<br>
+ type of the operand with greater rank.<br>
+<br>
+ Otherwise, if the operand that has unsigned integer type has rank greater or equal to<br>
+ the rank of the type of the other operand, then the operand with signed integer type<br>
+ is converted to the type of the operand with unsigned integer type.<br>
+<br>
+ Otherwise, if the type of the operand with signed integer type can represent all of the<br>
+ values of the type of the operand with unsigned integer type, then the operand with<br>
+ unsigned integer type is converted to the type of the operand with signed integer type.<br>
+<br>
+ Otherwise, both operands are converted to the unsigned integer type corresponding to<br>
+ the type of the operand with signed integer type.<br>
+<br>
+ It is important to choose deterministically to get stable source generation. So if the types have<br>
+ the same size but differ in signedness we choose the unsigned type, which is in partial agreement<br>
+ with the above"<br>
+ ^(firstSize := self sizeOfIntegralCType: firstType) = (secondSize := self sizeOfIntegralCType: secondType)<br>
+ ifTrue:<br>
+ [(firstType first = $u)<br>
+ ifTrue: [firstType]<br>
+ ifFalse: [(secondType first = $u) ifTrue: [secondType] ifFalse: [firstType]]]<br>
+ ifFalse:<br>
+ [firstSize > secondSize ifTrue: [firstType] ifFalse: [secondType]]!<br>
- "deal with promotion; answer the longest type, defaulting to the recever if they're the same"<br>
- ^(self sizeOfIntegralCType: firstType) >= (self sizeOfIntegralCType: secondType)<br>
- ifTrue: [firstType]<br>
- ifFalse: [secondType]!<br>
<br></blockquote><div><br>+1<br><br></div><div>That's how I wrote it a few weeks ago in my experimental branch:<br><a href="http://smalltalkhub.com/mc/nice/NiceVMExperiments/main">http://smalltalkhub.com/mc/nice/NiceVMExperiments/main</a><br><br>promoteIntegerArithmeticTypes: firstType and: secondType<br> "Answer the return type for an arithmetic send. This is so that the inliner can still<br> inline simple expressions. Deal with integer arithmetic and promotion."<br> | length1 length2 |<br> length1 := self sizeOfIntegralCType: firstType.<br> length2 := self sizeOfIntegralCType: secondType.<br> length1 > length2 ifTrue: [^firstType].<br> length2 > length1 ifTrue: [^secondType].<br> firstType first = $u ifTrue: [^firstType].<br> secondType first = $u ifTrue: [^secondType].<br> ^firstType<br><br> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Item was changed:<br>
----- Method: CoInterpreter>>varBaseAddress (in category 'cog jit support') -----<br>
varBaseAddress<br>
<api><br>
<returnTypeC: #usqInt><br>
+ ^self cCode: [(self addressOf: stackPointer) asUnsignedInteger - 16r42]<br>
+ inSmalltalk: [cogit fakeVarBaseAddress]!<br>
- ^(self addressOf: stackPointer) asUnsignedInteger - 16r42!<br>
<br>
Item was changed:<br>
----- Method: CogARMCompiler>>loadCwInto: (in category 'generate machine code - support') -----<br>
loadCwInto: destReg<br>
"Load the operand into the destination register, answering<br>
the size of the instructions generated to do so."<br>
| operand distance |<br>
operand := operands at: 0.<br>
"First try and encode as a pc-relative reference..."<br>
+ (cogit addressIsInCurrentCompilation: operand) ifTrue:<br>
+ [distance := operand - (address + 8).<br>
- (cogit addressIsInCodeZone: operand) ifTrue:<br>
- [distance := operand - (address + 8).<br>
self rotateable8bitImmediate: distance<br>
ifTrue: [ :rot :immediate |<br>
self machineCodeAt: 0 put: (self add: destReg rn: PC imm: immediate ror: rot).<br>
^4]<br>
ifFalse:<br>
[self rotateable8bitImmediate: distance negated<br>
ifTrue: [ :rot :immediate |<br>
self machineCodeAt: 0 put: (self sub: destReg rn: PC imm: immediate ror: rot).<br>
^4]<br>
ifFalse: []]].<br>
"If this fails, use the conventional and painfully long 4 instruction sequence."<br>
^self at: 0 moveCw: operand intoR: destReg!<br>
<br>
Item was changed:<br>
VMStructType subclass: #CogAbstractInstruction<br>
instanceVariableNames: 'opcode machineCodeSize maxSize machineCode operands address dependent cogit objectMemory bcpc'<br>
classVariableNames: 'NumOperands'<br>
+ poolDictionaries: 'CogCompilationConstants CogRTLOpcodes'<br>
- poolDictionaries: 'CogRTLOpcodes'<br>
category: 'VMMaker-JIT'!<br>
<br>
!CogAbstractInstruction commentStamp: 'eem 4/21/2015 09:12' prior: 0!<br>
I am an abstract instruction generated by the Cogit. I am subsequently concretized to machine code for the current processor. A sequence of concretized CogAbstractInstructions are concatenated to form the code for a CogMethod. I am an abstract class. My concrete subclasses concretize to the machine code of a specific processor.<br>
<br>
Instance Variables<br>
address: <Integer><br>
bcpc: <Integer><br>
cogit: <Cogit><br>
dependent: <AbstractInstruction|nil><br>
machineCode: <CArray on: (ByteArray|Array)><br>
machineCodeSize: <Integer><br>
maxSize: <Integer><br>
objectMemory: <NewCoObjectMemory|SpurCoMemoryManager etc><br>
opcode: <Integer><br>
operands: <CArray on: Array><br>
<br>
address<br>
- the address at which the instruction will be generated<br>
<br>
bcpc<br>
- the bytecode pc for which the instruction was generated; simulation only<br>
<br>
cogit<br>
- the Cogit assembling the receiver; simulation only<br>
<br>
dependent<br>
- a reference to another instruction which depends on the receiver, if any; in C this is a pointer<br>
<br>
machineCode<br>
- the array of machine code the receiver generates when concretized<br>
<br>
machineCodeSize<br>
- the size of machineCode in bytes<br>
<br>
maxSize<br>
- the maximum size of machine code that the current instruction will generate, in bytes<br>
<br>
objectMemory<br>
- the memory manager for the system; simulation only<br>
<br>
opcode<br>
- the opcode for the receiver which defines which abstract opcode it represents; see CogRTLOpcodes class>>initialize and CogAbstractInstruction subclass initialize methods<br>
<br>
operands<br>
- the array containing any operands the instruction may have; the opcode defines implicitly how many operands are consdered!<br>
<br>
Item was changed:<br>
SharedPool subclass: #CogCompilationConstants<br>
instanceVariableNames: ''<br>
+ classVariableNames: 'BadRegisterSet NumSendTrampolines SSBaseOffset SSConstant SSIllegal SSRegister SSSpill'<br>
- classVariableNames: 'BadRegisterSet SSBaseOffset SSConstant SSIllegal SSRegister SSSpill'<br>
poolDictionaries: ''<br>
category: 'VMMaker-JIT'!<br>
<br>
Item was changed:<br>
----- Method: CogIA32Compiler>>genPushRegisterArgsForNumArgs: (in category 'smalltalk calling convention') -----<br>
genPushRegisterArgsForNumArgs: numArgs<br>
+ "Ensure that the register args are pushed before the retpc for arity <= self numRegArgs. This<br>
+ won't be as clumsy on a RISC. But putting the receiver and args above the return address<br>
+ means the CoInterpreter has a single machine-code frame format which saves us a lot of work.<br>
+ N.B. Take great care to /not/ smash TempReg, which is used in directed send marshalling.<br>
+ We could use XCHG to swap the ReceiverResultReg and top-of-stack return address, pushing the<br>
+ the ret pc (now in ReceiverResultReg) later, but XCHG is very slow. We can use SendNumArgsReg<br>
+ because it is only live in sends of arity >= (NumSendTrampolines - 1)."<br>
+ self assert: cogit numRegArgs < (NumSendTrampolines - 1).<br>
- "Ensure that the register args are pushed before the retpc for arity <= self numRegArgs."<br>
- "This won't be as clumsy on a RISC. But putting the receiver and<br>
- args above the return address means the CoInterpreter has a<br>
- single machine-code frame format which saves us a lot of work."<br>
numArgs <= cogit numRegArgs ifTrue:<br>
[self assert: cogit numRegArgs <= 2.<br>
+ false "these two variants show the same performance on Intel Core i7, but the second one may be shorter."<br>
+ ifTrue:<br>
+ [cogit MoveMw: 0 r: SPReg R: SendNumArgsReg. "Save return pc"<br>
+ numArgs > 0 ifTrue:<br>
+ [cogit PushR: Arg0Reg.<br>
+ numArgs > 1 ifTrue:<br>
+ [cogit PushR: Arg1Reg]].<br>
+ cogit PushR: SendNumArgsReg.<br>
+ cogit MoveR: ReceiverResultReg Mw: objectMemory wordSize * (1 + numArgs) r: SPReg]<br>
+ ifFalse:<br>
+ ["a.k.a.<br>
+ cogit gen: XCHGMwrR operand: 0 operand: SPReg operand: ReceiverResultReg.<br>
+ but XCHG is slow."<br>
+ cogit MoveMw: 0 r: SPReg R: SendNumArgsReg. "Save return pc"<br>
+ cogit MoveR: ReceiverResultReg Mw: 0 r: SPReg.<br>
+ numArgs > 0 ifTrue:<br>
+ [cogit PushR: Arg0Reg.<br>
+ numArgs > 1 ifTrue:<br>
+ [cogit PushR: Arg1Reg]].<br>
+ cogit PushR: SendNumArgsReg]] "Restore return address"!<br>
- "N.B. Take great care to /not/ smash TempReg, which is used in directed send marshalling."<br>
- "Swap the return address with ReceiverResultReg"<br>
- cogit gen: XCHGMwrR operand: 0 operand: SPReg operand: ReceiverResultReg. "Save return address; replace with receiver"<br>
- numArgs > 0 ifTrue:<br>
- [cogit PushR: Arg0Reg.<br>
- numArgs > 1 ifTrue:<br>
- [cogit PushR: Arg1Reg]].<br>
- cogit PushR: ReceiverResultReg.<br>
- "Reload ReceiverResultReg"<br>
- cogit MoveMw: numArgs + 1 * objectMemory wordSize r: SPReg R: ReceiverResultReg]!<br>
<br>
Item was changed:<br>
CogClass subclass: #Cogit<br>
instanceVariableNames: 'coInterpreter objectMemory objectRepresentation processor threadManager methodZone methodZoneBase codeBase minValidCallAddress lastNInstructions simulatedAddresses simulatedTrampolines simulatedVariableGetters simulatedVariableSetters printRegisters printInstructions compilationTrace clickConfirm breakPC breakBlock singleStep guardPageSize traceFlags traceStores breakMethod methodObj initialPC endPC methodOrBlockNumArgs inBlock needsFrame hasYoungReferent primitiveIndex backEnd callerSavedRegMask postCompileHook primInvokeLabel methodLabel stackCheckLabel blockEntryLabel blockEntryNoContextSwitch blockNoContextSwitchOffset stackOverflowCall sendMiss missOffset entryPointMask checkedEntryAlignment uncheckedEntryAlignment cmEntryOffset entry cmNoCheckEntryOffset noCheckEntry picMNUAbort picInterpretAbort endCPICCase0 endCPICCase1 numPICCases firstCPICCaseOffset cPICCaseSize cPICEndSize closedPICSize openPICSize fixups abstractOpcodes annotations generatorTable primitiveGeneratorTable byte0 byte1 byte2 byte3 bytecodePC bytecodeSetOffset opcodeIndex numAbstractOpcodes annotationIndex blockStarts blockCount labelCounter cStackAlignment expectedSPAlignment expectedFPAlignment codeModified maxLitIndex ceMethodAbortTrampoline cePICAbortTrampoline ceCheckForInterruptTrampoline ceCPICMissTrampoline ceReturnToInterpreterTrampoline ceBaseFrameReturnTrampoline ceSendMustBeBooleanAddTrueTrampoline ceSendMustBeBooleanAddFalseTrampoline ceCannotResumeTrampoline ceEnterCogCodePopReceiverReg ceCallCogCodePopReceiverReg ceCallCogCodePopReceiverAndClassRegs cePrimReturnEnterCogCode cePrimReturnEnterCogCodeProfiling ceNonLocalReturnTrampoline ceFetchContextInstVarTrampoline ceStoreContextInstVarTrampoline ceEnclosingObjectTrampoline ceCaptureCStackPointers ceFlushICache ceCheckFeaturesFunction ceTraceLinkedSendTrampoline ceTraceBlockActivationTrampoline ceTraceStoreTrampoline ceGetSP ordinarySendTrampolines superSendTrampolines directedSuperSendTrampolines dynamicSuperSendTrampolines outerSendTrampolines selfSendTrampolines firstSend lastSend realCEEnterCogCodePopReceiverReg realCECallCogCodePopReceiverReg realCECallCogCodePopReceiverAndClassRegs trampolineTableIndex trampolineAddresses objectReferencesInRuntime runtimeObjectRefIndex cFramePointerInUse debugPrimCallStackOffset ceTryLockVMOwner ceUnlockVMOwner cogMethodSurrogateClass cogBlockMethodSurrogateClass extA extB numIRCs indexOfIRC theIRCs implicitReceiverSendTrampolines nsSendCacheSurrogateClass tempOop'<br>
+ classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift AnnotationsWithBytecodePCs BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsAnnotationExtension IsDirectedSuperSend IsDisplacementX2N IsNSDynamicSuperSend IsNSImplicitReceiverSend IsNSSelfSend IsNSSendCall IsObjectReference IsRelativeCall IsSendCall IsSuperSend MapEnd MaxCompiledPrimitiveIndex MaxStackAllocSize MaxX2NDisplacement NSCClassTagIndex NSCEnclosingObjectIndex NSCNumArgsIndex NSCSelectorIndex NSCTargetIndex NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerNSC NumTrampolines ProcessorClass'<br>
- classVariableNames: 'AltBlockCreationBytecodeSize AltFirstSpecialSelector AltNSSendIsPCAnnotated AnnotationConstantNames AnnotationShift AnnotationsWithBytecodePCs BlockCreationBytecodeSize Debug DisplacementMask DisplacementX2N EagerInstructionDecoration FirstAnnotation FirstSpecialSelector HasBytecodePC IsAbsPCReference IsAnnotationExtension IsDirectedSuperSend IsDisplacementX2N IsNSDynamicSuperSend IsNSImplicitReceiverSend IsNSSelfSend IsNSSendCall IsObjectReference IsRelativeCall IsSendCall IsSuperSend MapEnd MaxCompiledPrimitiveIndex MaxStackAllocSize MaxX2NDisplacement NSCClassTagIndex NSCEnclosingObjectIndex NSCNumArgsIndex NSCSelectorIndex NSCTargetIndex NSSendIsPCAnnotated NumObjRefsInRuntime NumOopsPerNSC NumSendTrampolines NumTrampolines ProcessorClass'<br>
poolDictionaries: 'CogCompilationConstants CogMethodConstants CogRTLOpcodes VMBasicConstants VMBytecodeConstants VMObjectIndices VMStackFrameOffsets'<br>
category: 'VMMaker-JIT'!<br>
Cogit class<br>
instanceVariableNames: 'generatorTable primitiveTable'!<br>
<br>
!Cogit commentStamp: 'eem 4/6/2015 15:56' prior: 0!<br>
I am the code generator for the Cog VM. My job is to produce machine code versions of methods for faster execution and to manage inline caches for faster send performance. I can be tested in the current image using my class-side in-image compilation facilities. e.g. try<br>
<br>
StackToRegisterMappingCogit genAndDis: (Integer >> #benchFib)<br>
<br>
I have concrete subclasses that implement different levels of optimization:<br>
SimpleStackBasedCogit is the simplest code generator.<br>
<br>
StackToRegisterMappingCogit is the current production code generator It defers pushing operands<br>
to the stack until necessary and implements a register-based calling convention for low-arity sends.<br>
<br>
StackToRegisterMappingCogit is an experimental code generator with support for counting<br>
conditional branches, intended to support adaptive optimization.<br>
<br>
coInterpreter <CoInterpreterSimulator><br>
the VM's interpreter with which I cooperate<br>
methodZoneManager <CogMethodZoneManager><br>
the manager of the machine code zone<br>
objectRepresentation <CogObjectRepresentation><br>
the object used to generate object accesses<br>
processor <BochsIA32Alien|?><br>
the simulator that executes the IA32/x86 machine code I generate when simulating execution in Smalltalk<br>
simulatedTrampolines <Dictionary of Integer -> MessageSend><br>
the dictionary mapping trap jump addresses to run-time routines used to warp from simulated machine code in to the Smalltalk run-time.<br>
simulatedVariableGetters <Dictionary of Integer -> MessageSend><br>
the dictionary mapping trap read addresses to variables in run-time objects used to allow simulated machine code to read variables in the Smalltalk run-time.<br>
simulatedVariableSetters <Dictionary of Integer -> MessageSend><br>
the dictionary mapping trap write addresses to variables in run-time objects used to allow simulated machine code to write variables in the Smalltalk run-time.<br>
printRegisters printInstructions clickConfirm <Boolean><br>
flags controlling debug printing and code simulation<br>
breakPC <Integer><br>
machine code pc breakpoint<br>
cFramePointer cStackPointer <Integer><br>
the variables representing the C stack & frame pointers, which must change on FFI callback and return<br>
selectorOop <sqInt><br>
the oop of the methodObj being compiled<br>
methodObj <sqInt><br>
the bytecode method being compiled<br>
initialPC endPC <Integer><br>
the start and end pcs of the methodObj being compiled<br>
methodOrBlockNumArgs <Integer><br>
argument count of current method or block being compiled<br>
needsFrame <Boolean><br>
whether methodObj or block needs a frame to execute<br>
primitiveIndex <Integer><br>
primitive index of current method being compiled<br>
methodLabel <CogAbstractOpcode><br>
label for the method header<br>
blockEntryLabel <CogAbstractOpcode><br>
label for the start of the block dispatch code<br>
stackOverflowCall <CogAbstractOpcode><br>
label for the call of ceStackOverflow in the method prolog<br>
sendMissCall <CogAbstractOpcode><br>
label for the call of ceSICMiss in the method prolog<br>
entryOffset <Integer><br>
offset of method entry code from start (header) of method<br>
entry <CogAbstractOpcode><br>
label for the first instruction of the method entry code<br>
noCheckEntryOffset <Integer><br>
offset of the start of a method proper (after the method entry code) from start (header) of method<br>
noCheckEntry <CogAbstractOpcode><br>
label for the first instruction of start of a method proper<br>
fixups <Array of <AbstractOpcode Label | nil>><br>
the labels for forward jumps that will be fixed up when reaching the relevant bytecode. fixup shas one element per byte in methodObj's bytecode<br>
abstractOpcodes <Array of <AbstractOpcode>><br>
the code generated when compiling methodObj<br>
byte0 byte1 byte2 byte3 <Integer><br>
individual bytes of current bytecode being compiled in methodObj<br>
bytecodePointer <Integer><br>
bytecode pc (same as Smalltalk) of the current bytecode being compiled<br>
opcodeIndex <Integer><br>
the index of the next free entry in abstractOpcodes (this code is translated into C where OrderedCollection et al do not exist)<br>
numAbstractOpcodes <Integer><br>
the number of elements in abstractOpcocdes<br>
blockStarts <Array of <BlockStart>><br>
the starts of blocks in the current method<br>
blockCount<br>
the index into blockStarts as they are being noted, and hence eventually the total number of blocks in the current method<br>
labelCounter <Integer><br>
a nicety for numbering labels not needed in the production system but probably not expensive enough to worry about<br>
ceStackOverflowTrampoline <Integer><br>
ceSend0ArgsTrampoline <Integer><br>
ceSend1ArgsTrampoline <Integer><br>
ceSend2ArgsTrampoline <Integer><br>
ceSendNArgsTrampoline <Integer><br>
ceSendSuper0ArgsTrampoline <Integer><br>
ceSendSuper1ArgsTrampoline <Integer><br>
ceSendSuper2ArgsTrampoline <Integer><br>
ceSendSuperNArgsTrampoline <Integer><br>
ceSICMissTrampoline <Integer><br>
ceCPICMissTrampoline <Integer><br>
ceStoreCheckTrampoline <Integer><br>
ceReturnToInterpreterTrampoline <Integer><br>
ceBaseFrameReturnTrampoline <Integer><br>
ceSendMustBeBooleanTrampoline <Integer><br>
ceClosureCopyTrampoline <Integer><br>
the various trampolines (system-call-like jumps from machine code to the run-time).<br>
See Cogit>>generateTrampolines for the mapping from trampoline to run-time<br>
routine and then read the run-time routine for a funcitonal description.<br>
ceEnterCogCodePopReceiverReg <Integer><br>
the enilopmart (jump from run-time to machine-code)<br>
methodZoneBase <Integer><br>
!<br>
Cogit class<br>
instanceVariableNames: 'generatorTable primitiveTable'!<br>
<br>
Item was added:<br>
+ ----- Method: Cogit>>addressIsInCurrentCompilation: (in category 'testing') -----<br>
+ addressIsInCurrentCompilation: address<br>
+ ^address asUnsignedInteger >= methodLabel address<br>
+ and: [address < (methodLabel address + (1 << 16))]!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>codeRangesFor: (in category 'disassembly') -----<br>
codeRangesFor: cogMethod<br>
"Answer a sequence of ranges of code for the main method and all of the blocks in a CogMethod.<br>
N.B. These are in order of block dispatch, _not_ necessarily address order in the method."<br>
<doNotGenerate><br>
| pc end blockEntry starts |<br>
cogMethod cmType = CMClosedPIC ifTrue:<br>
[end := (self addressOfEndOfCase: cogMethod cPICNumCases - 1 inCPIC: cogMethod) + cPICEndSize.<br>
^{ CogCodeRange<br>
from: cogMethod asInteger + (self sizeof: CogMethod)<br>
to: end<br>
cogMethod: cogMethod<br>
startpc: nil }].<br>
end := (self mapEndFor: cogMethod) - 1.<br>
cogMethod blockEntryOffset = 0 ifTrue:<br>
[^{ CogCodeRange<br>
from: cogMethod asInteger + (self sizeof: CogMethod)<br>
to: end<br>
cogMethod: cogMethod<br>
+ startpc: (cogMethod cmType ~= CMOpenPIC ifTrue:<br>
+ [coInterpreter startPCOfMethodHeader: cogMethod methodHeader]) }].<br>
- startpc: (coInterpreter startPCOfMethodHeader: cogMethod methodHeader) }].<br>
pc := blockEntry := cogMethod blockEntryOffset + cogMethod asInteger.<br>
starts := OrderedCollection with: cogMethod.<br>
[pc < end] whileTrue:<br>
[| targetpc |<br>
targetpc := blockEntry.<br>
(backEnd isJumpAt: pc) ifTrue:<br>
[targetpc := backEnd jumpTargetPCAt: pc.<br>
targetpc < blockEntry ifTrue:<br>
[starts add: (self cCoerceSimple: targetpc - (self sizeof: CogBlockMethod) to: #'CogBlockMethod *')]].<br>
pc := pc + (backEnd instructionSizeAt: pc)].<br>
starts := starts asSortedCollection.<br>
^(1 to: starts size + 1) collect:<br>
[:i| | cogSubMethod nextpc |<br>
i <= starts size<br>
ifTrue:<br>
[cogSubMethod := starts at: i.<br>
nextpc := i < starts size ifTrue: [(starts at: i + 1) address] ifFalse: [blockEntry].<br>
CogCodeRange<br>
from: cogSubMethod address + (self sizeof: cogSubMethod)<br>
to: nextpc - 1<br>
cogMethod: cogSubMethod<br>
startpc: (i = 1<br>
ifTrue: [coInterpreter startPCOfMethodHeader: cogMethod methodHeader]<br>
ifFalse: [cogSubMethod startpc])]<br>
ifFalse:<br>
[CogCodeRange<br>
from: blockEntry<br>
to: end]]!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>cogMNUPICSelector:receiver:methodOperand:numArgs: (in category 'in-line cacheing') -----<br>
cogMNUPICSelector: selector receiver: rcvr methodOperand: methodOperand numArgs: numArgs<br>
<api><br>
"Attempt to create a one-case PIC for an MNU.<br>
The tag for the case is at the send site and so doesn't need to be generated."<br>
<returnTypeC: #'CogMethod *'><br>
+ | startAddress size end |<br>
- | startAddress headerSize size end |<br>
((objectMemory isYoung: selector)<br>
or: [(objectRepresentation inlineCacheTagForInstance: rcvr) = self picAbortDiscriminatorValue]) ifTrue:<br>
[^0].<br>
coInterpreter<br>
compilationBreak: selector<br>
point: (objectMemory numBytesOf: selector)<br>
isMNUCase: true.<br>
self assert: endCPICCase0 notNil.<br>
startAddress := methodZone allocate: closedPICSize.<br>
startAddress = 0 ifTrue:<br>
[coInterpreter callForCogCompiledCodeCompaction.<br>
^0].<br>
methodLabel<br>
address: startAddress;<br>
dependent: nil.<br>
"stack allocate the various collections so that they<br>
are effectively garbage collected on return."<br>
self allocateOpcodes: numPICCases * 7 bytecodes: 0.<br>
self compileMNUCPIC: (self cCoerceSimple: startAddress to: #'CogMethod *')<br>
methodOperand: methodOperand<br>
numArgs: numArgs.<br>
self computeMaximumSizes.<br>
+ methodLabel concretizeAt: startAddress.<br>
+ size := self generateInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
+ end := self outputInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
- headerSize := self sizeof: CogMethod.<br>
- size := self generateInstructionsAt: startAddress + headerSize.<br>
- end := self outputInstructionsAt: startAddress + headerSize.<br>
"The missOffset is the same as the interpretOffset. On RISCs it includes an additional instruction."<br>
self assert: missOffset = ((backEnd hasLinkRegister ifTrue: [backEnd callInstructionByteSize] ifFalse: [0])<br>
+ picInterpretAbort address + picInterpretAbort machineCodeSize - startAddress).<br>
self assert: startAddress + cmEntryOffset = entry address.<br>
^self<br>
fillInCPICHeader: (self cCoerceSimple: startAddress to: #'CogMethod *')<br>
- size: closedPICSize<br>
numArgs: numArgs<br>
numCases: 1<br>
hasMNUCase: true<br>
selector: selector !<br>
<br>
Item was changed:<br>
----- Method: Cogit>>cogOpenPICSelector:numArgs: (in category 'in-line cacheing') -----<br>
cogOpenPICSelector: selector numArgs: numArgs<br>
"Create an Open PIC. Temporarily create a direct call of ceSendFromOpenPIC:.<br>
Should become a probe of the first-level method lookup cache followed by a<br>
call of ceSendFromOpenPIC: if the probe fails."<br>
<returnTypeC: #'CogMethod *'><br>
+ | startAddress codeSize mapSize end |<br>
- | startAddress headerSize codeSize mapSize end |<br>
coInterpreter<br>
compilationBreak: selector<br>
point: (objectMemory numBytesOf: selector)<br>
isMNUCase: false.<br>
startAddress := methodZone allocate: openPICSize.<br>
startAddress = 0 ifTrue:<br>
[^self cCoerceSimple: InsufficientCodeSpace to: #'CogMethod *'].<br>
methodLabel<br>
address: startAddress;<br>
dependent: nil.<br>
"stack allocate the various collections so that they<br>
are effectively garbage collected on return."<br>
self allocateOpcodes: 100 bytecodes: 0.<br>
self compileOpenPIC: selector numArgs: numArgs.<br>
self computeMaximumSizes.<br>
methodLabel concretizeAt: startAddress.<br>
+ codeSize := self generateInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
- headerSize := self sizeof: CogMethod.<br>
- codeSize := self generateInstructionsAt: startAddress + headerSize.<br>
mapSize := self generateMapAt: startAddress + openPICSize - 1 start: startAddress + cmNoCheckEntryOffset.<br>
self assert: entry address - startAddress = cmEntryOffset.<br>
+ self assert: (methodZone roundUpLength: (self sizeof: CogMethod) + codeSize) + (methodZone roundUpLength: mapSize) <= openPICSize.<br>
+ end := self outputInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
- self assert: headerSize + codeSize + mapSize <= openPICSize.<br>
- end := self outputInstructionsAt: startAddress + headerSize.<br>
^self<br>
fillInOPICHeader: (self cCoerceSimple: startAddress to: #'CogMethod *')<br>
- size: openPICSize<br>
numArgs: numArgs<br>
selector: selector !<br>
<br>
Item was changed:<br>
----- Method: Cogit>>cogPICSelector:numArgs:Case0Method:Case1Method:tag:isMNUCase: (in category 'in-line cacheing') -----<br>
cogPICSelector: selector numArgs: numArgs Case0Method: case0CogMethod Case1Method: case1MethodOrNil tag: case1Tag isMNUCase: isMNUCase<br>
"Attempt to create a two-case PIC for case0CogMethod and case1Method,case1Tag.<br>
The tag for case0CogMethod is at the send site and so doesn't need to be generated.<br>
case1Method may be any of<br>
- a Cog method; link to its unchecked entry-point<br>
- a CompiledMethod; link to ceInterpretMethodFromPIC:<br>
- a CompiledMethod; link to ceMNUFromPICMNUMethod:receiver:"<br>
<var: #case0CogMethod type: #'CogMethod *'><br>
<returnTypeC: #'CogMethod *'><br>
+ | startAddress size end |<br>
- | startAddress headerSize size end |<br>
(objectMemory isYoung: selector) ifTrue:<br>
[^self cCoerceSimple: YoungSelectorInPIC to: #'CogMethod *'].<br>
coInterpreter<br>
compilationBreak: selector<br>
point: (objectMemory numBytesOf: selector)<br>
isMNUCase: isMNUCase.<br>
startAddress := methodZone allocate: closedPICSize.<br>
startAddress = 0 ifTrue:<br>
[^self cCoerceSimple: InsufficientCodeSpace to: #'CogMethod *'].<br>
methodLabel<br>
address: startAddress;<br>
dependent: nil.<br>
"stack allocate the various collections so that they<br>
are effectively garbage collected on return."<br>
self allocateOpcodes: numPICCases * 7 bytecodes: 0.<br>
self compileCPIC: (self cCoerceSimple: startAddress to: #'CogMethod *')<br>
Case0: case0CogMethod<br>
Case1Method: case1MethodOrNil<br>
tag: case1Tag<br>
isMNUCase: isMNUCase<br>
numArgs: numArgs.<br>
self computeMaximumSizes.<br>
+ methodLabel concretizeAt: startAddress.<br>
+ size := self generateInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
+ end := self outputInstructionsAt: startAddress + (self sizeof: CogMethod).<br>
- headerSize := self sizeof: CogMethod.<br>
- size := self generateInstructionsAt: startAddress + headerSize.<br>
- end := self outputInstructionsAt: startAddress + headerSize.<br>
"The missOffset is the same as the interpretOffset. On RISCs it includes an additional instruction."<br>
self assert: missOffset = ((backEnd hasLinkRegister ifTrue: [backEnd callInstructionByteSize] ifFalse: [0])<br>
+ picInterpretAbort address + picInterpretAbort machineCodeSize - startAddress).<br>
self assert: startAddress + cmEntryOffset = entry address.<br>
self assert: endCPICCase0 address = (startAddress + firstCPICCaseOffset).<br>
self assert: endCPICCase1 address = (startAddress + firstCPICCaseOffset + cPICCaseSize).<br>
^self<br>
fillInCPICHeader: (self cCoerceSimple: startAddress to: #'CogMethod *')<br>
- size: closedPICSize<br>
numArgs: numArgs<br>
numCases: 2<br>
hasMNUCase: isMNUCase<br>
selector: selector !<br>
<br>
Item was added:<br>
+ ----- Method: Cogit>>fakeVarBaseAddress (in category 'accessing') -----<br>
+ fakeVarBaseAddress<br>
+ "We expect simulatedAddresses to have around 40 entries. 48 is hopefully a good maximum."<br>
+ <doNotGenerate><br>
+ ^self fakeAddressFor: nil index: 48!<br>
<br>
Item was added:<br>
+ ----- Method: Cogit>>fillInCPICHeader:numArgs:numCases:hasMNUCase:selector: (in category 'generate machine code') -----<br>
+ fillInCPICHeader: pic numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector<br>
+ <returnTypeC: #'CogMethod *'><br>
+ <var: #pic type: #'CogMethod *'><br>
+ <inline: true><br>
+ self assert: (objectMemory isYoung: selector) not.<br>
+ pic cmType: CMClosedPIC.<br>
+ pic objectHeader: 0.<br>
+ pic blockSize: closedPICSize.<br>
+ pic methodObject: 0.<br>
+ pic methodHeader: 0.<br>
+ pic selector: selector.<br>
+ pic cmNumArgs: numArgs.<br>
+ pic cmRefersToYoung: false.<br>
+ pic cmUsageCount: self initialClosedPICUsageCount.<br>
+ pic cpicHasMNUCase: hasMNUCase.<br>
+ pic cPICNumCases: numCases.<br>
+ pic blockEntryOffset: 0.<br>
+ self assert: pic cmType = CMClosedPIC.<br>
+ self assert: pic selector = selector.<br>
+ self assert: pic cmNumArgs = numArgs.<br>
+ self assert: pic cPICNumCases = numCases.<br>
+ self assert: (backEnd callTargetFromReturnAddress: pic asInteger + missOffset) = (self picAbortTrampolineFor: numArgs).<br>
+ self assert: closedPICSize = (methodZone roundUpLength: closedPICSize).<br>
+ processor flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + closedPICSize.<br>
+ ^pic!<br>
<br>
Item was removed:<br>
- ----- Method: Cogit>>fillInCPICHeader:size:numArgs:numCases:hasMNUCase:selector: (in category 'generate machine code') -----<br>
- fillInCPICHeader: pic size: size numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector<br>
- <returnTypeC: #'CogMethod *'><br>
- <var: #pic type: #'CogMethod *'><br>
- self assert: (objectMemory isYoung: selector) not.<br>
- pic cmType: CMClosedPIC.<br>
- pic objectHeader: 0.<br>
- pic blockSize: size.<br>
- pic methodObject: 0.<br>
- pic methodHeader: 0.<br>
- pic selector: selector.<br>
- pic cmNumArgs: numArgs.<br>
- pic cmRefersToYoung: false.<br>
- pic cmUsageCount: self initialClosedPICUsageCount.<br>
- pic cpicHasMNUCase: hasMNUCase.<br>
- pic cPICNumCases: numCases.<br>
- pic blockEntryOffset: 0.<br>
- self assert: pic cmType = CMClosedPIC.<br>
- self assert: pic selector = selector.<br>
- self assert: pic cmNumArgs = numArgs.<br>
- self assert: pic cPICNumCases = numCases.<br>
- self assert: (backEnd callTargetFromReturnAddress: pic asInteger + missOffset) = (self picAbortTrampolineFor: numArgs).<br>
- self assert: size = (methodZone roundUpLength: size).<br>
- processor flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + size.<br>
- ^pic!<br>
<br>
Item was added:<br>
+ ----- Method: Cogit>>fillInOPICHeader:numArgs:selector: (in category 'generate machine code') -----<br>
+ fillInOPICHeader: pic numArgs: numArgs selector: selector<br>
+ <returnTypeC: #'CogMethod *'><br>
+ <var: #pic type: #'CogMethod *'><br>
+ <inline: true><br>
+ pic cmType: CMOpenPIC.<br>
+ pic objectHeader: 0.<br>
+ pic blockSize: openPICSize.<br>
+ "pic methodObject: 0.""This is also the nextOpenPIC link so don't initialize it"<br>
+ methodZone addToOpenPICList: pic.<br>
+ pic methodHeader: 0.<br>
+ pic selector: selector.<br>
+ pic cmNumArgs: numArgs.<br>
+ (pic cmRefersToYoung: (objectMemory isYoung: selector)) ifTrue:<br>
+ [methodZone addToYoungReferrers: pic].<br>
+ pic cmUsageCount: self initialOpenPICUsageCount.<br>
+ pic cpicHasMNUCase: false.<br>
+ pic cPICNumCases: 0.<br>
+ pic blockEntryOffset: 0.<br>
+ self assert: pic cmType = CMOpenPIC.<br>
+ self assert: pic selector = selector.<br>
+ self assert: pic cmNumArgs = numArgs.<br>
+ self assert: (backEnd callTargetFromReturnAddress: pic asInteger + missOffset) = (self picAbortTrampolineFor: numArgs).<br>
+ self assert: openPICSize = (methodZone roundUpLength: openPICSize).<br>
+ processor flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + openPICSize.<br>
+ ^pic!<br>
<br>
Item was removed:<br>
- ----- Method: Cogit>>fillInOPICHeader:size:numArgs:selector: (in category 'generate machine code') -----<br>
- fillInOPICHeader: pic size: size numArgs: numArgs selector: selector<br>
- <returnTypeC: #'CogMethod *'><br>
- <var: #pic type: #'CogMethod *'><br>
- pic cmType: CMOpenPIC.<br>
- pic objectHeader: 0.<br>
- pic blockSize: size.<br>
- "pic methodObject: 0.""This is also the nextOpenPIC link so don't initialize it"<br>
- methodZone addToOpenPICList: pic.<br>
- pic methodHeader: 0.<br>
- pic selector: selector.<br>
- pic cmNumArgs: numArgs.<br>
- (pic cmRefersToYoung: (objectMemory isYoung: selector)) ifTrue:<br>
- [methodZone addToYoungReferrers: pic].<br>
- pic cmUsageCount: self initialOpenPICUsageCount.<br>
- pic cpicHasMNUCase: false.<br>
- pic cPICNumCases: 0.<br>
- pic blockEntryOffset: 0.<br>
- self assert: pic cmType = CMOpenPIC.<br>
- self assert: pic selector = selector.<br>
- self assert: pic cmNumArgs = numArgs.<br>
- self assert: (backEnd callTargetFromReturnAddress: pic asInteger + missOffset) = (self picAbortTrampolineFor: numArgs).<br>
- self assert: size = (methodZone roundUpLength: size).<br>
- processor flushICacheFrom: pic asUnsignedInteger to: pic asUnsignedInteger + size.<br>
- ^pic!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>generateClosedPICPrototype (in category 'initialization') -----<br>
generateClosedPICPrototype<br>
"Generate the prototype ClosedPIC to determine how much space as full PIC takes.<br>
When we first allocate a closed PIC it only has one or two cases and we want to grow it.<br>
So we have to determine how big a full one is before hand."<br>
- | headerSize |<br>
numPICCases := 6.<br>
"stack allocate the various collections so that they<br>
are effectively garbage collected on return."<br>
self allocateOpcodes: numPICCases * 7 bytecodes: 0.<br>
self compileClosedPICPrototype.<br>
self computeMaximumSizes.<br>
+ methodLabel concretizeAt: methodZoneBase.<br>
+ closedPICSize := (self sizeof: CogMethod) + (self generateInstructionsAt: methodZoneBase + (self sizeof: CogMethod)).<br>
- headerSize := self sizeof: CogMethod.<br>
- closedPICSize := headerSize + (self generateInstructionsAt: methodZoneBase + headerSize).<br>
firstCPICCaseOffset := endCPICCase0 address - methodZoneBase.<br>
cPICCaseSize := endCPICCase1 address - endCPICCase0 address.<br>
cPICEndSize := closedPICSize - (numPICCases - 1 * cPICCaseSize + firstCPICCaseOffset).<br>
closedPICSize := methodZone roundUpLength: closedPICSize<br>
"self cCode: ''<br>
inSmalltalk:<br>
[| end |<br>
end := self outputInstructionsAt: methodZoneBase + headerSize.<br>
self disassembleFrom: methodZoneBase + headerSize to: end - 1.<br>
self halt]"!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>generateOpenPICPrototype (in category 'initialization') -----<br>
generateOpenPICPrototype<br>
"Generate the prototype ClosedPIC to determine how much space as full PIC takes.<br>
When we first allocate a closed PIC it only has one or two cases and we want to grow it.<br>
So we have to determine how big a full one is before hand."<br>
+ | codeSize mapSize |<br>
- | headerSize codeSize mapSize |<br>
"stack allocate the various collections so that they<br>
are effectively garbage collected on return."<br>
self allocateOpcodes: 100 bytecodes: 0.<br>
+ methodLabel<br>
+ address: methodZoneBase;<br>
+ dependent: nil.<br>
+ "Need a real selector here so that the map accomodates the annotations for the selector.<br>
+ Use self numRegArgs to generate the longest possible code sequence due to<br>
+ genPushRegisterArgsForNumArgs:"<br>
- "Ned a real selector here so that the map accomodates the annotations for the selector."<br>
self compileOpenPIC: (coInterpreter specialSelector: 0) numArgs: self numRegArgs.<br>
self computeMaximumSizes.<br>
- headerSize := self sizeof: CogMethod.<br>
methodLabel concretizeAt: methodZoneBase.<br>
+ codeSize := self generateInstructionsAt: methodZoneBase + (self sizeof: CogMethod).<br>
- codeSize := self generateInstructionsAt: methodZoneBase + headerSize.<br>
mapSize := self generateMapAt: nil start: methodZoneBase + cmNoCheckEntryOffset.<br>
+ openPICSize := (methodZone roundUpLength: (self sizeof: CogMethod) + codeSize) + (methodZone roundUpLength: mapSize).<br>
- openPICSize := (methodZone roundUpLength: headerSize + codeSize) + (methodZone roundUpLength: mapSize).<br>
"self cCode: ''<br>
inSmalltalk:<br>
[| end |<br>
end := self outputInstructionsAt: methodZoneBase + headerSize.<br>
+ self disassembleFrom: methodZoneBase + (self sizeof: CogMethod) to: end - 1.<br>
- self disassembleFrom: methodZoneBase + headerSize to: end - 1.<br>
self halt]"!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>generateTrampolines (in category 'initialization') -----<br>
generateTrampolines<br>
"Generate the run-time entries and exits at the base of the native code zone and update the base.<br>
Read the class-side method trampolines for documentation on the various trampolines"<br>
| methodZoneStart |<br>
methodZoneStart := methodZoneBase.<br>
+ methodLabel address: methodZoneStart.<br>
self allocateOpcodes: 80 bytecodes: 0.<br>
initialPC := 0.<br>
endPC := numAbstractOpcodes - 1.<br>
hasYoungReferent := false.<br>
self generateSendTrampolines.<br>
self generateMissAbortTrampolines.<br>
objectRepresentation generateObjectRepresentationTrampolines.<br>
self generateRunTimeTrampolines.<br>
self cppIf: NewspeakVM ifTrue: [self generateNewspeakRuntime].<br>
self cppIf: SistaVM ifTrue: [self generateSistaRuntime].<br>
self generateEnilopmarts.<br>
self generateTracingTrampolines.<br>
<br>
"finish up"<br>
self recordGeneratedRunTime: 'methodZoneBase' address: methodZoneBase.<br>
processor flushICacheFrom: methodZoneStart to: methodZoneBase!<br>
<br>
Item was added:<br>
+ ----- Method: Cogit>>methodLabel (in category 'accessing') -----<br>
+ methodLabel<br>
+ <cmacro: '() methodLabel'><br>
+ ^methodLabel!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>setInterpreter: (in category 'initialization') -----<br>
setInterpreter: aCoInterpreter<br>
"Initialization of the code generator in the simulator.<br>
These objects already exist in the generated C VM<br>
or are used only in the simulation."<br>
<doNotGenerate><br>
coInterpreter := aCoInterpreter.<br>
objectMemory := aCoInterpreter objectMemory.<br>
threadManager := aCoInterpreter threadManager. "N.B. may be nil"<br>
methodZone := CogMethodZone new.<br>
objectRepresentation := objectMemory objectRepresentationClass<br>
forCogit: self methodZone: methodZone.<br>
methodZone setInterpreter: aCoInterpreter<br>
objectRepresentation: objectRepresentation<br>
cogit: self.<br>
generatorTable := self class generatorTable.<br>
primitiveGeneratorTable := self class primitiveTable.<br>
processor := ProcessorClass new.<br>
simulatedAddresses := Dictionary new.<br>
simulatedTrampolines := Dictionary new.<br>
simulatedVariableGetters := Dictionary new.<br>
simulatedVariableSetters := Dictionary new.<br>
traceStores := 0.<br>
+ traceFlags := (self class initializationOptions at: #recordPrimTrace ifAbsent: [true])<br>
+ ifTrue: [8] "record prim trace on by default (see Cogit class>>decareCVarsIn:)"<br>
+ ifFalse: [0].<br>
- traceFlags := 8. "record prim trace on by default (see Cogit class>>decareCVarsIn:)"<br>
debugPrimCallStackOffset := 0.<br>
singleStep := printRegisters := printInstructions := clickConfirm := false.<br>
breakBlock ifNil: [self breakPC: breakPC].<br>
(backEnd := processor abstractInstructionCompilerClass new) cogit: self.<br>
(methodLabel := processor abstractInstructionCompilerClass new) cogit: self.<br>
ordinarySendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines).<br>
superSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines).<br>
BytecodeSetHasDirectedSuperSend ifTrue:<br>
[directedSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)].<br>
NewspeakVM ifTrue:<br>
[selfSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines).<br>
dynamicSuperSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines).<br>
implicitReceiverSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines).<br>
outerSendTrampolines := CArrayAccessor on: (Array new: NumSendTrampolines)].<br>
"debug metadata"<br>
objectReferencesInRuntime := CArrayAccessor on: (Array new: NumObjRefsInRuntime).<br>
runtimeObjectRefIndex := 0.<br>
"debug metadata"<br>
trampolineAddresses := CArrayAccessor on: (Array new: NumTrampolines * 2).<br>
trampolineTableIndex := 0.<br>
<br>
compilationTrace ifNil: [compilationTrace := self class initializationOptions at: #compilationTrace ifAbsent: [0]].<br>
extA := extB := 0!<br>
<br>
Item was changed:<br>
----- Method: Cogit>>varBaseAddress (in category 'accessing') -----<br>
varBaseAddress<br>
"We expect simulatedAddresses to have around 40 entries. 48 is hopefully a good maximum."<br>
<doNotGenerate><br>
+ ^coInterpreter varBaseAddress!<br>
- ^self cCode: [coInterpreter varBaseAddress]<br>
- inSmalltalk: [self fakeAddressFor: nil index: 48]!<br>
<br>
Item was changed:<br>
----- Method: CurrentImageCoInterpreterFacade>>addressForLabel: (in category 'labels') -----<br>
addressForLabel: l<br>
+ ^variables at: l ifAbsentPut: [variables size * 4 + self variablesBase]!<br>
- ^variables<br>
- at: l<br>
- ifAbsentPut:<br>
- [(self isLabelRelativeToCogitVarBaseReg: l)<br>
- ifTrue: [cogit fakeAddressFor: l index: variables size + 48]<br>
- ifFalse: [variables size * 4 + self variablesBase]]!<br>
<br>
Item was added:<br>
+ ----- Method: CurrentImageCoInterpreterFacade>>varBaseAddress (in category 'accessing') -----<br>
+ varBaseAddress<br>
+ "This value is chosen for ARM, which has the ability to do 12-bit relative addresses from the var base register."<br>
+ ^(variables at: 'stackLimit') - (1 << 11)!<br>
<br>
Item was changed:<br>
----- Method: SimpleStackBasedCogit>>genSend:numArgs:sendTable: (in category 'bytecode generator support') -----<br>
genSend: selector numArgs: numArgs sendTable: sendTable<br>
<inline: false><br>
<var: #sendTable type: #'sqInt *'><br>
| annotation |<br>
(objectMemory isYoung: selector) ifTrue:<br>
[hasYoungReferent := true].<br>
self assert: needsFrame.<br>
annotation := self annotationForSendTable: sendTable.<br>
self assert: (numArgs between: 0 and: 255). "say"<br>
self assert: (objectMemory addressCouldBeOop: selector).<br>
self MoveMw: numArgs * objectMemory wordSize r: SPReg R: ReceiverResultReg.<br>
"Deal with stale super sends; see SpurMemoryManager's class comment."<br>
(self annotationIsForUncheckedEntryPoint: annotation) ifTrue:<br>
[objectRepresentation genEnsureOopInRegNotForwarded: ReceiverResultReg scratchReg: TempReg].<br>
+ "0 through (NumSendTrampolines - 2) numArgs sends have the arg count implciti in the trampoline.<br>
+ The last send trampoline (NumSendTrampolines - 1) passes numArgs in SendNumArgsReg."<br>
+ numArgs >= (NumSendTrampolines - 1) ifTrue:<br>
- numArgs > 2 ifTrue:<br>
[self MoveCq: numArgs R: SendNumArgsReg].<br>
(BytecodeSetHasDirectedSuperSend<br>
and: [annotation = IsDirectedSuperSend]) ifTrue:<br>
[self genMoveConstant: tempOop R: TempReg].<br>
self MoveCw: selector R: ClassReg.<br>
self annotate: (self Call: (sendTable at: (numArgs min: NumSendTrampolines - 1)))<br>
with: annotation.<br>
self PushR: ReceiverResultReg.<br>
^0!<br>
<br>
Item was added:<br>
+ ----- Method: SistaStackToRegisterMappingCogit>>fillInCPICHeader:numArgs:numCases:hasMNUCase:selector: (in category 'generate machine code') -----<br>
+ fillInCPICHeader: pic numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector<br>
+ pic counters: 0.<br>
+ ^super fillInCPICHeader: pic numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector!<br>
<br>
Item was removed:<br>
- ----- Method: SistaStackToRegisterMappingCogit>>fillInCPICHeader:size:numArgs:numCases:hasMNUCase:selector: (in category 'generate machine code') -----<br>
- fillInCPICHeader: pic size: size numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector<br>
- pic counters: 0.<br>
- ^super fillInCPICHeader: pic size: size numArgs: numArgs numCases: numCases hasMNUCase: hasMNUCase selector: selector!<br>
<br>
Item was added:<br>
+ ----- Method: SistaStackToRegisterMappingCogit>>fillInOPICHeader:numArgs:selector: (in category 'generate machine code') -----<br>
+ fillInOPICHeader: pic numArgs: numArgs selector: selector<br>
+ pic counters: 0.<br>
+ ^super fillInOPICHeader: pic numArgs: numArgs selector: selector!<br>
<br>
Item was removed:<br>
- ----- Method: SistaStackToRegisterMappingCogit>>fillInOPICHeader:size:numArgs:selector: (in category 'generate machine code') -----<br>
- fillInOPICHeader: pic size: size numArgs: numArgs selector: selector<br>
- pic counters: 0.<br>
- ^super fillInOPICHeader: pic size: size numArgs: numArgs selector: selector!<br>
<br>
Item was changed:<br>
----- Method: SpurMemoryManager>>checkTraversableSortedFreeList (in category 'simulation only') -----<br>
checkTraversableSortedFreeList<br>
+ | prevFree prevPrevFree freeChunk |<br>
- | prevFree freeChunk |<br>
<api><br>
<inline: false><br>
+ prevFree := prevPrevFree := 0.<br>
- prevFree := 0.<br>
freeChunk := firstFreeChunk.<br>
self allOldSpaceEntitiesDo:<br>
[:o| | objOop next limit |<br>
(self isFreeObject: o) ifTrue:<br>
[self assert: o = freeChunk.<br>
next := self nextInSortedFreeListLink: freeChunk given: prevFree.<br>
limit := next = 0 ifTrue: [endOfMemory] ifFalse: [next].<br>
"coInterpreter transcript cr; print: freeChunk; tab; print: o; tab; print: prevFree; nextPutAll: '<->'; print: next; flush."<br>
objOop := freeChunk.<br>
[self oop: (objOop := self objectAfter: objOop) isLessThan: limit] whileTrue:<br>
[self assert: (self isFreeObject: objOop) not].<br>
+ prevPrevFree := prevFree.<br>
prevFree := freeChunk.<br>
freeChunk := next]].<br>
self assert: prevFree = lastFreeChunk.<br>
+ self assert: (self nextInSortedFreeListLink: lastFreeChunk given: 0) = prevPrevFree.<br>
self assert: freeChunk = 0.<br>
^true!<br>
<br>
Item was changed:<br>
----- Method: StackToRegisterMappingCogit>>genMarshalledSend:numArgs:sendTable: (in category 'bytecode generator support') -----<br>
genMarshalledSend: selector numArgs: numArgs sendTable: sendTable<br>
<inline: false><br>
<var: #sendTable type: #'sqInt *'><br>
| annotation |<br>
(objectMemory isYoung: selector) ifTrue:<br>
[hasYoungReferent := true].<br>
self assert: needsFrame.<br>
annotation := self annotationForSendTable: sendTable.<br>
"Deal with stale super sends; see SpurMemoryManager's class comment."<br>
(self annotationIsForUncheckedEntryPoint: annotation) ifTrue:<br>
[objectRepresentation genEnsureOopInRegNotForwarded: ReceiverResultReg scratchReg: TempReg].<br>
+ "0 through (NumSendTrampolines - 2) numArgs sends have the arg count implciti in the trampoline.<br>
+ The last send trampoline (NumSendTrampolines - 1) passes numArgs in SendNumArgsReg."<br>
+ numArgs >= (NumSendTrampolines - 1) ifTrue:<br>
- numArgs > 2 ifTrue:<br>
[self MoveCq: numArgs R: SendNumArgsReg].<br>
(BytecodeSetHasDirectedSuperSend<br>
and: [annotation = IsDirectedSuperSend]) ifTrue:<br>
[self genMoveConstant: tempOop R: TempReg].<br>
self MoveCw: selector R: ClassReg.<br>
self annotate: (self Call: (sendTable at: (numArgs min: NumSendTrampolines - 1)))<br>
with: annotation.<br>
optStatus isReceiverResultRegLive: false.<br>
^self ssPushRegister: ReceiverResultReg!<br>
<br>
</blockquote></div><br></div></div>