Vm-dev August 2021

vm-dev@lists.squeakfoundation.org

17 participants
161 discussions

VM Maker: VMMaker.oscog-eem.3017.mcz
by commits＠source.squeak.org 03 Aug '21

03 Aug '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3017.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3017 Author: eem Time: 2 August 2021, 6:08:24.214751 pm UUID: 616c26f8-2727-40e1-a267-a779f796c63a Ancestors: VMMaker.oscog-eem.3016 CroquetPlugin: Oops. Add the new export directive to primitiveTriBoxIntersects. =============== Diff against VMMaker.oscog-eem.3016 =============== Item was changed: ----- Method: CroquetPlugin>>primitiveTriBoxIntersects (in category 'transforms') ----- primitiveTriBoxIntersects "Primitive. Answer whether an AABB intersects with a given triangle" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | minCorner maxCorner v0 v1 v2 result | v2 := self stackVector3: 0. v1 := self stackVector3: 1. v0 := self stackVector3: 2. maxCorner := self stackVector3: 3. minCorner := self stackVector3: 4. (v0 isNil or: [v1 isNil or: [v2 isNil or: [maxCorner isNil or: [minCorner isNil]]]]) ifTrue: [^interpreterProxy primitiveFail]. "N.B. as of 8/2021 triBoxOverlap is simply a stub." result := self triBoxOverlap: minCorner _: maxCorner _: v0 _: v1 _: v2. result < 0 ifTrue:[^interpreterProxy primitiveFail]. ^interpreterProxy methodReturnBool: result > 0!

1 0

VM Maker: VMMaker.oscog-eem.3016.mcz
by commits＠source.squeak.org 03 Aug '21

03 Aug '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3016.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3016 Author: eem Time: 2 August 2021, 5:57:04.740407 pm UUID: 97c19fe4-c1e8-4d60-866f-eb979d499a5d Ancestors: VMMaker.oscog-eem.3015 Slang: Fix a regression with plugin generation on simplifying emitExportsOn: now that accessor depths are computed earlier. =============== Diff against VMMaker.oscog-eem.3015 =============== Item was changed: ----- Method: CCodeGenerator>>accessorDepthForMethod: (in category 'spur primitive compilation') ----- accessorDepthForMethod: method "Compute the depth the method traverses object structure, assuming it is a primitive. This is in support of Spur's lazy become. A primitive may fail because it may encounter a forwarder. The primitive failure code needs to know to what depth it must follow arguments to follow forwarders and, if any are found and followed, retry the primitive. This method determines that depth. It starts by collecting references to the stack and then follows these through assignments to variables and use of accessor methods such as fetchPointer:ofObject:. For example | obj field | obj := self stackTop. field := objectMemory fetchPointer: 1 ofObject: obj. self storePointer: 1 ofObject: field withValue: (self stackValue: 1) has depth 2, since field is accessed, and field is an element of obj. The information is cached since it needs to be computed *before* inlining" ^accessorDepthCache at: method smalltalkSelector ifAbsentPut: [beganInlining ifTrue: + [(method export + or: [vmClass notNil or: [vmClass primitiveTable includes: method smalltalkSelector]]) - [((vmClass primitiveTable includes: method smalltalkSelector) - or: [method export]) ifTrue: [-1] ifFalse: [self error: 'it is too late to compute accessor depths!!']] ifFalse: [((method definingClass includesSelector: method smalltalkSelector) ifTrue: [(method definingClass >> method smalltalkSelector) pragmaAt: #accessorDepth:]) ifNil: [((self accessorChainsForMethod: method interpreterClass: (vmClass ifNil: [StackInterpreter])) inject: 0 into: [:length :chain| length max: (self accessorDepthForChain: chain)]) - 1] ifNotNil: [:pragma| pragma arguments first]]]!

1 0

VM Maker: VMMaker.oscog-eem.3015.mcz
by commits＠source.squeak.org 03 Aug '21

03 Aug '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3015.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3015 Author: eem Time: 2 August 2021, 5:43:30.36731 pm UUID: 2f7fd362-d443-4e59-9725-ebc5b7b3fcc1 Ancestors: VMMaker.oscog-eem.3014 Have the CroquetPlugin primitives use the FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag flags. Use the methodReturnFoo: protocol. =============== Diff against VMMaker.oscog-eem.3014 =============== Item was changed: ----- Method: B3DAcceleratorPlugin>>stackMatrix: (in category 'primitive support') ----- stackMatrix: index "Load a 4x4 transformation matrix from the interpreter stack. Return a pointer to the matrix data if successful, nil otherwise." | oop | + <inline: #always> + oop := interpreterProxy stackValue: index. + ((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 16]) ifTrue: + [^interpreterProxy firstIndexableField: oop]. + interpreterProxy primitiveFail. - <inline: false> - <returnTypeC:'void*'> - oop := interpreterProxy stackObjectValue: index. - oop = nil ifTrue:[^nil]. - ((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 16]) - ifTrue:[^interpreterProxy firstIndexableField: oop]. ^nil! Item was changed: ----- Method: CroquetPlugin>>primitiveARC4Transform (in category 'cryptography') ----- primitiveARC4Transform "Perform an ARC4 transform of input. Arguments: buffer <ByteArray> transformed data startIndex <Integer> start of transform stopIndex <Integer> end of transform m <ByteArray> key stream data x <Integer> key state value y <Integer> key state value Return value: x@y - updated key state value " + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> "Align in case the compiler identifies and generates vector instructions" | y x mOop stopIndex startIndex bufOop bufSize buffer a m b mask ptOop xOop yOop | + <var: 'buffer' type: #'unsigned char *'> + <var: 'm' type: #'unsigned char *'> - <export: true> - <var: 'buffer' type: 'unsigned char *'> - <var: 'm' type: 'unsigned char *'> interpreterProxy methodArgumentCount = 6 ifFalse:[^interpreterProxy primitiveFail]. "pick up arguments" y := interpreterProxy stackIntegerValue: 0. x := interpreterProxy stackIntegerValue: 1. + mOop := interpreterProxy stackValue: 2. - mOop := interpreterProxy stackObjectValue: 2. stopIndex := interpreterProxy stackIntegerValue: 3. startIndex := interpreterProxy stackIntegerValue: 4. + bufOop := interpreterProxy stackValue: 5. - bufOop := interpreterProxy stackObjectValue: 5. interpreterProxy failed ifTrue:[^nil]. + ((interpreterProxy isBytes: mOop) + and: [(interpreterProxy isBytes: bufOop) + and: [(interpreterProxy byteSizeOf: mOop) = 256 + and: [startIndex > 0 and: [startIndex <= (bufSize := interpreterProxy byteSizeOf: bufOop) + and: [stopIndex >= startIndex and: [stopIndex <= bufSize]]]]]]) ifFalse: + [^interpreterProxy primitiveFail]. - ((interpreterProxy isBytes: mOop) and:[interpreterProxy isBytes: bufOop]) - ifFalse:[^interpreterProxy primitiveFail]. - (interpreterProxy byteSizeOf: mOop) = 256 - ifFalse:[^interpreterProxy primitiveFail]. - bufSize := interpreterProxy byteSizeOf: bufOop. - (startIndex > 0 and:[startIndex <= bufSize]) - ifFalse:[^interpreterProxy primitiveFail]. - (stopIndex >= startIndex and:[stopIndex <= bufSize]) - ifFalse:[^interpreterProxy primitiveFail]. m := interpreterProxy firstIndexableField: mOop. buffer := interpreterProxy firstIndexableField: bufOop. startIndex-1 to: stopIndex-1 do:[:i| x := (x + 1) bitAnd: 255. a := m at: x. y := (y + a) bitAnd: 255. b := m at: y. m at: x put: b. m at: y put: a. mask := m at: ((a + b) bitAnd: 255). buffer at: i put: ((buffer at: i) bitXor: mask). ]. ptOop := interpreterProxy instantiateClass: interpreterProxy classPoint indexableSize: 0. + self cppIf: #SPURVM + ifTrue: + [xOop := interpreterProxy positive32BitIntegerFor: x. + yOop := interpreterProxy positive32BitIntegerFor: y. + (ptOop isNil or: [xOop isNil or: [yOop isNil]]) ifTrue: + [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. + interpreterProxy storePointer: 0 ofObject: ptOop withValue: xOop. + interpreterProxy storePointer: 1 ofObject: ptOop withValue: yOop] + ifFalse: + [interpreterProxy pushRemappableOop: ptOop. + xOop := interpreterProxy positive32BitIntegerFor: x. + interpreterProxy pushRemappableOop: xOop. + yOop := interpreterProxy positive32BitIntegerFor: y. + xOop := interpreterProxy popRemappableOop. + ptOop := interpreterProxy popRemappableOop. + interpreterProxy storePointer: 0 ofObject: ptOop withValue: xOop. + interpreterProxy storePointer: 1 ofObject: ptOop withValue: yOop]. + ^interpreterProxy methodReturnValue: ptOop! - interpreterProxy pushRemappableOop: ptOop. - xOop := interpreterProxy positive32BitIntegerFor: x. - interpreterProxy pushRemappableOop: xOop. - yOop := interpreterProxy positive32BitIntegerFor: y. - xOop := interpreterProxy popRemappableOop. - ptOop := interpreterProxy popRemappableOop. - interpreterProxy storePointer: 0 ofObject: ptOop withValue: xOop. - interpreterProxy storePointer: 1 ofObject: ptOop withValue: yOop. - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - ^interpreterProxy push: ptOop. - ! Item was changed: ----- Method: CroquetPlugin>>primitiveAdj3 (in category 'transforms') ----- primitiveAdj3 "Computes the adjoint of the Matrix4x4 receiver, placing the results the the Matrix4x4 argument, " + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> + | + srcOop src - | - argc - srcOop src dstOop dst + m11 m12 m13 m21 m22 m23 m31 m32 m33 + c11 c12 c13 c21 c22 c23 c31 c32 c33 - m11 m12 m13 m21 m22 m23 m31 m32 m33 - c11 c12 c13 c21 c22 c23 c31 c32 c33 - | - <export: true> - <inline: true> <var: #c11 declareC: 'const int c11 = 0'> <var: #c12 declareC: 'const int c12 = 1'> <var: #c13 declareC: 'const int c13 = 2'> "<var: #c14 declareC: 'const int c14 = 3'>" <var: #c21 declareC: 'const int c21 = 4'> <var: #c22 declareC: 'const int c22 = 5'> <var: #c23 declareC: 'const int c23 = 6'> "<var: #c24 declareC: 'const int c24 = 7'>" <var: #c31 declareC: 'const int c31 = 8'> <var: #c32 declareC: 'const int c32 = 9'> <var: #c33 declareC: 'const int c33 = 10'> "<var: #c34 declareC: 'const int c34 = 11'>" + <var: #m11 type: #double> + <var: #m12 type: #double> + <var: #m13 type: #double> + <var: #m21 type: #double> + <var: #m22 type: #double> + <var: #m23 type: #double> + <var: #m31 type: #double> + <var: #m32 type: #double> + <var: #m33 type: #double> - <var: #src type: 'float *'> - <var: #dst type: 'float *'> - <var: #m11 type: 'double'> - <var: #m12 type: 'double'> - <var: #m13 type: 'double'> - <var: #m21 type: 'double'> - <var: #m22 type: 'double'> - <var: #m23 type: 'double'> - <var: #m31 type: 'double'> - <var: #m32 type: 'double'> - <var: #m33 type: 'double'> "then we need the following no-op to make Smalltalk shut up about vars not being initted." self cCode: '' inSmalltalk: [ c11 := 0. c12 := 1. c13 := 2. "c14 := 3." c21 := 4. c22 := 5. c23 := 6. "c24 := 7." c31 := 8. c32 := 9. c33 := 10. "c34 := 11." ]. "NOTE: the bottom row of a OpenGL-ordered matrix is always 0 0 0 1, so we don't need consts here for those elements." + srcOop := interpreterProxy stackObjectValue: 1. + dstOop := interpreterProxy stackObjectValue: 0. + interpreterProxy failed ifTrue: + [^nil]. + src := self cCoerce: (interpreterProxy firstIndexableField: srcOop) to: #'float *'. + dst := self cCoerce: (interpreterProxy firstIndexableField: dstOop) to: #'float *'. - "do the dance to get our receiver and argument" - argc := interpreterProxy methodArgumentCount. - argc = 1 - ifFalse:[^interpreterProxy primitiveFail]. - "stackArgvObject is something I added to Interpreter, but since it's not in there yet, - this won't compile - use it when it's there. Yes, it would be nice if Smalltalk had #ifdefs..." - self flag: #stackArgv. - " - srcOop := interpreterProxy stackArgvObject: 0. - src := interpreterProxy firstIndexableField: srcOop. - - dstOop := interpreterProxy stackArgvObject: 1. - dst := interpreterProxy firstIndexableField: dstOop. - " - srcOop := interpreterProxy stackObjectValue: argc. - src := interpreterProxy firstIndexableField: srcOop. - - dstOop := interpreterProxy stackObjectValue: (argc - 1). - dst := interpreterProxy firstIndexableField: dstOop. - - "read in the source matrix 3x3, which contains the encoded rotation and scale factors" m11 := src at: c11. m12 := src at: c12. m13 := src at: c13. m21 := src at: c21. m22 := src at: c22. m23 := src at: c23. m31 := src at: c31. m32 := src at: c32. m33 := src at: c33. "do the actual work" "compute our cofactors and transpose. adj = transpose of cofactors" dst at: c11 put: ((m22 * m33) - (m23 * m32)) . dst at: c21 put: (0.0 - ((m21 * m33) - (m23 * m31))). dst at: c31 put: ((m21 * m32) - (m22 * m31)). dst at: c12 put: (0.0 - ((m12 * m33) - (m13 * m32))). dst at: c22 put: ((m11 * m33) - (m13 * m31)). dst at: c32 put: (0.0 - ((m11 * m32) - (m12 * m31))). dst at: c13 put: ((m12 * m23) - (m13 * m22)). dst at: c23 put: (0.0 - ((m11 * m23) - (m13 * m21))). dst at: c33 put: ((m11 * m22) - (m12 * m21)). + ^interpreterProxy methodReturnValue: dstOop! - interpreterProxy pop: argc + 1 thenPush: dstOop - ! Item was changed: ----- Method: CroquetPlugin>>primitiveDet3 (in category 'transforms') ----- primitiveDet3 "Computes the determinant of the upper 3x3 of a Matrix4x4" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> + | srcOop src m11 m12 m13 m21 m22 m23 m31 m32 m33 | + <var: #m11 type: #double> + <var: #m12 type: #double> + <var: #m13 type: #double> + <var: #m21 type: #double> + <var: #m22 type: #double> + <var: #m23 type: #double> + <var: #m31 type: #double> + <var: #m32 type: #double> + <var: #m33 type: #double> - | argc srcOop src det m11 m12 m13 m21 m22 m23 m31 m32 m33 | - <export: true> - <inline: true> - <var: #src type: 'float *'> - <var: #m11 type: 'double'> - <var: #m12 type: 'double'> - <var: #m13 type: 'double'> - <var: #m21 type: 'double'> - <var: #m22 type: 'double'> - <var: #m23 type: 'double'> - <var: #m31 type: 'double'> - <var: #m32 type: 'double'> - <var: #m33 type: 'double'> - <var: #det type: 'double'> - argc := interpreterProxy methodArgumentCount. - argc = 0 - ifFalse:[^interpreterProxy primitiveFail]. - - " Load element vars using C version of Matrix4x4 storage, as 0-based, 1-dimensional array: 0 1 2 3 4 5 6 7 8 9 10 11 " + srcOop := interpreterProxy stackObjectValue: 0. + interpreterProxy failed ifTrue: + [^nil]. + src := self cCoerce: (interpreterProxy firstIndexableField: srcOop) to: #'float *'. - "stackArgvObject is something I added to Interpreter, but since it's not in there yet, - this won't compile - use it when it's there. Yes, it would be nice if Smalltalk had #ifdefs..." - self flag: #stackArgv. - " - srcOop := interpreterProxy stackArgvObject: 0. - src := interpreterProxy firstIndexableField: srcOop. - " - srcOop := interpreterProxy stackObjectValue: argc. - src := interpreterProxy firstIndexableField: srcOop. - - m11 := src at: 0. m12 := src at: 1. m13 := src at: 2. m21 := src at: 4. m22 := src at: 5. m23 := src at: 6. m31 := src at: 8. m32 := src at: 9. m33 := src at: 10. + ^interpreterProxy methodReturnFloat: (m11 * ((m22 * m33) - (m23 * m32))) + + (m12 * ((m23 * m31) - (m21 * m33))) + + (m13 * ((m21 * m32) - (m22 * m31))) - - "do the actual work" - det := - ( m11 * ((m22 * m33) - (m23 * m32))) + - (m12 * ((m23 * m31) - (m21 * m33))) + - (m13 * ((m21 * m32) - (m22 * m31))). - - - interpreterProxy pop: argc + 1. - ^interpreterProxy pushFloat: det. ! Item was changed: ----- Method: CroquetPlugin>>primitiveGatherEntropy (in category 'cryptography') ----- primitiveGatherEntropy "Primitive. Gather good random entropy from a system source." - | bufOop bufSize bufPtr okay | <export: true> + | bufOop | + bufOop := interpreterProxy stackValue: 0. + ((interpreterProxy isBytes: bufOop) + and: [self ioGatherEntropy: (interpreterProxy firstIndexableField: bufOop) _: (interpreterProxy byteSizeOf: bufOop)]) ifFalse: + [^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnBool: true! - <var: 'bufPtr' type: 'void *'> - (interpreterProxy methodArgumentCount = 1) - ifFalse:[^interpreterProxy primitiveFail]. - bufOop := interpreterProxy stackObjectValue: 0. - interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy isBytes: bufOop) - ifFalse:[^interpreterProxy primitiveFail]. - bufSize := interpreterProxy byteSizeOf: bufOop. - bufPtr := interpreterProxy firstIndexableField: bufOop. - okay := self cCode: 'ioGatherEntropy(bufPtr, bufSize)' inSmalltalk:[bufPtr. bufSize. false]. - okay ifFalse:[^interpreterProxy primitiveFail]. - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - ^interpreterProxy pushBool: true.! Item was changed: ----- Method: CroquetPlugin>>primitiveInplaceHouseHolderInvert (in category 'transforms') ----- primitiveInplaceHouseHolderInvert "Primitive. Perform an inplace house holder matrix inversion" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr d x sigma beta sum s m | + <var: #rcvr type: #'float *'> - <export: true> - <var: #rcvr declareC:'float *rcvr'> <var: #m declareC:'double m[4][4]'> <var: #x declareC:'double x[4][4] = { {1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1} }'> <var: #d declareC:'double d[4][4]'> + <var: #sigma type: #double> + <var: #beta type: #double> + <var: #sum type: #double> + <var: #s type: #double> - <var: #sigma declareC:'double sigma'> - <var: #beta declareC:'double beta'> - <var: #sum declareC:'double sum'> - <var: #s declareC:'double s'> self cCode:'' inSmalltalk:[ m := CArrayAccessor on: ((1 to: 4) collect:[:i| CArrayAccessor on: (Array new: 4)]). x := CArrayAccessor on: (Array with: (CArrayAccessor on: #(1.0 0.0 0.0 0.0) copy) with: (CArrayAccessor on: #(0.0 1.0 0.0 0.0) copy) with: (CArrayAccessor on: #(0.0 0.0 1.0 0.0) copy) with: (CArrayAccessor on: #(0.0 0.0 0.0 1.0) copy)). d := CArrayAccessor on: ((1 to: 4) collect:[:i| CArrayAccessor on: (Array new: 4)]). ]. rcvr := self stackMatrix: 0. + rcvr ifNil: + [^interpreterProxy primitiveFail]. 0 to: 3 do:[:i| 0 to: 3 do:[:j| (m at: i) at: j put: (rcvr at: i*4+j)]]. 0 to: 3 do:[:j| sigma := 0.0. j to: 3 do:[:i| sigma := sigma + (((m at: i) at: j) * ((m at: i) at: j))]. sigma < 1.0e-10 ifTrue:[^interpreterProxy primitiveFail]. "matrix is singular" (((m at: j) at: j) < 0.0) ifTrue:[ s:= sigma sqrt] ifFalse:[ s:= 0.0 - sigma sqrt]. 0 to: 3 do:[:r| (d at: j) at: r put: s]. beta := 1.0 / ( s * ((m at: j) at: j) - sigma). (m at: j) at: j put: (((m at: j) at: j) - s). "update remaining columns" j+1 to: 3 do:[:k| sum := 0.0. j to: 3 do:[:i| sum := sum + (((m at: i) at: j) * ((m at: i) at: k))]. sum := sum * beta. j to: 3 do:[:i| (m at: i) at: k put: (((m at: i) at: k) + (((m at: i) at: j) * sum))]]. "update vector" 0 to: 3 do:[:r| sum := 0.0. j to: 3 do:[:i| sum := sum + (((x at: i) at: r) * ((m at: i) at: j))]. sum := sum * beta. j to: 3 do:[:i| (x at: i) at: r put:(((x at: i) at: r) + (sum * ((m at: i) at: j)))]. ]. ]. "Now calculate result" 0 to: 3 do:[:r| 3 to: 0 by: -1 do:[:i| i+1 to: 3 do:[:j| (x at: i) at: r put: (((x at: i) at: r) - (((x at: j) at: r) * ((m at: i) at: j))) ]. (x at: i) at: r put: (((x at: i) at: r) / ((d at: i) at: r))]. ]. 0 to: 3 do:[:i| 0 to: 3 do:[:j| rcvr at: i*4+j put: (self cCoerce: ((x at: i) at: j) to:'float')]]. "Return receiver" ^nil! Item was changed: ----- Method: CroquetPlugin>>primitiveInverseByAdjoint (in category 'transforms') ----- primitiveInverseByAdjoint "Computes the inverse of the Matrix4x4 receiver, using the 'classical adjoint' method, placing the results the the Matrix4x4 argument, " + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> + | + srcOop src - | - srcOop src dstOop dst + det + m11 m12 m13 m21 m22 m23 m31 m32 m33 + c11 c12 c13 c14 c21 c22 c23 c24 c31 c32 c33 c34 + x y z + | - det - m11 m12 m13 m21 m22 m23 m31 m32 m33 - c11 c12 c13 c14 c21 c22 c23 c24 c31 c32 c33 c34 - x y z - argc | - <export: true> - <inline: true> <var: #c11 declareC: 'const int c11 = 0'> <var: #c12 declareC: 'const int c12 = 1'> <var: #c13 declareC: 'const int c13 = 2'> <var: #c14 declareC: 'const int c14 = 3'> <var: #c21 declareC: 'const int c21 = 4'> <var: #c22 declareC: 'const int c22 = 5'> <var: #c23 declareC: 'const int c23 = 6'> <var: #c24 declareC: 'const int c24 = 7'> <var: #c31 declareC: 'const int c31 = 8'> <var: #c32 declareC: 'const int c32 = 9'> <var: #c33 declareC: 'const int c33 = 10'> <var: #c34 declareC: 'const int c34 = 11'> + <var: #m11 type: #double> + <var: #m12 type: #double> + <var: #m13 type: #double> + <var: #m21 type: #double> + <var: #m22 type: #double> + <var: #m23 type: #double> + <var: #m31 type: #double> + <var: #m32 type: #double> + <var: #m33 type: #double> + <var: #x type:#double> + <var: #y type:#double> + <var: #z type:#double> + <var: #det type:#double> - <var: #src type: 'float *'> - <var: #dst type: 'float *'> - <var: #m11 type: 'double'> - <var: #m12 type: 'double'> - <var: #m13 type: 'double'> - <var: #m21 type: 'double'> - <var: #m22 type: 'double'> - <var: #m23 type: 'double'> - <var: #m31 type: 'double'> - <var: #m32 type: 'double'> - <var: #m33 type: 'double'> - <var: #x type: 'double'> - <var: #y type: 'double'> - <var: #z type: 'double'> - <var: #det type: 'double'> "then we need the following no-op to make Smalltalk shut up about vars not being initted." self cCode: '' inSmalltalk: [ c11 := 0. c12 := 1. c13 := 2. c14 := 3. c21 := 4. c22 := 5. c23 := 6. c24 := 7. c31 := 8. c32 := 9. c33 := 10. c34 := 11. ]. "NOTE: the bottom row of a OpenGL-ordered matrix is always 0 0 0 1, so we don't need consts here for those elements." "do the dance to get our receiver and argument" + srcOop := interpreterProxy stackValue: 1. + dstOop := interpreterProxy stackValue: 0. + interpreterProxy failed ifTrue: + [^nil]. + src := self cCoerce: (interpreterProxy firstIndexableField: srcOop) to: #'float *'. + dst := self cCoerce: (interpreterProxy firstIndexableField: dstOop) to: #'float *'. - argc := interpreterProxy methodArgumentCount. - argc = 1 - ifFalse:[^interpreterProxy primitiveFail]. - "stackArgvObject is something I added to Interpreter, but since it's not in there yet, - this won't compile - use it when it's there. Yes, it would be nice if Smalltalk had #ifdefs..." - self flag: #stackArgv. - " - srcOop := interpreterProxy stackArgvObject: 0. - src := interpreterProxy firstIndexableField: srcOop. - dstOop := interpreterProxy stackArgvObject: 1. - dst := interpreterProxy firstIndexableField: dstOop. - " - srcOop := interpreterProxy stackObjectValue: argc. - src := interpreterProxy firstIndexableField: srcOop. - - dstOop := interpreterProxy stackObjectValue: (argc - 1). - dst := interpreterProxy firstIndexableField: dstOop. - - "read in the source matrix 3x3, which contains the encoded rotation and scale factors" m11 := src at: c11. m12 := src at: c12. m13 := src at: c13. m21 := src at: c21. m22 := src at: c22. m23 := src at: c23. m31 := src at: c31. m32 := src at: c32. m33 := src at: c33. "read in the source translation vector" x := src at: c14. y := src at: c24. z := src at: c34. "do the actual work" "first, compute the determinant of the upper 3x3 of the source" det := ( m11 * ((m22 * m33) - (m23 * m32))) + (m12 * ((m23 * m31) - (m21 * m33))) + (m13 * ((m21 * m32) - (m22 * m31))). "Compute the classical adjunct of the source, and divide by the source determinant storing in the destination. adjoint = transpose of cofactors, so we'll transpose as we store." det := 1 / det. "let's make div by det a multiply" dst at: c11 put: ((m22 * m33) - (m23 * m32)) * det . dst at: c21 put: (0.0 - ((m21 * m33) - (m23 * m31))) * det. dst at: c31 put: ((m21 * m32) - (m22 * m31)) * det. dst at: c12 put: (0.0 - ((m12 * m33) - (m13 * m32))) * det. dst at: c22 put: ((m11 * m33) - (m13 * m31)) * det. dst at: c32 put: (0.0 - ((m11 * m32) - (m12 * m31))) * det. dst at: c13 put: ((m12 * m23) - (m13 * m22)) * det. dst at: c23 put: (0.0 - ((m11 * m23) - (m13 * m21))) * det. dst at: c33 put: ((m11 * m22) - (m12 * m21)) * det. "finally, apply the inversed rotation transform to our translation" "read in the source matrix 3x3" m11 := dst at: c11. m12 := dst at: c12. m13 := dst at: c13. m21 := dst at: c21. m22 := dst at: c22. m23 := dst at: c23. m31 := dst at: c31. m32 := dst at: c32. m33 := dst at: c33. dst at: c14 put: 0.0 - ((x * m11) + (y * m12) + (z * m13)). dst at: c24 put: 0.0 - ((x * m21) + (y * m22) + (z * m23)). dst at: c34 put: 0.0 - ((x * m31) + (y * m32) + (z * m33)). + ^interpreterProxy methodReturnValue: dstOop! - interpreterProxy pop: argc + 1. - ^interpreterProxy push: dstOop. - ! Item was changed: ----- Method: CroquetPlugin>>primitiveMD5Transform (in category 'cryptography') ----- primitiveMD5Transform "Perform an MD5 transform of input" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> "Align in case the compiler identifies and generates vector instructions" + | bufOop hashOop | + hashOop := interpreterProxy stackValue: 0. + bufOop := interpreterProxy stackValue: 1. + ((interpreterProxy isWords: hashOop) and: [(interpreterProxy slotSizeOf: hashOop) = 4 + and: [(interpreterProxy isWords: bufOop) and: [(interpreterProxy slotSizeOf: bufOop) = 16]]]) + ifFalse: + [^interpreterProxy primitiveFail]. - | bufOop hashOop hash buffer | - <export: true> - <var: 'hash' type: 'unsigned int *'> - <var: 'buffer' type: 'unsigned int *'> - interpreterProxy methodArgumentCount = 2 - ifFalse:[^interpreterProxy primitiveFail]. + self MD5Transform: (interpreterProxy firstIndexableField: hashOop) _: (interpreterProxy firstIndexableField: bufOop). + ^interpreterProxy methodReturnValue: bufOop! - hashOop := interpreterProxy stackObjectValue: 0. - ((interpreterProxy isWords: hashOop) and:[(interpreterProxy slotSizeOf: hashOop) = 4]) - ifFalse:[^interpreterProxy primitiveFail]. - hash := interpreterProxy firstIndexableField: hashOop. - - bufOop := interpreterProxy stackObjectValue: 1. - ((interpreterProxy isWords: bufOop) and:[(interpreterProxy slotSizeOf: bufOop) = 16]) - ifFalse:[^interpreterProxy primitiveFail]. - buffer := interpreterProxy firstIndexableField: bufOop. - - - self cCode:'MD5Transform(hash, buffer)' inSmalltalk:[ - hash. buffer. - ^interpreterProxy primitiveFail]. - "Pop args; return buffer" - interpreterProxy pop: interpreterProxy methodArgumentCount+1. - ^interpreterProxy push: bufOop.! Item was changed: ----- Method: CroquetPlugin>>primitiveOptimizeVertexIndicesForCacheLocality (in category 'mesh processing') ----- primitiveOptimizeVertexIndicesForCacheLocality "Given a list of integer indices for rendering a triangle-mesh in indexed-triangles mode, reorganize the indices in-place to provide better vertex cache locality. We use Tom Forsyth's algorithm: http://home.comcast.net/~tom_forsyth/papers/fast_vert_cache_opt.html ... and the MIT-licensed implementation by Michael Georgoulpoulos at: http://code.google.com/p/vcacne/" - | indicesOop indices byteSize triCount result | <export: true> + | indicesOop byteSize triCount | - <inline: true> - <var: #indices type: 'void *'> + indicesOop := interpreterProxy stackValue: 0. - "Get the oop of the IntegerArray containing the indices." - (interpreterProxy methodArgumentCount = 1) ifFalse: [^interpreterProxy primitiveFail]. - indicesOop := interpreterProxy stackObjectValue: 0. - interpreterProxy failed ifTrue: [^nil]. (interpreterProxy isWords: indicesOop) ifFalse: [^interpreterProxy primitiveFail]. "Ensure that the number of indices is a multiple of 3." byteSize := interpreterProxy byteSizeOf: indicesOop. + triCount := byteSize // 12. - triCount := byteSize / 12. (triCount * 12) = byteSize ifFalse: [^interpreterProxy primitiveFail]. + + "N.B. as of 8/2021 optimizeVertexIndices is simply a stub." + (self optimizeVertexIndices: (interpreterProxy firstIndexableField: indicesOop) _: triCount) ~= 0 ifTrue: + [^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnReceiver! - - "Get an int* to the indices, and optimize 'em." - indices := interpreterProxy firstIndexableField: indicesOop. - self touch: indices. - interpreterProxy failed ifTrue: [^nil]. - result := self cCode: 'optimizeVertexIndices((int*)indices, triCount)'. - result = 0 "success" ifFalse: [^interpreterProxy primitiveFail]. - ^interpreterProxy pop: 1! Item was changed: ----- Method: CroquetPlugin>>primitiveOrthoNormInverseMatrix (in category 'transforms') ----- primitiveOrthoNormInverseMatrix + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | srcOop dstOop src dst x y z rx ry rz | - <export: true> - <var: #src type: #'float *'> - <var: #dst type: #'float *'> <var: #x type: #double> <var: #y type: #double> <var: #z type: #double> <var: #rx type: #double> <var: #ry type: #double> <var: #rz type: #double> + srcOop := interpreterProxy stackValue: 0. + ((interpreterProxy isWords: srcOop) and:[(interpreterProxy slotSizeOf: srcOop) = 16]) ifFalse: + [^interpreterProxy primitiveFail]. - interpreterProxy methodArgumentCount = 0 - ifFalse:[^interpreterProxy primitiveFail]. - srcOop := interpreterProxy stackObjectValue: 0. - interpreterProxy failed ifTrue:[^nil]. - ((interpreterProxy isWords: srcOop) and:[(interpreterProxy slotSizeOf: srcOop) = 16]) - ifFalse:[^interpreterProxy primitiveFail]. dstOop := interpreterProxy cloneObject: srcOop. + dstOop = 0 ifTrue: + [^interpreterProxy primitiveFail]. "reload srcOop in case of GC" + self cppIf: #SPURVM ifFalse: [srcOop := interpreterProxy stackValue: 0]. + src := self cCoerce: (interpreterProxy firstIndexableField: srcOop) to: #'float *'. + dst := self cCoerce: (interpreterProxy firstIndexableField: dstOop) to: #'float *'. - srcOop := interpreterProxy stackObjectValue: 0. - src := interpreterProxy firstIndexableField: srcOop. - dst := interpreterProxy firstIndexableField: dstOop. "Transpose upper 3x3 matrix" "dst at: 0 put: (src at: 0)." dst at: 1 put: (src at: 4). dst at: 2 put: (src at: 8). dst at: 4 put: (src at: 1). "dst at: 5 put: (src at: 5)." dst at: 6 put: (src at: 9). dst at: 8 put: (src at: 2). dst at: 9 put: (src at: 6). "dst at: 10 put: (src at: 10)." "Compute inverse translation vector" x := src at: 3. y := src at: 7. z := src at: 11. rx := (x * (dst at: 0)) + (y * (dst at: 1)) + (z * (dst at: 2)). ry := (x * (dst at: 4)) + (y * (dst at: 5)) + (z * (dst at: 6)). rz := (x * (dst at: 8)) + (y * (dst at: 9)) + (z * (dst at: 10)). + dst at: 3 put: 0.0 - rx. + dst at: 7 put: 0.0 - ry. + dst at: 11 put: 0.0 - rz. - dst at: 3 put: (self cCoerce: 0.0-rx to: #float). - dst at: 7 put: (self cCoerce: 0.0-ry to: #float). - dst at: 11 put: (self cCoerce: 0.0-rz to: #float). + ^interpreterProxy methodReturnValue: dstOop! - interpreterProxy pop: 1 thenPush: dstOop! Item was changed: ----- Method: CroquetPlugin>>primitiveTransformDirection (in category 'transforms') ----- primitiveTransformDirection + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | x y z rx ry rz matrix vertex v3Oop | + <var: #x type: #double> + <var: #y type: #double> + <var: #z type: #double> + <var: #rx type: #double> + <var: #ry type: #double> + <var: #rz type: #double> - <export: true> - <var: #vertex declareC:'float *vertex'> - <var: #matrix declareC:'float *matrix'> - <var: #x declareC:'double x'> - <var: #y declareC:'double y'> - <var: #z declareC:'double z'> - <var: #rx declareC:'double rx'> - <var: #ry declareC:'double ry'> - <var: #rz declareC:'double rz'> - interpreterProxy methodArgumentCount = 1 - ifFalse:[^interpreterProxy primitiveFail]. - v3Oop := interpreterProxy stackObjectValue: 0. - interpreterProxy failed ifTrue:[^nil]. - ((interpreterProxy isWords: v3Oop) and:[(interpreterProxy slotSizeOf: v3Oop) = 3]) - ifFalse:[^interpreterProxy primitiveFail]. - vertex := interpreterProxy firstIndexableField: v3Oop. matrix := self stackMatrix: 1. + v3Oop := interpreterProxy stackValue: 0. + (matrix notNil and: [(interpreterProxy isWords: v3Oop) and:[(interpreterProxy slotSizeOf: v3Oop) = 3]]) ifFalse: + [^interpreterProxy primitiveFail]. + vertex := self cCoerce: (interpreterProxy firstIndexableField: v3Oop) to: #'float *'. - (matrix == nil) ifTrue:[^interpreterProxy primitiveFail]. x := vertex at: 0. y := vertex at: 1. z := vertex at: 2. rx := (x * (matrix at: 0)) + (y * (matrix at: 1)) + (z * (matrix at: 2)). ry := (x * (matrix at: 4)) + (y * (matrix at: 5)) + (z * (matrix at: 6)). rz := (x * (matrix at: 8)) + (y * (matrix at: 9)) + (z * (matrix at: 10)). v3Oop := interpreterProxy cloneObject: v3Oop. + v3Oop = 0 ifTrue: + [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. + vertex := self cCoerce: (interpreterProxy firstIndexableField: v3Oop) to: #'float *'. - vertex := interpreterProxy firstIndexableField: v3Oop. + vertex at: 0 put: rx. + vertex at: 1 put: ry. + vertex at: 2 put: rz. - vertex at: 0 put: (self cCoerce: rx to: 'float'). - vertex at: 1 put: (self cCoerce: ry to:'float'). - vertex at: 2 put: (self cCoerce: rz to: 'float'). + ^interpreterProxy methodReturnValue: v3Oop! - interpreterProxy pop: 2. - ^interpreterProxy push: v3Oop. - ! Item was changed: ----- Method: CroquetPlugin>>primitiveTransformMatrixWithInto (in category 'transforms') ----- primitiveTransformMatrixWithInto "Transform two matrices into the third" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | m1 m2 m3 | - <export: true> - <inline: false> - <var: #m1 declareC:'float *m1'> - <var: #m2 declareC:'float *m2'> - <var: #m3 declareC:'float *m3'> m3 := self stackMatrix: 0. m2 := self stackMatrix: 1. m1 := self stackMatrix: 2. + (m1 isNil or: [m2 isNil or: [m3 isNil + or: [m2 = m3]]]) ifTrue: + [^interpreterProxy primitiveFail]. - (m1 = nil) | (m2 = nil) | (m3 = nil) - ifTrue:[^interpreterProxy primitiveFail]. - m2 == m3 ifTrue:[^interpreterProxy primitiveFail]. self transformMatrix: m1 with: m2 into: m3. + ^interpreterProxy methodReturnReceiver! - ^interpreterProxy pop: 3. "Leave rcvr on stack"! Item was changed: ----- Method: CroquetPlugin>>primitiveTransformVector3 (in category 'transforms') ----- primitiveTransformVector3 + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | x y z rx ry rz rw matrix vertex v3Oop | + <var: #x type: #double> + <var: #y type: #double> + <var: #z type: #double> + <var: #rx type: #double> + <var: #ry type: #double> + <var: #rz type: #double> + <var: #rw type: #double> - <export: true> - <var: #vertex declareC:'float *vertex'> - <var: #matrix declareC:'float *matrix'> - <var: #x declareC:'double x'> - <var: #y declareC:'double y'> - <var: #z declareC:'double z'> - <var: #rx declareC:'double rx'> - <var: #ry declareC:'double ry'> - <var: #rz declareC:'double rz'> - <var: #rw declareC:'double rw'> - interpreterProxy methodArgumentCount = 1 - ifFalse:[^interpreterProxy primitiveFail]. - v3Oop := interpreterProxy stackObjectValue: 0. - interpreterProxy failed ifTrue:[^nil]. - ((interpreterProxy isWords: v3Oop) and:[(interpreterProxy slotSizeOf: v3Oop) = 3]) - ifFalse:[^interpreterProxy primitiveFail]. - vertex := interpreterProxy firstIndexableField: v3Oop. matrix := self stackMatrix: 1. + v3Oop := interpreterProxy stackValue: 0. + (matrix notNil and: [(interpreterProxy isWords: v3Oop) and:[(interpreterProxy slotSizeOf: v3Oop) = 3]]) ifFalse: + [^interpreterProxy primitiveFail]. + vertex := self cCoerce: (interpreterProxy firstIndexableField: v3Oop) to: #'float *'. - (matrix == nil) ifTrue:[^interpreterProxy primitiveFail]. x := vertex at: 0. y := vertex at: 1. z := vertex at: 2. rx := (x * (matrix at: 0)) + (y * (matrix at: 1)) + (z * (matrix at: 2)) + (matrix at: 3). ry := (x * (matrix at: 4)) + (y * (matrix at: 5)) + (z * (matrix at: 6)) + (matrix at: 7). rz := (x * (matrix at: 8)) + (y * (matrix at: 9)) + (z * (matrix at: 10)) + (matrix at: 11). rw := (x * (matrix at: 12)) + (y * (matrix at: 13)) + (z * (matrix at: 14)) + (matrix at: 15). v3Oop := interpreterProxy cloneObject: v3Oop. + v3Oop = 0 ifTrue: + [^interpreterProxy primitiveFailFor: PrimErrNoMemory]. + vertex := self cCoerce: (interpreterProxy firstIndexableField: v3Oop) to: #'float *'. - vertex := interpreterProxy firstIndexableField: v3Oop. rw = 1.0 ifTrue:[ + vertex at: 0 put: rx. + vertex at: 1 put: ry. + vertex at: 2 put: rz. - vertex at: 0 put: (self cCoerce: rx to: 'float'). - vertex at: 1 put: (self cCoerce: ry to:'float'). - vertex at: 2 put: (self cCoerce: rz to: 'float'). ] ifFalse:[ rw = 0.0 ifTrue:[rw := 0.0] ifFalse:[rw := 1.0 / rw]. + vertex at: 0 put: rx * rw. + vertex at: 1 put: ry * rw. + vertex at: 2 put: rz * rw. - vertex at: 0 put: (self cCoerce: rx*rw to:'float'). - vertex at: 1 put: (self cCoerce: ry*rw to:'float'). - vertex at: 2 put: (self cCoerce: rz*rw to: 'float'). ]. + ^interpreterProxy methodReturnValue: v3Oop! - interpreterProxy pop: 2. - ^interpreterProxy push: v3Oop. - ! Item was changed: ----- Method: CroquetPlugin>>primitiveTriBoxIntersects (in category 'transforms') ----- primitiveTriBoxIntersects "Primitive. Answer whether an AABB intersects with a given triangle" | minCorner maxCorner v0 v1 v2 result | - <export: true> - <var: #minCorner type: #'float *'> - <var: #maxCorner type: #'float *'> - <var: #v0 type: #'float *'> - <var: #v1 type: #'float *'> - <var: #v2 type: #'float *'> - interpreterProxy methodArgumentCount = 5 - ifFalse:[^interpreterProxy primitiveFail]. v2 := self stackVector3: 0. v1 := self stackVector3: 1. v0 := self stackVector3: 2. maxCorner := self stackVector3: 3. minCorner := self stackVector3: 4. + (v0 isNil or: [v1 isNil or: [v2 isNil + or: [maxCorner isNil or: [minCorner isNil]]]]) ifTrue: + [^interpreterProxy primitiveFail]. + "N.B. as of 8/2021 triBoxOverlap is simply a stub." + result := self triBoxOverlap: minCorner _: maxCorner _: v0 _: v1 _: v2. - result := self cCode:'triBoxOverlap(minCorner, maxCorner, v0, v1, v2)' - inSmalltalk:[minCorner. maxCorner. v0. v1. v2. -1]. result < 0 ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnBool: result > 0! - - interpreterProxy pop: 6. "args+rcvr" - ^interpreterProxy pushBool: result.! Item was changed: ----- Method: CroquetPlugin>>stackMatrix: (in category 'transforms') ----- stackMatrix: index "Load a 4x4 transformation matrix from the interpreter stack. Return a pointer to the matrix data if successful, nil otherwise." + <returnTypeC: #'float *'> | oop | + <inline: #always> + oop := interpreterProxy stackValue: index. + ^((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 16]) ifTrue: + [self cCoerce: (interpreterProxy firstIndexableField: oop) to: #'float *']! - <inline: false> - <returnTypeC:'void*'> - oop := interpreterProxy stackObjectValue: index. - oop = nil ifTrue:[^nil]. - ((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 16]) - ifTrue:[^interpreterProxy firstIndexableField: oop]. - ^nil! Item was changed: ----- Method: CroquetPlugin>>stackVector3: (in category 'transforms') ----- stackVector3: index "Load a Vector3 from the interpreter stack. Return a pointer to the float data if successful, nil otherwise." + <returnTypeC: #'float *'> | oop | + <inline: #always> + oop := interpreterProxy stackValue: index. + ^((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 3]) ifTrue: + [self cCoerce: (interpreterProxy firstIndexableField: oop) to: #'float *']! - <inline: false> - <returnTypeC:'void*'> - oop := interpreterProxy stackObjectValue: index. - oop = nil ifTrue:[^nil]. - ((interpreterProxy isWords: oop) and:[(interpreterProxy slotSizeOf: oop) = 3]) - ifTrue:[^interpreterProxy firstIndexableField: oop]. - ^nil! Item was changed: ----- Method: CroquetPlugin>>transformMatrix:with:into: (in category 'transforms') ----- transformMatrix: src with: arg into: dst "Transform src with arg into dst. It is allowed that src == dst but not arg == dst" + <var: #src type: #'float *'> + <var: #arg type: #'float *'> + <var: #dst type: #'float *'> | m1 m2 m3 c1 c2 c3 c4 | + <var: #m1 type: #'float *'> + <var: #m2 type: #'float *'> + <var: #m3 type: #'float *'> - <var: #src declareC:'float *src'> - <var: #arg declareC:'float *arg'> - <var: #dst declareC:'float *dst'> - <var: #m1 declareC:'float *m1'> - <var: #m2 declareC:'float *m2'> - <var: #m3 declareC:'float *m3'> + <var: #c1 type: #double> + <var: #c2 type: #double> + <var: #c3 type: #double> + <var: #c4 type: #double> - <var: #c1 declareC:'double c1'> - <var: #c2 declareC:'double c2'> - <var: #c3 declareC:'double c3'> - <var: #c4 declareC:'double c4'> + m1 := self cCoerce: src to: #'float *'. + m2 := self cCoerce: arg to: #'float *'. + m3 := self cCoerce: dst to: #'float *'. - m1 := self cCoerce: src to:'float *'. - m2 := self cCoerce: arg to: 'float *'. - m3 := self cCoerce: dst to: 'float *'. 0 to: 3 do:[:i| "Compute next row" + c1 := ((m1 at: 0) * (m2 at: 0)) + ((m1 at: 1) * (m2 at: 4)) + + ((m1 at: 2) * (m2 at: 8)) + ((m1 at: 3) * (m2 at: 12)). - c1 := ((m1 at: 0) asFloat * (m2 at: 0) asFloat) + ((m1 at: 1) asFloat * (m2 at: 4) asFloat) + - ((m1 at: 2) asFloat * (m2 at: 8) asFloat) + ((m1 at: 3) asFloat * (m2 at: 12) asFloat). + c2 := ((m1 at: 0) * (m2 at: 1)) + ((m1 at: 1) * (m2 at: 5)) + + ((m1 at: 2) * (m2 at: 9)) + ((m1 at: 3) * (m2 at: 13)). - c2 := ((m1 at: 0) asFloat * (m2 at: 1) asFloat) + ((m1 at: 1) asFloat * (m2 at: 5) asFloat) + - ((m1 at: 2) asFloat * (m2 at: 9) asFloat) + ((m1 at: 3) asFloat * (m2 at: 13) asFloat). + c3 := ((m1 at: 0) * (m2 at: 2)) + ((m1 at: 1) * (m2 at: 6)) + + ((m1 at: 2) * (m2 at: 10)) + ((m1 at: 3) * (m2 at: 14)). - c3 := ((m1 at: 0) asFloat * (m2 at: 2) asFloat) + ((m1 at: 1) asFloat * (m2 at: 6) asFloat) + - ((m1 at: 2) asFloat * (m2 at: 10) asFloat) + ((m1 at: 3) asFloat * (m2 at: 14) asFloat). + c4 := ((m1 at: 0) * (m2 at: 3)) + ((m1 at: 1) * (m2 at: 7)) + + ((m1 at: 2) * (m2 at: 11)) + ((m1 at: 3) * (m2 at: 15)). - c4 := ((m1 at: 0) asFloat * (m2 at: 3) asFloat) + ((m1 at: 1) asFloat * (m2 at: 7) asFloat) + - ((m1 at: 2) asFloat * (m2 at: 11) asFloat) + ((m1 at: 3) asFloat * (m2 at: 15) asFloat). "Store result" m3 at: 0 put: c1. m3 at: 1 put: c2. m3 at: 2 put: c3. m3 at: 3 put: c4. "Skip src and dst to next row" m1 := m1 + 4. m3 := m3 + 4. ]. ^nil !

1 0

[OpenSmalltalk/opensmalltalk-vm] 5e7a35: CogVM source as per VMMaker.oscog-eem.3014
by Eliot Miranda 03 Aug '21

03 Aug '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 5e7a35243adb3cdddf8ef78e5dc1df7028249864 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/5e7a35243adb3cdddf… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-08-02 (Mon, 02 Aug 2021) Changed paths: M src/plugins/Float64ArrayPlugin/Float64ArrayPlugin.c M src/plugins/FloatArrayPlugin/FloatArrayPlugin.c M src/plugins/FloatMathPlugin/FloatMathPlugin.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3014 Have the FloatArray/Math plugin primitives use the FastCPrimitiveFlag & FastCPrimitiveAlignForFloatsFlag flags. Use the methodReturnFoo: protocol. Surround Spur metadata with #if SPURVM.

1 0

VM Maker: VMMaker.oscog-eem.3014.mcz
by commits＠source.squeak.org 03 Aug '21

03 Aug '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3014.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3014 Author: eem Time: 2 August 2021, 3:34:00.966805 pm UUID: c95cf1a8-05f7-4181-9276-7f3fdc1140e6 Ancestors: VMMaker.oscog-eem.3013 Have the FloatArray/Math plugin primitives use the FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag flags. Use the methodReturnFoo: protocol. Surround Spur metadata with #if SPURVM. In isCodeCompactingPrimitiveIndex: explain why the process switch primitives are not included. =============== Diff against VMMaker.oscog-eem.3013 =============== Item was changed: ----- Method: CoInterpreter>>isCodeCompactingPrimitiveIndex: (in category 'primitive support') ----- isCodeCompactingPrimitiveIndex: primIndex "If instVarAt:, slotAt: or shallowCopy operate on a Context then they compute a bytecode pc and hence may provoke a code compaction. Hence primitive invocation + from these primitives must use a static return address (cePrimReturnEnterCogCode:). + Note that the process switch primitives may also provoke a code compaction, which + happens when switching to a process whose top context has a machine code pc but + the method is no longer in the code cache. However, in this case they are switching + process and don't go through the normal return. So we don't include them here." - from these primitives must use a static return address (cePrimReturnEnterCogCode:)." <inline: true> self cCode: [] inSmalltalk: [#primitiveClone. #primitiveInstVarAt. #primitiveSlotAt]. "For senders..." ^primIndex = PrimNumberInstVarAt or: [primIndex = PrimNumberShallowCopy or: [primIndex = PrimNumberSlotAt]]! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveAddFloat64Array (in category 'arithmetic primitives') ----- primitiveAddFloat64Array "Primitive. Add the receiver and the argument, both Float64Arrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg rcvrPtr argPtr length | - <export: true> <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) + (argPtr at: i)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveAddScalar (in category 'arithmetic primitives') ----- primitiveAddScalar "Primitive. Add the argument, a scalar value to the receiver, a Float64Array" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr rcvrPtr value length | - <export: true> <var: #value type: #double> <var: #rcvrPtr type:#'double *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) + value]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveAt (in category 'access primitives') ----- primitiveAt + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | index rcvr doublePtr | <var: #doublePtr type: #'double *'> index := interpreterProxy stackIntegerValue: 0. rcvr := interpreterProxy stackValue: 1. (interpreterProxy failed not and: [(interpreterProxy isLong64s: rcvr) and: [index > 0 and: [index <= (interpreterProxy slotSizeOf: rcvr)]]]) ifFalse: [^interpreterProxy primitiveFail]. doublePtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. + ^interpreterProxy methodReturnFloat: (doublePtr at: index - 1)! - interpreterProxy methodReturnFloat: (doublePtr at: index - 1)! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveAtPut (in category 'access primitives') ----- primitiveAtPut + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | value floatValue index rcvr doublePtr | - <export: true> <var: #floatValue type: #double> <var: #doublePtr type: #'double *'> value := interpreterProxy stackValue: 0. floatValue := (interpreterProxy isIntegerObject: value) ifTrue: [(interpreterProxy integerValueOf: value) asFloat] ifFalse: [interpreterProxy floatValueOf: value]. index := interpreterProxy stackIntegerValue: 1. rcvr := interpreterProxy stackValue: 2. (interpreterProxy failed not and: [(interpreterProxy isLong64s: rcvr) and: [index > 0 and: [index <= (interpreterProxy slotSizeOf: rcvr)]]]) ifFalse: [^interpreterProxy primitiveFail]. doublePtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. doublePtr at: index-1 put: floatValue. + ^interpreterProxy methodReturnValue: value! - interpreterProxy pop: 3 thenPush: value! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveDivFloat64Array (in category 'arithmetic primitives') ----- primitiveDivFloat64Array "Primitive. Divide each element in the receiver by the corresponding element in the argument, both Float64Arrays, and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. "Check if any of the argument's values is zero" 0 to: length - 1 do: [:i| (argPtr at: i) = 0.0 ifTrue: "i.e. check for both 0.0 and -0.0" [^interpreterProxy primitiveFail]]. 0 to: length - 1 do: [:i| rcvrPtr at: i put: (rcvrPtr at: i) / (argPtr at: i)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveDivScalar (in category 'arithmetic primitives') ----- primitiveDivScalar "Primitive. Divide each element in the receiver by the argument, a scalar, and store the result into the receiver, a Float64Array" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr rcvrPtr value length | - <export: true> <var: #value type: #double> <var: #rcvrPtr type:#'double *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) / value. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveDotProduct (in category 'arithmetic primitives') ----- primitiveDotProduct "Primitive. Compute the dot product of the receiver and the argument, both Float64Arrays. The dot product is defined as the sum of the products of the individual elements." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length result | <var: #result type: #double> <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. result := 0.0. 0 to: length-1 do:[:i| result := result + ((rcvrPtr at: i) * (argPtr at: i)). ]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy methodReturnFloat: result. "Return result"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveEqual (in category 'access primitives') ----- primitiveEqual + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | rcvr arg rcvrPtr argPtr length | - <export: true> <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr)]) ifFalse: [^interpreterProxy primitiveFail]. - interpreterProxy pop: 2. (length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr) ifFalse: + [^interpreterProxy methodReturnBool: false]. - [^interpreterProxy pushBool: false]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. 0 to: length-1 do:[:i| + (rcvrPtr at: i) = (argPtr at: i) ifFalse:[^interpreterProxy methodReturnBool: false]. - (rcvrPtr at: i) = (argPtr at: i) ifFalse:[^interpreterProxy pushBool: false]. ]. + ^interpreterProxy methodReturnBool: true! - ^interpreterProxy pushBool: true! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveFromFloatArray (in category 'access primitives') ----- primitiveFromFloatArray "Primitive. Set each element of the receiver, a Float64Array with that of the argument, a FloatArray and return the receiver. Fail if both have different size" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg rcvrPtr argPtr length | - <export: true> <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (argPtr at: i) to: #double)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveHashArray (in category 'access primitives') ----- primitiveHashArray + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | rcvr rcvrPtr length result | - <export: true> <var: #rcvrPtr type: #'unsigned int *'> <var: #result type: #'unsigned int'> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'unsigned int *'. result := 0. 0 to: length*2-1 do:[:i| result := result + (rcvrPtr at: i). ]. + ^interpreterProxy methodReturnInteger: (result bitAnd: 16r1FFFFFFF)! - interpreterProxy methodReturnInteger: (result bitAnd: 16r1FFFFFFF)! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveLength (in category 'arithmetic primitives') ----- primitiveLength "Primitive. Compute the length of the argument (sqrt of sum of component squares)." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length len | <var: #rcvrPtr type: #'double *'> <var: #len type: #double> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. len := 0.0. 0 to: length-1 do: [:i| len := len + ((rcvrPtr at: i) * (rcvrPtr at: i)) ]. len > 0.0 ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. + ^interpreterProxy methodReturnFloat: (self sqrt: len)! - interpreterProxy methodReturnFloat: (self sqrt: len)! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveMulFloat64Array (in category 'arithmetic primitives') ----- primitiveMulFloat64Array "Primitive. Multiply the receiver and the argument, both Float64Arrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) * (argPtr at: i). ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveMulScalar (in category 'arithmetic primitives') ----- primitiveMulScalar + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> "Primitive. Multiply elements in the receiver, a Float64Array, by argument, a scalar value, and store the result into the receiver." | rcvr rcvrPtr value length | <var: #value type: #double> <var: #rcvrPtr type:#'double *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) * value. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveNormalize (in category 'arithmetic primitives') ----- primitiveNormalize "Primitive. Normalize the argument (A Float64Array) in place." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length len | <var: #rcvrPtr type: #'double *'> <var: #len type: #double> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. len := 0.0. 0 to: length - 1 do: [:i| len := len + ((rcvrPtr at: i) * (rcvrPtr at: i)) ]. len > 0.0 ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. len := self sqrt: len. 0 to: length - 1 do: [:i| rcvrPtr at: i put: (rcvrPtr at: i) / len ]. "Leave receiver on the stack."! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveSubFloat64Array (in category 'arithmetic primitives') ----- primitiveSubFloat64Array "Primitive. Subtract each element in the argument from each element in the receiver, both Float64Arrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'double *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isLong64s: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) - (argPtr at: i). ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveSubScalar (in category 'arithmetic primitives') ----- primitiveSubScalar "Primitive. Subtract the argument, a scalar value from each element in the receiver, a Float64Array" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr value length | <var: #value type: #double> <var: #rcvrPtr type:#'double *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (rcvrPtr at: i) - value. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: Float64ArrayPlugin>>primitiveSum (in category 'arithmetic primitives') ----- primitiveSum "Primitive. Answer the sum of each float in the receiver, a Float64Array." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length sum | <var: #sum type: #double> <var: #rcvrPtr type: #'double *'> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isLong64s: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'double *'. sum := 0.0. 0 to: length-1 do:[:i| sum := sum + (rcvrPtr at: i). ]. + ^interpreterProxy methodReturnFloat: sum! - interpreterProxy methodReturnFloat: sum! Item was changed: ----- Method: FloatArrayPlugin>>primitiveAddFloatArray (in category 'arithmetic primitives') ----- primitiveAddFloatArray "Primitive. Add the receiver and the argument, both FloatArrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg rcvrPtr argPtr length | - <export: true> <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) + (self cCoerce: (argPtr at: i) to: #double)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveAddScalar (in category 'arithmetic primitives') ----- primitiveAddScalar "Primitive. Add the argument, a scalar value to the receiver, a FloatArray" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr rcvrPtr value length | - <export: true> <var: #value type: #double> <var: #rcvrPtr type:#'float *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) + value]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveAt (in category 'access primitives') ----- primitiveAt + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | index rcvr floatPtr | <var: #floatPtr type: #'float *'> index := interpreterProxy stackIntegerValue: 0. rcvr := interpreterProxy stackValue: 1. (interpreterProxy failed not and: [(interpreterProxy isWords: rcvr) and: [index > 0 and: [index <= (interpreterProxy slotSizeOf: rcvr)]]]) ifFalse: [^interpreterProxy primitiveFail]. floatPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. + ^interpreterProxy methodReturnFloat: (floatPtr at: index - 1)! - interpreterProxy methodReturnFloat: (floatPtr at: index - 1)! Item was changed: ----- Method: FloatArrayPlugin>>primitiveAtPut (in category 'access primitives') ----- primitiveAtPut + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | value floatValue index rcvr floatPtr | - <export: true> <var: #floatValue type: #double> <var: #floatPtr type: #'float *'> value := interpreterProxy stackValue: 0. floatValue := (interpreterProxy isIntegerObject: value) ifTrue: [(interpreterProxy integerValueOf: value) asFloat] ifFalse: [interpreterProxy floatValueOf: value]. index := interpreterProxy stackIntegerValue: 1. rcvr := interpreterProxy stackValue: 2. (interpreterProxy failed not and: [(interpreterProxy isWords: rcvr) and: [index > 0 and: [index <= (interpreterProxy slotSizeOf: rcvr)]]]) ifFalse: [^interpreterProxy primitiveFail]. floatPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. floatPtr at: index-1 put: (self cCoerce: floatValue to: #float). + ^interpreterProxy methodReturnValue: value! - interpreterProxy pop: 3 thenPush: value! Item was changed: ----- Method: FloatArrayPlugin>>primitiveDivFloatArray (in category 'arithmetic primitives') ----- primitiveDivFloatArray "Primitive. Divide each element in the receiver by the corresponding element in the argument, both FloatArrays, and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. "Check if any of the argument's values is zero" 0 to: length - 1 do: [:i| (argPtr at: i) = (self cCoerce: 0.0 to: #float) ifTrue: "i.e. check for both 0.0 and -0.0" [^interpreterProxy primitiveFail]]. 0 to: length - 1 do: [:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) / (self cCoerce: (argPtr at: i) to: #double)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveDivScalar (in category 'arithmetic primitives') ----- primitiveDivScalar "Primitive. Divide each element in the receiver by the argument, a scalar, and store the result into the receiver, a FloatArray" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr rcvrPtr value inverse length | - <export: true> <var: #inverse type:'double '> <var: #value type: #double> <var: #rcvrPtr type:#'float *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. inverse := 1.0 / value. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) * inverse. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveDotProduct (in category 'arithmetic primitives') ----- primitiveDotProduct "Primitive. Compute the dot product of the receiver and the argument. The dot product is defined as the sum of the products of the individual elements." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length result | <var: #result type: #double> <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. result := 0.0. 0 to: length-1 do:[:i| result := result + ((self cCoerce: (rcvrPtr at: i) to: #double) * (self cCoerce: (argPtr at: i) to: #double)). ]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy methodReturnFloat: result. "Return result"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveEqual (in category 'access primitives') ----- primitiveEqual + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | rcvr arg rcvrPtr argPtr length | - <export: true> <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr)]) ifFalse: [^interpreterProxy primitiveFail]. - interpreterProxy pop: 2. (length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr) ifFalse: + [^interpreterProxy methodReturnBool: false]. - [^interpreterProxy pushBool: false]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. 0 to: length-1 do:[:i| + (rcvrPtr at: i) = (argPtr at: i) ifFalse:[^interpreterProxy methodReturnBool: false]. - (rcvrPtr at: i) = (argPtr at: i) ifFalse:[^interpreterProxy pushBool: false]. ]. + ^interpreterProxy methodReturnBool: true! - ^interpreterProxy pushBool: true! Item was changed: ----- Method: FloatArrayPlugin>>primitiveFromFloat64Array (in category 'access primitives') ----- primitiveFromFloat64Array "Primitive. Set each element of the receiver, a FloatArray with that of the argument, a Float64Array and return the receiver. Note that this conversion might loose bits, or generate overflow. Fail if both have different size" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg rcvrPtr argPtr length | - <export: true> <option: #SPURVM> <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'double *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isLong64s: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'double *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (argPtr at: i) to: #float)]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1. "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveHashArray (in category 'access primitives') ----- primitiveHashArray + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - | rcvr rcvrPtr length result | - <export: true> <var: #rcvrPtr type: #'unsigned int *'> <var: #result type: #'unsigned int'> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'unsigned int *'. result := 0. 0 to: length-1 do:[:i| result := result + (rcvrPtr at: i). ]. + ^interpreterProxy methodReturnInteger: (result bitAnd: 16r1FFFFFFF)! - interpreterProxy methodReturnInteger: (result bitAnd: 16r1FFFFFFF)! Item was changed: ----- Method: FloatArrayPlugin>>primitiveLength (in category 'arithmetic primitives') ----- primitiveLength "Primitive. Compute the length of the argument (sqrt of sum of component squares)." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length len | <var: #rcvrPtr type: #'float *'> <var: #len type: #double> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. len := 0.0. 0 to: length-1 do: [:i| len := len + ((self cCoerce: (rcvrPtr at: i) to: #double) * (self cCoerce: (rcvrPtr at: i) to: #double)) ]. len > 0.0 ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. + ^interpreterProxy methodReturnFloat: (self sqrt: len)! - interpreterProxy methodReturnFloat: (self sqrt: len)! Item was changed: ----- Method: FloatArrayPlugin>>primitiveMulFloatArray (in category 'arithmetic primitives') ----- primitiveMulFloatArray "Primitive. Multiply the receiver and the argument, both FloatArrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) * (self cCoerce: (argPtr at: i) to: #double). ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveMulScalar (in category 'arithmetic primitives') ----- primitiveMulScalar + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> "Primitive. Multiply elements in the receiver, a FloatArray, by argument, a scalar value, and store the result into the receiver." | rcvr rcvrPtr value length | <var: #value type: #double> <var: #rcvrPtr type:#'float *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) * value. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveNormalize (in category 'arithmetic primitives') ----- primitiveNormalize "Primitive. Normalize the argument (A FloatArray) in place." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length len | <var: #rcvrPtr type: #'float *'> <var: #len type: #double> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. len := 0.0. 0 to: length - 1 do: [:i| len := len + ((self cCoerce: (rcvrPtr at: i) to: #double) * (self cCoerce: (rcvrPtr at: i) to: #double)) ]. len > 0.0 ifFalse: [^interpreterProxy primitiveFailFor: PrimErrBadReceiver]. len := self sqrt: len. 0 to: length - 1 do: [:i| rcvrPtr at: i put: ((self cCoerce: (rcvrPtr at: i) to: #double) / len) ]. "Leave receiver on the stack."! Item was changed: ----- Method: FloatArrayPlugin>>primitiveSubFloatArray (in category 'arithmetic primitives') ----- primitiveSubFloatArray "Primitive. Subtract each element in the argument from each element in the receiver, both FloatArrays and store the result into the receiver." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr arg rcvrPtr argPtr length | <var: #rcvrPtr type: #'float *'> <var: #argPtr type: #'float *'> arg := interpreterProxy stackValue: 0. rcvr := interpreterProxy stackValue: 1. ((interpreterProxy isWords: arg) and: [(interpreterProxy isWords: rcvr) and: [(length := interpreterProxy stSizeOf: arg) = (interpreterProxy stSizeOf: rcvr)]]) ifFalse: [^interpreterProxy primitiveFail]. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. argPtr := self cCoerce: (interpreterProxy firstIndexableField: arg) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) - (self cCoerce: (argPtr at: i) to: #double). ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveSubScalar (in category 'arithmetic primitives') ----- primitiveSubScalar "Primitive. Subtract the argument, a scalar value from each element in the receiver, a FloatArray" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr value length | <var: #value type: #double> <var: #rcvrPtr type:#'float *'> value := interpreterProxy stackFloatValue: 0. interpreterProxy failed ifTrue:[^nil]. rcvr := interpreterProxy stackValue: 1. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. 0 to: length-1 do:[:i| rcvrPtr at: i put: (self cCoerce: (rcvrPtr at: i) to: #double) - value. ]. + ^interpreterProxy methodReturnReceiver! - interpreterProxy pop: 1 "Leave rcvr on stack"! Item was changed: ----- Method: FloatArrayPlugin>>primitiveSum (in category 'arithmetic primitives') ----- primitiveSum "Primitive. Answer the sum of each float in the receiver, a FloatArray." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> - <export: true> | rcvr rcvrPtr length sum | <var: #sum type: #double> <var: #rcvrPtr type: #'float *'> rcvr := interpreterProxy stackValue: 0. (interpreterProxy isWords: rcvr) ifFalse: [^interpreterProxy primitiveFail]. length := interpreterProxy stSizeOf: rcvr. rcvrPtr := self cCoerce: (interpreterProxy firstIndexableField: rcvr) to: #'float *'. sum := 0.0. 0 to: length-1 do:[:i| sum := sum + (self cCoerce: (rcvrPtr at: i) to: #double). ]. + ^interpreterProxy methodReturnFloat: sum! - interpreterProxy methodReturnFloat: sum! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcCos (in category 'float primitives') ----- primitiveArcCos "Computes acos(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_acos(rcvr)' inSmalltalk: [rcvr arcCos]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcCosH (in category 'float primitives') ----- primitiveArcCosH "Computes acosh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_acosh(rcvr)' inSmalltalk: [rcvr arcCosH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcSin (in category 'float primitives') ----- primitiveArcSin "Computes asin(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_asin(rcvr)' inSmalltalk: [rcvr arcSin]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcSinH (in category 'float primitives') ----- primitiveArcSinH "Computes asinh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_asinh(rcvr)' inSmalltalk: [rcvr arcSinH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcTan (in category 'float primitives') ----- primitiveArcTan "Computes atan(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_atan(rcvr)' inSmalltalk: [rcvr arcTan]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcTan2 (in category 'float primitives') ----- primitiveArcTan2 "Computes atan2(receiver, arg)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg result | + <var: #rcvr type: #double> + <var: #arg type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #arg type: 'double'> - <var: #result type: 'double'> arg := interpreterProxy stackFloatValue: 0. rcvr := interpreterProxy stackFloatValue: 1. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_atan2(rcvr, arg)' inSmalltalk: [rcvr arcTan: arg]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveArcTanH (in category 'float primitives') ----- primitiveArcTanH "Computes atanh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_atanh(rcvr)' inSmalltalk: [rcvr arcTanH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveCos (in category 'float primitives') ----- primitiveCos "Computes cos(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_cos(rcvr)' inSmalltalk: [rcvr cos]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveCosH (in category 'float primitives') ----- primitiveCosH "Computes cosh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_cosh(rcvr)' inSmalltalk: [rcvr cosH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveExp (in category 'float primitives') ----- primitiveExp "Computes E raised to the receiver power." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := (self cCode: '__ieee754_exp(rcvr)' inSmalltalk: [rcvr exp]). (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveFMod (in category 'float primitives') ----- primitiveFMod "Computes receiver \\ arg" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg result | + <var: #rcvr type: #double> + <var: #arg type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #arg type: 'double'> - <var: #result type: 'double'> arg := interpreterProxy stackFloatValue: 0. rcvr := interpreterProxy stackFloatValue: 1. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_fmod(rcvr, arg)' inSmalltalk: [rcvr \\ arg]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveFractionalPart (in category 'float primitives') ----- primitiveFractionalPart "Computes receiver \\ 1.0" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result trunc | + <var: #rcvr type: #double> + <var: #result type: #double> + <var: #trunc type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> - <var: #trunc type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_modf(rcvr, &trunc)' inSmalltalk: [rcvr fractionPart]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveHypot (in category 'float primitives') ----- primitiveHypot "hypot(x,y) returns sqrt(x^2+y^2) with error less than 1 ulps" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg result | + <var: #rcvr type: #double> + <var: #arg type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #arg type: 'double'> - <var: #result type: 'double'> arg := interpreterProxy stackFloatValue: 0. rcvr := interpreterProxy stackFloatValue: 1. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_hypot(rcvr, arg)' inSmalltalk: [rcvr hypot: arg]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveLog10 (in category 'float primitives') ----- primitiveLog10 "Computes log10(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. rcvr < 0.0 ifTrue:[^interpreterProxy primitiveFail]. result := self cCode: '__ieee754_log10(rcvr)' inSmalltalk: [rcvr log: 10]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveLogN (in category 'float primitives') ----- primitiveLogN "Computes log(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. rcvr < 0.0 ifTrue:[^interpreterProxy primitiveFail]. result := self cCode: '__ieee754_log(rcvr)' inSmalltalk: [rcvr ln]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveRaisedToPower (in category 'float primitives') ----- primitiveRaisedToPower "Computes receiver**arg" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg result | + <var: #rcvr type: #double> + <var: #arg type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #arg type: 'double'> - <var: #result type: 'double'> arg := interpreterProxy stackFloatValue: 0. rcvr := interpreterProxy stackFloatValue: 1. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_pow(rcvr, arg)' inSmalltalk: [rcvr raisedTo: arg]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveSin (in category 'float primitives') ----- primitiveSin "Computes sin(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_sin(rcvr)' inSmalltalk: [rcvr sin]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveSinH (in category 'float primitives') ----- primitiveSinH "Computes sinh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_sinh(rcvr)' inSmalltalk: [rcvr sinH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveSqrt (in category 'float primitives') ----- primitiveSqrt "Computes sqrt(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. rcvr < 0.0 ifTrue:[^interpreterProxy primitiveFail]. result := self cCode: '__ieee754_sqrt(rcvr)' inSmalltalk: [rcvr sqrt]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveTan (in category 'float primitives') ----- primitiveTan "Computes tan(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_tan(rcvr)' inSmalltalk: [rcvr tan]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveTanH (in category 'float primitives') ----- primitiveTanH "Computes tanh(receiver)" + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr result | + <var: #rcvr type: #double> + <var: #result type: #double> - <export: true> - <var: #rcvr type: 'double'> - <var: #result type: 'double'> rcvr := interpreterProxy stackFloatValue: 0. + interpreterProxy failed ifTrue:[^nil]. - (interpreterProxy failed) ifTrue:[^nil]. result := self cCode: '__ieee754_tanh(rcvr)' inSmalltalk: [rcvr tanH]. (self isnan: result) ifTrue:[^interpreterProxy primitiveFail]. + ^interpreterProxy methodReturnFloat: result! - interpreterProxy pop: interpreterProxy methodArgumentCount + 1. - interpreterProxy pushFloat: result.! Item was changed: ----- Method: FloatMathPlugin>>primitiveTimesTwoPower (in category 'float primitives') ----- primitiveTimesTwoPower "Multiply the receiver by the power of the argument." + <export: true flags: #(FastCPrimitiveFlag FastCPrimitiveAlignForFloatsFlag)> | rcvr arg result | - <export: true> <var: #rcvr type: #double> <var: #result type: #double> arg := interpreterProxy stackIntegerValue: 0. rcvr := interpreterProxy stackFloatValue: 1. interpreterProxy failed ifTrue: [^nil]. interpreterProxy bytesPerOop > 4 ifTrue: [| twiceMaxExponent | "clip arg to at most int range; ldexp's last arg is of type int" twiceMaxExponent := 2 * (1 << self floatExponentBits). arg < twiceMaxExponent negated ifTrue: [arg := twiceMaxExponent negated] ifFalse: [arg > twiceMaxExponent ifTrue: [arg := twiceMaxExponent]]]. result := self cCode: '__ieee754_ldexp(rcvr, (int)arg)' inSmalltalk: [rcvr timesTwoPower: arg]. (self isnan: result) ifFalse: [interpreterProxy methodReturnFloat: result]. ^nil! Item was changed: ----- Method: VMPluginCodeGenerator>>emitExportsOn: (in category 'C code generator') ----- emitExportsOn: aStream "Store all the exported primitives in the form used by the internal named prim system." - | nilVMClass | - (nilVMClass := vmClass isNil) ifTrue: "We need a vmClass temporarily to compute accessor depths." - [vmClass := StackInterpreter]. aStream cr; cr; nextPutAll:'#ifdef SQUEAK_BUILTIN_PLUGIN'. self emitExportsNamed: pluginClass moduleName pluginName: pluginClass internalModuleName on: aStream. + aStream cr; nextPutAll: '#else // ifdef SQ_BUILTIN_PLUGIN'; cr; cr. - aStream cr; nextPutAll: '#else /* ifdef SQ_BUILTIN_PLUGIN */'; cr; cr. self emitPrimitiveMetadataOn: aStream. + aStream cr; nextPutAll: '#endif // ifdef SQ_BUILTIN_PLUGIN'; cr! - aStream cr; nextPutAll: '#endif /* ifdef SQ_BUILTIN_PLUGIN */'; cr. - nilVMClass ifTrue: - [vmClass := nil]! Item was changed: ----- Method: VMPluginCodeGenerator>>emitPrimitiveMetadataOn: (in category 'C code generator') ----- emitPrimitiveMetadataOn: aStream "Output accessor depth bytes for all primitives in the plugin. This is for external primitives in Spur." + | exports | + (exports := self exportsNeedingMetadata) isEmpty ifTrue: [^self]. + aStream nextPutAll: '#if SPURVM'; cr. + exports do: - self exportsNeedingMetadata do: [:method| | primName depth exportFlags | primName := self cFunctionNameFor: method selector. depth := self accessorDepthForMethod: method. exportFlags := CoInterpreter metadataFlagsForPrimitive: method compiledMethod. (depth >= 0 or: [exportFlags > 0]) ifTrue: ["store the metadata in a short variable; save a little space by omitting depths < 0; support code supplies the default." self assert: depth < 128. self withOptionalConditionalDefineFor: method on: aStream do: [aStream nextPutAll: 'EXPORT(signed short) '; nextPutAll: primName; nextPutAll: 'Metadata = '; nextPutAll: (self cLiteralFor: (depth bitShift: 8) + exportFlags); nextPut: $;; + cr]]]. + aStream nextPutAll: '#endif // SPURVM'; cr! - cr]]]!

1 0

Re: [Vm-dev] true isReadOnlyObject ~~ false isReadOnlyObject
by Eliot Miranda 02 Aug '21

02 Aug '21

> On Jul 26, 2021, at 7:34 AM, Fabio Niephaus <lists(a)fniephaus.com> wrote: > > > Hi Eliot, > >> On Mon, Jul 26, 2021 at 4:26 PM Eliot Miranda <eliot.miranda(a)gmail.com> wrote: >> Hi Fabio, >>>> On Jul 24, 2021, at 3:27 AM, Fabio Niephaus <lists(a)fniephaus.com> wrote: >>> >>> Hi all, >>> Just scanned my image for read-only objects and these were all their classes: >>> ByteSymbol UndefinedObject ByteString Array GitStamp True ByteArray. >>> For some reason, False seems to be missing. Hence, this is true: >>> `true isReadOnlyObject ~~ false isReadOnlyObject` >>> Seems like a minor bug somewhere? >> Look at my code in the Compiler for setting literals to be read only. Clearly it makes sense to set read only on array literals (Array, ByteArray, ByteString/WideString, ByteSymbol/WideSymbol) and boxed numbers (LargeXXXXiveInteger, BoxedFloat64), but it makes little sense to set nil, true & false to be read only (they have no mutable state and so are effectively read only any way). I expect you’ll find that my code is too careless and accidentally applies read only ness to nil, false and/or true. >> A fix would involve correcting the code and adding a post load action to remove read only ness from nil, false and true. > > Sounds reasonable. Since this is your code, would you mind taking care > of this when you have some time? Yes I would. I am currently mid way through attempting to speed up the FFI having written most of the code to allow much faster invocation of named primitives that don’t use much stack space. Last night I found the new code doesn’t handle failure correctly and will spend the day fixing that. Once I have that robe I can get back to seeing that the new FFI allows Turf to function. And once that is done I can get back to finishing the Terf release. Yo see the effort involved look at the number of methods in the VMMaker.oscog-eem.2994 commit. Clément and I have been wanting to do this for years. It should have a measurable impact on large integer performance, string hash, etc. but it is at least a week’s intense work. So I would really appreciate if someone could take a look at the one method in the bytecode compiler that applies read only ness, and give it the review that it needs, because I didn’t get it right, because it’s there in the image, because it’s an easy task, because it’s a nice gift in a gift economy. > > Many thanks, Snotty passive aggression doesn’t cut it fir me I’m afraid. > Fabio > >>> Cheers, >>> Fabio

3 2

[OpenSmalltalk/opensmalltalk-vm] Fix include order (#562)
by Nicolas Cellier 02 Aug '21

02 Aug '21

This enables the linux builds again, while preserving windows and macos builds. That is a fix for https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/560 If this is compatible with TERF VM, then it should be merged ASAP, the builds are red for too long. (we'll have to inquire next point of failure...) You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/562 -- Commit Summary -- * always include <stdio.h> **BEFORE** defining fseeko/ftello * Discard the EXPORT from sqAssert.h for declaring VM functions * Make sure that config.h is included first * Generate source with VMMaker.oscog-nice.2957 so as to restore sqConfig.h inclusion at top * try and omit HAVE_CONFIG_H for compiling getVersion -- File Changes -- M platforms/Cross/plugins/B3DAcceleratorPlugin/sqOpenGLRenderer.c (3) M platforms/Cross/plugins/IA32ABI/xabicc.c (5) M platforms/Cross/plugins/SoundCodecPrims/sqSoundCodecPluginBasicPrims.c (4) M platforms/Cross/plugins/Squeak3D/b3dInit.c (3) M platforms/Cross/plugins/Squeak3D/b3dMain.c (3) M platforms/Cross/plugins/SurfacePlugin/SurfacePlugin.c (4) M platforms/Cross/vm/sqAssert.h (11) M platforms/Cross/vm/sqHeapMap.c (4) M platforms/Cross/vm/sqSCCSVersion.h (2) M platforms/Cross/vm/sqVirtualMachine.c (3) M platforms/unix/config/getversion.c (1) M platforms/unix/plugins/FileAttributesPlugin/faSupport.c (3) M platforms/unix/vm/aio.c (12) M platforms/unix/vm/sqUnixVMProfile.c (5) M platforms/win32/vm/sqPlatformSpecific.h (1) M spur64src/vm/cogit.h (2) M spur64src/vm/cogitARMv8.c (8) M spur64src/vm/cogitX64SysV.c (8) M spur64src/vm/cogitX64WIN64.c (8) M spur64src/vm/cointerp.c (49) M spur64src/vm/cointerp.h (4) M spur64src/vm/cointerpmt.c (31) M spur64src/vm/cointerpmt.h (3) M spur64src/vm/gcc3x-cointerp.c (49) M spur64src/vm/gcc3x-cointerpmt.c (31) M spurlowcode64src/vm/cogit.h (3) M spurlowcode64src/vm/cogitARMv8.c (16) M spurlowcode64src/vm/cogitX64SysV.c (12) M spurlowcode64src/vm/cogitX64WIN64.c (12) M spurlowcode64src/vm/cointerp.c (53) M spurlowcode64src/vm/cointerp.h (5) M spurlowcode64src/vm/gcc3x-cointerp.c (53) M spurlowcodesrc/vm/cogit.h (3) M spurlowcodesrc/vm/cogitARMv5.c (12) M spurlowcodesrc/vm/cogitIA32.c (12) M spurlowcodesrc/vm/cogitMIPSEL.c (16) M spurlowcodesrc/vm/cointerp.c (57) M spurlowcodesrc/vm/cointerp.h (5) M spurlowcodesrc/vm/gcc3x-cointerp.c (57) M spurlowcodestack64src/vm/gcc3x-interp.c (25) M spurlowcodestack64src/vm/interp.c (25) M spurlowcodestacksrc/vm/gcc3x-interp.c (25) M spurlowcodestacksrc/vm/interp.c (25) M spursista64src/vm/cogit.h (2) M spursista64src/vm/cogitARMv8.c (12) M spursista64src/vm/cogitX64SysV.c (8) M spursista64src/vm/cogitX64WIN64.c (8) M spursista64src/vm/cointerp.c (49) M spursista64src/vm/cointerp.h (4) M spursista64src/vm/gcc3x-cointerp.c (49) M spursistasrc/vm/cogit.h (2) M spursistasrc/vm/cogitARMv5.c (8) M spursistasrc/vm/cogitIA32.c (8) M spursistasrc/vm/cogitMIPSEL.c (14) M spursistasrc/vm/cointerp.c (49) M spursistasrc/vm/cointerp.h (2) M spursistasrc/vm/gcc3x-cointerp.c (49) M spursrc/vm/cogit.h (2) M spursrc/vm/cogitARMv5.c (8) M spursrc/vm/cogitIA32.c (8) M spursrc/vm/cogitMIPSEL.c (10) M spursrc/vm/cointerp.c (57) M spursrc/vm/cointerp.h (4) M spursrc/vm/cointerpmt.c (81) M spursrc/vm/cointerpmt.h (5) M spursrc/vm/gcc3x-cointerp.c (57) M spursrc/vm/gcc3x-cointerpmt.c (81) M spurstack64src/vm/gcc3x-interp.c (25) M spurstack64src/vm/interp.c (25) M spurstack64src/vm/validImage.c (17) M spurstacksrc/vm/gcc3x-interp.c (25) M spurstacksrc/vm/interp.c (25) M spurstacksrc/vm/validImage.c (17) M src/plugins/Squeak3D/Squeak3D.c (8) M src/vm/cogit.h (2) M src/vm/cogitARMv5.c (8) M src/vm/cogitIA32.c (8) M src/vm/cogitMIPSEL.c (12) M src/vm/cointerp.c (10) M src/vm/cointerp.h (2) M src/vm/gcc3x-cointerp.c (10) M stacksrc/vm/gcc3x-interp.c (12) M stacksrc/vm/interp.c (12) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/562.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/562.diff -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/562

9 19

VM Maker: VMMaker.oscog-eem.3013.mcz
by commits＠source.squeak.org 02 Aug '21

02 Aug '21

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.3013.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.3013 Author: eem Time: 1 August 2021, 11:34:55.89867 pm UUID: 386c33d9-c0f2-44c4-bfd3-84910f485b03 Ancestors: VMMaker.oscog-eem.3012 Eliminate a Slang warning. =============== Diff against VMMaker.oscog-eem.3012 =============== Item was changed: ----- Method: Cogit>>generateCogMethod: (in category 'generate machine code') ----- generateCogMethod: selector "We handle jump sizing simply. First we make a pass that asks each instruction to compute its maximum size. Then we make a pass that sizes jumps based on the maxmimum sizes. Then we make a pass that fixes up jumps. When fixing up a jump the jump is not allowed to choose a smaller offset but must stick to the size set in the second pass." <returnTypeC: #'CogMethod *'> | codeSize headerSize mapSize totalSize startAddress result | - <var: #method type: #'CogMethod *'> headerSize := self sizeof: CogMethod. methodLabel address: methodZone freeStart. self computeMaximumSizes. methodLabel concretizeAt: methodZone freeStart. codeSize := self generateInstructionsAt: methodLabel address + headerSize. mapSize := self generateMapAt: nil start: methodLabel address + cmNoCheckEntryOffset. totalSize := methodZone roundUpLength: headerSize + codeSize + mapSize. totalSize > MaxMethodSize ifTrue: [^self cCoerceSimple: MethodTooBig to: #'CogMethod *']. startAddress := methodZone allocate: totalSize. startAddress = 0 ifTrue: [^self cCoerceSimple: InsufficientCodeSpace to: #'CogMethod *']. self assert: startAddress + cmEntryOffset = entry address. self assert: startAddress + cmNoCheckEntryOffset = noCheckEntry address. result := self outputInstructionsAt: startAddress + headerSize. self assert: startAddress + headerSize + codeSize = result. backEnd padIfPossibleWithStopsFrom: result to: startAddress + totalSize - mapSize - 1. self generateMapAt: startAddress + totalSize - 1 start: startAddress + cmNoCheckEntryOffset. self fillInBlockHeadersAt: startAddress. self fillInMethodHeader: (self writableMethodFor: startAddress) size: totalSize selector: selector. "This also implicitly flushes the read/write mapped dual zone to the read/execute zone." backEnd flushICacheFrom: startAddress to: startAddress + totalSize. ^self cCoerceSimple: startAddress to: #'CogMethod *'!

1 0

[OpenSmalltalk/opensmalltalk-vm] 28ddcc: CogVM source as per VMMaker.oscog-eem.3012
by Eliot Miranda 02 Aug '21

02 Aug '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 28ddcc243025de2578143f7b0ca5d8a2b6504153 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/28ddcc243025de2578… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-08-01 (Sun, 01 Aug 2021) Changed paths: M spur64src/vm/cogitARMv8.c M spurlowcode64src/vm/cogitARMv8.c M spursista64src/vm/cogitARMv8.c Log Message: ----------- CogVM source as per VMMaker.oscog-eem.3012 Cogit: Fix a Slang slip with CogARMv8Compiler>>computeMaximumSize. Use SP rather than NativeSPReg within CogARMv8Compiler, since NativeSPReg is really for the outside world (the Cogit's world).

1 0

[OpenSmalltalk/opensmalltalk-vm] ff6129: Include sqMacUnixExternalPrims.m updated for the l...
by Eliot Miranda 02 Aug '21

02 Aug '21

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: ff6129b06ef5566f09493daf245442d70454b2fa https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/ff6129b06ef5566f09… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-08-01 (Sun, 01 Aug 2021) Changed paths: M platforms/iOS/vm/OSX/sqMacUnixExternalPrims.m Log Message: ----------- Include sqMacUnixExternalPrims.m updated for the latest Spur primitive metdata. Commit: a6c56b77f2d0cc0ef0bb496dd49c961ca03cdb55 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/a6c56b77f2d0cc0ef0… Author: Eliot Miranda <eliot.miranda(a)gmail.com> Date: 2021-08-01 (Sun, 01 Aug 2021) Changed paths: M spur64src/vm/cogit.h M spur64src/vm/cogitARMv8.c M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spur64src/vm/cointerp.c M spur64src/vm/cointerp.h M spur64src/vm/cointerpmt.c M spur64src/vm/cointerpmt.h M spur64src/vm/gcc3x-cointerp.c M spur64src/vm/gcc3x-cointerpmt.c M spurlowcode64src/vm/cogit.h M spurlowcode64src/vm/cogitARMv8.c M spurlowcode64src/vm/cogitX64SysV.c M spurlowcode64src/vm/cogitX64WIN64.c M spurlowcode64src/vm/cointerp.c M spurlowcode64src/vm/cointerp.h M spurlowcode64src/vm/gcc3x-cointerp.c M spurlowcodesrc/vm/cogit.h M spurlowcodesrc/vm/cogitARMv5.c M spurlowcodesrc/vm/cogitIA32.c M spurlowcodesrc/vm/cogitMIPSEL.c M spurlowcodesrc/vm/cointerp.c M spurlowcodesrc/vm/cointerp.h M spurlowcodesrc/vm/gcc3x-cointerp.c M spurlowcodestack64src/vm/gcc3x-interp.c M spurlowcodestack64src/vm/interp.c M spurlowcodestacksrc/vm/gcc3x-interp.c M spurlowcodestacksrc/vm/interp.c M spursista64src/vm/cogit.h M spursista64src/vm/cogitARMv8.c M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c M spursista64src/vm/cointerp.c M spursista64src/vm/cointerp.h M spursista64src/vm/gcc3x-cointerp.c 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 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/cointerpmt.c M spursrc/vm/cointerpmt.h M spursrc/vm/gcc3x-cointerp.c M spursrc/vm/gcc3x-cointerpmt.c M spurstack64src/vm/gcc3x-interp.c M spurstack64src/vm/interp.c M spurstack64src/vm/validImage.c M spurstacksrc/vm/gcc3x-interp.c M spurstacksrc/vm/interp.c M spurstacksrc/vm/validImage.c M src/plugins/SqueakFFIPrims/ARM32FFIPlugin.c M src/plugins/SqueakFFIPrims/ARM64FFIPlugin.c M src/plugins/SqueakFFIPrims/IA32FFIPlugin.c M src/plugins/SqueakFFIPrims/X64SysVFFIPlugin.c M src/plugins/SqueakFFIPrims/X64Win64FFIPlugin.c M src/vm/cogit.h M src/vm/cogitARMv5.c M src/vm/cogitIA32.c M src/vm/cogitMIPSEL.c M src/vm/cointerp.c M src/vm/cointerp.h M src/vm/gcc3x-cointerp.c Log Message: ----------- Merge branch 'Cog' of https://github.com/OpenSmalltalk/opensmalltalk-vm into Cog Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/4adbe56d3b85...a6…

1 0

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 August 2021