Vm-dev July 2012

vm-dev@lists.squeakfoundation.org

20 participants
62 discussions

VM Maker: VMMaker-oscog-IgorStasenko.162.mcz
by commits＠source.squeak.org 26 Jul '12

26 Jul '12

Igor Stasenko uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-oscog-IgorStasenko.162.mcz ==================== Summary ==================== Name: VMMaker-oscog-IgorStasenko.162 Author: IgorStasenko Time: 26 July 2012, 3:56:10 pm UUID: e4554f9a-cc90-4826-a807-ac282b782fe4 Ancestors: VMMaker-oscog-EstebanLorenzano.161 - changed the readImageFromFile: f HeapSize: desiredHeapSize StartingAt: imageOffset to use sqImageFileReadEntireImage() function =============== Diff against VMMaker-oscog-EstebanLorenzano.161 =============== Item was changed: ----- Method: CoInterpreter>>readImageFromFile:HeapSize:StartingAt: (in category 'image save/restore') ----- readImageFromFile: f HeapSize: desiredHeapSize StartingAt: imageOffset "Read an image from the given file stream, allocating the given amount of memory to its object heap. Fail if the image has an unknown format or requires more than the given amount of memory." "Details: This method detects when the image was stored on a machine with the opposite byte ordering from this machine and swaps the bytes automatically. Furthermore, it allows the header information to start 512 bytes into the file, since some file transfer programs for the Macintosh apparently prepend a Mac-specific header of this size. Note that this same 512 bytes of prefix area could also be used to store an exec command on Unix systems, allowing one to launch Smalltalk by invoking the image name as a command." "This code is based on C code by Ian Piumarta and Smalltalk code by Tim Rowledge. Many thanks to both of you!!!!" | swapBytes headerStart headerSize dataSize oldBaseAddr minimumMemory heapSize bytesRead bytesToShift hdrNumStackPages hdrEdenBytes hdrCogCodeSize headerFlags hdrMaxExtSemTabSize | <var: #f type: 'sqImageFile '> <var: #memStart type: 'usqInt'> <var: #desiredHeapSize type: 'usqInt'> <var: #headerStart type: 'squeakFileOffsetType '> <var: #dataSize type: 'size_t '> <var: #imageOffset type: 'squeakFileOffsetType '> metaclassSizeBytes := 6 * BytesPerWord. "guess (Metaclass instSize * BPW)" swapBytes := self checkImageVersionFrom: f startingAt: imageOffset. headerStart := (self sqImageFilePosition: f) - BytesPerWord. "record header start position" headerSize := self getLongFromFile: f swap: swapBytes. dataSize := self getLongFromFile: f swap: swapBytes. oldBaseAddr := self getLongFromFile: f swap: swapBytes. objectMemory specialObjectsOop: (self getLongFromFile: f swap: swapBytes). objectMemory lastHash: (self getLongFromFile: f swap: swapBytes). "N.B. not used." savedWindowSize := self getLongFromFile: f swap: swapBytes. headerFlags := self getLongFromFile: f swap: swapBytes. self setImageHeaderFlagsFrom: headerFlags. extraVMMemory := self getLongFromFile: f swap: swapBytes. "N.B. not used." hdrNumStackPages := self getShortFromFile: f swap: swapBytes. "4 stack pages is small. Should be able to run with as few as three. 4 should be comfortable but slow. 8 is a reasonable default. Can be changed via vmParameterAt: 43 put: n. Can be set as a preference (Info.plist, VM.ini, command line etc). If desiredNumStackPages is already non-zero then it has been set as a preference. Ignore (but preserve) the header's default." numStackPages := desiredNumStackPages ~= 0 ifTrue: [desiredNumStackPages] ifFalse: [hdrNumStackPages = 0 ifTrue: [self defaultNumStackPages] ifFalse: [hdrNumStackPages]]. desiredNumStackPages := hdrNumStackPages. "This slot holds the size of the native method zone in 1k units. (pad to word boundary)." hdrCogCodeSize := (self getShortFromFile: f swap: swapBytes) * 1024. cogCodeSize := desiredCogCodeSize ~= 0 ifTrue: [desiredCogCodeSize] ifFalse: [hdrCogCodeSize = 0 ifTrue: [self defaultCogCodeSize] ifFalse: [hdrCogCodeSize]]. hdrEdenBytes := self getLongFromFile: f swap: swapBytes. objectMemory edenBytes: (desiredEdenBytes ~= 0 ifTrue: [desiredEdenBytes] ifFalse: [hdrEdenBytes = 0 ifTrue: [objectMemory defaultEdenBytes] ifFalse: [hdrEdenBytes]]). desiredEdenBytes := hdrEdenBytes. hdrMaxExtSemTabSize := self getShortFromFile: f swap: swapBytes. hdrMaxExtSemTabSize ~= 0 ifTrue: [self setMaxExtSemSizeTo: hdrMaxExtSemTabSize]. "compare memory requirements with availability" minimumMemory := cogCodeSize "no need to include the stackZone; this is alloca'ed" + dataSize + objectMemory edenBytes + self interpreterAllocationReserveBytes. heapSize := cogCodeSize "no need to include the stackZone; this is alloca'ed" + desiredHeapSize "+ edenBytes" "don't include edenBytes; this is part of the heap and so part of desiredHeapSize" + self interpreterAllocationReserveBytes. heapSize < minimumMemory ifTrue: [self insufficientMemorySpecifiedError]. "allocate a contiguous block of memory for the Squeak heap and ancilliary data structures" "N.B. If the platform needs to it will redefine this macro to make heapSize an in/out parameter and assign the ammount actually allocated into heapSize. See e.g. platforms/Mac OS/vm/sqPlatformSpecific.h. (I *hate* this. eem 7/23/2009)" "objectMemory memory: (self cCode: 'sqAllocateMemory(minimumMemory, heapSize)'). " objectMemory memory: (self allocateMemory: heapSize minimum: minimumMemory imageFile: f headerSize: headerSize). objectMemory memory = nil ifTrue: [self insufficientMemoryAvailableError]. heapBase := objectMemory memory + cogCodeSize. self assert: objectMemory startOfMemory = heapBase. objectMemory setMemoryLimit: objectMemory memory + heapSize - 24. "decrease memoryLimit a tad for safety" objectMemory setEndOfMemory: heapBase + dataSize. "position file after the header" self sqImageFile: f Seek: headerStart + headerSize. "read in the image in bulk, then swap the bytes if necessary" + bytesRead := self cCode: 'sqImageFileReadEntireImage(pointerForOop(heapBase), sizeof(unsigned char), dataSize, f)'. + - bytesRead := self cCode: 'sqImageFileRead(pointerForOop(heapBase), sizeof(unsigned char), dataSize, f)'. bytesRead ~= dataSize ifTrue: [self unableToReadImageError]. self ensureImageFormatIsUpToDate: swapBytes. "compute difference between old and new memory base addresses" bytesToShift := heapBase - oldBaseAddr. self initializeInterpreter: bytesToShift. "adjusts all oops to new location" self initializeCodeGenerator. ^dataSize! Item was changed: ----- Method: CogVMSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'as yet unclassified') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: posixPermissions posixPermissions: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> results := objectMemory instantiateClass: (objectMemory splObj: ClassArray) indexableSize: 5. nameString := objectMemory instantiateClass: (objectMemory splObj: ClassString) indexableSize: entryNameSize. createDateOop := self positive32BitIntegerFor: createDate. modDateOop := self positive32BitIntegerFor: modifiedDate. 1 to: entryNameSize do: [ :i | objectMemory storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue]. objectMemory storePointerUnchecked: 0 ofObject: results withValue: nameString. objectMemory storePointerUnchecked: 1 ofObject: results withValue: createDateOop. objectMemory storePointerUnchecked: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ objectMemory storePointerUnchecked: 3 ofObject: results withValue: objectMemory trueObject ] ifFalse: [ objectMemory storePointerUnchecked: 3 ofObject: results withValue: objectMemory falseObject ]. objectMemory storePointerUnchecked: 4 ofObject: results withValue: (objectMemory integerObjectOf: fileSize). objectMemory storePointerUnchecked: 5 ofObject: results withValue: (objectMemory integerObjectOf: posixPermissions). ^ results! Item was changed: ----- Method: FilePlugin>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'directory primitives') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize posixPermissions: posixPermissions | modDateOop createDateOop nameString results stringPtr posixPermissionsOop fileSizeOop | <var: 'entryName' type: 'char *'> <var: 'stringPtr' type: 'char *'> <var: 'fileSize' type: 'squeakFileOffsetType '> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" interpreterProxy pushRemappableOop: (interpreterProxy instantiateClass: (interpreterProxy classArray) indexableSize: 6). interpreterProxy pushRemappableOop: (interpreterProxy instantiateClass: (interpreterProxy classString) indexableSize: entryNameSize).. interpreterProxy pushRemappableOop: (interpreterProxy positive32BitIntegerFor: createDate). interpreterProxy pushRemappableOop: (interpreterProxy positive32BitIntegerFor: modifiedDate). interpreterProxy pushRemappableOop: (interpreterProxy positive64BitIntegerFor: fileSize). interpreterProxy pushRemappableOop: (interpreterProxy positive32BitIntegerFor: posixPermissions). posixPermissionsOop := interpreterProxy popRemappableOop. fileSizeOop := interpreterProxy popRemappableOop. modDateOop := interpreterProxy popRemappableOop. createDateOop := interpreterProxy popRemappableOop. nameString := interpreterProxy popRemappableOop. results := interpreterProxy popRemappableOop. "copy name into Smalltalk string" stringPtr := interpreterProxy firstIndexableField: nameString. 0 to: entryNameSize - 1 do: [ :i | stringPtr at: i put: (entryName at: i). ]. interpreterProxy storePointer: 0 ofObject: results withValue: nameString. interpreterProxy storePointer: 1 ofObject: results withValue: createDateOop. interpreterProxy storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ interpreterProxy storePointer: 3 ofObject: results withValue: interpreterProxy trueObject ] ifFalse: [ interpreterProxy storePointer: 3 ofObject: results withValue: interpreterProxy falseObject ]. interpreterProxy storePointer: 4 ofObject: results withValue: fileSizeOop. interpreterProxy storePointer: 5 ofObject: results withValue: posixPermissionsOop. ^ results! Item was changed: ----- Method: FilePluginSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'as yet unclassified') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize posixPermissions: posixPermissions ^interpreterProxy makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: fileSize posixPermissions: posixPermissions ! Item was changed: ----- Method: InterpreterSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'as yet unclassified') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: posixPermissions posixPermissions: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" self pushRemappableOop: (self instantiateClass: (self splObj: ClassArray) indexableSize: 5). self pushRemappableOop: (self instantiateClass: (self splObj: ClassString) indexableSize: entryNameSize).. self pushRemappableOop: (self positive32BitIntegerFor: createDate). self pushRemappableOop: (self positive32BitIntegerFor: modifiedDate). modDateOop := self popRemappableOop. createDateOop := self popRemappableOop. nameString := self popRemappableOop. results := self popRemappableOop. 1 to: entryNameSize do: [ :i | self storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue. ]. self storePointer: 0 ofObject: results withValue: nameString. self storePointer: 1 ofObject: results withValue: createDateOop. self storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ self storePointer: 3 ofObject: results withValue: trueObj ] ifFalse: [ self storePointer: 3 ofObject: results withValue: falseObj ]. self storePointer: 4 ofObject: results withValue: (self integerObjectOf: fileSize). self storePointer: 5 ofObject: results withValue: (self integerObjectOf: posixPermissions). ^ results ! Item was changed: ----- Method: NewspeakInterpreterSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'as yet unclassified') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: posixPermissions posixPermissions: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> "allocate storage for results, remapping newly allocated oops in case GC happens during allocation" self pushRemappableOop: (self instantiateClass: (self splObj: ClassArray) indexableSize: 5). self pushRemappableOop: (self instantiateClass: (self splObj: ClassString) indexableSize: entryNameSize). self pushRemappableOop: (self positive32BitIntegerFor: createDate). self pushRemappableOop: (self positive32BitIntegerFor: modifiedDate). modDateOop := self popRemappableOop. createDateOop := self popRemappableOop. nameString := self popRemappableOop. results := self popRemappableOop. 1 to: entryNameSize do: [ :i | self storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue. ]. self storePointer: 0 ofObject: results withValue: nameString. self storePointer: 1 ofObject: results withValue: createDateOop. self storePointer: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ self storePointer: 3 ofObject: results withValue: trueObj ] ifFalse: [ self storePointer: 3 ofObject: results withValue: falseObj ]. self storePointer: 4 ofObject: results withValue: (self integerObjectOf: fileSize). self storePointer: 5 ofObject: results withValue: (self integerObjectOf: posixPermissions). ^ results ! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoFamily (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoFamily | family | self primitive: 'primitiveResolverGetAddressInfoFamily' parameters: #(). interpreterProxy failed ifFalse: [family := self sqResolverGetAddressInfoFamily. ^family asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoHost:service:flags:family:type:protocol: (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoHost: hostName service: servName flags: flags family: family type: type protocol: protocol | hostSize servSize | self primitive: 'primitiveResolverGetAddressInfo' parameters: #(String String SmallInteger SmallInteger SmallInteger SmallInteger). interpreterProxy failed ifFalse: [hostSize := interpreterProxy byteSizeOf: hostName cPtrAsOop. servSize := interpreterProxy byteSizeOf: servName cPtrAsOop. self sqResolverGetAddressInfoHost: hostName Size: hostSize Service: servName Size: servSize Flags: flags Family: family Type: type Protocol: protocol]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoNext (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoNext | more | self primitive: 'primitiveResolverGetAddressInfoNext' parameters: #(). more := self sqResolverGetAddressInfoNext. interpreterProxy failed ifTrue: [^nil]. ^more asBooleanObj! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoProtocol (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoProtocol | protocol | self primitive: 'primitiveResolverGetAddressInfoProtocol' parameters: #(). interpreterProxy failed ifFalse: [protocol := self sqResolverGetAddressInfoProtocol. ^protocol asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoResult: (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoResult: socketAddress | addrSize | self primitive: 'primitiveResolverGetAddressInfoResult' parameters: #(ByteArray). interpreterProxy failed ifFalse: [addrSize := interpreterProxy byteSizeOf: socketAddress cPtrAsOop. self sqResolverGetAddressInfoResult: socketAddress Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoSize (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoSize | size | self primitive: 'primitiveResolverGetAddressInfoSize' parameters: #(). interpreterProxy failed ifFalse: [size := self sqResolverGetAddressInfoSize. ^size asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetAddressInfoType (in category 'ipv6 primitives') ----- primitiveResolverGetAddressInfoType | type | self primitive: 'primitiveResolverGetAddressInfoType' parameters: #(). interpreterProxy failed ifFalse: [type := self sqResolverGetAddressInfoType. ^type asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetNameInfo:flags: (in category 'ipv6 primitives') ----- primitiveResolverGetNameInfo: socketAddress flags: flags | addrSize addrBase | <var: #addrBase type: 'char *'> self primitive: 'primitiveResolverGetNameInfo' parameters: #(Oop SmallInteger). interpreterProxy failed ifFalse: [addrSize := interpreterProxy byteSizeOf: socketAddress. addrBase := self cCoerce: (interpreterProxy firstIndexableField: socketAddress) to: 'char *'. self sqResolverGetNameInfo: addrBase Size: addrSize Flags: flags]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetNameInfoHostResult: (in category 'ipv6 primitives') ----- primitiveResolverGetNameInfoHostResult: socketName | addrSize | self primitive: 'primitiveResolverGetNameInfoHostResult' parameters: #(String). interpreterProxy failed ifFalse: [addrSize := interpreterProxy byteSizeOf: socketName cPtrAsOop. self sqResolverGetNameInfoHostResult: socketName Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetNameInfoHostSize (in category 'ipv6 primitives') ----- primitiveResolverGetNameInfoHostSize | size | self primitive: 'primitiveResolverGetNameInfoHostSize' parameters: #(). interpreterProxy failed ifFalse: [size := self sqResolverGetNameInfoHostSize. ^size asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetNameInfoServiceResult: (in category 'ipv6 primitives') ----- primitiveResolverGetNameInfoServiceResult: socketName | addrSize | self primitive: 'primitiveResolverGetNameInfoServiceResult' parameters: #(String). interpreterProxy failed ifFalse: [addrSize := interpreterProxy byteSizeOf: socketName cPtrAsOop. self sqResolverGetNameInfoServiceResult: socketName Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverGetNameInfoServiceSize (in category 'ipv6 primitives') ----- primitiveResolverGetNameInfoServiceSize | size | self primitive: 'primitiveResolverGetNameInfoServiceSize' parameters: #(). interpreterProxy failed ifFalse: [size := self sqResolverGetNameInfoServiceSize. ^size asSmallIntegerObj]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverHostNameResult: (in category 'ipv6 primitives') ----- primitiveResolverHostNameResult: nameString | nameSize | self primitive: 'primitiveResolverHostNameResult' parameters: #(String). interpreterProxy failed ifFalse: [nameSize := interpreterProxy byteSizeOf: nameString cPtrAsOop. self sqResolverHostNameResult: nameString Size: nameSize]! Item was changed: ----- Method: SocketPlugin>>primitiveResolverHostNameSize (in category 'ipv6 primitives') ----- primitiveResolverHostNameSize | size | self primitive: 'primitiveResolverHostNameSize' parameters: #(). interpreterProxy failed ifFalse: [size := self sqResolverHostNameSize. interpreterProxy failed ifFalse: [^size asSmallIntegerObj]]! Item was changed: ----- Method: SocketPlugin>>primitiveSocket:bindTo: (in category 'ipv6 primitives') ----- primitiveSocket: socket bindTo: socketAddress | addrSize addrBase s | <var: #addrBase type: 'char *'> <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketBindTo' parameters: #(#Oop #Oop). s := self socketValueOf: socket. addrSize := interpreterProxy byteSizeOf: socketAddress. addrBase := self cCoerce: (interpreterProxy firstIndexableField: socketAddress) to: 'char *'. interpreterProxy failed ifFalse: [self sqSocket: s BindToAddress: addrBase Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveSocket:connectTo: (in category 'ipv6 primitives') ----- primitiveSocket: socket connectTo: socketAddress | addrSize addrBase s | <var: #addrBase type: 'char *'> <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketConnectTo' parameters: #(#Oop #Oop). s := self socketValueOf: socket. addrSize := interpreterProxy byteSizeOf: socketAddress. addrBase := self cCoerce: (interpreterProxy firstIndexableField: socketAddress) to: 'char *'. interpreterProxy failed ifFalse: [self sqSocket: s ConnectToAddress: addrBase Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveSocket:listenWithBacklog: (in category 'ipv6 primitives') ----- primitiveSocket: socket listenWithBacklog: backlogSize | s | <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketListenWithBacklog' parameters: #(#Oop #SmallInteger). s := self socketValueOf: socket. interpreterProxy failed ifFalse: [self sqSocket: s ListenBacklog: backlogSize]! Item was changed: ----- Method: SocketPlugin>>primitiveSocket:localAddressResult: (in category 'ipv6 primitives') ----- primitiveSocket: socket localAddressResult: socketAddress | addrSize addrBase s | <var: #addrBase type: 'char *'> <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketLocalAddressResult' parameters: #(#Oop #Oop). s := self socketValueOf: socket. addrSize := interpreterProxy byteSizeOf: socketAddress. addrBase := self cCoerce: (interpreterProxy firstIndexableField: socketAddress) to: 'char *'. interpreterProxy failed ifFalse: [self sqSocket: s LocalAddressResult: addrBase Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveSocket:remoteAddressResult: (in category 'ipv6 primitives') ----- primitiveSocket: socket remoteAddressResult: socketAddress | addrSize addrBase s | <var: #addrBase type: 'char *'> <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketRemoteAddressResult' parameters: #(#Oop #Oop). s := self socketValueOf: socket. addrSize := interpreterProxy byteSizeOf: socketAddress. addrBase := self cCoerce: (interpreterProxy firstIndexableField: socketAddress) to: 'char *'. interpreterProxy failed ifFalse: [self sqSocket: s RemoteAddressResult: addrBase Size: addrSize]! Item was changed: ----- Method: SocketPlugin>>primitiveSocketAddressGetPort (in category 'ipv6 primitives') ----- primitiveSocketAddressGetPort | addr addrSize addrBase port | <var: #addrBase type: 'char *'> addr := self primitive: 'primitiveSocketAddressGetPort' parameters: #() receiver: #Oop. addrSize := interpreterProxy byteSizeOf: addr. addrBase := self cCoerce: (interpreterProxy firstIndexableField: addr) to: 'char *'. interpreterProxy failed ifFalse: [port := self sqSocketAddress: addrBase SizeGetPort: addrSize. interpreterProxy failed ifFalse: [^port asSmallIntegerObj]]! Item was changed: ----- Method: SocketPlugin>>primitiveSocketAddressSetPort: (in category 'ipv6 primitives') ----- primitiveSocketAddressSetPort: portNumber | addr addrSize addrBase | <var: #addrBase type: 'char *'> addr := self primitive: 'primitiveSocketAddressSetPort' parameters: #(SmallInteger) receiver: #Oop. addrSize := interpreterProxy byteSizeOf: addr. addrBase := self cCoerce: (interpreterProxy firstIndexableField: addr) to: 'char *'. interpreterProxy failed ifFalse: [self sqSocketAddress: addrBase Size: addrSize SetPort: portNumber]! Item was changed: ----- Method: SocketPlugin>>primitiveSocketLocalAddressSize: (in category 'ipv6 primitives') ----- primitiveSocketLocalAddressSize: socket | s size | <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketLocalAddressSize' parameters: #(#Oop). s := self socketValueOf: socket. interpreterProxy failed ifTrue: [^nil]. size := self sqSocketLocalAddressSize: s. interpreterProxy failed ifTrue: [^nil]. ^size asSmallIntegerObj! Item was changed: ----- Method: SocketPlugin>>primitiveSocketRemoteAddressSize: (in category 'ipv6 primitives') ----- primitiveSocketRemoteAddressSize: socket | s size | <var: #s type: 'SocketPtr'> self primitive: 'primitiveSocketRemoteAddressSize' parameters: #(#Oop). s := self socketValueOf: socket. interpreterProxy failed ifTrue: [^nil]. size := self sqSocketRemoteAddressSize: s. interpreterProxy failed ifTrue: [^nil]. ^size asSmallIntegerObj! Item was changed: ----- Method: StackInterpreterSimulator>>makeDirEntryName:size:createDate:modDate:isDir:fileSize:posixPermissions: (in category 'as yet unclassified') ----- makeDirEntryName: entryName size: entryNameSize createDate: createDate modDate: modifiedDate isDir: dirFlag fileSize: posixPermissions posixPermissions: fileSize | modDateOop createDateOop nameString results | <var: 'entryName' type: 'char *'> results := objectMemory instantiateClass: (objectMemory splObj: ClassArray) indexableSize: 5. nameString := objectMemory instantiateClass: (objectMemory splObj: ClassString) indexableSize: entryNameSize. createDateOop := self positive32BitIntegerFor: createDate. modDateOop := self positive32BitIntegerFor: modifiedDate. 1 to: entryNameSize do: [ :i | objectMemory storeByte: i-1 ofObject: nameString withValue: (entryName at: i) asciiValue]. objectMemory storePointerUnchecked: 0 ofObject: results withValue: nameString. objectMemory storePointerUnchecked: 1 ofObject: results withValue: createDateOop. objectMemory storePointerUnchecked: 2 ofObject: results withValue: modDateOop. dirFlag ifTrue: [ objectMemory storePointerUnchecked: 3 ofObject: results withValue: objectMemory trueObject ] ifFalse: [ objectMemory storePointerUnchecked: 3 ofObject: results withValue: objectMemory falseObject ]. objectMemory storePointerUnchecked: 4 ofObject: results withValue: (objectMemory integerObjectOf: fileSize). objectMemory storePointerUnchecked: 5 ofObject: results withValue: (objectMemory integerObjectOf: posixPermissions). ^ results!

1 0

VM Maker: VMMaker.oscog-eem.190.mcz
by commits＠source.squeak.org 25 Jul '12

25 Jul '12

Eliot Miranda uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-eem.190.mcz ==================== Summary ==================== Name: VMMaker.oscog-eem.190 Author: eem Time: 25 July 2012, 11:26:29.952 am UUID: 9184763d-c605-432b-b73e-8a3029eca4c8 Ancestors: VMMaker.oscog-lw.189 Document RTL opcode condition code assumptions. Remove obsolete genWriteCResultIntoReg:. Rewrite runAddCqR: to eliminate numberOfStepsIn:. =============== Diff against VMMaker.oscog-lw.189 =============== Item was removed: - ----- Method: AbstractInstructionTests>>numberOfStepsIn: (in category 'running') ----- - numberOfStepsIn: machineCodeSize - self subclassResponsibility! Item was changed: ----- Method: AbstractInstructionTests>>runAddCqR: (in category 'running') ----- runAddCqR: assertPrintBar "self defaultTester runAddCqR: true" "self defaultTester runAddCqR: false" | memory | memory := ByteArray new: 20. self concreteCompilerClass dataRegistersWithAccessorsDo: [:reg :rgetter :rsetter| self pairs: (-2 to: 2) do: [:a :b| | inst len bogus | inst := self gen: AddCqR operand: a operand: reg. len := inst concretizeAt: 0. memory replaceFrom: 1 to: len with: inst machineCode object startingAt: 1. self processor reset; perform: rsetter with: b signedIntToLong. + [[processor pc < len] whileTrue: + [self processor singleStepIn: memory]] + on: Error + do: [:ex| ]. - (self numberOfStepsIn: inst machineCodeSize) - timesRepeat: [self processor singleStepIn: memory]. "self processor printRegistersOn: Transcript. Transcript show: (self processor disassembleInstructionAt: 0 In: memory); cr" assertPrintBar ifTrue: [self assert: processor pc = inst machineCodeSize. self assertCheckQuickArithOpCodeSize: inst machineCodeSize] ifFalse: [bogus := processor pc ~= inst machineCodeSize]. self concreteCompilerClass dataRegistersWithAccessorsDo: [:ireg :getter :setter| | expected | expected := getter == rgetter ifTrue: [a + b] ifFalse: [0]. assertPrintBar ifTrue: [self assert: (self processor perform: getter) signedIntFromLong = expected] ifFalse: [(self processor perform: getter) signedIntFromLong ~= expected ifTrue: [bogus := true]]]. assertPrintBar ifFalse: [Transcript nextPutAll: rgetter; nextPut: $(; print: b; nextPutAll: ') + '; print: a; nextPutAll: ' = '; print: (self processor perform: rgetter) signedIntFromLong; cr; flush. bogus ifTrue: [self processor printRegistersOn: Transcript. Transcript show: (self processor disassembleInstructionAt: 0 In: memory); cr]]]]! Item was removed: - ----- Method: CogARMCompilerTests>>numberOfStepsIn: (in category 'running') ----- - numberOfStepsIn: aSize - - ^ aSize // 4! Item was removed: - ----- Method: CogIA32Compiler>>genWriteCResultIntoReg: (in category 'abi') ----- - genWriteCResultIntoReg: abstractRegister - (self concreteRegister: abstractRegister) ~= EAX ifTrue: - [cogit gen: MoveRR operand: EAX operand: abstractRegister]! Item was removed: - ----- Method: CogIA32CompilerTests>>numberOfStepsIn: (in category 'running') ----- - numberOfStepsIn: aSize - ^1! Item was changed: ----- Method: CogRTLOpcodes class>>initialize (in category 'class initialization') ----- initialize "Abstract opcodes are a compound of a one word operation specifier and zero or more operand type specifiers. e.g. MoveRR is the Move opcode with two register operand specifiers and defines a move register to register instruction from operand 0 to operand 1. The operand specifiers are R - general purpose register Rd - double-precision floating-point register Cq - a quick constant that can be encoded in the minimum space possible. Cw - a constant with word size where word is the default operand size for the Smalltalk VM, 32-bits for a 32-bit VM, 64-bits for a 64-bit VM. The generated constant must occupy the default number of bits. This allows e.g. a garbage collector to update the value without invalidating the code. C32 - a constant with 32 bit size. The generated constant must occupy 32 bits. C64 - a constant with 64 bit size. The generated constant must occupy 64 bits. Aw - memory word with an absolute address Ab - memory byte with an absolute address Mwr - memory word whose address is at a constant offset from an address in a register Mbr - memory byte whose address is at a constant offset from an address in a register M16r - memory 16-bit halfword whose address is at a constant offset from an address in a register M64r - memory 64-bit doubleword whose address is at a constant offset from an address in a register XbrR- memory word whose address is r * byte size away from an address in a register X16rR- memory word whose address is r * (2 bytes size) away from an address in a register XwrR- memory word whose address is r * word size away from an address in a register An alternative would be to decouple opcodes from operands, e.g. Move := 1. Add := 2. Sub := 3... RegisterOperand := 1. ConstantQuickOperand := 2. ConstantWordOperand := 3... But not all combinations make sense and even fewer are used so we stick with the simple compound approach. + The assumption is that comparison and arithmetic instructions set condition codes and that move instrucions + leave the condition codes unaffected. In particular LoadEffectiveAddressMwrR does not set condition codes + although it can be used to do arithmetic. - Note that there are no generic division instructions defined." + Note that there are no generic division instructions defined, but a processor may define some." + "CogRTLOpcodes initialize. CogAbstractInstruction allSubclasses do: [:sc| sc initialize]" | opcodeNames refs | FPReg := -1. SPReg := -2. ReceiverResultReg := GPRegMax := -3. TempReg := -4. ClassReg := -5. SendNumArgsReg := -6. Arg0Reg := -7. Arg1Reg := GPRegMin := -8. DPFPReg0 := -9. DPFPReg1 := -10. DPFPReg2 := -11. DPFPReg3 := -12. DPFPReg4 := -13. DPFPReg5 := -14. DPFPReg6 := -15. DPFPReg7 := -16. opcodeNames := #("Noops & Pseudo Ops" Label AlignmentNops FillBytesFrom "output operand 0's worth of bytes from the address in operand 1" Fill8 "output a byte's worth of bytes with operand 0" Fill16 "output two byte's worth of bytes with operand 0" Fill32 "output four byte's worth of bytes with operand 0" FillFromWord "output BytesPerWord's worth of bytes with operand 0 + operand 1" Nop "Control" Call RetN JumpR "Not a regular jump, i.e. not pc dependent." "N.B. Jumps are contiguous. Long jumps are contigiuous within them. See FirstJump et al below" JumpLong JumpLongZero "a.k.a. JumpLongEqual" JumpLongNonZero "a.k.a. JumpLongNotEqual" Jump JumpZero "a.k.a. JumpEqual" JumpNonZero "a.k.a. JumpNotEqual" JumpNegative JumpNonNegative JumpOverflow JumpNoOverflow JumpCarry JumpNoCarry JumpLess "signed" JumpGreaterOrEqual JumpGreater JumpLessOrEqual JumpBelow "unsigned" JumpAboveOrEqual JumpAbove JumpBelowOrEqual JumpFPEqual JumpFPNotEqual JumpFPLess JumpFPLessOrEqual JumpFPGreater JumpFPGreaterOrEqual JumpFPOrdered JumpFPUnordered "Data Movement; destination is always last operand" MoveRR MoveAwR MoveRAw MoveAbR MoveMwrR MoveRMwr MoveXwrRR MoveRXwrR MoveM16rR MoveRM16r MoveX16rRR MoveRX16rR MoveMbrR MoveRMbr MoveXbrRR MoveRXbrR MoveCqR MoveCwR MoveC32R MoveC64R MoveRdRd MoveM64rRd MoveRdM64r PopR PushR PushCw PrefetchAw "Arithmetic; destination is always last operand except Cmp; CmpXR is SubRX with no update of result" LoadEffectiveAddressMwrR "A variant of add" + NegateR "2's complement negation" - NegateR ArithmeticShiftRightCqR ArithmeticShiftRightRR LogicalShiftRightCqR LogicalShiftRightRR LogicalShiftLeftCqR LogicalShiftLeftRR CmpRR AddRR SubRR AndRR OrRR XorRR MulRR CmpCqR AddCqR SubCqR AndCqR OrCqR XorCqR MulCqR CmpCwR AddCwR SubCwR AndCwR OrCwR XorCwR MulCwR CmpRdRd AddRdRd SubRdRd MulRdRd DivRdRd SqrtRd "Conversion" ConvertRRd LastRTLCode). refs := (thisContext method literals select: [:l| l isVariableBinding and: [classPool includesKey: l key]]) collect: [:ea| ea key]. (classPool keys reject: [:k| (opcodeNames includes: k) or: [refs includes: k]]) do: [:k| Undeclared declare: k from: classPool]. opcodeNames withIndexDo: [:classVarName :value| self classPool declare: classVarName from: Undeclared; at: classVarName put: value]. FirstJump := JumpLong. LastJump := JumpFPUnordered. FirstShortJump := Jump!

1 0

VM Maker: VMMaker.oscog-lw.189.mcz
by commits＠source.squeak.org 25 Jul '12

25 Jul '12

Lars Wassermann uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-lw.189.mcz ==================== Summary ==================== Name: VMMaker.oscog-lw.189 Author: lw Time: 25 July 2012, 7:14:32.722 pm UUID: b89b77ba-e03f-fb45-bb5f-ca55b387ee00 Ancestors: VMMaker.oscog-lw.188 Refactored all the data operations implemented so far and unified them. Subsequently added all the misssing data-operations (except for MUL, because that has a special format). Refactored the different load word operations to ARMCompiler>>at:moveCw:intoR:. Operations which can be implemented using the lowest byte of that word as offset may just write those numbers twice, or rather change just the upper bits of the last instruction, which specify the actual instruction. Added a test for the Add operation and made the AbstractInstructionTest>>testRunAddCqR & AbstractInstructionTest>>testRunAddRR green. Added "TODO" comments to those places in my code, where I am not sure about using extract method refactoring. =============== Diff against VMMaker.oscog-lw.188 =============== Item was added: + ----- Method: AbstractInstructionTests>>numberOfStepsIn: (in category 'running') ----- + numberOfStepsIn: machineCodeSize + self subclassResponsibility! Item was changed: ----- Method: AbstractInstructionTests>>runAddCqR: (in category 'running') ----- runAddCqR: assertPrintBar "self defaultTester runAddCqR: true" "self defaultTester runAddCqR: false" | memory | + memory := ByteArray new: 20. - memory := ByteArray new: 16. self concreteCompilerClass dataRegistersWithAccessorsDo: [:reg :rgetter :rsetter| self pairs: (-2 to: 2) do: [:a :b| | inst len bogus | inst := self gen: AddCqR operand: a operand: reg. len := inst concretizeAt: 0. memory replaceFrom: 1 to: len with: inst machineCode object startingAt: 1. self processor reset; + perform: rsetter with: b signedIntToLong. + (self numberOfStepsIn: inst machineCodeSize) + timesRepeat: [self processor singleStepIn: memory]. - perform: rsetter with: b signedIntToLong; - singleStepIn: memory. "self processor printRegistersOn: Transcript. Transcript show: (self processor disassembleInstructionAt: 0 In: memory); cr" assertPrintBar ifTrue: [self assert: processor pc = inst machineCodeSize. self assertCheckQuickArithOpCodeSize: inst machineCodeSize] ifFalse: [bogus := processor pc ~= inst machineCodeSize]. self concreteCompilerClass dataRegistersWithAccessorsDo: [:ireg :getter :setter| | expected | expected := getter == rgetter ifTrue: [a + b] ifFalse: [0]. assertPrintBar ifTrue: [self assert: (self processor perform: getter) signedIntFromLong = expected] ifFalse: [(self processor perform: getter) signedIntFromLong ~= expected ifTrue: [bogus := true]]]. assertPrintBar ifFalse: [Transcript nextPutAll: rgetter; nextPut: $(; print: b; nextPutAll: ') + '; print: a; nextPutAll: ' = '; print: (self processor perform: rgetter) signedIntFromLong; cr; flush. bogus ifTrue: [self processor printRegistersOn: Transcript. Transcript show: (self processor disassembleInstructionAt: 0 In: memory); cr]]]]! Item was added: + ----- Method: CogARMCompiler>>at:moveCw:intoR: (in category 'generate machine code - concretize') ----- + at: offset moveCw: constant intoR: destReg + "This loads aWord into the inter-opcode temporary register. Because most ARM instruction enable using a (8-12bit) offset relative to a register, the LS Byte can be included in that instruction, saving one instruction. This is done in a decorator, e.g. CmpCqR" + "Generates:along the lines of + MOV destReg, #<constantByte3>, 12 + ORR destReg, destReg, #<constantByte2>, 8 + ORR destReg, destReg, #<constantByte1>, 4 + ORR destReg, destReg, #<constantByte0>, 0 + with minimal choice of the rotation (last digit)" + "The same area can be modified multiple times, because the opperation is (inclusive) or." + <inline: true> + 0 to: 12 by: 4 do: [ :i | | rightRingRotation byte | + rightRingRotation := 16rC - i. + "Counter rotation to get the according byte. Because Smalltalk does not have left ring shift, shift further right." + rightRingRotation ~= 0 ifTrue: [ + byte := constant >> (-2 * rightRingRotation + 32) bitAnd: 16rFF. + "For 0, the shift has to be 0. For other immediates, the encoding with minimal rightRingRotation should be choosen." + byte = 0 + ifTrue: [ rightRingRotation := 0] + ifFalse: [ + 0 to: 2 do: [ :j | + (byte bitAnd: 16r03) = 0 + ifTrue: [ rightRingRotation := rightRingRotation - 1. + byte := byte >> 2 ]]]] + ifFalse: [ byte := constant bitAnd: 16rFF]. + machineCode + at: offset + i + 3 put: 16rE3; + at: offset + i + 2 put: (16r80 bitOr: destReg); + at: offset + i + 1 put: (rightRingRotation bitOr: destReg << 4); + at: offset + i"+0"put: byte. + ]. + machineCode at: offset + 2 put: 16rA0. "only the first operation need be MOV" + ^16! Item was added: + ----- Method: CogARMCompiler>>cResultRegister (in category 'abi') ----- + cResultRegister + "Answer the abstract register for the C result register. + Only partially implemented. Works on x86 since TempReg = EAX = C result reg." + ^self abstractRegisterForConcreteRegister: R0! Item was changed: ----- Method: CogARMCompiler>>computeMaximumSize (in category 'generate machine code') ----- computeMaximumSize "Because we don't use Thumb, each instruction has a multiple of 4 bytes. Most have exactly 4, but some abstract opcodes need more than one instruction." + + (opcode = CmpCqR) | (opcode = AddCqR) | (opcode = SubCqR) | (opcode = AndCqR) | (opcode = OrCqR) | (opcode = XorCqR) ifTrue: [^self rotateable8bitImmediate: (operands at: 0) + ifTrue: [:r :i| maxSize := 4] + ifFalse: [maxSize := 20]]. + (opcode = CmpCwR) | (opcode = AddCwR) | (opcode = SubCwR) | (opcode = AndCwR) | (opcode = OrCwR) | (opcode = XorCwR) ifTrue: [^maxSize := 20]. + + opcode - opcode caseOf: { + [Label] -> [^maxSize := 0]. + [AlignmentNops] -> [^maxSize := (operands at: 0) - 1]. + [MoveAwR] -> [^maxSize := 16]. + [MoveCqR] -> [^self rotateable8bitImmediate: (operands at: 0) + ifTrue: [:r :i| maxSize := 4] + ifFalse: [maxSize := 16]]. + [MoveCwR] -> [^maxSize := 16]. + [MoveRAw] -> [^maxSize := 16]. + [RetN] -> [^(operands at: 0) = 0 - [Label] -> [^maxSize := 0]. - [AlignmentNops] -> [^maxSize := (operands at: 0) - 1]. - [CmpCqR] -> [^self rotateable8bitImmediate: (operands at: 0) - ifTrue: [:r :i| maxSize := 4] - ifFalse: [maxSize := 20]]. - [CmpCwR] -> [^maxSize := 20]. - [MoveAwR] -> [^maxSize := 16 "3 for loadAllButLSB"]. - [MoveCqR] -> [^self rotateable8bitImmediate: (operands at: 0) - ifTrue: [:r :i| maxSize := 4] - ifFalse: [maxSize := 16]]. - [MoveCwR] -> [^maxSize := 16]. - [MoveRAw] -> [^maxSize := 16 "3 for loadAllButLSB"]. - [RetN] -> [^(operands at: 0) = 0 ifTrue: [maxSize := 4] ifFalse: [maxSize := 8]]. + [JumpFPEqual] -> [^maxSize := 8]. + [JumpFPNotEqual] -> [^maxSize := 8]. + [JumpFPLess] -> [^maxSize := 8]. - [JumpFPEqual] -> [^maxSize := 8]. - [JumpFPNotEqual] -> [^maxSize := 8]. - [JumpFPLess] -> [^maxSize := 8]. [JumpFPGreaterOrEqual] -> [^maxSize := 8]. + [JumpFPGreater] -> [^maxSize := 8]. + [JumpFPLessOrEqual] -> [^maxSize := 8]. + [JumpFPOrdered] -> [^maxSize := 8]. + [JumpFPUnordered] -> [^maxSize := 8]. + } - [JumpFPGreater] -> [^maxSize := 8]. - [JumpFPLessOrEqual] -> [^maxSize := 8]. - [JumpFPOrdered] -> [^maxSize := 8]. - [JumpFPUnordered] -> [^maxSize := 8].} otherwise: [^maxSize := 4]. ^4 "to keep C compiler quiet" ! Item was changed: ----- Method: CogARMCompiler>>concretizeCall (in category 'generate machine code - concretize') ----- concretizeCall "Will get inlined into concretizeAt: switch." <inline: true> + | jumpTarget offset | + "TODO extract method: jumpTarget calculator together with CogIA32Compiler>>concretizeConditionalJump: and self class>>concretizeConditionalJump:" + <var: #jumpTarget type: #'AbstractInstruction *'> + jumpTarget := cogit cCoerceSimple: (operands at: 0) to: #'AbstractInstruction *'. + cogit assertSaneJumpTarget: jumpTarget. + (self isAnInstruction: jumpTarget) ifTrue: + [jumpTarget := cogit cCoerceSimple: jumpTarget address to: #'AbstractInstruction *']. + self assert: jumpTarget ~= 0. + offset := jumpTarget signedIntFromLong - (address + 8) signedIntFromLong. + - | offset | - self assert: (operands at: 0) ~= 0. - offset := ((operands at: 0) - (address + 8)) signedIntFromLong "signed-conversion for range assertion". (self isQuick: offset) ifTrue: [ self machineCodeAt: 0 put: (self t: 5 o: 8) + (offset >> 2 bitAnd: 16r00FFFFFF). "BL offset" ^machineCodeSize := 4] ifFalse: [ self halt] "We should push at least lr. The problem is, that any push added here is only executed after return, and therefore useless."! Item was changed: ----- Method: CogARMCompiler>>concretizeCmpCqR (in category 'generate machine code - concretize') ----- concretizeCmpCqR "Will get inlined into concretizeAt: switch." + "All other data operations write back their results. The write back register should be zero for CMP." - "For 0, we can mov reg, #0" <inline: true> + | size | + size := self concretizeDataOperationCqR: 16rA. + machineCode at: size - 3 put: ((machineCode at: size -3) bitAnd: 16rFF). + ^size + ! - self - rotateable8bitImmediate: (operands at: 0) - ifTrue: [:rot :immediate | | reg | - reg := self concreteRegister: (operands at: 1). - self machineCodeAt: 0 put: ((self t: 1 o: 16rA s: 1) + reg << 12). - machineCode at: 0 put: immediate. - machineCode at: 1 put: rot. - ^machineCodeSize := 4] - ifFalse: [^self concretizeCmpCwR]. - ! Item was changed: ----- Method: CogARMCompiler>>concretizeCmpCwR (in category 'generate machine code - concretize') ----- concretizeCmpCwR "Will get inlined into concretizeAt: switch." + "All other data operations write back their results. The write back register should be zero for CMP." - "Load the word into the RISCTempReg, then cmp R, RISCTempReg" <inline: true> + | size | + size := self concretizeDataOperationCwR: 16rA. + machineCode at: size - 3 put: ((machineCode at: size -3) bitAnd: 16rFF). + ^size! - | constant cmpReg doubleTempReg | - constant := operands at: 0. - cmpReg := (self concreteRegister: (operands at: 1)). - doubleTempReg := (RISCTempReg << 4 bitOr: RISCTempReg) << 12. - "load the instructions into machineCode" - self - machineCodeAt: 0 put: (16rE3A00C00 bitOr: RISCTempReg << 12); "MOV dest, #<byte3>, 12" - machineCodeAt: 4 put: (16rE3800800 bitOr: doubleTempReg); "ORR dest, dest, #<byte2>, 8" - machineCodeAt: 8 put: (16rE3800400 bitOr: doubleTempReg); "ORR dest, dest, #<byte1>, 4" - machineCodeAt: 12 put: (16rE3800000 bitOr: doubleTempReg). "ORR dest, dest, #<byte4>, 0" - "fill in the according bytes" - machineCode - at: 0 put: (constant >> 8 bitAnd: 16rFF); - at: 4 put: (constant >> 12 bitAnd: 16rFF); - at: 8 put: (constant >> 24 bitAnd: 16rFF); - at: 12 put: (constant bitAnd: 16rFF). - self machineCodeAt: 16 - put: ((self t: 0 o: 16rA s: 1) bitOr: (cmpReg << 16 bitOr: RISCTempReg)). - ^machineCodeSize := 20.! Item was added: + ----- Method: CogARMCompiler>>concretizeCmpRR (in category 'generate machine code - concretize') ----- + concretizeCmpRR + "Will get inlined into concretizeAt: switch." + "All other data operations write back their results. The write back register should be zero for CMP." + <inline: true> + | size | + size := self concretizeDataOperationRR: 16rA. + machineCode at: size - 3 put: ((machineCode at: size -3) bitAnd: 16rFF). + ^size! Item was changed: ----- Method: CogARMCompiler>>concretizeConditionalJump: (in category 'generate machine code - concretize') ----- concretizeConditionalJump: conditionCode "Will get inlined into concretizeAt: switch." + "Sizing/generating jumps. + Jump targets can be to absolute addresses or other abstract instructions. + Generating initial trampolines instructions may have no maxSize and be to absolute addresses. + Otherwise instructions must have a machineCodeSize which must be kept to." <inline: true> + | jumpTarget offset | + "TODO extract method: jumpTarget calculator together with CogIA32Compiler" + <var: #jumpTarget type: #'AbstractInstruction *'> + jumpTarget := cogit cCoerceSimple: (operands at: 0) to: #'AbstractInstruction *'. + cogit assertSaneJumpTarget: jumpTarget. + (self isAnInstruction: jumpTarget) ifTrue: + [jumpTarget := cogit cCoerceSimple: jumpTarget address to: #'AbstractInstruction *']. + self assert: jumpTarget ~= 0. + offset := jumpTarget signedIntFromLong - (address + 8) signedIntFromLong. + (self isQuick: offset) + ifTrue: [ + self machineCodeAt: 0 put: (self t: 5 o: 8) + (offset >> 2 bitAnd: 16r00FFFFFF). "BL offset" + ^machineCodeSize := 4] + ifFalse: [ + self halt]! - | offset | - self assert: (operands at: 0) ~= 0. - offset := ((operands at: 0) - (address + 8)) signedIntFromLong "signed-conversion for range assertion". - self assert: offset <= 33554428 & (offset >= -33554432). - self machineCodeAt: 0 put: (self c: conditionCode t: 5 o: 0 s: 0) + (offset >> 2 bitAnd: 16r00FFFFFF). "B offset" - ^machineCodeSize := 4! Item was added: + ----- Method: CogARMCompiler>>concretizeDataOperationCqR: (in category 'generate machine code - concretize') ----- + concretizeDataOperationCqR: opcode + "Will get inlined into concretizeAt: switch." + "For 0, we can mov reg, #0" + <inline: true> + self + rotateable8bitImmediate: (operands at: 0) + ifTrue: [:rot :immediate | | reg | + reg := self concreteRegister: (operands at: 1). + self machineCodeAt: 0 put: ((self t: 1 o: opcode s: 1) bitOr: reg << 16). + machineCode at: 0 put: immediate. + machineCode at: 1 put: (reg << 4 bitOr: rot). + ^machineCodeSize := 4] + ifFalse: [^self concretizeDataOperationCwR: opcode]. + ! Item was added: + ----- Method: CogARMCompiler>>concretizeDataOperationCwR: (in category 'generate machine code - concretize') ----- + concretizeDataOperationCwR: opcode + "Will get inlined into concretizeAt: switch." + "Load the word into the RISCTempReg, then cmp R, RISCTempReg" + <inline: true> + | constant srcDestReg | + constant := operands at: 0. + srcDestReg := (self concreteRegister: (operands at: 1)). + self at: 0 moveCw: constant intoR: RISCTempReg. + self machineCodeAt: 16 + put: ((self t: 0 o: opcode s: 1) bitOr: ((srcDestReg << 16 bitOr: srcDestReg <<12) bitOr: RISCTempReg)). + ^machineCodeSize := 20.! Item was added: + ----- Method: CogARMCompiler>>concretizeDataOperationRR: (in category 'generate machine code - concretize') ----- + concretizeDataOperationRR: opcode + "Will get inlined into concretizeAt: switch." + "Load the word into the RISCTempReg, then cmp R, RISCTempReg" + <inline: true> + | destReg srcReg | + srcReg := self concreteRegister: (operands at: 0). + destReg := (self concreteRegister: (operands at: 1)). + self machineCodeAt: 0 + put: ((self t: 0 o: opcode s: 1 rn: srcReg rd: destReg) bitOr: destReg). + ^machineCodeSize := 4.! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveAwR (in category 'generate machine code - concretize') ----- concretizeMoveAwR "Will get inlined into concretizeAt: switch." <inline: true> + | srcAddr destReg | - | srcAddr destReg loadSize | srcAddr := operands at: 0. destReg := self concreteRegister: (operands at: 1). + "load the address into RISCTempReg" + self at: 0 moveCw: srcAddr intoR: RISCTempReg. + "Moving allows building an 8bit offset, so the lowest byte can be used in this instruction and we save 4 byte." + machineCode + at: 15 put: 16rE5; "LDR srcReg, [R3, +LSB(addr)]" + at: 14 put: (16r90 bitOr: RISCTempReg); + at: 13 put: (destReg << 4). + ^machineCodeSize := 16! - "load the address into R3" - loadSize := self loadAllButLSBWord: srcAddr. - machineCode - at: loadSize + 3 put: 16rE5; "LDR srcReg, [R3, +LSB(addr)]" - at: loadSize + 2 put: (16r90 bitOr: RISCTempReg); - at: loadSize + 1 put: (destReg << 4); - at: loadSize put: (srcAddr bitAnd: 16rFF). - ^machineCodeSize := loadSize + 4! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveCqR (in category 'generate machine code - concretize') ----- concretizeMoveCqR "Will get inlined into concretizeAt: switch." + "If the quick constant is in fact a shiftable 8bit, generate the apropriate MOV, otherwise do what is necessary for a whole word." - "For 0, we can mov reg, #0" <inline: true> self rotateable8bitImmediate: (operands at: 0) ifTrue: [:rot :immediate | | reg | reg := self concreteRegister: (operands at: 1). + self machineCodeAt: 0 put: (self t: 1 o: 16rD s: 0). - self machineCodeAt: 0 put: ((self t: 1 o: 16rD s: 0) + reg << 12). machineCode at: 0 put: immediate. + machineCode at: 1 put: (reg << 4 bitOr: rot). - machineCode at: 1 put: rot. ^machineCodeSize := 4] ifFalse: [^self concretizeMoveCwR]. ! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveCwR (in category 'generate machine code - concretize') ----- concretizeMoveCwR "Will get inlined into concretizeAt: switch." <inline: true> | constant destReg | constant := operands at: 0. + destReg := self concreteRegister: (operands at: 1). + self at: 0 moveCw: constant intoR: destReg. - destReg := (self concreteRegister: (operands at: 1)) << 12. - "load the instructions into machineCode" - self - machineCodeAt: 0 put: (16rE3A00C00 bitOr: destReg); "MOV dest, #<byte1>, 12" - machineCodeAt: 4 put: (16rE3830800 bitOr: destReg); "ORR dest, dest, #<byte2>, 8" - machineCodeAt: 8 put: (16rE3830400 bitOr: destReg); "ORR dest, dest, #<byte3>, 4" - machineCodeAt: 12 put: (16rE3830000 bitOr: destReg). "ORR dest, dest, #<byte0>, 0" - "fill in the according bytes" - machineCode - at: 0 put: (constant >> 8 bitAnd: 16rFF); - at: 4 put: (constant >> 12 bitAnd: 16rFF); - at: 8 put: (constant >> 24 bitAnd: 16rFF); - at: 12 put: (constant bitAnd: 16rFF). - ^machineCodeSize := 16.! Item was added: + ----- Method: CogARMCompiler>>concretizeMoveMwrR (in category 'generate machine code - concretize') ----- + concretizeMoveMwrR + "Will get inlined into concretizeAt: switch." + <inline: true> + | srcReg offset destReg | + offset := operands at: 0. + srcReg := self concreteRegister: (operands at: 1). + destReg := self concreteRegister: (operands at: 2). + self is12BitValue: offset + ifTrue: [ :u :immediate | + self machineCodeAt: 0 + put: ((self t: 2 o: (8 bitOr: u <<2) s: 1 rn: srcReg rd: destReg) bitOr: immediate). + ^machineCodeSize := 4] + ifFalse: [ self halt. ]! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveRAw (in category 'generate machine code - concretize') ----- concretizeMoveRAw "Will get inlined into concretizeAt: switch." <inline: true> + | srcReg destAddr | - | srcReg destAddr loadSize | srcReg := self concreteRegister: (operands at: 0). destAddr := operands at: 1. "load the address into R3" + self at: 0 moveCw: destAddr intoR: RISCTempReg. - loadSize := self loadAllButLSBWord: destAddr. machineCode + at: 15 put: 16rE5; "STR srcReg, [R3, +LSB(addr)]" + at: 14 put: (16r80 bitOr: RISCTempReg); + at: 13 put: (srcReg << 4). + ^machineCodeSize := 16! - at: loadSize + 3 put: 16rE5; "STR srcReg, [R3, +LSB(addr)]" - at: loadSize + 2 put: (16r80 bitOr: RISCTempReg); - at: loadSize + 1 put: (srcReg << 4); - at: loadSize put: (destAddr bitAnd: 16rFF). - ^machineCodeSize := loadSize + 4! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveRR (in category 'generate machine code - concretize') ----- concretizeMoveRR "Will get inlined into concretizeAt: switch." <inline: true> | srcReg destReg | srcReg := self concreteRegister: (operands at: 0). destReg := self concreteRegister: (operands at: 1). + "cond 000 1101 0 0000 dest 0000 0000 srcR" + self machineCodeAt: 0 put: ((self t: 0 o: 16rD s: 0 rn: 0 rd: destReg) bitOr: srcReg). - self machineCodeAt: 0 put: 16rE1A0F00F. - machineCode - at: 1 put: (16rF0 bitAnd: destReg << 4); - at: 0 put: (16r0F bitAnd: srcReg). ^machineCodeSize := 4! Item was added: + ----- Method: CogARMCompiler>>concretizeNegateR (in category 'generate machine code - concretize') ----- + concretizeNegateR + "Will get inlined into concretizeAt: switch." + "All other data operations write back their results. The write back register should be zero for CMP." + <inline: true> + | reg | + reg := self concreteRegister: (operands at: 0). + self machineCodeAt: 0 put: ((self t: 0 o: 16rF s: 0 rn: 0 rd: reg) bitOr: reg). + ^machineCodeSize := 4! Item was added: + ----- Method: CogARMCompiler>>concretizePopR (in category 'generate machine code - concretize') ----- + concretizePopR + "Will get inlined into concretizeAt: switch." + <inline: true> + | destReg | + destReg := self concreteRegister: (operands at: 0). + "cond | 010 | 0100 | 1 | -Rn- | -Rd- | 0000 0000 0100 " "LDR destReg, [SP], #4" + self machineCodeAt: 0 put: ((self t: 2 o: 4 s: 1 rn: SP rd: destReg) bitOr: 4). + ^machineCodeSize := 4! Item was changed: ----- Method: CogARMCompiler>>concretizePushR (in category 'generate machine code - concretize') ----- concretizePushR "Will get inlined into concretizeAt: switch." <inline: true> | srcReg | srcReg := self concreteRegister: (operands at: 0). + "cond | 010 | 1001 | 1 | -Rn- | -Rd- | 0000 0000 0100" "STR srcReg, [sp, #-4]" + self machineCodeAt: 0 put: ((self t: 2 o: 9 s: 1 rn: SP rd: srcReg) bitOr: 4). - - self machineCodeAt: 0 put: ((self t: 4 o: 9) + 16rD0000 bitOr: 1 << srcReg). ^machineCodeSize := 4! Item was changed: ----- Method: CogARMCompiler>>dispatchConcretize (in category 'generate machine code') ----- dispatchConcretize "Attempt to generate concrete machine code for the instruction at address. This is the inner dispatch of concretizeAt: actualAddress which exists only to get around the branch size limits in the SqueakV3 (blue book derived) bytecode set." opcode caseOf: { "Noops & Pseudo Ops" [Label] -> [^self concretizeLabel]. [AlignmentNops] -> [^self concretizeAlignmentNops]. [Fill16] -> [^self concretizeFill16]. [Fill32] -> [^self concretizeFill32]. [FillFromWord] -> [^self concretizeFillFromWord]. [Nop] -> [^self concretizeNop]. "Specific Control/Data Movement" "[LDM] -> [^self concretizeLDM]. [STM] -> [^self concretizeSTM]." "Control" [Call] -> [^self concretizeCall]. [JumpR] -> [^self concretizeJumpR]. [JumpLong] -> [^self concretizeJumpLong]. "[JumpLongZero] -> [^self concretizeConditionalJumpLong: EQ]. [JumpLongNonZero] -> [^self concretizeConditionalJumpLong: NE]." [Jump] -> [^self concretizeConditionalJump: AL]. [JumpZero] -> [^self concretizeConditionalJump: EQ]. [JumpNonZero] -> [^self concretizeConditionalJump: NE]. [JumpNegative] -> [^self concretizeConditionalJump: MI]. [JumpNonNegative] -> [^self concretizeConditionalJump: PL]. [JumpOverflow] -> [^self concretizeConditionalJump: VS]. [JumpNoOverflow] -> [^self concretizeConditionalJump: VC]. [JumpCarry] -> [^self concretizeConditionalJump: CS]. [JumpNoCarry] -> [^self concretizeConditionalJump: CC]. [JumpLess] -> [^self concretizeConditionalJump: LT]. [JumpGreaterOrEqual] -> [^self concretizeConditionalJump: GE]. [JumpGreater] -> [^self concretizeConditionalJump: GT]. [JumpLessOrEqual] -> [^self concretizeConditionalJump: LE]. [JumpBelow] -> [^self concretizeConditionalJump: CS]. "according to http://courses.engr.illinois.edu/ece390/books/labmanual/assembly.html" [JumpAboveOrEqual] -> [^self concretizeConditionalJump: CC]. " --""-- " [JumpAbove] -> [^self concretizeConditionalJump: HI]. [JumpBelowOrEqual] -> [^self concretizeConditionalJump: LS]. [JumpFPEqual] -> [^self concretizeFPConditionalJump: EQ]. [JumpFPNotEqual] -> [^self concretizeFPConditionalJump: NE]. "[JumpFPLess] -> [^self concretizeFPConditionalJump: LT]. [JumpFPGreaterOrEqual] -> [^self concretizeFPConditionalJump: GE]. [JumpFPGreater] -> [^self concretizeFPConditionalJump: GT]. [JumpFPLessOrEqual] -> [^self concretizeFPConditionalJump: LE]. [JumpFPOrdered] -> [^self concretizeFPConditionalJump: VC]. [JumpFPUnordered] -> [^self concretizeFPConditionalJump: VS]." [RetN] -> [^self concretizeRetN]. "Arithmetic" + [AddCqR] -> [^self concretizeDataOperationCqR: 4]. + [AddCwR] -> [^self concretizeDataOperationCwR: 4]. + [AddRR] -> [^self concretizeDataOperationRR: 4]. - [AddCqR] -> [^self concretizeAddCqR]. - [AddCwR] -> [^self concretizeAddCwR]. - [AddRR] -> [^self concretizeAddRR]. "[AddRdRd] -> [^self concretizeSEE2OpRdRd: 16r58]." + [AndCqR] -> [^self concretizeDataOperationCqR: 0]. + [AndCwR] -> [^self concretizeDataOperationCwR: 0]. + [AndRR] -> [^self concretizeDataOperationRR: 0]. - [AndCqR] -> [^self concretizeAndCqR]. - [AndCwR] -> [^self concretizeAndCwR]. - [AndRR] -> [^self concretizeAndRR]. [CmpCqR] -> [^self concretizeCmpCqR]. [CmpCwR] -> [^self concretizeCmpCwR]. [CmpRR] -> [^self concretizeCmpRR]. [CmpRdRd] -> [^self concretizeCmpRdRd]. "[DivRdRd] -> [^self concretizeSEE2OpRdRd: 16r5E]. [MulRdRd] -> [^self concretizeSEE2OpRdRd: 16r59]." + [OrCqR] -> [^self concretizeDataOperationCqR: 16rC]. + [OrCwR] -> [^self concretizeDataOperationCwR: 16rC]. + [OrRR] -> [^self concretizeDataOperationRR: 16rC]. + [SubCqR] -> [^self concretizeDataOperationCqR: 2]. + [SubCwR] -> [^self concretizeDataOperationCwR: 2]. + [SubRR] -> [^self concretizeDataOperationRR: 2]. - [OrCqR] -> [^self concretizeOrCqR]. - [OrCwR] -> [^self concretizeOrCwR]. - [OrRR] -> [^self concretizeOrRR]. - [SubCqR] -> [^self concretizeSubCqR]. - [SubCwR] -> [^self concretizeSubCwR]. - [SubRR] -> [^self concretizeSubRR]. "[SubRdRd] -> [^self concretizeSEE2OpRdRd: 16r5C]." [SqrtRd] -> [^self concretizeSqrtRd]. + [XorCqR] -> [^self concretizeDataOperationCqR: 1]. + [XorCwR] -> [^self concretizeDataOperationCwR: 1]. + [XorRR] -> [^self concretizeDataOperationRR: 1]. - [XorCwR] -> [^self concretizeXorCwR]. - [XorRR] -> [^self concretizeXorRR]. [NegateR] -> [^self concretizeNegateR]. [LoadEffectiveAddressMwrR] -> [^self concretizeLoadEffectiveAddressMwrR]. [ArithmeticShiftRightCqR] -> [^self concretizeArithmeticShiftRightCqR]. [LogicalShiftRightCqR] -> [^self concretizeLogicalShiftRightCqR]. [LogicalShiftLeftCqR] -> [^self concretizeLogicalShiftLeftCqR]. [ArithmeticShiftRightRR] -> [^self concretizeArithmeticShiftRightRR]. [LogicalShiftLeftRR] -> [^self concretizeLogicalShiftLeftRR]. "Data Movement" [MoveCqR] -> [^self concretizeMoveCqR]. [MoveCwR] -> [^self concretizeMoveCwR]. [MoveRR] -> [^self concretizeMoveRR]. [MoveAwR] -> [^self concretizeMoveAwR]. [MoveRAw] -> [^self concretizeMoveRAw]. [MoveMbrR] -> [^self concretizeMoveMbrR]. [MoveRMbr] -> [^self concretizeMoveRMbr]. [MoveM16rR] -> [^self concretizeMoveM16rR]. [MoveM64rRd] -> [^self concretizeMoveM64rRd]. [MoveMwrR] -> [^self concretizeMoveMwrR]. [MoveXbrRR] -> [^self concretizeMoveXbrRR]. [MoveXwrRR] -> [^self concretizeMoveXwrRR]. [MoveRXwrR] -> [^self concretizeMoveRXwrR]. [MoveRMwr] -> [^self concretizeMoveRMwr]. [MoveRdM64r] -> [^self concretizeMoveRdM64r]. [PopR] -> [^self concretizePopR]. [PushR] -> [^self concretizePushR]. [PushCw] -> [^self concretizePushCw]. [PrefetchAw] -> [^self concretizePrefetchAw]. "Conversion" [ConvertRRd] -> [^self concretizeConvertRRd] }! Item was added: + ----- Method: CogARMCompiler>>is12BitValue:ifTrue:ifFalse: (in category 'testing') ----- + is12BitValue: constant ifTrue: trueAlternativeBlock ifFalse: falseAlternativeBlock + "For LDR and STR, there is an instruction allowing for one instruction encoding if the offset is encodable in 12 bit." + constant abs <= 4095 "(2 raisedTo: 12)-1" + ifTrue: [ + constant >= 0 + ifTrue: [trueAlternativeBlock value: 1 value: constant] + ifFalse: [trueAlternativeBlock value: 0 value: constant abs]] + ifFalse: falseAlternativeBlock! Item was removed: - ----- Method: CogARMCompiler>>loadAllButLSBWord: (in category 'generate machine code - concretize') ----- - loadAllButLSBWord: aWord - "This loads aWord into the inter-opcode temporary register. Because most ARM instruction enable using a (8-12bit) offset relative to a register, the LS Byte can be included in that instruction, saving one instruction." - "The temporary register within abstract opcodes is RISCTempReg" - self - machineCodeAt: 0 put: (16rE3A00C00 bitOr: RISCTempReg << 12); "MOV R3, #<byte1>, 12" - machineCodeAt: 4 put: 16rE3800800 + (RISCTempReg << 12) + (RISCTempReg << 16); "ORR R3, R3, #<byte2>, 8" - machineCodeAt: 8 put: 16rE3800800 + (RISCTempReg << 12) + (RISCTempReg << 16). "ORR R3, R3, #<byte3>, 4" - "fill in the bytes" - machineCode - at: 0 put: (aWord >> 8 bitAnd: 16rFF); - at: 4 put: (aWord >> 12 bitAnd: 16rFF); - at: 8 put: (aWord >> 24 bitAnd: 16rFF). - ^12! Item was changed: + ----- Method: CogARMCompiler>>rotateable8bitImmediate:ifTrue:ifFalse: (in category 'testing') ----- - ----- Method: CogARMCompiler>>rotateable8bitImmediate:ifTrue:ifFalse: (in category 'generate machine code - concretize') ----- rotateable8bitImmediate: constant ifTrue: trueAlternativeBlock ifFalse: falseAlternativeBlock "For data processing operands, there is the immediate shifter_operand variant, where an 8 bit value is ring shifted _right_ by 2*i. This is only suitable for quick constant(Cq), which don't change." (constant bitAnd: 16rFF) = constant ifTrue: [ ^trueAlternativeBlock value: 0 value: constant]. 1 to: 15 do: [:i | (constant bitAnd: 16rFF << (i<<1)) = constant ifTrue: [ ^trueAlternativeBlock value: 16 - i value: constant >> (i << 1)]]. ^falseAlternativeBlock value! Item was added: + ----- Method: CogARMCompilerForTests class>>dataRegistersWithAccessorsDo: (in category 'test support') ----- + dataRegistersWithAccessorsDo: aTrinaryBlock + "r0 ... sp. We can't use pc or RISCTempReg, because some opcodes may be encoded as multiple instructions and this, we need to be able to step." + #(0 1 2 4 5 6 7 8 9 10 11 12 13 14) withIndexDo: + [:reg :i| + aTrinaryBlock + value: reg + value: (#(r0 r1 r2 r4 r5 r6 r7 r8 r9 r10 r11 r12 sp lr) at: i) + value: (#(r0: r1: r2: r4: r5: r6: r7: r8: r9: r10: r11: r12: sp: lr:) at: i)]! Item was changed: ----- Method: CogARMCompilerForTests class>>registersWithNamesDo: (in category 'test support') ----- registersWithNamesDo: aBinaryBlock self registers + with: #('r0' 'r1' 'r2' 'r3' 'r4' 'r5' 'r6' 'r7' 'r8' 'r9' 'sl' 'fp' 'ip' 'sp' 'lr' 'pc') - with: #('r0' 'r1' 'r2' 'r3' 'r4' 'r5' 'r6' 'r7' 'r8' 'r9' 'r10' 'fp' 'r12' 'sp' 'lr' 'pc') do: aBinaryBlock! Item was added: + ----- Method: CogARMCompilerTests>>assertCheckQuickArithOpCodeSize: (in category 'running') ----- + assertCheckQuickArithOpCodeSize: bytes + "The problem is that there are negative value, which are not quick encodable in ARM" + self assert: bytes <= 20! Item was added: + ----- Method: CogARMCompilerTests>>numberOfStepsIn: (in category 'running') ----- + numberOfStepsIn: aSize + + ^ aSize // 4! Item was added: + ----- Method: CogARMCompilerTests>>testAdd (in category 'tests') ----- + testAdd + "self new testAdd" + + "the forms are valid, " + "test AddCqR" + self concreteCompilerClass registersWithNamesDo: [ :reg :regName | + #(0 16rF 16rFF) do: + [:n| | inst len | + inst := self gen: AddCqR operand: n operand: reg. + len := inst concretizeAt: 0. + self processor + disassembleInstructionAt: 0 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'adds ', regName, ', ', regName, ', #', n asString. + self assert: (plainJane match: herIntended)]]]. + + "test AddCwR" + self concreteCompilerClass registersWithNamesDo: [ :reg :regName | + #(16rFFFFFFFF 16r88888888 0) do: + [:n| | inst len | + inst := self gen: AddCwR operand: n operand: reg. + len := inst concretizeAt: 0. + self processor + disassembleInstructionAt: 0 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'mov r3, #', (n bitAnd: 16rFF << 8) asString. + self assert: (plainJane match: herIntended)]. + self processor + disassembleInstructionAt: 4 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'orr r3, r3, #', (n bitAnd: 16rFF << 16) asString. + self assert: (plainJane match: herIntended)]. + self processor + disassembleInstructionAt: 8 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'orr r3, r3, #', (n bitAnd: 16rFF << 24) signedIntFromLong asString. + self assert: (plainJane match: herIntended)]. + self processor + disassembleInstructionAt: 12 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'orr r3, r3, #', (n bitAnd: 16rFF) asString. + self assert: (plainJane match: herIntended)]. + self processor + disassembleInstructionAt: 16 + In: inst machineCode object + into: [:str :sz| | plainJane herIntended | + plainJane := self strip: str. + herIntended := 'adds ', regName, ', ', regName, ', r3'. + self assert: (plainJane match: herIntended)]]] + ! Item was added: + ----- Method: CogIA32CompilerTests>>numberOfStepsIn: (in category 'running') ----- + numberOfStepsIn: aSize + ^1!

1 0

[GSoC] ARM JIT
by Lars 25 Jul '12

25 Jul '12

Hello, at the moment I'm fleshing out the ARM Compiler. Last week in my mentor meeting, we decided that it would be ok to ask any questions I have here. These questions might not be of much interest for anybody but Eliot, because they are quite specific about the internals of Cog. When trying to fill in genSaveRegisters, I noticed that there is no genLoadRegisters. Where are the registers saved in that method loaded again? Also, I don't know what trampolines are. The term has too many meanings to find anything useful using google. And cog-related, there is only the article "An Arranged Marriage". In that, an understanding seems required. Do you have any more sources where I can read about trampolines? Or can point to the paragraph where they are explained? We last week talked about the Call-Opcode and that some Instructions require that after a Call, the first item on the stack is the jump back address. On ARM, there is no Call which pushes the PC, but rather an BL-opcode, which loads the next pc into the LR-register. If I want to save LR, I need to do it as preamble of the next function. Where would be the place to prepend this pushing of LR ( and other callee-safe registers ) onto the stack? I also looked over the conditional Jumping codes and added them. But there seems to be some ambiguity on ARM. Especially about 'unordered' and 'less than'. The 'less than' condition also is also true in case the VFP generated an unordered. For the non-fp codes, I found a list what they mean for the processor flags on x86, thus being able to map them onto the 15 ARM conditional codes. Does anybody have (a link to) a list of the flag-interpretation for FP-state (as used in IA32 and probably in cog)? Thank you, Lars P.S.: My development process is starting the CogVMSimulator on an Trunk43 image and filling in all the methods missing with best guesses (and they are legion). The snippet for starting the simulator (provided by Eliot) is: | cos opts | CoInterpreter initializeWithOptions: (opts := Dictionary newFromPairs: #(#ISA #ARMV5)). CogVMSimulator chooseAndInitCogitClassWithOpts: opts. cos := CogVMSimulator new. cos desiredNumStackPages: 8. cos openOn: 'CogTrunk43.image'. ^ cos openAsMorph; halt; run

3 2

VM Maker: VMMaker.oscog-lw.188.mcz
by commits＠source.squeak.org 25 Jul '12

25 Jul '12

Lars Wassermann uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-lw.188.mcz ==================== Summary ==================== Name: VMMaker.oscog-lw.188 Author: lw Time: 25 July 2012, 12:25:15.718 am UUID: 0713a475-a782-614e-ab93-464cf9b1da16 Ancestors: VMMaker.oscog-eem.187 - Added STMFD and LDMFD opcodes to the ARMCompiler. FD refers to Full Decrementing stack, which should be the normal one. - added class variables for the conditional codes 0-14. They are used with the conditional jumps - introduced c:t:o:s: in an attempt to help illustrating the internal structure of ARM-opcodes and step (a small step) away from long constants. The problem is, that the type is 3 bit, therefore it's not as good as I hoped for. But still... - added genSaveRegisters, where is genLoadRegisters? =============== Diff against VMMaker.oscog-eem.187 =============== Item was changed: CogAbstractInstruction subclass: #CogARMCompiler instanceVariableNames: '' + classVariableNames: 'AL CC CS EQ GE GT HI LDMFD LE LR LS LT MI NE PC PL R0 R1 R10 R11 R12 R2 R3 R4 R5 R6 R7 R8 R9 RISCTempReg SP STMFD VC VS' - classVariableNames: 'LR PC R0 R1 R10 R11 R12 R2 R3 R4 R5 R6 R7 R8 R9 SP' poolDictionaries: '' category: 'VMMaker-JIT'! Item was changed: ----- Method: CogARMCompiler class>>initialize (in category 'class initialization') ----- initialize - super initialize. "Initialize various ARM instruction-related constants." "CogARMCompiler initialize" + | specificOpcodes refs conditionCodes | + super initialize. + self ~~ CogARMCompiler ifTrue: [^self]. + R0 := 0. R1 := 1. R2 := 2. R3 := 3. R4 := 4. R5 := 5. R6 := 6. R7 := 7. R8 := 8. R9 := 9. R10 := 10. R11 := 11. R12 := 12. SP := 13. LR := 14. + PC := 15. + + RISCTempReg := R3. + + "Condition Codes" + conditionCodes := #(EQ NE CS CC MI PL VS VC HI LS GE LT GT LE AL). + conditionCodes withIndexDo: [ :classVarName :value | + self classPool + declare: classVarName from: Undeclared; + at: classVarName put: value - 1]. + + "Specific instructions" + LastRTLCode isNil ifTrue: + [CogRTLOpcodes initialize]. + specificOpcodes := #(LDMFD STMFD). + refs := (thisContext method literals select: [:l| l isVariableBinding and: [classPool includesKey: l key]]) collect: + [:ea| ea key]. + (classPool keys reject: [:k| (specificOpcodes includes: k) or: [refs includes: k] or: [conditionCodes includes: k]]) do: + [:k| + Undeclared declare: k from: classPool]. + specificOpcodes withIndexDo: + [:classVarName :value| + self classPool + declare: classVarName from: Undeclared; + at: classVarName put: value + LastRTLCode - 1]! - PC := 15! Item was added: + ----- Method: CogARMCompiler>>c:t:o:s: (in category 'encoding') ----- + c: c t: t o: o s: s + "c : 4 bit, t: 3 bit, o: 4 bit, s: 1bit" + "the leftmost 12bit of (most) ARM instruction" + <inline: true> + ^ c << 28 bitOr: ((t << 25) bitOr: ((o << 21) bitOr: (s << 20)))! Item was changed: ----- Method: CogARMCompiler>>computeMaximumSize (in category 'generate machine code') ----- computeMaximumSize "Because we don't use Thumb, each instruction has a multiple of 4 bytes. Most have exactly 4, but some abstract opcodes need more than one instruction." opcode caseOf: { [Label] -> [^maxSize := 0]. [AlignmentNops] -> [^maxSize := (operands at: 0) - 1]. + [CmpCqR] -> [^self rotateable8bitImmediate: (operands at: 0) + ifTrue: [:r :i| maxSize := 4] + ifFalse: [maxSize := 20]]. + [CmpCwR] -> [^maxSize := 20]. + [MoveAwR] -> [^maxSize := 16 "3 for loadAllButLSB"]. + [MoveCqR] -> [^self rotateable8bitImmediate: (operands at: 0) + ifTrue: [:r :i| maxSize := 4] + ifFalse: [maxSize := 16]]. + [MoveCwR] -> [^maxSize := 16]. [MoveRAw] -> [^maxSize := 16 "3 for loadAllButLSB"]. [RetN] -> [^(operands at: 0) = 0 ifTrue: [maxSize := 4] + ifFalse: [maxSize := 8]]. + [JumpFPEqual] -> [^maxSize := 8]. + [JumpFPNotEqual] -> [^maxSize := 8]. + [JumpFPLess] -> [^maxSize := 8]. + [JumpFPGreaterOrEqual] -> [^maxSize := 8]. + [JumpFPGreater] -> [^maxSize := 8]. + [JumpFPLessOrEqual] -> [^maxSize := 8]. + [JumpFPOrdered] -> [^maxSize := 8]. + [JumpFPUnordered] -> [^maxSize := 8].} - ifFalse: [maxSize := 8]]} otherwise: [^maxSize := 4]. ^4 "to keep C compiler quiet" ! Item was added: + ----- Method: CogARMCompiler>>concretizeAlignmentNops (in category 'generate machine code - concretize') ----- + concretizeAlignmentNops + <inline: true> + self assert: machineCodeSize \\ 4 = 0. + 0 to: machineCodeSize - 1 by: 4 do: + [:p| objectMemory + byteAt: p put: 16r01; + byteAt: p+1 put: 16r10; + byteAt: p+2 put: 16rA0; + byteAt: p+3 put: 16rE1]! Item was added: + ----- Method: CogARMCompiler>>concretizeCall (in category 'generate machine code - concretize') ----- + concretizeCall + "Will get inlined into concretizeAt: switch." + <inline: true> + | offset | + self assert: (operands at: 0) ~= 0. + offset := ((operands at: 0) - (address + 8)) signedIntFromLong "signed-conversion for range assertion". + (self isQuick: offset) + ifTrue: [ + self machineCodeAt: 0 put: (self t: 5 o: 8) + (offset >> 2 bitAnd: 16r00FFFFFF). "BL offset" + ^machineCodeSize := 4] + ifFalse: [ + self halt] + "We should push at least lr. The problem is, that any push added here is only executed after return, and therefore useless."! Item was added: + ----- Method: CogARMCompiler>>concretizeCmpCqR (in category 'generate machine code - concretize') ----- + concretizeCmpCqR + "Will get inlined into concretizeAt: switch." + "For 0, we can mov reg, #0" + <inline: true> + self + rotateable8bitImmediate: (operands at: 0) + ifTrue: [:rot :immediate | | reg | + reg := self concreteRegister: (operands at: 1). + self machineCodeAt: 0 put: ((self t: 1 o: 16rA s: 1) + reg << 12). + machineCode at: 0 put: immediate. + machineCode at: 1 put: rot. + ^machineCodeSize := 4] + ifFalse: [^self concretizeCmpCwR]. + ! Item was added: + ----- Method: CogARMCompiler>>concretizeCmpCwR (in category 'generate machine code - concretize') ----- + concretizeCmpCwR + "Will get inlined into concretizeAt: switch." + "Load the word into the RISCTempReg, then cmp R, RISCTempReg" + <inline: true> + | constant cmpReg doubleTempReg | + constant := operands at: 0. + cmpReg := (self concreteRegister: (operands at: 1)). + doubleTempReg := (RISCTempReg << 4 bitOr: RISCTempReg) << 12. + "load the instructions into machineCode" + self + machineCodeAt: 0 put: (16rE3A00C00 bitOr: RISCTempReg << 12); "MOV dest, #<byte3>, 12" + machineCodeAt: 4 put: (16rE3800800 bitOr: doubleTempReg); "ORR dest, dest, #<byte2>, 8" + machineCodeAt: 8 put: (16rE3800400 bitOr: doubleTempReg); "ORR dest, dest, #<byte1>, 4" + machineCodeAt: 12 put: (16rE3800000 bitOr: doubleTempReg). "ORR dest, dest, #<byte4>, 0" + "fill in the according bytes" + machineCode + at: 0 put: (constant >> 8 bitAnd: 16rFF); + at: 4 put: (constant >> 12 bitAnd: 16rFF); + at: 8 put: (constant >> 24 bitAnd: 16rFF); + at: 12 put: (constant bitAnd: 16rFF). + self machineCodeAt: 16 + put: ((self t: 0 o: 16rA s: 1) bitOr: (cmpReg << 16 bitOr: RISCTempReg)). + ^machineCodeSize := 20.! Item was added: + ----- Method: CogARMCompiler>>concretizeConditionalJump: (in category 'generate machine code - concretize') ----- + concretizeConditionalJump: conditionCode + "Will get inlined into concretizeAt: switch." + <inline: true> + | offset | + self assert: (operands at: 0) ~= 0. + offset := ((operands at: 0) - (address + 8)) signedIntFromLong "signed-conversion for range assertion". + self assert: offset <= 33554428 & (offset >= -33554432). + self machineCodeAt: 0 put: (self c: conditionCode t: 5 o: 0 s: 0) + (offset >> 2 bitAnd: 16r00FFFFFF). "B offset" + ^machineCodeSize := 4! Item was added: + ----- Method: CogARMCompiler>>concretizeFPConditionalJump: (in category 'generate machine code - concretize') ----- + concretizeFPConditionalJump: conditionCode + "Will get inlined into concretizeAt: switch." + <inline: true> + | offset | + self assert: (operands at: 0) ~= 0. + offset := ((operands at: 0) - (address + 8)) signedIntFromLong "signed-conversion for range assertion". + self assert: offset <= 33554428 & (offset >= -33554432). + self machineCodeAt: 0 put: 16rEF1FA10. "FMSTAT: copy the FPSCR to CPSR" + self machineCodeAt: 4 put: (self c: conditionCode t: 5 o: 0 s: 0) + (offset >> 2 bitAnd: 16r00FFFFFF). "B offset" + ^machineCodeSize := 8! Item was added: + ----- Method: CogARMCompiler>>concretizeMoveAwR (in category 'generate machine code - concretize') ----- + concretizeMoveAwR + "Will get inlined into concretizeAt: switch." + <inline: true> + | srcAddr destReg loadSize | + srcAddr := operands at: 0. + destReg := self concreteRegister: (operands at: 1). + "load the address into R3" + loadSize := self loadAllButLSBWord: srcAddr. + machineCode + at: loadSize + 3 put: 16rE5; "LDR srcReg, [R3, +LSB(addr)]" + at: loadSize + 2 put: (16r90 bitOr: RISCTempReg); + at: loadSize + 1 put: (destReg << 4); + at: loadSize put: (srcAddr bitAnd: 16rFF). + ^machineCodeSize := loadSize + 4! Item was added: + ----- Method: CogARMCompiler>>concretizeMoveCqR (in category 'generate machine code - concretize') ----- + concretizeMoveCqR + "Will get inlined into concretizeAt: switch." + "For 0, we can mov reg, #0" + <inline: true> + self + rotateable8bitImmediate: (operands at: 0) + ifTrue: [:rot :immediate | | reg | + reg := self concreteRegister: (operands at: 1). + self machineCodeAt: 0 put: ((self t: 1 o: 16rD s: 0) + reg << 12). + machineCode at: 0 put: immediate. + machineCode at: 1 put: rot. + ^machineCodeSize := 4] + ifFalse: [^self concretizeMoveCwR]. + ! Item was added: + ----- Method: CogARMCompiler>>concretizeMoveCwR (in category 'generate machine code - concretize') ----- + concretizeMoveCwR + "Will get inlined into concretizeAt: switch." + <inline: true> + | constant destReg | + constant := operands at: 0. + destReg := (self concreteRegister: (operands at: 1)) << 12. + "load the instructions into machineCode" + self + machineCodeAt: 0 put: (16rE3A00C00 bitOr: destReg); "MOV dest, #<byte1>, 12" + machineCodeAt: 4 put: (16rE3830800 bitOr: destReg); "ORR dest, dest, #<byte2>, 8" + machineCodeAt: 8 put: (16rE3830400 bitOr: destReg); "ORR dest, dest, #<byte3>, 4" + machineCodeAt: 12 put: (16rE3830000 bitOr: destReg). "ORR dest, dest, #<byte0>, 0" + "fill in the according bytes" + machineCode + at: 0 put: (constant >> 8 bitAnd: 16rFF); + at: 4 put: (constant >> 12 bitAnd: 16rFF); + at: 8 put: (constant >> 24 bitAnd: 16rFF); + at: 12 put: (constant bitAnd: 16rFF). + + ^machineCodeSize := 16.! Item was changed: ----- Method: CogARMCompiler>>concretizeMoveRAw (in category 'generate machine code - concretize') ----- concretizeMoveRAw "Will get inlined into concretizeAt: switch." <inline: true> | srcReg destAddr loadSize | srcReg := self concreteRegister: (operands at: 0). destAddr := operands at: 1. "load the address into R3" loadSize := self loadAllButLSBWord: destAddr. machineCode at: loadSize + 3 put: 16rE5; "STR srcReg, [R3, +LSB(addr)]" + at: loadSize + 2 put: (16r80 bitOr: RISCTempReg); - at: loadSize + 2 put: 16r83; at: loadSize + 1 put: (srcReg << 4); at: loadSize put: (destAddr bitAnd: 16rFF). ^machineCodeSize := loadSize + 4! Item was added: + ----- Method: CogARMCompiler>>concretizePushR (in category 'generate machine code - concretize') ----- + concretizePushR + "Will get inlined into concretizeAt: switch." + <inline: true> + | srcReg | + srcReg := self concreteRegister: (operands at: 0). + + self machineCodeAt: 0 put: ((self t: 4 o: 9) + 16rD0000 bitOr: 1 << srcReg). + ^machineCodeSize := 4! Item was changed: ----- Method: CogARMCompiler>>dispatchConcretize (in category 'generate machine code') ----- dispatchConcretize "Attempt to generate concrete machine code for the instruction at address. This is the inner dispatch of concretizeAt: actualAddress which exists only to get around the branch size limits in the SqueakV3 (blue book derived) bytecode set." opcode caseOf: { "Noops & Pseudo Ops" [Label] -> [^self concretizeLabel]. [AlignmentNops] -> [^self concretizeAlignmentNops]. [Fill16] -> [^self concretizeFill16]. [Fill32] -> [^self concretizeFill32]. [FillFromWord] -> [^self concretizeFillFromWord]. [Nop] -> [^self concretizeNop]. "Specific Control/Data Movement" "[LDM] -> [^self concretizeLDM]. [STM] -> [^self concretizeSTM]." "Control" [Call] -> [^self concretizeCall]. [JumpR] -> [^self concretizeJumpR]. [JumpLong] -> [^self concretizeJumpLong]. + "[JumpLongZero] -> [^self concretizeConditionalJumpLong: EQ]. + [JumpLongNonZero] -> [^self concretizeConditionalJumpLong: NE]." + [Jump] -> [^self concretizeConditionalJump: AL]. + [JumpZero] -> [^self concretizeConditionalJump: EQ]. + [JumpNonZero] -> [^self concretizeConditionalJump: NE]. + [JumpNegative] -> [^self concretizeConditionalJump: MI]. + [JumpNonNegative] -> [^self concretizeConditionalJump: PL]. + [JumpOverflow] -> [^self concretizeConditionalJump: VS]. + [JumpNoOverflow] -> [^self concretizeConditionalJump: VC]. + [JumpCarry] -> [^self concretizeConditionalJump: CS]. + [JumpNoCarry] -> [^self concretizeConditionalJump: CC]. + [JumpLess] -> [^self concretizeConditionalJump: LT]. + [JumpGreaterOrEqual] -> [^self concretizeConditionalJump: GE]. + [JumpGreater] -> [^self concretizeConditionalJump: GT]. + [JumpLessOrEqual] -> [^self concretizeConditionalJump: LE]. + [JumpBelow] -> [^self concretizeConditionalJump: CS]. "according to http://courses.engr.illinois.edu/ece390/books/labmanual/assembly.html" + [JumpAboveOrEqual] -> [^self concretizeConditionalJump: CC]. " --""-- " + [JumpAbove] -> [^self concretizeConditionalJump: HI]. + [JumpBelowOrEqual] -> [^self concretizeConditionalJump: LS]. + [JumpFPEqual] -> [^self concretizeFPConditionalJump: EQ]. + [JumpFPNotEqual] -> [^self concretizeFPConditionalJump: NE]. + "[JumpFPLess] -> [^self concretizeFPConditionalJump: LT]. + [JumpFPGreaterOrEqual] -> [^self concretizeFPConditionalJump: GE]. + [JumpFPGreater] -> [^self concretizeFPConditionalJump: GT]. + [JumpFPLessOrEqual] -> [^self concretizeFPConditionalJump: LE]. + [JumpFPOrdered] -> [^self concretizeFPConditionalJump: VC]. + [JumpFPUnordered] -> [^self concretizeFPConditionalJump: VS]." - "[JumpLongZero] -> [^self concretizeConditionalJumpLong: 16r??]. - [JumpLongNonZero] -> [^self concretizeConditionalJumpLong: 16r??]." - [Jump] -> [^self concretizeJump]. - "[JumpZero] -> [^self concretizeConditionalJump: 16r??]. - [JumpNonZero] -> [^self concretizeConditionalJump: 16r??]. - [JumpNegative] -> [^self concretizeConditionalJump: 16r??]. - [JumpNonNegative] -> [^self concretizeConditionalJump: 16r??]. - [JumpOverflow] -> [^self concretizeConditionalJump: 16r??]. - [JumpNoOverflow] -> [^self concretizeConditionalJump: 16r??]. - [JumpCarry] -> [^self concretizeConditionalJump: 16r??]. - [JumpNoCarry] -> [^self concretizeConditionalJump: 16r??]. - [JumpLess] -> [^self concretizeConditionalJump: 16r??]. - [JumpGreaterOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpGreater] -> [^self concretizeConditionalJump: 16r??]. - [JumpLessOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpBelow] -> [^self concretizeConditionalJump: 16r??]. - [JumpAboveOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpAbove] -> [^self concretizeConditionalJump: 16r??]. - [JumpBelowOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPNotEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPLess] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPGreaterOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPGreater] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPLessOrEqual] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPOrdered] -> [^self concretizeConditionalJump: 16r??]. - [JumpFPUnordered] -> [^self concretizeConditionalJump: 16r??]." [RetN] -> [^self concretizeRetN]. "Arithmetic" [AddCqR] -> [^self concretizeAddCqR]. [AddCwR] -> [^self concretizeAddCwR]. [AddRR] -> [^self concretizeAddRR]. "[AddRdRd] -> [^self concretizeSEE2OpRdRd: 16r58]." [AndCqR] -> [^self concretizeAndCqR]. [AndCwR] -> [^self concretizeAndCwR]. [AndRR] -> [^self concretizeAndRR]. [CmpCqR] -> [^self concretizeCmpCqR]. [CmpCwR] -> [^self concretizeCmpCwR]. [CmpRR] -> [^self concretizeCmpRR]. [CmpRdRd] -> [^self concretizeCmpRdRd]. "[DivRdRd] -> [^self concretizeSEE2OpRdRd: 16r5E]. [MulRdRd] -> [^self concretizeSEE2OpRdRd: 16r59]." [OrCqR] -> [^self concretizeOrCqR]. [OrCwR] -> [^self concretizeOrCwR]. [OrRR] -> [^self concretizeOrRR]. [SubCqR] -> [^self concretizeSubCqR]. [SubCwR] -> [^self concretizeSubCwR]. [SubRR] -> [^self concretizeSubRR]. "[SubRdRd] -> [^self concretizeSEE2OpRdRd: 16r5C]." [SqrtRd] -> [^self concretizeSqrtRd]. [XorCwR] -> [^self concretizeXorCwR]. [XorRR] -> [^self concretizeXorRR]. [NegateR] -> [^self concretizeNegateR]. [LoadEffectiveAddressMwrR] -> [^self concretizeLoadEffectiveAddressMwrR]. [ArithmeticShiftRightCqR] -> [^self concretizeArithmeticShiftRightCqR]. [LogicalShiftRightCqR] -> [^self concretizeLogicalShiftRightCqR]. [LogicalShiftLeftCqR] -> [^self concretizeLogicalShiftLeftCqR]. [ArithmeticShiftRightRR] -> [^self concretizeArithmeticShiftRightRR]. [LogicalShiftLeftRR] -> [^self concretizeLogicalShiftLeftRR]. "Data Movement" [MoveCqR] -> [^self concretizeMoveCqR]. [MoveCwR] -> [^self concretizeMoveCwR]. [MoveRR] -> [^self concretizeMoveRR]. [MoveAwR] -> [^self concretizeMoveAwR]. [MoveRAw] -> [^self concretizeMoveRAw]. [MoveMbrR] -> [^self concretizeMoveMbrR]. [MoveRMbr] -> [^self concretizeMoveRMbr]. [MoveM16rR] -> [^self concretizeMoveM16rR]. [MoveM64rRd] -> [^self concretizeMoveM64rRd]. [MoveMwrR] -> [^self concretizeMoveMwrR]. [MoveXbrRR] -> [^self concretizeMoveXbrRR]. [MoveXwrRR] -> [^self concretizeMoveXwrRR]. [MoveRXwrR] -> [^self concretizeMoveRXwrR]. [MoveRMwr] -> [^self concretizeMoveRMwr]. [MoveRdM64r] -> [^self concretizeMoveRdM64r]. [PopR] -> [^self concretizePopR]. [PushR] -> [^self concretizePushR]. [PushCw] -> [^self concretizePushCw]. [PrefetchAw] -> [^self concretizePrefetchAw]. "Conversion" [ConvertRRd] -> [^self concretizeConvertRRd] }! Item was added: + ----- Method: CogARMCompiler>>genPassConst:asArgument: (in category 'abi') ----- + genPassConst: constant asArgument: zeroRelativeArgIndex + cogit + MoveCq: constant R: TempReg; + PushR: TempReg. + ^0! Item was added: + ----- Method: CogARMCompiler>>genPassReg:asArgument: (in category 'abi') ----- + genPassReg: abstractRegister asArgument: zeroRelativeArgIndex + cogit PushR: abstractRegister. + ^0! Item was changed: ----- Method: CogARMCompiler>>genSaveRegisters (in category 'abi') ----- genSaveRegisters "Save the general purpose registers for a trampoline call." + "Save r0-r6, all of which are used for variables. Don't save sb(r9), sl(r10), fp(r11), sp or lr" + cogit + gen: STMFD operand: 16r7F! - "eliot => lars, this should probably save r0 through r12, since SP, LR and PC - have specific purposes and don't need to be saved. Save r0 through r11 if r12 - is being used as a frame pointer. This can use the store multiple instruction STM, - for which you'll need to add a class var to CogARMCompiler, because it is specific - to ARM. HTH" - self shouldBeImplemented! Item was changed: ----- Method: CogARMCompiler>>isPCDependent (in category 'testing') ----- isPCDependent "Answer if the receiver is a pc-dependent instruction." + ^self isJump or: [opcode = AlignmentNops] or: [opcode = Call]! - ^self isJump or: [opcode = AlignmentNops]! Item was added: + ----- Method: CogARMCompiler>>isQuick: (in category 'testing') ----- + isQuick: operand + <var: #operand type: #'unsigned long'> + ^operand signedIntFromLong between: -33554432 and: 33554428! Item was changed: ----- Method: CogARMCompiler>>loadAllButLSBWord: (in category 'generate machine code - concretize') ----- loadAllButLSBWord: aWord "This loads aWord into the inter-opcode temporary register. Because most ARM instruction enable using a (8-12bit) offset relative to a register, the LS Byte can be included in that instruction, saving one instruction." + "The temporary register within abstract opcodes is RISCTempReg" - "The temporary register within abstract opcodes is R3" self + machineCodeAt: 0 put: (16rE3A00C00 bitOr: RISCTempReg << 12); "MOV R3, #<byte1>, 12" + machineCodeAt: 4 put: 16rE3800800 + (RISCTempReg << 12) + (RISCTempReg << 16); "ORR R3, R3, #<byte2>, 8" + machineCodeAt: 8 put: 16rE3800800 + (RISCTempReg << 12) + (RISCTempReg << 16). "ORR R3, R3, #<byte3>, 4" - machineCodeAt: 0 put: 16rE3A03C00; "mov R3, #<second lowest byte>, 12" - machineCodeAt: 4 put: 16rE3833800; "orr R3, R3, #<third lowest byte>, 8" - machineCodeAt: 8 put: 16rE3833400. "orr R3, R3, #<most significant byte>, 4" "fill in the bytes" machineCode at: 0 put: (aWord >> 8 bitAnd: 16rFF); at: 4 put: (aWord >> 12 bitAnd: 16rFF); at: 8 put: (aWord >> 24 bitAnd: 16rFF). ^12! Item was changed: ----- Method: CogARMCompiler>>machineCodeAt:put: (in category 'accessing') ----- machineCodeAt: anOffset put: aWord "add aWord to machineCode, with little endian" + <inline: true> machineCode at: anOffset + 3 put: (16rFF bitAnd: aWord >> 24); at: anOffset + 2 put: (16rFF bitAnd: aWord >> 16); at: anOffset + 1 put: (16rFF bitAnd: aWord >> 8); at: anOffset"+ 0"put: (16rFF bitAnd: aWord">> 0")! Item was changed: ----- Method: CogARMCompiler>>machineCodeBytes (in category 'generate machine code') ----- machineCodeBytes "Answer the maximum number of bytes of machine code generated for any abstract instruction. + e.g. CmpCwR => - e.g. MoveRAw => mov R3, #<addressByte1>, 12 orr R3, R3, #<addressByte2>, 8 orr R3, R3, #<addressByte3>, 4 + orr R3, R3, #<addressByte4>, 0 + cmp R?, R3" + ^20! - STR srcReg, [R3, + addressByte0]" - ^16! Item was changed: ----- Method: CogARMCompiler>>nopsFrom:to: (in category 'generate machine code - concretize') ----- nopsFrom: startAddr to: endAddr self assert: endAddr - startAddr + 1 \\ 4 = 0. startAddr to: endAddr by: 4 do: [:p| objectMemory byteAt: p put: 16r01; byteAt: p+1 put: 16r10; byteAt: p+2 put: 16rA0; byteAt: p+3 put: 16rE1]! Item was added: + ----- Method: CogARMCompiler>>rotateable8bitImmediate:ifTrue:ifFalse: (in category 'generate machine code - concretize') ----- + rotateable8bitImmediate: constant ifTrue: trueAlternativeBlock ifFalse: falseAlternativeBlock + "For data processing operands, there is the immediate shifter_operand variant, + where an 8 bit value is ring shifted _right_ by 2*i. + This is only suitable for quick constant(Cq), which don't change." + + (constant bitAnd: 16rFF) = constant ifTrue: [ ^trueAlternativeBlock value: 0 value: constant]. + 1 to: 15 do: [:i | + (constant bitAnd: 16rFF << (i<<1)) = constant + ifTrue: [ ^trueAlternativeBlock value: 16 - i value: constant >> (i << 1)]]. + ^falseAlternativeBlock value! Item was added: + ----- Method: CogARMCompiler>>sizePCDependentInstructionAt: (in category 'generate machine code') ----- + sizePCDependentInstructionAt: eventualAbsoluteAddress + "Size a jump and set its address. The target may be another instruction + or an absolute address. On entry the address inst var holds our virtual + address. On exit address is set to eventualAbsoluteAddress, which is + where this instruction will be output. The span of a jump to a following + instruction is therefore between that instruction's address and this + instruction's address ((which are both still their virtual addresses), but the + span of a jump to a preceeding instruction or to an absolute address is + between that instruction's address (which by now is its eventual absolute + address) or absolute address and eventualAbsoluteAddress." + + | target maximumSpan | + <var: #abstractInstruction type: #'AbstractInstruction *'> + opcode = AlignmentNops ifTrue: + [| alignment | + address := eventualAbsoluteAddress. + alignment := operands at: 0. + ^machineCodeSize := (eventualAbsoluteAddress + (alignment - 1) bitAnd: alignment negated) + - eventualAbsoluteAddress]. + self assert: (self isJump or: [opcode = Call]). + target := operands at: 0. + "maximumSpan calculation copied from CogIA32Compiler TODO: extract method?" + (self isAnInstruction: (cogit cCoerceSimple: target to: #'void *')) + ifTrue: + [| abstractInstruction | + abstractInstruction := cogit cCoerceSimple: target to: #'AbstractInstruction *'. + maximumSpan := abstractInstruction address + - (((cogit abstractInstruction: self follows: abstractInstruction) + ifTrue: [eventualAbsoluteAddress] + ifFalse: [address]) + 2)] + ifFalse: + [maximumSpan := target - (eventualAbsoluteAddress + 2)]. + address := eventualAbsoluteAddress. + ^machineCodeSize := (self isQuick: maximumSpan) + ifTrue: [4] "branch" + ifFalse: [20] "load address to register, mov"! Item was added: + ----- Method: CogARMCompiler>>t:o: (in category 'encoding') ----- + t: type o: flagsOrOpcode + <inline: true> + ^self c: AL t: type o: flagsOrOpcode s: 0! Item was added: + ----- Method: CogARMCompiler>>t:o:s: (in category 'encoding') ----- + t: type o: flagsOrOpcode s: doUpdateStatusRegister + <inline: true> + ^self c: AL t: type o: flagsOrOpcode s: doUpdateStatusRegister! Item was added: + ----- Method: CogARMCompiler>>t:o:s:rn:rd: (in category 'encoding') ----- + t: type o: flagsOrOpcode s: doUpdateStatusRegister rn: sourceRegister rd: targetRegister + <inline: true> + ^(self c: AL t: type o: flagsOrOpcode s: doUpdateStatusRegister) + bitOr: (sourceRegister << 16 bitOr: targetRegister << 12)!

1 0

VM Maker: VMMaker-bf.280.mcz
by commits＠source.squeak.org 24 Jul '12

24 Jul '12

Bert Freudenberg uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-bf.280.mcz ==================== Summary ==================== Name: VMMaker-bf.280 Author: bf Time: 24 July 2012, 9:48:21.053 am UUID: 4777e649-cbd1-4e11-aeaf-c24c961fc99f Ancestors: VMMaker-dtl.279 Do not delete other plugins when generating a single plugin. When generating the whole VM, unselected plugins still are deleted as before. =============== Diff against VMMaker-dtl.279 =============== Item was changed: ----- Method: VMMaker>>generateEntire (in category 'generate sources') ----- generateEntire "generate the interp, internal plugins and exports as well as the external plugins" self generateMainVM. + self deleteUnwantedExternalPluginDirectories. self generateExternalPlugins. self generateUtilityPrograms ! Item was changed: ----- Method: VMMaker>>generateExternalPlugins (in category 'generate sources') ----- generateExternalPlugins "generate the external plugins" - self deleteUnwantedExternalPluginDirectories. self externalPluginsDo: [:plugin | self generateExternalPlugin: plugin]. self storeExternalPluginList.! Item was changed: ----- Method: VMMaker>>generateInternalPlugin: (in category 'generate sources') ----- generateInternalPlugin: pluginName "generate the named internal plugin. Make sure the exports list is actually correct and write it out" - self deleteUnwantedInternalPluginDirectories. self privateGenerateInternalPlugin: pluginName. self generateExportsFile! Item was changed: ----- Method: VMMaker>>generateInternalPlugins (in category 'generate sources') ----- generateInternalPlugins "generate the internal plugins and add their exports to the main list. te exports list is NOT written to file by this method" - self deleteUnwantedInternalPluginDirectories. self internalPluginsDo: [:plugin | self privateGenerateInternalPlugin: plugin]. self storeInternalPluginList.! Item was changed: ----- Method: VMMaker>>generateMainVM (in category 'generate sources') ----- generateMainVM "generate the interp, internal plugins and exports" self generateInterpreterFile; processFilesForCoreVM; processAssortedFiles; + deleteUnwantedInternalPluginDirectories; generateInternalPlugins; generateExportsFile!

1 0

VM Maker: VMMaker-dtl.279.mcz
by commits＠source.squeak.org 24 Jul '12

24 Jul '12

David T. Lewis uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker-dtl.279.mcz ==================== Summary ==================== Name: VMMaker-dtl.279 Author: dtl Time: 23 July 2012, 9:38:07.75 pm UUID: 20278fca-3812-4cfe-b7b1-43d6b41e3583 Ancestors: VMMaker-dtl.278 VMMaker 4.9.7 Simplify matters for first time VM builders. Opening a new VMMakerTool from the world menu will now initialize with plugins sufficient for a minimal VM. Additional configuration is done in the usual manner with menu picks or drag and drop plugins in the VMMakerTool, or by loading an existing configuration file from disk. To generate sources for an interpreter VM with the minimum plugins needed to load an image and connect to the internet: VMMakerTool minimal cleanoutSrcDir; generateAll To generate sources for an interpreter VM for unix/linux similar to the unix distribution on squeakvm.org: VMMakerTool forUnix cleanoutSrcDir; generateAll Remove VMMakerTool>>isFor64BitVM and VMMakerTool>>toggle64BitVM, obsolete since long ago. This is governed by compile time macros in the generated sources. Initial support for #mustBeGlobal: for NewObjectMemory and StackInterpreter, do not localize global variables if declared in a #mustBeGlobal: Declare #primitiveInvokeObjectAsMethod as a required method name in StackInterpreterPrimitives =============== Diff against VMMaker-dtl.278 =============== Item was changed: ----- Method: CCodeGenerator>>localizeGlobalVariables (in category 'utilities') ----- localizeGlobalVariables | candidates procedure | "find all globals used in only one method" candidates := globalVariableUsage select: [:e | e size = 1]. + (candidates keys select: [:k| vmClass mustBeGlobal: k]) do: + [:k| candidates removeKey: k]. variables removeAllFoundIn: candidates keys. "move any suitable global to be local to the single method using it" candidates keysAndValuesDo: [:key :targets | targets do: [:name | procedure := methods at: name. procedure locals add: key. variableDeclarations at: key ifPresent: [:v | procedure declarations at: key put: v. variableDeclarations removeKey: key]]].! Item was added: + ----- Method: Object>>mustBeGlobal: (in category '*VMMaker-translation support') ----- + mustBeGlobal: var + "Answer if a variable must be global and exported. Used for inst vars that are accessed from VM support code." + ^false + ! Item was added: + ----- Method: StackInterpreterPrimitives class>>requiredMethodNames (in category 'translation') ----- + requiredMethodNames + "return the list of method names that should be retained for export or other support reasons" + + ^{ + #primitiveInvokeObjectAsMethod + }! Item was added: + ----- Method: VMMaker class>>forConfiguration: (in category 'initialisation') ----- + forConfiguration: spec + + ^(self forPlatform: (spec at: 5)) loadConfiguration: spec + ! Item was changed: ----- Method: VMMaker class>>forConfigurationFile: (in category 'initialisation') ----- forConfigurationFile: aFileName + | config fileStream | - | config fileStream vmMaker | fileStream := FileStream oldFileNamed: aFileName. config := ('#(' includes: fileStream peek) "for storeOn: format" ifTrue: [Object readFrom: fileStream] ifFalse: [fileStream fileInObjectAndCode]. + ^self forConfiguration: config. + ! - vmMaker := self forPlatform: (config at: 5). - vmMaker loadConfiguration: config. - ^vmMaker! Item was changed: ----- Method: VMMaker class>>versionString (in category 'version testing') ----- versionString "VMMaker versionString" + ^'4.9.7'! - ^'4.9.6'! Item was added: + ----- Method: VMMakerTool class>>defaultUnixSpec (in category 'configurations') ----- + defaultUnixSpec + "Typical VMMaker spec for a unix/linux target platform" + + "VMMakerTool defaultUnixSpec" + + ^#( + #( "internal plugins" + #ADPCMCodecPlugin + #AsynchFilePlugin + #BMPReadWriterPlugin + #BalloonEnginePlugin + #BitBltSimulation + #CroquetPlugin + #DSAPlugin + #DeflatePlugin + #DropPlugin + #FFTPlugin + #FT2Plugin + #FilePlugin + #FloatArrayPlugin + #FloatMathPlugin + #GeniePlugin + #JPEGReadWriter2Plugin + #JPEGReaderPlugin + #JoystickTabletPlugin + #KlattSynthesizerPlugin + #LargeIntegersPlugin + #LocalePlugin + #MD5Plugin + #Matrix2x3Plugin + #MiscPrimitivePlugin + #RandPlugin + #RePlugin + #SHA256Plugin + #SecurityPlugin + #SerialPlugin + #SlangTestPlugin + #SlangTestSupportPlugin + #SocketPlugin + #SoundCodecPlugin + #SoundGenerationPlugin + #SoundPlugin + #StarSqueakPlugin + #SurfacePlugin + ) + #( "external plugins" + #B3DAcceleratorPlugin + #B3DEnginePlugin + #ClipboardExtendedPlugin + #DBusPlugin + #FFIPlugin + #FileCopyPlugin + #GStreamerPlugin + #HostWindowPlugin + #KedamaPlugin + #KedamaPlugin2 + #MIDIPlugin + #Mpeg3Plugin + #RomePlugin + #UUIDPlugin + #UnixAioPlugin + #UnixOSProcessPlugin + #XDisplayControlPlugin + ) + true "inline flag" + false "forBrowser flag" + 'unix' "platform" + 'src' "source directory for generated sources" + 'platforms' "path to platform sources" + 4 "unused, was bytesPerWord which is now a compile time definition" + true "unused, was flag for source directtory pathname is relative" + true "unused, was flag for platforms directory path is relative" + 'Interpreter' "interpreter class name" + )! Item was added: + ----- Method: VMMakerTool class>>forUnix (in category 'instance creation') ----- + forUnix + "Open a VMMakerTool with a configuration suitable for a typical unix platform" + + "VMMakerTool forUnix" + + | vmm | + vmm := self new configuration: VMMakerTool defaultUnixSpec. + vmm buildWindow openInWorld. + ^vmm! Item was changed: + ----- Method: VMMakerTool class>>initialize (in category 'class initialization') ----- - ----- Method: VMMakerTool class>>initialize (in category 'instance creation') ----- initialize Smalltalk at: #TheWorldMenu ifPresent: [ :class | class class methodDict at: #registerOpenCommand: ifPresent: [ :method | (method hasLiteral: #deprecated:) "n.b. use #hasLiteral: rather than #sendsSelector: for Squeak 3.8" ifFalse: [ class registerOpenCommand: (Array with: 'VMMaker' with: (Array with: self with: #openInWorld)) ] ] ]! Item was added: + ----- Method: VMMakerTool class>>minimal (in category 'instance creation') ----- + minimal + "Open a VMMakerTool with a configuration suitable for building a VM with minimal plugin support" + + "VMMakerTool minimal" + + | vmm | + vmm := self new configuration: VMMakerTool minimalSpec. + vmm buildWindow openInWorld. + ^vmm! Item was added: + ----- Method: VMMakerTool class>>minimalSpec (in category 'configurations') ----- + minimalSpec + "VMMaker spec for a minimal VM" + + "VMMakerTool minimalSpec" + + ^#( + #( "internal plugins required for a minimum usable VM" + #BitBltSimulation + #BalloonEnginePlugin + #FilePlugin + ) + #( "external plugins not strictly required" + #SocketPlugin + ) + true "inline flag" + false "forBrowser flag" + nil "platform (unspecified)" + 'src' "source directory for generated sources" + 'platforms' "path to platform sources" + 4 "unused, was bytesPerWord which is now a compile time definition" + true "unused, was flag for source directtory pathname is relative" + true "unused, was flag for platforms directory path is relative" + 'Interpreter' "interpreter class name" + )! Item was changed: ----- Method: VMMakerTool class>>openInWorld (in category 'instance creation') ----- openInWorld "Build a VMMakerTool and open it" + "VMMakerTool openInWorld" + ^self minimal! - ^self new buildWindow openInWorld! Item was added: + ----- Method: VMMakerTool>>configuration: (in category 'initialisation') ----- + configuration: aSpec + vmMaker loadConfiguration: aSpec! Item was removed: - ----- Method: VMMakerTool>>isFor64BitVM (in category 'deprecated') ----- - isFor64BitVM - "This selector may be used by obsolete instances of VMMakerTool. The - 64-bit setting of VMMaker is no longer functionally relevant, but this method - is retained to prevent problems with existing VMMakerTool instances that - may exist in some images."! Item was removed: - ----- Method: VMMakerTool>>toggle64BitVM (in category 'deprecated') ----- - toggle64BitVM - "This selector may be used by obsolete instances of VMMakerTool. The - 64-bit setting of VMMaker is no longer functionally relevant, but this method - is retained to prevent problems with existing VMMakerTool instances that - may exist in some images."! Item was added: + ----- Method: VMMakerTool>>vmMaker (in category 'model access') ----- + vmMaker + ^vmMaker!

1 0

Request: VM support for opening browser
by Torsten Bergmann 21 Jul '12

21 Jul '12

>I disagree in general with extend vm complexity to add things that can >perfectly work in smalltalk or using a FFI package... Saying you can do this using FFI/OSProcess is a weak argument. "fopen" could be in the Smalltalk image as well - but we have it in the VM. We may include both into Pharo - so nobody has to load FFI + ConfigurationOfExternalWebbrowser. But I dont think that is the route for Squeak, Cuis, ... These Smalltalks may profit from an VM implementation without making them "unsafe" or more bound to native OS with FFI and OSProcess. How can we proceed in the discussion? There are pros and cons for both sides. Should we vote? According to http://www.googlefight.com/index.php?lang=en_GB&word1=URL+with+FFI+and+OSPr… "URL within VM" seems to be the winner ;) Thanks T.

6 10

Request: VM support for opening browser
by Torsten Bergmann 20 Jul '12

20 Jul '12

Esteban wrote >> Well... I also disagree with the argument of safeness. > > Exactly, Pharo is inherently "unsafe" so to speak, you can > - remove arbitrary methods > - add arbitrary new classes > - change methods at will > - swap any two objects... We dont talk about the safeness of the image here! Its always easy to compromise an image with #become: and friends. This is clear as spring water. We talk about how "unsafe" is it to allow Smalltalk to harm the external platform. There are two point of views: 1. One can include FFI or other mechanisms in image/VM by default and allow external calling right from Smalltalk. I think this is the way we go for Pharo to align with .NET, Java and friends. 2. Others my see the virtual machine as a clear separator between the image and the platform. The VM defines the protocol/contract between the image and the underlying platform to make sure they work together seamlessly Both are valid POV's. The first option can be seen as more "unsafe" since you can not control (from VM side) what gets called in the outside platform. With option 2 the virtual machine has more control for instance when running in a sandbox (browser, the cloud, ...) Take netstyle.ch for example: they modified the virtual machine to be more restrictive (only run on specific sockets, writing only to relative directories) so they could run images in sandboxed environment on "http://seasidehosting.st". So will we discuss "unsafety" or "will we support URL opening directly from the VM" ... If it is too much work then forget my request. One can circumvent it using ConfigurationOfExternalBrowser. But I thought it may be helpfull to more controlled/restricted (Option 2) environments too. Bye T.

3 2

Building the Bochs Plugin on Linux (Ubuntu 12.04)
by Stefan Marr 19 Jul '12

19 Jul '12

Hi: I was trying bring my Cog setup up to date to build the simulator etc. However, I run into trouble when building the linuxbochs part required for the Bochs plugin. Following the HowToBuild file, I did the `./conf.COG`, afterwards, I am supposed to do `./makeem`, which does not exist. So, I did a `make` instead. This runs fine, as far as I can see, until it tries to link everything together. Here it bails out with: /home/smarr/Projects/Cog-svn/processors/IA32/linuxbochs/../bochs/pc_system.cc:186: undefined reference to `bx_cpu_c::TLB_flush()' Any ideas what that could be? Details below. Best regards Stefan $ gcc --version gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3 make[1]: Leaving directory `/home/smarr/Projects/Cog-svn/processors/IA32/linuxbochs/fpu' echo done done /bin/sh ./libtool --mode=link g++ -o bochs -g -pipe -O3 -fomit-frame-pointer -finline-functions -Dlongjmp=_longjmp -Dsetjmp=_setjmp -m32 -D_FILE_OFFSET_BITS=64 -D_LARGE_FILES -DCOG=1 -DBX_SHARE_PATH='"/usr/local/share/bochs"' -export-dynamic logio.o main.o config.o load32bitOShack.o pc_system.o osdep.o plugin.o crc.o \ iodev/libiodev.a cpu/libcpu.a memory/libmemory.a gui/libgui.a \ disasm/libdisasm.a \ fpu/libfpu.a \ \ \ \ \ \ -lm mkdir .libs g++ -o bochs -g -pipe -O3 -fomit-frame-pointer -finline-functions -Dlongjmp=_longjmp -Dsetjmp=_setjmp -m32 -D_FILE_OFFSET_BITS=64 -D_LARGE_FILES -DCOG=1 -DBX_SHARE_PATH=\"/usr/local/share/bochs\" logio.o main.o config.o load32bitOShack.o pc_system.o osdep.o plugin.o crc.o -Wl,--export-dynamic iodev/libiodev.a cpu/libcpu.a memory/libmemory.a gui/libgui.a disasm/libdisasm.a fpu/libfpu.a -lm pc_system.o: In function `bx_pc_system_c::MemoryMappingChanged()': /home/smarr/Projects/Cog-svn/processors/IA32/linuxbochs/../bochs/pc_system.cc:186: undefined reference to `bx_cpu_c::TLB_flush()' -- Stefan Marr Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 / B-1050 Brussels / Belgium http://soft.vub.ac.be/~smarr Phone: +32 2 629 2974 Fax: +32 2 629 3525

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev July 2012