Vm-dev March 2017

vm-dev@lists.squeakfoundation.org

39 participants
154 discussions

VM Maker: VMMaker.oscog-cb.2177.mcz
by commits＠source.squeak.org 23 Mar '17

23 Mar '17

ClementBera uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-cb.2177.mcz ==================== Summary ==================== Name: VMMaker.oscog-cb.2177 Author: cb Time: 23 March 2017, 3:07:49.777145 pm UUID: ccb43e01-44ea-4871-8eab-ad0f1096abb7 Ancestors: VMMaker.oscog-eem.2176 Added and fixed a quite stable version of inlinedByteEqual. Added experimental version of fillArray. Temporary fix for inlined new (until I look at it seriously again - too busy on ByteEqual right now) Fix lowCode primitives in Sista VM. =============== Diff against VMMaker.oscog-eem.2176 =============== Item was added: + ----- Method: SistaCogit>>genAtPutInlinePrimitive: (in category 'inline primitive generators') ----- + genAtPutInlinePrimitive: prim + "Unary inline primitives." + "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. + See EncoderForSistaV1's class comment and StackInterpreter>>#trinaryInlinePrimitive:" + | ra1 ra2 rr adjust needsStoreCheck | + "The store check requires rr to be ReceiverResultReg" + needsStoreCheck := (objectRepresentation isUnannotatableConstant: self ssTop) not. + self + allocateRegForStackTopThreeEntriesInto: [:rTop :rNext :rThird | ra2 := rTop. ra1 := rNext. rr := rThird ] + thirdIsReceiver: (prim = 0 and: [ needsStoreCheck ]). + self assert: (rr ~= ra1 and: [rr ~= ra2 and: [ra1 ~= ra2]]). + self ssTop popToReg: ra2. + self ssPop: 1. + self ssTop popToReg: ra1. + self ssPop: 1. + self ssTop popToReg: rr. + self ssPop: 1. + objectRepresentation genConvertSmallIntegerToIntegerInReg: ra1. + "Now: ra is the variable object, rr is long, TempReg holds the value to store." + self flag: #TODO. "This is not really working as the immutability and store check needs to be present. " + prim caseOf: { + "0 - 1 pointerAt:put: and byteAt:Put:" + [0] -> [ adjust := (objectMemory baseHeaderSize >> objectMemory shiftForWord) - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" + adjust ~= 0 ifTrue: [ self AddCq: adjust R: ra1. ]. + self MoveR: ra2 Xwr: ra1 R: rr. + "I added needsStoreCheck so if you initialize an array with a Smi such as 0 or a boolean you don't need the store check" + needsStoreCheck ifTrue: + [ self assert: needsFrame. + objectRepresentation genStoreCheckReceiverReg: rr valueReg: ra2 scratchReg: TempReg inFrame: true] ]. + [1] -> [ objectRepresentation genConvertSmallIntegerToIntegerInReg: ra2. + adjust := objectMemory baseHeaderSize - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" + self AddCq: adjust R: ra1. + self MoveR: ra2 Xbr: ra1 R: rr. + objectRepresentation genConvertIntegerToSmallIntegerInReg: ra2. ]. + } + otherwise: [^EncounteredUnknownBytecode]. + self ssPushRegister: ra2. + ^0! Item was changed: ----- Method: SistaCogit>>genBinaryVarOpVarInlinePrimitive: (in category 'inline primitive generators') ----- genBinaryVarOpVarInlinePrimitive: prim "Var op var version of binary inline primitives." "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. See EncoderForSistaV1's class comment and StackInterpreter>>#binaryInlinePrimitive:" <option: #SistaVM> | ra rr adjust | self allocateRegForStackTopTwoEntriesInto: [:rTop :rNext | ra := rTop. rr := rNext ]. self ssTop popToReg: ra. self ssPop: 1. self ssTop popToReg: rr. self ssPop: 1. prim caseOf: { "0 through 6, +, -, *, /, //, \\, quo:, SmallInteger op SmallInteger => SmallInteger, no overflow" [0] -> [objectRepresentation genRemoveSmallIntegerTagsInScratchReg: ra. self AddR: ra R: rr]. [1] -> [self SubR: ra R: rr. objectRepresentation genAddSmallIntegerTagsTo: rr]. [2] -> [self genShiftAwaySmallIntegerTagsInScratchReg: rr. self genRemoveSmallIntegerTagsInScratchReg: ra. self MulR: ra R: rr. self genSetSmallIntegerTagsIn: rr]. + "[4] -> []. + [5] -> []. + [6] -> []." "2016 through 2020, bitAnd:, bitOr:, bitXor, bitShiftLeft:, bitShiftRight:, SmallInteger op SmallInteger => SmallInteger, no overflow" [16] -> [ self AndR: ra R: rr ]. [17] -> [ self OrR: ra R: rr ]. [18] -> [objectRepresentation genRemoveSmallIntegerTagsInScratchReg: ra. self XorR: ra R: rr. ]. [19] -> [ objectRepresentation genConvertSmallIntegerToIntegerInReg: ra. objectRepresentation genRemoveSmallIntegerTagsInScratchReg: rr. self LogicalShiftLeftR: ra R: rr. objectRepresentation genAddSmallIntegerTagsTo: rr]. [20] -> [objectRepresentation genConvertSmallIntegerToIntegerInReg: ra. self ArithmeticShiftRightR: ra R: rr. objectRepresentation genClearAndSetSmallIntegerTagsIn: rr.]. "2032 through 2037, >, <, >=, <=. =, ~=, SmallInteger op SmallInteger => Boolean (flags?? then in jump bytecodes if ssTop is a flags value, just generate the instruction!!!!)" "CmpCqR is SubRCq so everything is reversed." [32] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpGreater opFalse: JumpLessOrEqual destReg: rr ]. [33] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpLess opFalse: JumpGreaterOrEqual destReg: rr ]. [34] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpGreaterOrEqual opFalse: JumpLess destReg: rr ]. [35] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpLessOrEqual opFalse: JumpGreater destReg: rr ]. [36] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpZero opFalse: JumpNonZero destReg: rr ]. [37] -> [ self CmpR: ra R: rr. self genBinaryInlineComparison: JumpNonZero opFalse: JumpZero destReg: rr ]. "2064 through 2068, Pointer Object>>at:, Byte Object>>at:, Short16 Word Object>>at: LongWord32 Object>>at: Quad64Word Object>>at:. obj op 0-rel SmallInteger => oop" [64] -> [objectRepresentation genConvertSmallIntegerToIntegerInReg: ra. adjust := (objectMemory baseHeaderSize >> objectMemory shiftForWord) - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" adjust ~= 0 ifTrue: [ self AddCq: adjust R: ra. ]. self MoveXwr: ra R: rr R: rr ]. [65] -> [objectRepresentation genConvertSmallIntegerToIntegerInReg: ra. adjust := objectMemory baseHeaderSize - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" self AddCq: adjust R: ra. self MoveXbr: ra R: rr R: rr. objectRepresentation genConvertIntegerToSmallIntegerInReg: rr] } otherwise: [^EncounteredUnknownBytecode]. self ssPushRegister: rr. ^0! Item was added: + ----- Method: SistaCogit>>genByteEqualsInlinePrimitive: (in category 'inline primitive generators') ----- + genByteEqualsInlinePrimitive: prim + + "3021 Byte Object >> equals:length: + The receiver and the arguments are both byte objects and have both the same size (length in bytes). + The length argument is a smallinteger. + Answers true if all fields are equal, false if not. + Comparison is bulked to word comparison." + + "Overview: + 1. The primitive is called like that: [byteObj1 equals: byteObj2 length: length]. + In the worst case we use 5 registers including TempReg + and we produce a loop bulk comparing words. + 2. The common case is a comparison against a cst: [byteString = 'foo']. + which produces in Scorch [byteString equals: 'foo' length: 3]. + We try to generate fast code for this case with 3 heuristics: + - specific fast code if len is a constant + - unroll the loop if len < 2 * wordSize + - compile-time reads if str1 or str2 is a constant and loop is unrolled. + We use 3 registers including TempReg in the common case. + We could use 1 less reg if the loop is unrolled, the instr is followed by a branch + AND one operand is a constant, but this is complicated enough. + 3. We ignore the case where all operands are constants + (We assume Scorch simplifies it, it works but it is not optimised)" + + | str1Reg str2Reg lenReg extraReg jmp jmp2 adjust needjmpZeroSize needLoop unroll jmpZeroSize instr lenCst mask | + <var: #jmp type: #'AbstractInstruction *'> + <var: #instr type: #'AbstractInstruction *'> + <var: #jmp2 type: #'AbstractInstruction *'> + <var: #jmpZeroSize type: #'AbstractInstruction *'> + 1halt. + "--- quick path for empty string---" + "This path does not allocate registers and right shift on negative int later in the code. + Normally this is resolved by Scorch but we keep it for correctness and consistency" + self ssTop type = SSConstant ifTrue: + [ lenCst := objectMemory integerValueOf: self ssTop constant. + lenCst = 0 ifTrue: [ self ssPop: 3. self ssPushConstant: objectMemory trueObject. ^ 0 ] ]. + lenCst := 7. + "--- Allocating & loading registers --- " + needLoop := (self ssTop type = SSConstant and: [ lenCst <= (objectMemory wordSize * 2) ]) not. + unroll := needLoop not and: [lenCst > objectMemory wordSize ]. + needLoop + ifTrue: + [ str1Reg := self allocateRegForStackEntryAt: 1 notConflictingWith: self emptyRegisterMask. + str2Reg := self allocateRegForStackEntryAt: 2 notConflictingWith: (self registerMaskFor: str1Reg). + (self ssValue: 1) popToReg: str1Reg. + (self ssValue: 2) popToReg: str2Reg. + lenReg := self allocateRegForStackEntryAt: 0 notConflictingWith: (self registerMaskFor:str1Reg and: str2Reg). + extraReg := self allocateRegNotConflictingWith: (self registerMaskFor: str1Reg and: str2Reg and: lenReg)] + ifFalse: + [ mask := self emptyRegisterMask. + (self ssValue: 1) type = SSConstant ifFalse: + [ str1Reg := self allocateRegForStackEntryAt: 1 notConflictingWith: mask. + (self ssValue: 1) popToReg: str1Reg. + mask := mask bitOr: (self registerMaskFor: str1Reg) ]. + (self ssValue: 2) type = SSConstant ifFalse: + [ str2Reg := self allocateRegForStackEntryAt: 2 notConflictingWith: mask. + (self ssValue: 2) popToReg: str2Reg. + mask := mask bitOr: (self registerMaskFor: str2Reg) ]. + extraReg := self allocateRegNotConflictingWith: mask]. + adjust := objectMemory baseHeaderSize >> objectMemory shiftForWord. + + "--- Loading LenReg (or statically resolving it) --- " + "LenReg is loaded with (lenInBytes + objectMemory baseHeaderSize - 1 >> shiftForWord) + LenReg is the index for the last word to compare with MoveXwr:r:R:. + The loop iterates from LenReg to first word of ByteObj" + self ssTop type = SSConstant + ifTrue: "common case, str = 'foo'. We can precompute lenReg." + [ lenCst := lenCst + objectMemory baseHeaderSize - 1 >> objectMemory shiftForWord. + needLoop ifTrue: [self MoveCq: lenCst R: lenReg ]. + needjmpZeroSize := false] + ifFalse: "uncommon case, str = str2. lenReg in word computed at runtime." + [ objectRepresentation genConvertSmallIntegerToIntegerInReg: lenReg. + self CmpCq: 0 R: lenReg. + jmpZeroSize := self JumpZero: 0. + needjmpZeroSize := true. + self AddCq: objectMemory baseHeaderSize - 1 R: lenReg. + self ArithmeticShiftRightCq: objectMemory shiftForWord R: lenReg ]. + + "--- Comparing the strings --- " + "LenReg has the index of the last word to read (unless no loop). + We decrement it to adjust -1 (0 in 64 bits) while comparing" + needLoop + ifTrue: + [instr := self MoveXwr: lenReg R: str1Reg R: extraReg. + self MoveXwr: lenReg R: str2Reg R: TempReg. + self CmpR: extraReg R: TempReg. + jmp := self JumpNonZero: 0. "then string are not equal (jmp target)" + self AddCq: -1 R: lenReg. + self CmpCq: adjust-1 R: lenReg. "first word of ByteObj, stop looping - in 64 bits adjust - 1 is 0, quicker." + self JumpNonZero: instr] + ifFalse: "Common case, only 1 or 2 word to check: no lenReg allocation, cst micro optimisations" + [self genByteEqualsInlinePrimitiveCmp: str1Reg with: str2Reg scratch1: extraReg scratch2: TempReg field: 0. + jmp := self JumpNonZero: 0. "then string are not equal (jmp target)" + unroll ifTrue: "unrolling more than twice generate more instructions than the loop so we don't do it" + [self genByteEqualsInlinePrimitiveCmp: str1Reg with: str2Reg scratch1: extraReg scratch2: TempReg field: 1. + jmp2 := self JumpNonZero: 0. "then string are not equal (jmp target)"]]. + needjmpZeroSize ifTrue: [ jmpZeroSize jmpTarget: self Label ]. + "fall through, strings are equal" + + "--- Pushing the result or pipelining a branch --- " + self ssPop: 3. + self genByteEqualsInlinePrimitiveResult: jmp returnReg: extraReg. + unroll ifTrue: [jmp2 jmpTarget: jmp getJmpTarget]. + ^0! Item was added: + ----- Method: SistaCogit>>genByteEqualsInlinePrimitiveCmp:with:scratch1:scratch2:field: (in category 'inline primitive generators') ----- + genByteEqualsInlinePrimitiveCmp: str1Reg with: str2Reg scratch1: scratch1Reg scratch2: scratch2Reg field: index + | shift | + <inline: true> + shift := objectMemory baseHeaderSize + (index * objectMemory wordSize). + (self ssValue: 1) type = SSConstant + ifTrue: [self MoveCq: (objectMemory fetchPointer: index ofObject: (self ssValue: 1) constant) R: scratch1Reg] + ifFalse: [self MoveMw: shift r: str1Reg R: scratch1Reg]. + (self ssValue: 2) type = SSConstant + ifTrue: [self MoveCq: (objectMemory fetchPointer: index ofObject: (self ssValue: 2) constant) R: scratch2Reg] + ifFalse: [self MoveMw: shift r: str2Reg R: scratch2Reg]. + self CmpR: scratch1Reg R: scratch2Reg.! Item was added: + ----- Method: SistaCogit>>genByteEqualsInlinePrimitiveResult:returnReg: (in category 'inline primitive generators') ----- + genByteEqualsInlinePrimitiveResult: jmp returnReg: reg + "Byte equal is falling through if the result is true, or jumping using jmp if the result is false. + The method is required to set the jump target of jmp. + We look ahead for a branch and pipeline the jumps if possible.. + ReturnReg is used only if not followed immediately by a branch." + | branchDescriptor nextPC postBranchPC targetBytecodePC localJump canElide | + <var: #localJump type: #'AbstractInstruction *'> + <var: #branchDescriptor type: #'BytecodeDescriptor *'> + self extractMaybeBranchDescriptorInto: [ :descr :next :postBranch :target | + branchDescriptor := descr. nextPC := next. postBranchPC := postBranch. targetBytecodePC := target ]. + + "Case 1 - not followed by a branch" + (branchDescriptor isBranchTrue or: [branchDescriptor isBranchFalse]) + ifFalse: + [self genMoveTrueR: reg. + localJump := self Jump: 0. + jmp jmpTarget: (self genMoveFalseR: reg). + localJump jmpTarget: self Label. + self ssPushRegister: reg. + ^ 0]. + + "Case 2 - followed by a branch" + (self fixupAt: nextPC) notAFixup + ifTrue: "The next instruction is dead. we can skip it." + [deadCode := true. + self ensureFixupAt: targetBytecodePC. + self ensureFixupAt: postBranchPC ] + ifFalse: + [self ssPushConstant: objectMemory trueObject]. "dummy value" + "We can only elide the jump if the pc after nextPC is the same as postBranchPC. + Branch following means it may not be." + self nextDescriptorExtensionsAndNextPCInto: + [:iguana1 :iguana2 :iguana3 :followingPC| nextPC := followingPC]. + canElide := deadCode and: [nextPC = postBranchPC]. + branchDescriptor isBranchTrue + ifTrue: + [ self Jump: (self ensureNonMergeFixupAt: targetBytecodePC). + canElide + ifFalse: [ jmp jmpTarget: (self ensureNonMergeFixupAt: postBranchPC) ] + ifTrue: [ jmp jmpTarget: self Label ] ] + ifFalse: [ canElide ifFalse: [ self Jump: (self ensureNonMergeFixupAt: postBranchPC). + jmp jmpTarget: (self ensureNonMergeFixupAt: targetBytecodePC) ] ]. + ^0! Item was changed: ----- Method: SistaCogit>>genCallPrimitiveBytecode (in category 'bytecode generators') ----- genCallPrimitiveBytecode "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. See EncoderForSistaV1's class comment and StackInterpreter>>#inlinePrimitiveBytecode:" + | prim primSet | - | prim | byte2 < 128 ifTrue: [^bytecodePC = initialPC ifTrue: [0] ifFalse: [EncounteredUnknownBytecode]]. prim := byte2 - 128 << 8 + byte1. + primSet := prim >> 13 bitAnd: 3. + prim := prim bitAnd: 8191. + LowcodeVM + ifTrue: + [ + primSet = 1 ifTrue: [ + prim < 1000 ifTrue: + [^self genLowcodeNullaryInlinePrimitive: prim]. + prim < 2000 ifTrue: + [^self genLowcodeUnaryInlinePrimitive: prim - 1000]. + + prim < 3000 ifTrue: + [^ self genLowcodeBinaryInlinePrimitive: prim - 2000]. + + prim < 4000 ifTrue: + [^self genLowcodeTrinaryInlinePrimitive: prim - 3000]. + ] + ]. + + self assert: primSet = 0. + prim < 1000 ifTrue: [^self genNullaryInlinePrimitive: prim]. prim < 2000 ifTrue: [^self genUnaryInlinePrimitive: prim - 1000]. prim < 3000 ifTrue: [self ssTop type = SSConstant ifTrue: [^self genBinaryVarOpConstInlinePrimitive: prim - 2000]. (self ssValue: 1) type = SSConstant ifTrue: [^self genBinaryConstOpVarInlinePrimitive: prim - 2000]. ^self genBinaryVarOpVarInlinePrimitive: prim - 2000]. prim < 4000 ifTrue: [^self genTrinaryInlinePrimitive: prim - 3000]. + + prim < 5000 ifTrue: + [^self genQuaternaryInlinePrimitive: prim - 4000]. + + prim < 6000 ifTrue: + [^self genQuinaryInlinePrimitive: prim - 5000]. + - ^EncounteredUnknownBytecode! Item was added: + ----- Method: SistaCogit>>genQuaternaryInlinePrimitive: (in category 'inline primitive generators') ----- + genQuaternaryInlinePrimitive: prim + "Quaternary inline primitives." + "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. + See EncoderForSistaV1's class comment and StackInterpreter>>#quaternaryInlinePrimitive:" + | needStoreCheck sourceReg stopReg objReg adjust jmp cmp isStartCst isStopCst startCst stopCst iteratorReg | + <var: #jmp type: #'AbstractInstruction *'> + <var: #cmp type: #'AbstractInstruction *'> + prim = 0 ifFalse: [^EncounteredUnknownBytecode]. + + "4000 Pointer Object>> fillFrom:to:with: The receiver is a Pointer object. the middle two arguments are smallintegers. Last argument is any object. Fills the object in between the two indexes with last argument. Receiver is guaranteed to be mutable. The pointer accesses are raw (no inst var check). If ExtB is set to 1, no store check is present. Else a single store check is done for the bulk operation. Answers the receiver." + needStoreCheck := self sistaNeedsStoreCheck. + extB := numExtB := 0. + + "Allocate reg for src, objToStore, iterator and stop." + sourceReg := needStoreCheck + ifTrue: [ self ssAllocateRequiredReg: ReceiverResultReg. + self voidReceiverResultRegContainsSelf. + ReceiverResultReg ] + ifFalse: [ self allocateRegForStackEntryAt: 3 notConflictingWith: self emptyRegisterMask ]. + (self ssValue: 3) popToReg: sourceReg. + objReg := self allocateRegForStackEntryAt: 0 notConflictingWith: (self registerMaskFor: sourceReg). + self ssTop popToReg: objReg. + + "Set up iterator to first index to write and stop to last index to write" + adjust := (objectMemory baseHeaderSize >> objectMemory shiftForWord) - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" + isStartCst := (self ssValue: 2) type = SSConstant. + isStopCst := (self ssValue: 1) type = SSConstant. + isStartCst ifTrue: [startCst := adjust + (objectMemory integerValueOf: (self ssValue: 2) constant)]. + isStopCst ifTrue: [stopCst := adjust + (objectMemory integerValueOf: (self ssValue: 1) constant)]. + + (isStartCst + and: [isStopCst + and: [stopCst - startCst < 7 ]]) "The other path generates at least 7 instructions" + ifTrue: ["unroll" + startCst + to: stopCst + do: [ :i | self MoveMw: i r: sourceReg R: objReg ] ] + ifFalse: ["loop" + stopReg := self allocateRegNotConflictingWith: (self registerMaskFor: sourceReg and: objReg). + iteratorReg := self allocateRegNotConflictingWith: (self registerMaskFor: sourceReg and: objReg and: stopReg). + isStartCst + ifTrue: [ self MoveCq: startCst R: iteratorReg ] + ifFalse: [ (self ssValue: 2) popToReg: iteratorReg. + adjust ~= 0 ifTrue: [ self AddCq: adjust R: iteratorReg ] ]. + isStopCst + ifTrue: [ self MoveCq: stopCst R: stopReg ] + ifFalse: [ (self ssValue: 1) popToReg: stopReg. + adjust ~= 0 ifTrue: [ self AddCq: adjust R: stopReg ] ]. + cmp := self CmpR: stopReg R: iteratorReg. + jmp := self JumpAbove: 0. + self MoveR: objReg Xwr: iteratorReg R: sourceReg. + self AddCq: 1 R: iteratorReg. + self Jump: cmp. + jmp jmpTarget: self Label]. + + needStoreCheck ifTrue: [objectRepresentation genStoreCheckReceiverReg: sourceReg valueReg: objReg scratchReg: TempReg inFrame: true]. + + self ssPop: 4. + self ssPushRegister: sourceReg. + ^0! Item was added: + ----- Method: SistaCogit>>genQuinaryInlinePrimitive: (in category 'inline primitive generators') ----- + genQuinaryInlinePrimitive: prim + "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. + See EncoderForSistaV1's class comment and StackInterpreter>>#quaternaryInlinePrimitive:" + ^EncounteredUnknownBytecode! Item was changed: ----- Method: SistaCogit>>genTrinaryInlinePrimitive: (in category 'inline primitive generators') ----- genTrinaryInlinePrimitive: prim + "trinary inline primitives." - "Unary inline primitives." "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. See EncoderForSistaV1's class comment and StackInterpreter>>#trinaryInlinePrimitive:" + + prim < 10 ifTrue: [^ self genAtPutInlinePrimitive: prim]. + prim = 21 ifTrue: [^ self genByteEqualsInlinePrimitive: prim]. + ^ EncounteredUnknownBytecode! - | ra1 ra2 rr adjust needsStoreCheck | - "The store check requires rr to be ReceiverResultReg" - needsStoreCheck := (objectRepresentation isUnannotatableConstant: self ssTop) not. - self - allocateRegForStackTopThreeEntriesInto: [:rTop :rNext :rThird | ra2 := rTop. ra1 := rNext. rr := rThird ] - thirdIsReceiver: (prim = 0 and: [ needsStoreCheck ]). - self assert: (rr ~= ra1 and: [rr ~= ra2 and: [ra1 ~= ra2]]). - self ssTop popToReg: ra2. - self ssPop: 1. - self ssTop popToReg: ra1. - self ssPop: 1. - self ssTop popToReg: rr. - self ssPop: 1. - objectRepresentation genConvertSmallIntegerToIntegerInReg: ra1. - "Now: ra is the variable object, rr is long, TempReg holds the value to store." - self flag: #TODO. "This is not really working as the immutability and store check needs to be present. " - prim caseOf: { - "0 - 1 pointerAt:put: and byteAt:Put:" - [0] -> [ adjust := (objectMemory baseHeaderSize >> objectMemory shiftForWord) - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" - adjust ~= 0 ifTrue: [ self AddCq: adjust R: ra1. ]. - self MoveR: ra2 Xwr: ra1 R: rr. - "I added needsStoreCheck so if you initialize an array with a Smi such as 0 or a boolean you don't need the store check" - needsStoreCheck ifTrue: - [ self assert: needsFrame. - objectRepresentation genStoreCheckReceiverReg: rr valueReg: ra2 scratchReg: TempReg inFrame: true] ]. - [1] -> [ objectRepresentation genConvertSmallIntegerToIntegerInReg: ra2. - adjust := objectMemory baseHeaderSize - 1. "shift by baseHeaderSize and then move from 1 relative to zero relative" - self AddCq: adjust R: ra1. - self MoveR: ra2 Xbr: ra1 R: rr. - objectRepresentation genConvertIntegerToSmallIntegerInReg: ra2. ] - } - otherwise: [^EncounteredUnknownBytecode]. - self ssPushRegister: ra2. - ^0! Item was changed: ----- Method: SistaCogit>>genUnaryInlinePrimitive: (in category 'inline primitive generators') ----- genUnaryInlinePrimitive: prim "Unary inline primitives." "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution. See EncoderForSistaV1's class comment and StackInterpreter>>#unaryInlinePrimitive:" | rcvrReg resultReg | rcvrReg := self allocateRegForStackEntryAt: 0. resultReg := self allocateRegNotConflictingWith: (self registerMaskFor: rcvrReg). prim caseOf: { "00 unchecked class" [1] -> "01 unchecked pointer numSlots" [self ssTop popToReg: rcvrReg. self ssPop: 1. objectRepresentation genGetNumSlotsOf: rcvrReg into: resultReg; genConvertIntegerToSmallIntegerInReg: resultReg]. "02 unchecked pointer basicSize" [3] -> "03 unchecked byte numBytes" [self ssTop popToReg: rcvrReg. self ssPop: 1. objectRepresentation genGetNumBytesOf: rcvrReg into: resultReg; genConvertIntegerToSmallIntegerInReg: resultReg]. "04 unchecked short16Type format numShorts" "05 unchecked word32Type format numWords" "06 unchecked doubleWord64Type format numDoubleWords" [11] -> "11 unchecked fixed pointer basicNew" [self ssTop type ~= SSConstant ifTrue: [^EncounteredUnknownBytecode]. (objectRepresentation genGetInstanceOf: self ssTop constant into: resultReg initializingIf: self extBSpecifiesInitializeInstance) ~= 0 ifTrue: [^ShouldNotJIT]. "e.g. bad class" self ssPop: 1] . [20] -> "20 identityHash" [objectRepresentation genGetIdentityHash: rcvrReg resultReg: resultReg. self ssPop: 1] . "21 identityHash (SmallInteger)" "22 identityHash (Character)" "23 identityHash (SmallFloat64)" "24 identityHash (Behavior)" "30 immediateAsInteger (Character) + 31 immediateAsInteger (SmallFloat64) + 35 immediateAsFloat (SmallInteger) " - 31 immediateAsInteger (SmallFloat64)" [30] -> [self ssTop popToReg: resultReg. objectRepresentation genConvertCharacterToSmallIntegerInReg: resultReg. + self ssPop: 1]. + [35] -> + [self assert: self processorHasDoublePrecisionFloatingPointSupport. + self MoveR: rcvrReg R: TempReg. + self genConvertSmallIntegerToIntegerInReg: TempReg. + self ConvertR: TempReg Rd: DPFPReg0. + self flag: #TODO. "Should never fail" + self + genAllocFloatValue: DPFPReg0 + into: resultReg + scratchReg: TempReg + scratchReg: NoReg. "scratch2 for V3 only"] - self ssPop: 1] } otherwise: [^EncounteredUnknownBytecode]. extB := 0. numExtB := 0. self ssPushRegister: resultReg. ^0! Item was changed: ----- Method: StackInterpreter>>trinaryInlinePrimitive: (in category 'miscellaneous bytecodes') ----- trinaryInlinePrimitive: primIndex "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution." <option: #SistaVM> | result | primIndex caseOf: { "3000 unchecked Pointer Object>>at:put:. The receiver is guaranteed to be a pointer object. The 0-relative (1-relative?) index is an in-range SmallInteger" [0] -> [result := self internalStackTop. objectMemory storePointer: (objectMemory integerValueOf: (self internalStackValue: 1)) - 1 ofObject: (self internalStackValue: 2) withValue: result. self internalPop: 2; internalStackTopPut: result]. "3001 unchecked Byte Object>>at:put:. The receiver is guaranteed to be a non-pointer object. The 0-relative (1-relative?) index is an in-range SmallInteger. The argument is a SmallInteger. The primitive stores the least significant 8 bits." [1] -> [result := self internalStackTop. objectMemory storeByte: (objectMemory integerValueOf: (self internalStackValue: 1)) - 1 ofObject: (self internalStackValue: 2) withValue: (objectMemory integerValueOf: result). self internalPop: 2; internalStackTopPut: result]. "3002 unchecked Word Object>>at:put:. The receiver is guaranteed to be a non-pointer object. The 0-relative (1-relative?) index is an in-range SmallInteger. The argument is a SmallInteger. The primitive stores the least significant 16 bits." [2] -> [result := self internalStackTop. objectMemory storeShort16: (objectMemory integerValueOf: (self internalStackValue: 1)) - 1 ofObject: (self internalStackValue: 2) withValue: (objectMemory integerValueOf: result). self internalPop: 2; internalStackTopPut: result]. "3003 unchecked DoubleWord Object>>at:put:. The receiver is guaranteed to be a non-pointer object. The 0-relative (1-relative?) index is an in-range SmallInteger. The argument is a SmallInteger. The primitive stores the least significant 32 bits." [3] -> [result := self internalStackTop. objectMemory storeLong32: (objectMemory integerValueOf: (self internalStackValue: 1)) - 1 ofObject: (self internalStackValue: 2) withValue: (objectMemory integerValueOf: result). self internalPop: 2; internalStackTopPut: result]. "3004 unchecked QuadWord Object>>at:put:. The receiver is guaranteed to be a non-pointer object. The 0-relative (1-relative?) index is an in-range SmallInteger. The argument is a SmallInteger. The primitive stores the least significant 64 bits." [4] -> [result := self internalStackTop. objectMemory storeLong64: (objectMemory integerValueOf: (self internalStackValue: 1)) - 1 ofObject: (self internalStackValue: 2) withValue: (objectMemory integerValueOf: result). + self internalPop: 2; internalStackTopPut: result]. + "3021 Byte Object >> equals:length: + The receiver and the arguments are both byte objects and have both the same size (length in bytes). + The length argument is a smallinteger. + Answers true if all fields are equal, false if not. + Comparison is bulked to word comparison." + [21] -> [ | str1 str2 word1 word2 len | + len := objectMemory integerValueOf: self internalStackTop. + len = 0 ifTrue: [^self internalPop: 2; internalStackTopPut: objectMemory trueObject]. + str1 := self internalStackValue: 2. + str2 := self internalStackValue: 1. + 0 to: len - 1 >> objectMemory shiftForWord do: [:i | + word1 := objectMemory fetchPointer: i ofObject: str1. + word2 := objectMemory fetchPointer: i ofObject: str2. + word1 = word2 ifFalse: [^self internalPop: 2; internalStackTopPut: objectMemory falseObject] ]. + self internalPop: 2; internalStackTopPut: objectMemory trueObject ] } - self internalPop: 2; internalStackTopPut: result] } otherwise: [localIP := localIP - 3. self respondToUnknownBytecode]! Item was changed: ----- Method: StackInterpreter>>unaryInlinePrimitive: (in category 'miscellaneous bytecodes') ----- unaryInlinePrimitive: primIndex "SistaV1: 248 11111000 iiiiiiii mjjjjjjj Call Primitive #iiiiiiii + (jjjjjjj * 256) m=1 means inlined primitive, no hard return after execution." <option: #SistaVM> | result | primIndex caseOf: { "1000 unchecked class" [0] -> [result := objectMemory fetchClassOf: self internalStackTop. self internalStackTopPut: result]. "1001 unchecked pointer numSlots" [1] -> [result := objectMemory numSlotsOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1002 unchecked pointer basicSize" [2] -> [result := (objectMemory numSlotsOf: self internalStackTop) - (objectMemory fixedFieldsOfClass: (objectMemory fetchClassOfNonImm: self internalStackTop)). self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1003 unchecked byte8Type format numBytes (includes CompiledMethod)" [3] -> [result := objectMemory numBytesOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1004 unchecked short16Type format numShorts" [4] -> [result := objectMemory num16BitUnitsOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1005 unchecked word32Type format numWords" [5] -> [result := objectMemory num32BitUnitsOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1006 unchecked doubleWord64Type format numDoubleWords" [6] -> [result := objectMemory num64BitUnitsOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1011 unchecked fixed pointer basicNew" [11] -> [| classObj numSlots | classObj := self internalStackTop. numSlots := objectMemory instanceSizeOf: classObj. + result := objectMemory instantiateClass: classObj. + " result := objectMemory eeInstantiateSmallClass: classObj numSlots: numSlots. - result := objectMemory eeInstantiateSmallClass: classObj numSlots: numSlots. (extB noMask: 1) ifTrue: [0 to: numSlots - 1 do: + [:i| objectMemory storePointerUnchecked: i ofObject: result withValue: objectMemory nilObject]]." - [:i| objectMemory storePointerUnchecked: i ofObject: result withValue: objectMemory nilObject]]. extB := 0. numExtB := 0. self internalStackTopPut: result]. "1020 identityHash" [20] -> [result := objectMemory hashBitsOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)]. "1021 identityHash (SmallInteger)" "1022 identityHash (Character)" "1023 identityHash (SmallFloat64)" "1024 identityHash (Behavior)" "1030 immediateAsInteger (Character) 1031 immediateAsInteger (SmallFloat64)" [30] -> [ result := objectMemory characterValueOf: self internalStackTop. self internalStackTopPut: (objectMemory integerObjectOf: result)] } otherwise: [localIP := localIP - 3. self respondToUnknownBytecode]!

1 0

git and branch JMM/SleepTime
by Eliot Miranda 23 Mar '17

23 Mar '17

I don't understand how to see a branch's changes. I updated a clone of opensmalltalk-vm and switched to John's JMM/SleepTime branch: McStalker.oscogvm.clean$ git pull -a Already up-to-date. McStalker.oscogvm.clean$ git checkout -b JMM/SleepTime Switched to a new branch 'JMM/SleepTime' McStalker.oscogvm.clean$ git status On branch JMM/SleepTime nothing to commit, working tree clean then I searched for the code, of which there was no sign: McStalker.oscogvm.clean$ find platforms/iOS -type f -exec grep -H 'receive[A-Za-z]*Note' {} \; McStalker.oscogvm.clean$ diff platforms/iOS/vm/OSX/SqueakOSXAppDelegate.m ~/oscogvm/platforms/iOS/vm/OSX/SqueakOSXAppDelegate.m What gives? I'm on John's branch but I don't see his modifications. _,,,^..^,,,_ best, Eliot

4 11

Auto Cancellation on TravisCI
by Fabio Niephaus 23 Mar '17

23 Mar '17

Hi all, Just a quick info: I have enabled the new "Auto Cancellation" feature [1] on TravisCI for the OpenSmalltalkVM repository. Happy building, Fabio [1] https://blog.travis-ci.com/2017-03-22-introducing-auto-cancellation

4 4

VM Maker: VMMaker.oscog-eem.2176.mcz
by commits＠source.squeak.org 23 Mar '17

23 Mar '17

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.2176.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.2176 Author: eem Time: 22 March 2017, 8:11:39.73899 pm UUID: b18f5fff-59c9-4fb4-bc56-50a29e43c0a9 Ancestors: VMMaker.oscog-eem.2175 Fix in-image compilation for imported Sista methods which may not be decompileable. =============== Diff against VMMaker.oscog-eem.2175 =============== Item was changed: + ----- Method: Cogit class>>asOptionsDictionary: (in category 'in-image compilation support') ----- - ----- Method: Cogit class>>asOptionsDictionary: (in category 'in-image compilation') ----- asOptionsDictionary: optionsDictionaryOrArray optionsDictionaryOrArray isArray ifTrue: [| dict | dict := Dictionary new. self assert: optionsDictionaryOrArray size even. 1 to: optionsDictionaryOrArray size by: 2 do: [:i| | key | key := optionsDictionaryOrArray at: i. self assert: key isSymbol. dict at: key put: (optionsDictionaryOrArray at: i + 1)]. ^dict]. ^optionsDictionaryOrArray! Item was changed: + ----- Method: Cogit class>>attemptToComputeTempNamesFor: (in category 'in-image compilation support') ----- - ----- Method: Cogit class>>attemptToComputeTempNamesFor: (in category 'in-image compilation') ----- attemptToComputeTempNamesFor: aCompiledMethod (aCompiledMethod respondsTo: #tempNames) ifTrue: [| blocks | blocks := aCompiledMethod embeddedBlockClosures. initializationOptions at: #tempNames + put: (Dictionary withAll: {aCompiledMethod initialPC -> ([aCompiledMethod tempNames] + on: MessageNotUnderstood + do: [:ex| + (self isSistaMessage: ex message unimplementedIn: Decompiler) ifTrue: + [^self]. + ex pass])}, - put: (Dictionary withAll: {aCompiledMethod initialPC -> aCompiledMethod tempNames}, (blocks ifEmpty: [#()] ifNotEmpty: [aCompiledMethod embeddedBlockClosures with: ((aCompiledMethod methodNode schematicTempNamesString allButFirst: (aCompiledMethod methodNode schematicTempNamesString indexOf: $[)) piecesCutWhere: [:a :b| b = $[]) collect: [:c :s| c startpc -> s substrings]]))]! Item was changed: + ----- Method: Cogit class>>instanceForTests: (in category 'in-image compilation support') ----- - ----- Method: Cogit class>>instanceForTests: (in category 'in-image compilation') ----- instanceForTests: optionsDictionaryOrArray "Initialize all the relevant classes from the options and answer a new instance of me." | initOptions | initOptions := self asOptionsDictionary: optionsDictionaryOrArray. CoInterpreter initializeWithOptions: initOptions. CoInterpreter objectMemoryClass initializeWithOptions: initOptions. self initializeWithOptions: initOptions. ^self new! Item was added: + ----- Method: Cogit class>>isSistaMessage:unimplementedIn: (in category 'in-image compilation support') ----- + isSistaMessage: aMessageOrSelector unimplementedIn: aClass + | selector | + selector := aMessageOrSelector selector. + ^(InstructionClient includesSelector: selector) + and: [(aClass includesSelector: selector) not]! Item was changed: ----- Method: CurrentImageCoInterpreterFacade>>oopForObject: (in category 'object map') ----- oopForObject: o + self subclassResponsibility! - ^(o isInteger and: [o between: objectMemory minSmallInteger and: objectMemory maxSmallInteger]) - ifTrue: [o << 1 bitOr: 1] - ifFalse: [objectMap at: o ifAbsentPut: [objectMap size * 8 + (1024 * 1024)]]! Item was changed: ----- Method: CurrentImageCoInterpreterFacadeFor64BitSpurObjectRepresentation>>objectForOop: (in category 'private-cacheing') ----- objectForOop: anOop "This is a keyAtValue: search and so needs speeding up either by a reverse map or a simple cache." ^(anOop bitAnd: 7) caseOf: { [0] -> [anOop = cachedOop ifTrue: [cachedObject] ifFalse: [cachedObject := objectMap keyAtValue: anOop. "may raise Error" + cachedOop := anOop. "Don't assign until accessed without error" - cachedOop := anOop. "Dom't assign until accessed without error" cachedObject]]. [1] -> [anOop signedIntFromLong64 >> 3]. [2] -> [Character value: anOop >> 3]. [4] -> [objectMemory smallFloatValueOf: anOop] }! Item was added: + ----- Method: CurrentImageCoInterpreterFacadeForSpurObjectRepresentation>>fetchClassTagOf: (in category 'accessing') ----- + fetchClassTagOf: anOop + | class | + self assert: SmalltalkImage current isRunningSpur. + class := (self objectForOop: anOop) class. + ^SystemVersion current isPharo + ifTrue: [class basicIdentityHash] + ifFalse: [class identityHash]! Item was changed: ----- Method: CurrentImageCoInterpreterFacadeForSpurObjectRepresentation>>objectForOop: (in category 'private-cacheing') ----- objectForOop: anOop "This is a keyAtValue: search and so needs speeding up either by a reverse map or a simple cache." ^(anOop bitAnd: 3) caseOf: { [0] -> [anOop = cachedOop ifTrue: [cachedObject] ifFalse: [cachedObject := objectMap keyAtValue: anOop. "may raise Error" + cachedOop := anOop. "Don't assign until accessed without error" - cachedOop := anOop. "Dom't assign until accessed without error" cachedObject]]. [1] -> [anOop signedIntFromLong >> 1]. [2] -> [Character value: anOop >> 2]. [3] -> [anOop signedIntFromLong >> 1] }! Item was changed: ----- Method: CurrentImageCoInterpreterFacadeForSqueakV3ObjectRepresentation>>objectForOop: (in category 'private-cacheing') ----- objectForOop: anOop "This is a keyAtValue: search and so needs speeding up either by a reverse map or a simple cache." ^(anOop bitAnd: 3) caseOf: { [0] -> [anOop = cachedOop ifTrue: [cachedObject] ifFalse: [cachedObject := objectMap keyAtValue: anOop. "may raise Error" + cachedOop := anOop. "Don't assign until accessed without error" - cachedOop := anOop. "Dom't assign until accessed without error" cachedObject]]. [1] -> [anOop signedIntFromLong >> 1]. [3] -> [anOop signedIntFromLong >> 1] }! Item was added: + ----- Method: CurrentImageCoInterpreterFacadeForSqueakV3ObjectRepresentation>>oopForObject: (in category 'object map') ----- + oopForObject: o + ^(o isInteger and: [o between: objectMemory minSmallInteger and: objectMemory maxSmallInteger]) + ifTrue: [o << 1 bitOr: 1] + ifFalse: [objectMap at: o ifAbsentPut: [objectMap size * 8 + (1024 * 1024)]]!

1 0

VM Maker: BytecodeSets.spur-eem.74.mcz
by commits＠source.squeak.org 23 Mar '17

23 Mar '17

Eliot Miranda uploaded a new version of BytecodeSets to project VM Maker: http://source.squeak.org/VMMaker/BytecodeSets.spur-eem.74.mcz ==================== Summary ==================== Name: BytecodeSets.spur-eem.74 Author: eem Time: 22 March 2017, 7:37:44.299724 pm UUID: 14e3a350-e456-495c-9b67-ba267423dc40 Ancestors: BytecodeSets.spur-eem.73 Add sizePushFullClosure:numCopied: =============== Diff against BytecodeSets.spur-eem.73 =============== Item was added: + ----- Method: BytecodeEncoder>>sizePushFullClosure:numCopied: (in category '*BytecodeSets-opcode sizing') ----- + sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied + ^self sizeOpcodeSelector: #genPushFullClosure:numCopied: withArguments: {compiledBlockLiteralIndex.numCopied}!

1 0

VM Maker: BytecodeSets.spur-eem.73.mcz
by commits＠source.squeak.org 23 Mar '17

23 Mar '17

Eliot Miranda uploaded a new version of BytecodeSets to project VM Maker: http://source.squeak.org/VMMaker/BytecodeSets.spur-eem.73.mcz ==================== Summary ==================== Name: BytecodeSets.spur-eem.73 Author: eem Time: 22 March 2017, 7:32:39.073482 pm UUID: 6933b8f2-1acc-4597-be42-e434e43aeb44 Ancestors: BytecodeSets.spur-cb.72 Move the Sista sizers up from EncoderForSistaV1 into their proper location in BytecodeEncoder. Add the sizers for the RemoteInstanceVariable variants of the RemoteTemp bytecodes, and the branchIfInstanceOf bytecodes. =============== Diff against BytecodeSets.spur-cb.72 =============== Item was added: + ----- Method: BytecodeEncoder>>sizeBranchIfInstanceOf:distance: (in category '*BytecodeSets-opcode sizing') ----- + sizeBranchIfInstanceOf: behaviorOrArrayOfBehaviorLiteralIndex distance: jumpDistance + ^self sizeOpcodeSelector: #genBranchIfInstanceOf:distance: + withArguments: {behaviorOrArrayOfBehaviorLiteralIndex. jumpDistance}! Item was added: + ----- Method: BytecodeEncoder>>sizePushRemoteInstanceVariable:inObjectAt: (in category '*BytecodeSets-opcode sizing') ----- + sizePushRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex + ^self sizeOpcodeSelector: #genPushRemoteInstanceVariable:inObjectAt: + withArguments: {tempIndex. InstVarIndex}! Item was added: + ----- Method: BytecodeEncoder>>sizeStorePopRemoteInstanceVariable:inObjectAt: (in category '*BytecodeSets-opcode sizing') ----- + sizeStorePopRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex + ^self sizeOpcodeSelector: #genStorePopRemoteInstanceVariable:inObjectAt: + withArguments: {tempIndex. InstVarIndex}! Item was added: + ----- Method: BytecodeEncoder>>sizeStoreRemoteInstanceVariable:inObjectAt: (in category '*BytecodeSets-opcode sizing') ----- + sizeStoreRemoteInstanceVariable: tempIndex inObjectAt: InstVarIndex + ^self sizeOpcodeSelector: #genStoreRemoteInstanceVariable:inObjectAt: + withArguments: {tempIndex. InstVarIndex}! Item was changed: ----- Method: BytecodeEncoder>>sizeTrap (in category '*BytecodeSets-opcode sizing') ----- sizeTrap ^self sizeOpcodeSelector: #genTrap withArguments: #()! Item was added: + ----- Method: EncoderForSistaV1>>genSendDirectedSuper:numArgs: (in category 'extended bytecode generation') ----- + genSendDirectedSuper: selectorLiteralIndex numArgs: nArgs + | extendedIndex | + (selectorLiteralIndex < 0 or: [selectorLiteralIndex > 65535]) ifTrue: + [^self outOfRangeError: 'selectorLiteralIndex' index: selectorLiteralIndex range: 0 to: 65535]. + (nArgs < 0 or: [nArgs > 31]) ifTrue: + [^self outOfRangeError: 'numArgs' index: nArgs range: 0 to: 31 "!!!!"]. + (extendedIndex := selectorLiteralIndex) > 31 ifTrue: + [self genUnsignedSingleExtendA: extendedIndex // 32. + extendedIndex := extendedIndex \\ 32]. + "Bit 6 of the ExtB byte is the directed send flag. Bit 6 allows for future expansion to up to 255 args." + self genUnsignedSingleExtendB: nArgs // 8 + 64. + "235 11101011 iiiiijjj Send To Superclass Literal Selector #iiiii (+ Extend A * 32) with jjj (+ Extend B * 8) Arguments" + stream + nextPut: 235; + nextPut: nArgs \\ 8 + (extendedIndex * 8)! Item was removed: - ----- Method: EncoderForSistaV1>>sizeBranchIfInstanceOf:distance:orNot: (in category 'special literal encodings') ----- - sizeBranchIfInstanceOf: literalIndex distance: distance orNot: boolean - ^self sizeOpcodeSelector: #genBranchIfInstanceOf:distance:orNot: withArguments: {literalIndex.distance.boolean}! Item was removed: - ----- Method: EncoderForSistaV1>>sizePushFullClosure:numCopied: (in category 'special literal encodings') ----- - sizePushFullClosure: compiledBlockLiteralIndex numCopied: numCopied - ^self sizeOpcodeSelector: #genPushFullClosure:numCopied: withArguments: {compiledBlockLiteralIndex.numCopied}! Item was removed: - ----- Method: EncoderForSistaV1>>sizeTrap (in category 'special literal encodings') ----- - sizeTrap - ^self sizeOpcodeSelector: #genTrap withArguments: #()!

1 0

Re: [Vm-dev] [Pharo-dev] [ANN] PharoNOS
by Ronie Salgado 23 Mar '17

23 Mar '17

Hi, With the experimental Lowcode backend for the UFFI, it is possible to call functions with almost arbitrary calling conventions. For some of the special assembly instructions that are required by this project, I could add the following extra instruction: - storeIntoSpecialRegister: {CR0, CR1, CR2, CR3, CR4, CR5, GDT, LDT, IDT) - loadFromSpecialRegister: - loadFromIOPortU?Int{8,16,32}: - storeIntoIOPortU?Int{8,16,32}: As for the interruptions, there are far trickier because they can be triggered in any time. They probably would require some special trampoline for storing/restoring the VM state, something similar to the callbacks. Currently I am finishing a refactoring of the Lowcode register allocator, so the Lowcode VM is out of service for this week :) . Hey, guys, i'd like to stress, that AsmJit > is quite standalone part of NB, and nothing prevents you to use it in own > way, not the way NB was.. > Because NB was born to make nice integration between machine code and VM , > and providing FFI, > and as a demonstration that generating machine code IS possible and quite > doable from within an image. > > But there's a tons of ways how you could generate machine code, and then > use it outside the scope of FFI. > You could just make own llittle primitive, that just makes a call on > arbitrary address, and put your generated code on it.. Voila. > Again, you could store generated code not in method(s) trailer , but > somewhere else.. it just up to you, after all. > For instance i had parts that were storing generated code directly in > COG's JITter, replacing its primitive section. > So, that make a nice integration with JIT, that just using your code as a > primitive for given method.. > All is doable, when you working at lowest level, you just need to think > how to expose it in convenient way. > For GPU compilation, I implemented a SSA based intermediate representation very similar to the one used by LLVM. As a experiment, I did a very basic machine code generator which can produce relocatable ELF32 and ELF64 object files, which can be linked with any C library or program. With this I managed to implement a basic ahead of time compiled Smalltalk runtime. Before starting that backend, I took a look on AsmJit and the VirtualCPU and I did not like the dependencies and some details about the stack. However, now I do not like the low level backend so I started refactoring into a separate package, but I still think that I should take yet another look to AsmJit and the VirtualCPU, so I am wondering where is actually located the latest version of these two projects. Best regards, Ronie 2017-03-22 14:29 GMT-03:00 Igor Stasenko <siguctua(a)gmail.com>: > > Hey, guys, i'd like to stress, that AsmJit > is quite standalone part of NB, and nothing prevents you to use it in own > way, not the way NB was.. > Because NB was born to make nice integration between machine code and VM , > and providing FFI, > and as a demonstration that generating machine code IS possible and quite > doable from within an image. > > But there's a tons of ways how you could generate machine code, and then > use it outside the scope of FFI. > You could just make own llittle primitive, that just makes a call on > arbitrary address, and put your generated code on it.. Voila. > Again, you could store generated code not in method(s) trailer , but > somewhere else.. it just up to you, after all. > For instance i had parts that were storing generated code directly in > COG's JITter, replacing its primitive section. > So, that make a nice integration with JIT, that just using your code as a > primitive for given method.. > All is doable, when you working at lowest level, you just need to think > how to expose it in convenient way. > > -- > Best regards, > Igor Stasenko. >

2 1

Re: [Vm-dev] git and branch JMM/SleepTime
by Jakob Reschke 23 Mar '17

23 Mar '17

You can cherry-pick whole commits with git cherry-pick. If you only want some files or a directory from a specific commit, use git checkout <commit or branch> -- <list of file paths> then git add and git commit them as usual. 2017-03-22 23:59 GMT+01:00 Eliot Miranda <eliot.miranda(a)gmail.com>: >

1 1

[OpenSmalltalk/opensmalltalk-vm] 055bae: unix config: be robust to broken libtool failing t...
by GitHub 22 Mar '17

22 Mar '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 055bae660564200f99228f4e84927c69decb6bb1 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/055bae660564200f99… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2017-03-22 (Wed, 22 Mar 2017) Changed paths: M platforms/unix/plugins/XDisplayControlPlugin/Makefile.inc Log Message: ----------- unix config: be robust to broken libtool failing to generate the .so This change might be required as workaround to issue 126 https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/126 Normally one would avoid the issue by: `cd platforms/unix/config; make configure`

1 0

[OpenSmalltalk/opensmalltalk-vm] e67f8d: Cope for a special XCode argument
by GitHub 22 Mar '17

22 Mar '17

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: e67f8dc97fc56c3d7346f37eebb86bc17220e2aa https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/e67f8dc97fc56c3d73… Author: Tobias Pape <tobias(a)netshed.de> Date: 2017-01-31 (Tue, 31 Jan 2017) Changed paths: M platforms/iOS/vm/OSX/sqSqueakOSXApplication.m Log Message: ----------- Cope for a special XCode argument Commit: b076561abada1884750d75a7b144f1450acb949e https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/b076561abada188475… Author: Tobias Pape <tobias(a)netshed.de> Date: 2017-03-22 (Wed, 22 Mar 2017) Changed paths: M .appveyor.yml M .travis.yml M .travis_build.sh M .travis_install.sh M build.linux32ARMv6/editpharoinstall.sh R build.linux32ARMv6/mkNamedPrims.sh M build.linux32ARMv6/pharo.cog.spur/build.assert/mvm M build.linux32ARMv6/pharo.cog.spur/build.debug/mvm M build.linux32ARMv6/pharo.cog.spur/build/mvm M build.linux32ARMv6/pharo.cog.spur/prepare-rpi.sh R build.linux32ARMv7/mkNamedPrims.sh M build.linux32x86/editpharoinstall.sh R build.linux32x86/mkNamedPrims.sh A build.linux32x86/pharo.cog.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.cog.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.cog.spur.lowcode/build/mvm A build.linux32x86/pharo.cog.spur.lowcode/makeallclean A build.linux32x86/pharo.cog.spur.lowcode/makealldirty A build.linux32x86/pharo.cog.spur.lowcode/plugins.ext A build.linux32x86/pharo.cog.spur.lowcode/plugins.int M build.linux32x86/pharo.cog.spur/build.assert.itimerheartbeat/mvm M build.linux32x86/pharo.cog.spur/build.assert/mvm M build.linux32x86/pharo.cog.spur/build.debug.itimerheartbeat/mvm M build.linux32x86/pharo.cog.spur/build.debug/mvm M build.linux32x86/pharo.cog.spur/build.itimerheartbeat/mvm M build.linux32x86/pharo.cog.spur/build/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.assert.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.assert/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.debug/mvm A build.linux32x86/pharo.stack.spur.lowcode/build.itimerheartbeat/mvm A build.linux32x86/pharo.stack.spur.lowcode/build/mvm A build.linux32x86/pharo.stack.spur.lowcode/makeallclean A build.linux32x86/pharo.stack.spur.lowcode/makealldirty A build.linux32x86/pharo.stack.spur.lowcode/plugins.ext A build.linux32x86/pharo.stack.spur.lowcode/plugins.int M build.linux32x86/third-party/Makefile.libgit2 M build.linux32x86/third-party/Makefile.libssh2 A build.linux32x86/third-party/Makefile.openssl M build.linux64x64/editpharoinstall.sh R build.linux64x64/mkNamedPrims.sh M build.linux64x64/pharo.cog.spur/build.assert.itimerheartbeat/mvm M build.linux64x64/pharo.cog.spur/build.assert/mvm M build.linux64x64/pharo.cog.spur/build.debug.itimerheartbeat/mvm M build.linux64x64/pharo.cog.spur/build.debug/mvm M build.linux64x64/pharo.cog.spur/build.itimerheartbeat/mvm M build.linux64x64/pharo.cog.spur/build/mvm A build.linux64x64/third-party/Makefile.openssl A build.macos32x86/pharo.cog.spur.lowcode/Makefile A build.macos32x86/pharo.cog.spur.lowcode/mvm A build.macos32x86/pharo.cog.spur.lowcode/plugins.ext A build.macos32x86/pharo.cog.spur.lowcode/plugins.int A build.macos32x86/pharo.stack.spur.lowcode/Makefile A build.macos32x86/pharo.stack.spur.lowcode/mvm A build.macos32x86/pharo.stack.spur.lowcode/plugins.ext A build.macos32x86/pharo.stack.spur.lowcode/plugins.int M build.macos32x86/pharo.stack.spur/Makefile A build.macos64x64/pharo.cog.spur.lowcode/Makefile A build.macos64x64/pharo.cog.spur.lowcode/mvm A build.macos64x64/pharo.cog.spur.lowcode/plugins.ext A build.macos64x64/pharo.cog.spur.lowcode/plugins.int A build.macos64x64/pharo.stack.spur.lowcode/Makefile A build.macos64x64/pharo.stack.spur.lowcode/mvm A build.macos64x64/pharo.stack.spur.lowcode/plugins.ext A build.macos64x64/pharo.stack.spur.lowcode/plugins.int A build.macos64x64/pharo.stack.spur/Makefile A build.macos64x64/pharo.stack.spur/mvm A build.macos64x64/pharo.stack.spur/plugins.ext A build.macos64x64/pharo.stack.spur/plugins.int M build.win32x86/common/Makefile.lib.extra A build.win32x86/pharo.cog.spur.lowcode/Makefile A build.win32x86/pharo.cog.spur.lowcode/Pharo.def.in A build.win32x86/pharo.cog.spur.lowcode/Pharo.exe.manifest A build.win32x86/pharo.cog.spur.lowcode/Pharo.ico A build.win32x86/pharo.cog.spur.lowcode/Pharo.rc A build.win32x86/pharo.cog.spur.lowcode/mvm A build.win32x86/pharo.cog.spur.lowcode/plugins.ext A build.win32x86/pharo.cog.spur.lowcode/plugins.int M build.win32x86/pharo.cog.spur/Makefile M build.win32x86/pharo.cog.spur/Pharo.exe.manifest M build.win32x86/pharo.cog.spur/Pharo.rc M build.win32x86/pharo.cog.spur/mvm A build.win32x86/squeak.cog.spur.lowcode/Croquet.def.in A build.win32x86/squeak.cog.spur.lowcode/Croquet.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Croquet.ico A build.win32x86/squeak.cog.spur.lowcode/Croquet.rc A build.win32x86/squeak.cog.spur.lowcode/GreenCogSqueak.ico A build.win32x86/squeak.cog.spur.lowcode/Makefile A build.win32x86/squeak.cog.spur.lowcode/Squeak.def.in A build.win32x86/squeak.cog.spur.lowcode/Squeak.exe.manifest A build.win32x86/squeak.cog.spur.lowcode/Squeak.rc A build.win32x86/squeak.cog.spur.lowcode/mvm A build.win32x86/squeak.cog.spur.lowcode/plugins.ext A build.win32x86/squeak.cog.spur.lowcode/plugins.int A build.win32x86/squeak.cog.spur.lowcode/squeak.ico M build.win32x86/third-party/Makefile.cairo M build.win32x86/third-party/Makefile.freetype2 M build.win32x86/third-party/Makefile.libgcc M build.win32x86/third-party/Makefile.libgit2 M build.win32x86/third-party/Makefile.libpng M build.win32x86/third-party/Makefile.libsdl2 M build.win32x86/third-party/Makefile.libssh2 M build.win32x86/third-party/Makefile.openssl M build.win32x86/third-party/Makefile.pixman M build.win32x86/third-party/Makefile.pkgconfig M build.win32x86/third-party/Makefile.zlib A build.win32x86/third-party/Toolchain-cross-mingw32-cygwin.cmake M build.win64x64/common/Makefile A build.win64x64/common/Makefile.lib.extra M build.win64x64/common/Makefile.tools A build.win64x64/pharo.stack.spur/Makefile A build.win64x64/pharo.stack.spur/Pharo.def.in A build.win64x64/pharo.stack.spur/Pharo.exe.manifest A build.win64x64/pharo.stack.spur/Pharo.ico A build.win64x64/pharo.stack.spur/Pharo.rc A build.win64x64/pharo.stack.spur/mvm A build.win64x64/pharo.stack.spur/plugins.ext A build.win64x64/pharo.stack.spur/plugins.int A build.win64x64/third-party/Makefile.cairo A build.win64x64/third-party/Makefile.freetype2 A build.win64x64/third-party/Makefile.libgcc A build.win64x64/third-party/Makefile.libgit2 A build.win64x64/third-party/Makefile.libpng A build.win64x64/third-party/Makefile.libsdl2 A build.win64x64/third-party/Makefile.libssh2 A build.win64x64/third-party/Makefile.openssl A build.win64x64/third-party/Makefile.pixman A build.win64x64/third-party/Makefile.pkgconfig A build.win64x64/third-party/Makefile.zlib A build.win64x64/third-party/Toolchain-cross-mingw32-cygwin.cmake M nsspur64src/vm/cogit.c M nsspur64src/vm/cogit.h R nsspur64src/vm/cogitX64.c A nsspur64src/vm/cogitX64SysV.c A nsspur64src/vm/cogitX64WIN64.c M nsspur64src/vm/cogmethod.h M nsspur64src/vm/cointerp.c M nsspur64src/vm/cointerp.h M nsspur64src/vm/gcc3x-cointerp.c M nsspur64src/vm/interp.h M nsspur64src/vm/vmCallback.h M nsspursrc/vm/cogit.h M nsspursrc/vm/cogitARMv5.c M nsspursrc/vm/cogitIA32.c M nsspursrc/vm/cogitMIPSEL.c M nsspursrc/vm/cogmethod.h M nsspursrc/vm/cointerp.c M nsspursrc/vm/cointerp.h M nsspursrc/vm/gcc3x-cointerp.c M nsspursrc/vm/interp.h M nsspursrc/vm/vmCallback.h M nsspurstack64src/vm/gcc3x-interp.c M nsspurstack64src/vm/interp.c M nsspurstack64src/vm/interp.h M nsspurstack64src/vm/vmCallback.h M nsspurstacksrc/vm/gcc3x-interp.c M nsspurstacksrc/vm/interp.c M nsspurstacksrc/vm/interp.h M nsspurstacksrc/vm/vmCallback.h A platforms/Cross/plugins/IA32ABI/arm32abicc.c R platforms/Cross/plugins/IA32ABI/arm32ia32abicc.c M platforms/Cross/plugins/IA32ABI/ia32abicc.c M platforms/Cross/plugins/IA32ABI/ppc32abicc.c R platforms/Cross/plugins/IA32ABI/x64ia32abicc.c A platforms/Cross/plugins/IA32ABI/x64sysvabicc.c A platforms/Cross/plugins/IA32ABI/x64win64abicc.c R platforms/Cross/plugins/IA32ABI/x64win64ia32abicc.c M platforms/Cross/plugins/IA32ABI/xabicc.c M platforms/Cross/plugins/JPEGReadWriter2Plugin/Error.c M platforms/Cross/plugins/JPEGReadWriter2Plugin/JPEGReadWriter2Plugin.h A platforms/Cross/plugins/JPEGReadWriter2Plugin/README A platforms/Cross/plugins/JPEGReadWriter2Plugin/README.6b2 M platforms/Cross/plugins/JPEGReadWriter2Plugin/jdmarker.c M platforms/Cross/plugins/JPEGReadWriter2Plugin/sqJPEGReadWriter2Plugin.c M platforms/Cross/plugins/SurfacePlugin/SurfacePlugin.c M platforms/Cross/vm/sq.h M platforms/Cross/vm/sqLowcodeFFI-i386.h M platforms/Cross/vm/sqLowcodeFFI-x86_64.h M platforms/Cross/vm/sqMemoryAccess.h M platforms/Cross/vm/sqVirtualMachine.c M platforms/Cross/vm/sqVirtualMachine.h M platforms/Mac OS/plugins/SecurityPlugin/sqMacSecurity.c M platforms/RiscOS/plugins/SecurityPlugin/sqRPCSecurity.c M platforms/iOS/plugins/CameraPlugin/AVFoundationVideoGrabber.m M platforms/iOS/plugins/SecurityPlugin/sqMacSecurity.c M platforms/iOS/vm/Common/Classes/sqSqueakMainApplication+attributes.m M platforms/iOS/vm/OSX/SqueakOSXAppDelegate.m M platforms/iOS/vm/OSX/sqSqueakOSXOpenGLView.m M platforms/unix/config/Makefile M platforms/unix/config/Makefile.in M platforms/unix/config/acinclude.m4 M platforms/unix/config/configure.ac M platforms/unix/config/ltmain.sh M platforms/unix/plugins/MIDIPlugin/acinclude.m4 M platforms/unix/plugins/MIDIPlugin/sqUnixMIDI.c M platforms/unix/plugins/PseudoTTYPlugin/acinclude.m4 M platforms/unix/plugins/SecurityPlugin/sqUnixSecurity.c M platforms/unix/plugins/UnixOSProcessPlugin/acinclude.m4 M platforms/unix/plugins/XDisplayControlPlugin/Makefile.inc M platforms/unix/vm-display-Quartz/acinclude.m4 M platforms/unix/vm-display-X11/Makefile.in M platforms/unix/vm-display-X11/acinclude.m4 M platforms/unix/vm-sound-Sun/acinclude.m4 M platforms/unix/vm/Makefile.in M platforms/unix/vm/acinclude.m4 M platforms/unix/vm/aio.c M platforms/unix/vm/sqConfig.h M platforms/unix/vm/sqUnixHeartbeat.c M platforms/win32/plugins/Mpeg3Plugin/Makefile.win32 M platforms/win32/plugins/SecurityPlugin/sqWin32Security.c M platforms/win32/plugins/SqueakSSL/Makefile M platforms/win32/plugins/SqueakSSL/Makefile.plugin M platforms/win32/vm/sqWin32Window.c M scripts/gitci M scripts/gitrevert M specs/lowcode.xml M spur64src/vm/cogit.c M spur64src/vm/cogit.h R spur64src/vm/cogitX64.c A spur64src/vm/cogitX64SysV.c A spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/gcc3x-cointerp.c M spur64src/vm/interp.h M spur64src/vm/vmCallback.h A spurlowcode64src/examplePlugins.ext A spurlowcode64src/examplePlugins.int A spurlowcode64src/vm/cogit.c A spurlowcode64src/vm/cogit.h A spurlowcode64src/vm/cogitX64SysV.c A spurlowcode64src/vm/cogitX64WIN64.c A spurlowcode64src/vm/cogmethod.h A spurlowcode64src/vm/cointerp.c A spurlowcode64src/vm/cointerp.h A spurlowcode64src/vm/exampleSqNamedPrims.h A spurlowcode64src/vm/gcc3x-cointerp.c A spurlowcode64src/vm/interp.h A spurlowcode64src/vm/vmCallback.h A spurlowcodesrc/examplePlugins.ext A spurlowcodesrc/examplePlugins.int A spurlowcodesrc/vm/cogit.c A spurlowcodesrc/vm/cogit.h A spurlowcodesrc/vm/cogitARMv5.c A spurlowcodesrc/vm/cogitIA32.c A spurlowcodesrc/vm/cogitMIPSEL.c A spurlowcodesrc/vm/cogmethod.h A spurlowcodesrc/vm/cointerp.c A spurlowcodesrc/vm/cointerp.h A spurlowcodesrc/vm/exampleSqNamedPrims.h A spurlowcodesrc/vm/gcc3x-cointerp.c A spurlowcodesrc/vm/interp.h A spurlowcodesrc/vm/vmCallback.h A spurlowcodestack64src/examplePlugins.ext A spurlowcodestack64src/examplePlugins.int A spurlowcodestack64src/vm/exampleSqNamedPrims.h A spurlowcodestack64src/vm/gcc3x-interp.c A spurlowcodestack64src/vm/interp.c A spurlowcodestack64src/vm/interp.h A spurlowcodestack64src/vm/vmCallback.h A spurlowcodestacksrc/examplePlugins.ext A spurlowcodestacksrc/examplePlugins.int A spurlowcodestacksrc/vm/exampleSqNamedPrims.h A spurlowcodestacksrc/vm/gcc3x-interp.c A spurlowcodestacksrc/vm/interp.c A spurlowcodestacksrc/vm/interp.h A spurlowcodestacksrc/vm/vmCallback.h M spursista64src/vm/cogit.c M spursista64src/vm/cogit.h R spursista64src/vm/cogitX64.c A spursista64src/vm/cogitX64SysV.c A spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c M spursista64src/vm/interp.h M spursista64src/vm/vmCallback.h M spursistasrc/vm/cogit.h M spursistasrc/vm/cogitARMv5.c M spursistasrc/vm/cogitIA32.c M spursistasrc/vm/cogitMIPSEL.c M spursistasrc/vm/cointerp.c M spursistasrc/vm/cointerp.h M spursistasrc/vm/gcc3x-cointerp.c M spursistasrc/vm/interp.h M spursistasrc/vm/vmCallback.h A spursistastacksrc/examplePlugins.ext A spursistastacksrc/examplePlugins.int A spursistastacksrc/vm/exampleSqNamedPrims.h A spursistastacksrc/vm/gcc3x-interp.c A spursistastacksrc/vm/interp.c A spursistastacksrc/vm/interp.h A spursistastacksrc/vm/vmCallback.h M spursrc/vm/cogit.h M spursrc/vm/cogitARMv5.c M spursrc/vm/cogitIA32.c M spursrc/vm/cogitMIPSEL.c M spursrc/vm/cointerp.c M spursrc/vm/cointerp.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/interp.h M spursrc/vm/vmCallback.h M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstack64src/vm/interp.h M spurstack64src/vm/vmCallback.h M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M spurstacksrc/vm/interp.h M spurstacksrc/vm/vmCallback.h M src/plugins/BitBltPlugin/BitBltPlugin.c M src/plugins/IA32ABI/IA32ABI.c M src/plugins/SecurityPlugin/SecurityPlugin.c M src/plugins/ZipPlugin/ZipPlugin.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cogmethod.h M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/cointerpmt.c M src/vm/cointerpmt.h M src/vm/gcc3x-cointerp.c M src/vm/gcc3x-cointerpmt.c M src/vm/interp.h M src/vm/vmCallback.h M stacksrc/vm/gcc3x-interp.c M stacksrc/vm/interp.c M stacksrc/vm/interp.h M stacksrc/vm/vmCallback.h M third-party/cairo.spec M third-party/freetype2.spec M third-party/libpng.spec.win M third-party/libsdl2.spec M third-party/libssh2.spec M third-party/openssl.spec M third-party/zlib.spec Log Message: ----------- Merge remote-tracking branch 'refs/remotes/origin/Cog' into Cog * refs/remotes/origin/Cog: (136 commits) Revert "Linux (& unix/Mac OS X):" Revert "unix config fix: there should be no space after -L option" unix config fix: there should be no space after -L option CogVM source as per VMMaker.oscog-eem.2175 Linux (& unix/Mac OS X): Fix the build of the XDisplayControlPlugin on linuxes where .so is not appended to shared objects. Fix the language in sqUnixHeartbeat.c and add more information. Make the code exclusive to linux, and use exeName instead of a hardwired name. If pthread_setschedparam fails, issue the existing warning to stderr but do not exit the VM. Fix aio.c for linux CogVM source as per VMMaker.oscog-eem.2174 CogVM source as per VMMaker.oscog-eem.2174 addIdleUsecs must be defined local to aio.h to avoid conflicts with the sq.h define in other fils that include sqaio.h. More care needed to declare addIdleUsecs in sqaio.h And delare addIdleUsecs. CogVM source as per VMMaker.oscog-eem.2167 Don't hardcode an obsolete i486 arch for mpeg3 plugin Exclude SqueakSSL from plugins in win64 Take the specified COGDEFS into account fix some “return return” errors Correct 64bits reference for libgcc dll Merge commit '1f817751ec059623860466136ba917c76704f9fe' CogVM source as per VMMaker.oscog-eem.2166 ... Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/ce673d0a6a7c...b0…

1 0

← Newer
1
2
3
4
5
6
7
...
16
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev March 2017