Context Navigation

source: trunk/tools/arch_info/arch_classes.py @ 330

Last change on this file since 330 was 6, checked in by alain, 8 years ago
Modify the boot_info_t struct to describe external peripherals in all clusters.
File size: 36.9 KB

Rev	Line
[1]	1	#!/usr/bin/env python
	2
	3	import sys
	4
	5	##########################################################################################
	6	# File : arch_classes.py
	7	# Date : 2016
	8	# Author : Alain Greiner
	9	# Copyright (c) UPMC Sorbonne Universites
	10	#########################################################################################
	11	# This file contains the python classes required to define a generic hardware
	12	# architecture for the ALMOS-MK operating system.
	13	# It handle 4 types of objects: clusters, cores, devices and irqs.
	14	# - The number of cluster is variable (can be one).
[6]	15	# - The cluster topology can be a 2D mesh or a simple 1D array.
[1]	16	# - The number of cores per cluster is variable (can be zero).
	17	# - The number of addressable devices per cluster is variable.
	18	# - The size of the physical memory bank per cluster is variable.
	19	# An adressable device can be a physical memory bank or a peripheral.
	20	# Each cluster cover a fixed size segment in physical address space,
	21	# that is defined by (PADDR_WIDTH - X_WIDTH - Y_WIDTH)
	22	#########################################################################################
	23	# Implementation Note:
	24	# The objects used to describe an architecture are distributed in the python structure:
	25	# For example the set of cores and the set of devices are split in several subsets
	26	# (one subset of cores and one subset of devices per cluster).
	27	# In the generated C binary data structure, all objects of same type
	28	# are stored in a linear array (one single array for all cores for example).
	29	# For all objects, we compute and store in the python object a "global index"
	30	# corresponding to the index in this global array, and this index can be used as
	31	# a pseudo-pointer to identify a specific object of a given type.
	32	#########################################################################################
	33
	34	#########################################################################################
	35	# Define global parameters
	36	#########################################################################################
	37
	38	ARCHINFO_SIGNATURE = 0xBABE2016 # magic number indicating a valid C BLOB
	39	PAGE_SIZE = 0x1000 # to check peripherals alignment
	40
	41	#########################################################################################
	42	# These arrays define the supported types of peripherals.
[6]	43	# They must be kept consistent with values defined in files arch_info.h & device.h.
[1]	44	#########################################################################################
	45
	46	DEVICE_TYPES_STR = [
[6]	47	'RAM_SCL', # 0.0
	48	'ROM_SCL', # 1.0
	49	'FBF_SCL', # 2.0
	50	'IOB_TSR', # 3.0
	51	'IOC_BDV', # 4.0
	52	'IOC_HBA', # 4.1
	53	'IOC_SDC', # 4.2
	54	'IOC_SPI', # 4.3
	55	'IOC_RDK', # 4.4
	56	'MMC_TSR', # 5.0
	57	'DMA_SCL', # 6.0
	58	'NIC_CBF', # 7.0
	59	'TIM_SCL', # 8.0
	60	'TXT_TTY', # 9.0
	61	'ICU_XCU', # A.0
	62	'PIC_TSR', # B.0
[1]	63	]
	64
	65	DEVICE_TYPES_INT = [
[6]	66	0x00000000, # 0.0
	67	0x00010000, # 1.0
	68	0x00020000, # 1.0
	69	0x00030000, # 3.0
	70	0x00040000, # 4.0
	71	0x00040001, # 4.1
	72	0x00040002, # 4.2
	73	0x00040003, # 4.3
	74	0x00040004, # 4.4
	75	0x00050000, # 5.0
	76	0x00060000, # 6.0
	77	0x00070000, # 7.0
	78	0x00080000, # 8.0
	79	0x00090000, # 9.0
	80	0x000A0000, # A.0
	81	0x000B0000, # B.0
[1]	82	]
	83
	84	#########################################################################################
	85	class Archinfo( object ):
	86	#########################################################################################
	87	def __init__( self,
	88	name, # architecture instance name
	89	x_size, # number of clusters in a row
	90	y_size, # number of clusters in a column
	91	cores_max, # max number of cores per cluster
	92	devices_max, # max number of devices per cluster
	93	paddr_width, # number of bits in physical address
	94	x_width, # number of bits for x coordinate
	95	y_width, # number of bits for y coordinate
[6]	96	irqs_per_core, # number or IRQs from ICU to one core
[1]	97	io_cxy, # IO cluster identifier
	98	boot_cxy, # boot cluster identifier
	99	cache_line, # number of bytes in cache line
	100	reset_address, # Preloader physical base address
	101	p_width ): # TSAR specific : number of bits to code core lid
	102
	103	assert ( x_size <= (1<<x_width) )
	104	assert ( y_size <= (1<<y_width) )
	105
	106	self.signature = ARCHINFO_SIGNATURE
	107	self.name = name
	108	self.x_size = x_size
	109	self.y_size = y_size
	110	self.cores_max = cores_max
	111	self.devices_max = devices_max
	112	self.paddr_width = paddr_width
	113	self.x_width = x_width
	114	self.y_width = y_width
	115	self.irqs_per_core = irqs_per_core
	116	self.io_cxy = io_cxy
	117	self.boot_cxy = boot_cxy
	118	self.cache_line = cache_line
	119	self.reset_address = reset_address
	120	self.p_width = p_width
	121
	122	self.total_cores = 0
	123	self.total_devices = 0
	124	self.total_irqs = 0
	125
	126	self.clusters = []
	127
	128	for x in xrange( self.x_size ):
	129	for y in xrange( self.y_size ):
	130
	131	# call cluster constructor
	132	cxy = (x<<y_width) + y
	133	cluster = Cluster( cxy )
	134
	135	# update cluster global index
	136	cluster.index = (x * self.y_size) + y
	137
	138	# register cluster in Archinfo
	139	self.clusters.append( cluster )
	140
	141	return
	142
	143	########################## add a device in a cluster
	144	def addDevice( self,
	145	ptype, # device type
	146	base, # associated pseg base address
	147	size, # associated pseg length (bytes)
	148	channels = 1, # number of channels
	149	arg0 = 0, # optional argument (semantic depends on ptype)
	150	arg1 = 0, # optional argument (semantic depends on ptype)
	151	arg2 = 0, # optional argument (semantic depends on ptype)
	152	arg3 = 0 ): # optional argument (semantic depends on ptype)
	153
	154	# computes cluster identifier and global index from the base address
	155	cxy = base >> (self.paddr_width - self.x_width - self.y_width)
	156	x = cxy >> (self.y_width);
	157	y = cxy & ((1 << self.y_width) - 1)
	158	cluster_id = (x * self.y_size) + y
	159
	160	assert (x < self.x_size) and (y < self.y_size)
	161	assert (base & (PAGE_SIZE-1) == 0)
	162	assert (ptype in DEVICE_TYPES_STR)
	163
	164	# call device constructor
	165	device = Device( base, size, ptype, channels, arg0, arg1, arg2, arg3 )
	166
	167	# register device in cluster
	168	self.clusters[cluster_id].devices.append( device )
	169
	170	# update device global index
	171	device.index = self.total_devices
	172	self.total_devices += 1
	173
	174	return device
	175
	176	################################ add an input IRQ in a device
	177	def addIrq( self,
[6]	178	dstdev, # destination device (PIC or ICU)
[1]	179	port, # input IRQ port index
	180	srcdev, # source device
	181	channel = 0, # source device channel
	182	is_rx = False ): # I/O operation direction
	183
[6]	184	assert (dstdev.ptype == 'ICU_XCU') or (dstdev.ptype == 'PIC_TSR')
[1]	185	assert (port < dstdev.arg0)
	186
	187	# call Irq constructor
	188	irq = Irq( port , srcdev, channel , is_rx )
	189
	190	# register IRQ in destination device
	191	dstdev.irqs.append( irq )
	192
	193	# update IRQ global index
	194	irq.index = self.total_irqs
	195	self.total_irqs += 1
	196
	197	# pointer from the source to the interrupt controller device
	198	if (srcdev.irq_ctrl == None): srcdev.irq_ctrl = dstdev
	199
	200	if (srcdev.irq_ctrl != dstdev):
	201	print '[genarch error] in addIrq():'
	202	print ' two different interrupt controller for the same device'
	203	sys.exit(1)
	204
	205	return irq
	206
	207	########################## add a core in a cluster
	208	def addCore( self,
	209	gid, # global hardware identifier
	210	cxy, # cluster identifier
	211	lid ): # local index in cluster
	212
	213	assert ((cxy >> self.y_width) < self.x_size)
	214	assert ((cxy & ((1<<self.y_width)-1)) < self.y_size)
	215	assert (lid < self.cores_max)
	216
	217	# call Core contructor
	218	core = Core( gid, cxy, lid )
	219
	220	# compute cluster global index from cluster identifier
	221	x = cxy>>self.y_width
	222	y = cxy & ((1<<self.y_width)-1)
	223	cluster_id = (x * self.y_size) + y
	224
	225	# register core in cluster
	226	self.clusters[cluster_id].cores.append( core )
	227
	228	# update core global index
	229	core.index = self.total_cores
	230	self.total_cores += 1
	231
	232	return core
	233
	234	#################################
	235	def str2bytes( self, nbytes, s ): # string => nbytes_packed byte array
	236
	237	byte_stream = bytearray()
	238	length = len( s )
	239	if length < (nbytes - 1):
	240	for b in s:
	241	byte_stream.append( b )
	242	for x in xrange(nbytes-length):
	243	byte_stream.append( '\0' )
	244	else:
	245	print '[genarch error] in str2bytes()'
	246	print ' string %s too long' % s
	247	sys.exit(1)
	248
	249	return byte_stream
	250
	251	###################################
	252	def int2bytes( self, nbytes, val ): # integer => nbytes litle endian byte array
	253
	254	byte_stream = bytearray()
	255	for n in xrange( nbytes ):
	256	byte_stream.append( (val >> (n<<3)) & 0xFF )
	257
	258	return byte_stream
	259
	260	################
	261	def xml( self ): # compute string for xml file generation
	262
	263	s = '<?xml version="1.0"?>\n\n'
	264	s += '<arch_info signature = "0x%x"\n' % (self.signature)
	265	s += ' name = "%s"\n' % (self.name)
	266	s += ' x_size = "%d"\n' % (self.x_size)
	267	s += ' y_size = "%d"\n' % (self.y_size)
	268	s += ' cores = "%d"\n' % (self.cores_max)
	269	s += ' io_cxy = "%d" >\n' % (self.io_cxy)
	270	s += '\n'
	271
	272	s += ' <clusterset>\n'
	273	for x in xrange ( self.x_size ):
	274	for y in xrange ( self.y_size ):
	275	cluster_id = (x * self.y_size) + y
	276	s += self.clusters[cluster_id].xml()
	277	s += ' </clusterset>\n'
	278	s += '\n'
	279
	280	s += '</arch_info>\n'
	281	return s
	282
	283	##########################
	284	def cbin( self, verbose ): # C binary structure for "archinfo.bin" file generation
	285
	286	byte_stream = bytearray()
	287
	288	# header
	289	byte_stream += self.int2bytes(4, self.signature)
	290	byte_stream += self.int2bytes(4, self.x_size)
	291	byte_stream += self.int2bytes(4, self.y_size)
	292	byte_stream += self.int2bytes(4, self.paddr_width)
	293	byte_stream += self.int2bytes(4, self.x_width)
	294	byte_stream += self.int2bytes(4, self.y_width)
	295	byte_stream += self.int2bytes(4, self.cores_max)
	296	byte_stream += self.int2bytes(4, self.devices_max)
	297
	298	byte_stream += self.int2bytes(4, self.total_cores)
	299	byte_stream += self.int2bytes(4, self.total_devices)
	300	byte_stream += self.int2bytes(4, self.total_irqs)
	301	byte_stream += self.int2bytes(4, self.io_cxy)
	302	byte_stream += self.int2bytes(4, self.boot_cxy)
	303	byte_stream += self.int2bytes(4, self.irqs_per_core)
	304	byte_stream += self.int2bytes(4, self.cache_line)
	305	byte_stream += self.int2bytes(4, 0)
	306
	307	byte_stream += self.str2bytes(64, self.name)
	308
	309	if ( verbose ):
	310	print '\n'
	311	print 'name = %s' % self.name
	312	print 'signature = %x' % self.signature
	313	print 'x_size = %d' % self.x_size
	314	print 'y_size = %d' % self.y_size
	315	print 'total_cores = %d' % self.total_cores
	316	print 'total_devices = %d' % self.total_devices
	317	print 'total_irqs = %d' % self.total_irqs
	318	print '\n'
	319
	320	# cores array
	321	index = 0
	322	for cluster in self.clusters:
	323	for core in cluster.cores:
	324	byte_stream += core.cbin( self, verbose, index )
	325	index += 1
	326
	327	if ( verbose ): print '\n'
	328
	329	# clusters array
	330	index = 0
	331	for cluster in self.clusters:
	332	byte_stream += cluster.cbin( self, verbose, index )
	333	index += 1
	334
	335	if ( verbose ): print '\n'
	336
	337	# devices array
	338	index = 0
	339	for cluster in self.clusters:
	340	for device in cluster.devices:
	341	byte_stream += device.cbin( self, verbose, index )
	342	index += 1
	343
	344	if ( verbose ): print '\n'
	345
	346	# irqs array
	347	index = 0
	348	for cluster in self.clusters:
	349	for device in cluster.devices:
	350	for irq in device.irqs:
	351	byte_stream += irq.cbin( self, verbose, index )
	352	index += 1
	353
	354	if ( verbose ): print '\n'
	355
	356	return byte_stream
	357	# end of cbin()
	358
	359
	360	######################################################################
	361	def hard_config( self ): # compute string for hard_config.h file
	362	# required by
	363	# - top.cpp compilation
	364	# - almos-mk bootloader compilation
	365	# - tsar_preloader compilation
	366
	367	# for each device type, define default values
	368	# for pbase address, size, number of components, and channels
	369	nb_ram = 0
	370	ram_channels = 0
	371	ram_base = 0xFFFFFFFFFFFFFFFF
	372	ram_size = 0
	373
[6]	374	nb_rom = 0
	375	rom_channels = 0
	376	rom_base = 0xFFFFFFFFFFFFFFFF
	377	rom_size = 0
[1]	378
	379	nb_fbf = 0
	380	fbf_channels = 0
	381	fbf_base = 0xFFFFFFFFFFFFFFFF
	382	fbf_size = 0
	383	fbf_arg0 = 0
	384	fbf_arg1 = 0
	385
	386	nb_iob = 0
	387	iob_channels = 0
	388	iob_base = 0xFFFFFFFFFFFFFFFF
	389	iob_size = 0
	390
	391	nb_ioc = 0
	392	ioc_channels = 0
	393	ioc_base = 0xFFFFFFFFFFFFFFFF
	394	ioc_size = 0
	395	use_ioc_bdv = False
	396	use_ioc_sdc = False
	397	use_ioc_hba = False
	398	use_ioc_spi = False
	399	use_ioc_rdk = False
	400
	401	nb_mmc = 0
	402	mmc_channels = 0
	403	mmc_base = 0xFFFFFFFFFFFFFFFF
	404	mmc_size = 0
	405
[6]	406	nb_dma = 0
	407	dma_channels = 0
	408	dma_base = 0xFFFFFFFFFFFFFFFF
	409	dma_size = 0
[1]	410
	411	nb_nic = 0
	412	nic_channels = 0
	413	nic_base = 0xFFFFFFFFFFFFFFFF
	414	nic_size = 0
	415
	416	nb_sim = 0
	417	sim_channels = 0
	418	sim_base = 0xFFFFFFFFFFFFFFFF
	419	sim_size = 0
	420
	421	nb_tim = 0
	422	tim_channels = 0
	423	tim_base = 0xFFFFFFFFFFFFFFFF
	424	tim_size = 0
	425
[6]	426	nb_txt = 0
	427	txt_channels = 0
	428	txt_base = 0xFFFFFFFFFFFFFFFF
	429	txt_size = 0
[1]	430
[6]	431	nb_icu = 0
	432	icu_channels = 0
	433	icu_base = 0xFFFFFFFFFFFFFFFF
	434	icu_size = 0
	435	icu_arg0 = 0
[1]	436
[6]	437	nb_pic = 0
	438	pic_channels = 0
	439	pic_base = 0xFFFFFFFFFFFFFFFF
	440	pic_size = 0
[1]	441
[6]	442	nb_rom = 0
	443	rom_channels = 0
	444	rom_base = 0xFFFFFFFFFFFFFFFF
	445	rom_size = 0
	446
[1]	447	# get devices attributes
	448	for cluster in self.clusters:
	449	for device in cluster.devices:
	450
[6]	451	if ( device.ptype == 'RAM_SCL' ):
[1]	452	ram_base = device.base
	453	ram_size = device.size
	454	ram_channels = device.channels
	455	nb_ram +=1
	456
[6]	457	elif ( device.ptype == 'ROM_SCL' ):
	458	rom_base = device.base
	459	rom_size = device.size
	460	rom_channels = device.channels
	461	nb_rom +=1
[1]	462
[6]	463	elif ( device.ptype == 'FBF_SCL' ):
[1]	464	fbf_base = device.base
	465	fbf_size = device.size
	466	fbf_channels = device.channels
	467	fbf_arg0 = device.arg0
	468	fbf_arg1 = device.arg1
	469	nb_fbf +=1
	470
[6]	471	elif ( device.ptype == 'IOB_TSR' ):
[1]	472	iob_base = device.base
	473	iob_size = device.size
	474	iob_channels = device.channels
	475	nb_iob +=1
	476
	477	elif ( device.ptype == 'IOC_BDV' ):
	478	ioc_base = device.base
	479	ioc_size = device.size
	480	ioc_channels = device.channels
	481	use_ioc_bdv = True
	482	nb_ioc += 1
	483	elif ( device.ptype == 'IOC_HBA' ):
	484	ioc_base = device.base
	485	ioc_size = device.size
	486	ioc_channels = device.channels
	487	use_ioc_hba = True
	488	nb_ioc += 1
	489	elif ( device.ptype == 'IOC_SDC' ):
	490	ioc_base = device.base
	491	ioc_size = device.size
	492	ioc_channels = device.channels
	493	use_ioc_sdc = True
	494	nb_ioc += 1
	495	elif ( device.ptype == 'IOC_SPI' ):
	496	ioc_base = device.base
	497	ioc_size = device.size
	498	ioc_channels = device.channels
	499	use_ioc_spi = True
	500	nb_ioc += 1
	501	elif ( device.ptype == 'IOC_RDK' ):
	502	ioc_base = device.base
	503	ioc_size = device.size
	504	ioc_channels = device.channels
	505	use_ioc_rdk = True
	506	nb_ioc += 1
	507
[6]	508	elif ( device.ptype == 'MMC_TSR' ):
[1]	509	mmc_base = device.base
	510	mmc_size = device.size
	511	mmc_channels = device.channels
	512	nb_mmc +=1
	513
[6]	514	elif ( device.ptype == 'DMA_SCL' ):
	515	dma_base = device.base
	516	dma_size = device.size
	517	dma_channels = device.channels
	518	nb_dma +=1
[1]	519
[6]	520	elif ( device.ptype == 'NIC_CBF' ):
[1]	521	nic_base = device.base
	522	nic_size = device.size
	523	nic_channels = device.channels
	524	nb_nic +=1
	525
[6]	526	elif ( device.ptype == 'TIM_SCL' ):
[1]	527	tim_base = device.pseg.base
	528	tim_size = device.pseg.size
	529	tim_channels = device.channels
	530	nb_tim +=1
	531
[6]	532	elif ( device.ptype == 'TXT_TTY' ):
	533	txt_base = device.base
	534	txt_size = device.size
	535	txt_channels = device.channels
	536	nb_txt +=1
[1]	537
[6]	538	elif ( device.ptype == 'ICU_XCU' ):
	539	icu_base = device.base
	540	icu_size = device.size
	541	icu_channels = device.channels
	542	icu_arg0 = device.arg0
	543	icu_arg1 = device.arg1
	544	icu_arg2 = device.arg2
	545	icu_arg3 = device.arg3
	546	nb_icu +=1
[1]	547
[6]	548	elif ( device.ptype == 'PIC_TSR' ):
	549	pic_base = device.base
	550	pic_size = device.size
	551	pic_channels = device.channels
	552	nb_pic +=1
[1]	553
	554	# one and only one IOC controller
	555	assert ( nb_ioc == 1 )
	556
	557	# compute rdk_base and rdk_size
	558	if( use_ioc_rdk ):
	559	rdk_base = ioc_base
	560	rdk_size = ioc_size
	561	else:
	562	rdk_base = 0
	563	rdk_size = 0
	564
	565	# Compute total number of cores, devices and irqs
	566	nb_total_cores = self.total_cores
	567	nb_total_devices = self.total_devices
	568	nb_total_irqs = self.total_irqs
	569
	570	# boot core has (cxy == boot_cxy) and (lid == 0)
	571	for cluster in self.clusters:
	572	if( cluster.cxy == self.boot_cxy ): boot_core_gid = cluster.cores[0].gid
	573
	574	# compute mask to get local physical address (cluster independant)
	575	local_paddr_width = self.paddr_width - self.x_width - self.y_width
	576	local_physical_mask = (1<<local_paddr_width)-1
	577
	578	# build string
	579	s = '/* Generated by genarch for %s */\n' % self.name
	580	s += '\n'
	581	s += '#ifndef HARD_CONFIG_H\n'
	582	s += '#define HARD_CONFIG_H\n'
	583	s += '\n'
	584
	585	s += '/* General platform parameters */\n'
	586	s += '\n'
	587	s += '#define X_SIZE %d\n' % self.x_size
	588	s += '#define Y_SIZE %d\n' % self.y_size
	589	s += '#define PADDR_WIDTH %d\n' % self.paddr_width
	590	s += '#define X_WIDTH %d\n' % self.x_width
	591	s += '#define Y_WIDTH %d\n' % self.y_width
	592	s += '#define P_WIDTH %d\n' % self.p_width
	593	s += '#define X_IO %d\n' % (self.io_cxy >> self.y_width)
	594	s += '#define Y_IO %d\n' % (self.io_cxy & ((1<<self.y_width)-1))
	595	s += '#define NB_PROCS_MAX %d\n' % self.cores_max
	596	s += '#define NB_DEVICES_MAX %d\n' % self.devices_max
	597	s += '#define IRQ_PER_PROCESSOR %d\n' % self.irqs_per_core
	598	s += '#define RESET_ADDRESS 0x%x\n' % self.reset_address
	599	s += '#define NB_TOTAL_PROCS %d\n' % nb_total_cores
	600	s += '#define BOOT_CORE_GID %d\n' % boot_core_gid
	601	s += '#define BOOT_CORE_CXY %d\n' % self.boot_cxy
	602	s += '#define CACHE_LINE_SIZE %d\n' % self.cache_line
	603	s += '\n'
	604
	605	s += '/* Peripherals */\n'
	606	s += '\n'
[6]	607	s += '#define NB_TXT_CHANNELS %d\n' % txt_channels
[1]	608	s += '#define NB_IOC_CHANNELS %d\n' % ioc_channels
	609	s += '#define NB_NIC_CHANNELS %d\n' % nic_channels
	610	s += '#define NB_TIM_CHANNELS %d\n' % tim_channels
	611	s += '\n'
[6]	612	s += '#define USE_ICU %d\n' % ( nb_icu != 0 )
[1]	613	s += '#define USE_IOB %d\n' % ( nb_iob != 0 )
	614	s += '#define USE_PIC %d\n' % ( nb_pic != 0 )
	615	s += '#define USE_FBF %d\n' % ( nb_fbf != 0 )
	616	s += '#define USE_NIC %d\n' % ( nb_nic != 0 )
[6]	617	s += '#define USE_DMA %d\n' % ( nb_dma != 0 )
[1]	618	s += '\n'
	619	s += '#define USE_IOC_BDV %d\n' % use_ioc_bdv
	620	s += '#define USE_IOC_SDC %d\n' % use_ioc_sdc
	621	s += '#define USE_IOC_HBA %d\n' % use_ioc_hba
	622	s += '#define USE_IOC_SPI %d\n' % use_ioc_spi
	623	s += '#define USE_IOC_RDK %d\n' % use_ioc_rdk
	624	s += '\n'
	625	s += '#define FBUF_X_SIZE %d\n' % fbf_arg0
	626	s += '#define FBUF_Y_SIZE %d\n' % fbf_arg1
	627	s += '\n'
[6]	628	s += '#define ICU_NB_HWI %d\n' % icu_arg0
	629	s += '#define ICU_NB_PTI %d\n' % icu_arg1
	630	s += '#define ICU_NB_WTI %d\n' % icu_arg2
	631	s += '#define ICU_NB_OUT %d\n' % icu_arg3
[1]	632	s += '\n'
	633
	634	s += '/* local physical base address and size for devices */\n'
	635	s += '\n'
	636	s += '#define SEG_RAM_BASE 0x%x\n' % (ram_base & local_physical_mask)
	637	s += '#define SEG_RAM_SIZE 0x%x\n' % ram_size
	638	s += '\n'
	639	s += '#define SEG_FBF_BASE 0x%x\n' % (fbf_base & local_physical_mask)
	640	s += '#define SEG_FBF_SIZE 0x%x\n' % fbf_size
	641	s += '\n'
	642	s += '#define SEG_IOB_BASE 0x%x\n' % (iob_base & local_physical_mask)
	643	s += '#define SEG_IOB_SIZE 0x%x\n' % iob_size
	644	s += '\n'
	645	s += '#define SEG_IOC_BASE 0x%x\n' % (ioc_base & local_physical_mask)
	646	s += '#define SEG_IOC_SIZE 0x%x\n' % ioc_size
	647	s += '\n'
	648	s += '#define SEG_MMC_BASE 0x%x\n' % (mmc_base & local_physical_mask)
	649	s += '#define SEG_MMC_SIZE 0x%x\n' % mmc_size
	650	s += '\n'
[6]	651	s += '#define SEG_DMA_BASE 0x%x\n' % (dma_base & local_physical_mask)
	652	s += '#define SEG_DMA_SIZE 0x%x\n' % dma_size
[1]	653	s += '\n'
	654	s += '#define SEG_ROM_BASE 0x%x\n' % (rom_base & local_physical_mask)
	655	s += '#define SEG_ROM_SIZE 0x%x\n' % rom_size
	656	s += '\n'
	657	s += '#define SEG_SIM_BASE 0x%x\n' % (sim_base & local_physical_mask)
	658	s += '#define SEG_SIM_SIZE 0x%x\n' % sim_size
	659	s += '\n'
	660	s += '#define SEG_NIC_BASE 0x%x\n' % (nic_base & local_physical_mask)
	661	s += '#define SEG_NIC_SIZE 0x%x\n' % nic_size
	662	s += '\n'
	663	s += '#define SEG_PIC_BASE 0x%x\n' % (pic_base & local_physical_mask)
	664	s += '#define SEG_PIC_SIZE 0x%x\n' % pic_size
	665	s += '\n'
	666	s += '#define SEG_TIM_BASE 0x%x\n' % (tim_base & local_physical_mask)
	667	s += '#define SEG_TIM_SIZE 0x%x\n' % tim_size
	668	s += '\n'
[6]	669	s += '#define SEG_TXT_BASE 0x%x\n' % (txt_base & local_physical_mask)
	670	s += '#define SEG_TXT_SIZE 0x%x\n' % txt_size
[1]	671	s += '\n'
[6]	672	s += '#define SEG_ICU_BASE 0x%x\n' % (icu_base & local_physical_mask)
	673	s += '#define SEG_ICU_SIZE 0x%x\n' % icu_size
[1]	674	s += '\n'
	675	s += '#define SEG_RDK_BASE 0x%x\n' % (rdk_base & local_physical_mask)
	676	s += '#define SEG_RDK_SIZE 0x%x\n' % rdk_size
	677	s += '\n'
	678	s += '#endif\n'
	679
	680	return s
	681
	682	# end of hard_config()
	683
	684
	685
	686
	687
	688	###################################################################################
	689	class Cluster ( object ):
	690	###################################################################################
	691	def __init__( self,
	692	cxy ):
	693
	694	self.index = 0 # global index (set by Archinfo constructor)
	695	self.cxy = cxy # cluster identifier
	696	self.cores = [] # local cores (filled by addCore)
	697	self.devices = [] # local devices(filled by addDevice)
	698
	699	return
	700
	701	################
	702	def xml( self ): # xml for a cluster
	703
	704	s = ' <cluster cxy = "%x" >\n' % (self.cxy)
	705	for core in self.cores: s += core.xml()
	706	for device in self.devices: s += device.xml()
	707	s += ' </cluster>\n'
	708
	709	return s
	710
	711	#############################################
	712	def cbin( self, mapping, verbose, expected ): # C binary structure for Cluster
	713
	714	if ( verbose ):
	715	print '*** cbin for cluster[%d] / identifier = %x' \
	716	% (self.index , self.cxy)
	717
	718	# check index
	719	if (self.index != expected):
	720	print '[genarch error] in Cluster.cbin()'
	721	print ' cluster global index = %d / expected = %d' \
	722	% (self.index,expected)
	723	sys.exit(1)
	724
	725	# compute global index for first core in cluster
	726	if ( len(self.cores) > 0 ):
	727	core_id = self.cores[0].index
	728	else:
	729	core_id = 0
	730
	731	# compute global index for first device in cluster
	732	if ( len(self.devices) > 0 ):
	733	device_id = self.devices[0].index
	734	else:
	735	device_id = 0
	736
	737	byte_stream = bytearray()
	738	byte_stream += mapping.int2bytes(4,self.cxy) # cxy
	739	byte_stream += mapping.int2bytes(4,len(self.cores)) # cores in cluster
	740	byte_stream += mapping.int2bytes(4,core_id ) # first core global index
	741	byte_stream += mapping.int2bytes(4,len(self.devices)) # devices in cluster
	742	byte_stream += mapping.int2bytes(4, device_id ) # first device global index
	743
	744	if ( verbose ):
	745	print 'nb_cores = %d' % len( self.cores )
	746	print 'core_id = %d' % core_id
	747	print 'nb_devices = %d' % len( self.devices )
	748	print 'device_id = %d' % device_id
	749
	750	return byte_stream
	751
	752
	753
	754
	755	##################################################################################
	756	class Core ( object ):
	757	##################################################################################
	758	def __init__( self,
	759	gid,
	760	cxy,
	761	lid ):
	762
	763	self.index = 0 # global index / set by addProc()
	764	self.gid = gid # hardware identifier
	765	self.cxy = cxy # cluster identifier
	766	self.lid = lid # local index in cluster
	767
	768	return
	769
	770	###################################
	771	def xml( self ): # xml for a core
	772	return ' <core gid="%x" lid="%d" />\n' % (self.gid, self.lid)
	773
	774	####################################################################
	775	def cbin( self, mapping, verbose, expected ): # C binary for Proc
	776
	777	if ( verbose ):
	778	print '*** cbin for core [%d] in cluster %x' \
	779	% (self.lid, self.cxy)
	780
	781	# check index
	782	if (self.index != expected):
	783	print '[genarch error] in Core.cbin()'
	784	print ' core global index = %d / expected = %d' \
	785	% (self.index,expected)
	786	sys.exit(1)
	787
	788	byte_stream = bytearray()
	789	byte_stream += mapping.int2bytes( 4 , self.gid ) # hardware identifier
	790	byte_stream += mapping.int2bytes( 2 , self.cxy ) # cluster identifier
	791	byte_stream += mapping.int2bytes( 2 , self.lid ) # local index
	792
	793	return byte_stream
	794
	795
	796
	797
	798	##################################################################################
	799	class Device ( object ):
	800	##################################################################################
	801	def __init__( self,
	802	base,
	803	size,
	804	ptype,
	805	channels = 1,
	806	arg0 = 0,
	807	arg1 = 0,
	808	arg2 = 0,
	809	arg3 = 0 ):
	810
	811	self.index = 0 # global device index ( set by addDevice() )
	812	self.base = base # associated segment base
	813	self.size = size # associated segment size (bytes)
	814	self.ptype = ptype # device type
	815	self.channels = channels # number of channels
	816	self.arg0 = arg0 # optional (semantic depends on ptype)
	817	self.arg1 = arg1 # optional (semantic depends on ptype)
	818	self.arg2 = arg2 # optional (semantic depends on ptype)
	819	self.arg3 = arg3 # optional (semantic depends on ptype)
[6]	820	self.irqs = [] # set of input IRQs (for PIC and ICU only)
[1]	821	self.irq_ctrl = None # interrupt controller for this device
	822	return
	823
	824	######################################
	825	def xml( self ): # xml for a device
	826
	827	s = ' <device type="%s"' % self.ptype
	828	s += ' base="%x"' % self.base
	829	s += ' size="%x"' % self.size
	830	s += ' channels="%d"' % self.channels
	831	s += ' arg0="%d"' % self.arg0
	832	s += ' arg1="%d"' % self.arg1
	833	s += ' arg2="%d"' % self.arg2
	834	s += ' arg3="%d"' % self.arg3
[6]	835	if ( (self.ptype == 'PIC_TSR') or (self.ptype == 'ICU_XCU') ):
[1]	836	s += ' >\n'
	837	for irq in self.irqs: s += irq.xml()
	838	s += ' </device>\n'
	839	else:
	840	s += ' />\n'
	841	return s
	842
	843	######################################################################
	844	def cbin( self, mapping, verbose, expected ): # C binary for Periph
	845
	846	if ( verbose ):
[6]	847	print '*** cbin for device[%d] / type = %s / base = %x' \
	848	% (self.index , self.ptype , self.base)
[1]	849
	850	# check index
	851	if (self.index != expected):
	852	print '[genarch error] in Periph.cbin()'
	853	print ' device global index = %d / expected = %d' \
	854	% (self.index,expected)
	855	sys.exit(1)
	856
	857	# compute first irq global index
	858	if ( len(self.irqs) > 0 ):
	859	irq_id = self.irqs[0].index
	860	else:
	861	irq_id = 0
	862
	863	# compute device type numerical value
	864	ptype_id = 0xFFFFFFFF
	865	for x in xrange( len(DEVICE_TYPES_STR) ):
	866	if ( self.ptype == DEVICE_TYPES_STR[x] ): ptype_id = DEVICE_TYPES_INT[x]
	867
	868	if ( ptype_id == 0xFFFFFFFF ):
	869	print '[genarch error] in Device.cbin()'
	870	print ' undefined device type %s' % self.ptype
	871	sys.exit(1)
	872
	873	byte_stream = bytearray()
	874	byte_stream += mapping.int2bytes(8,self.base) # segment base address
	875	byte_stream += mapping.int2bytes(8,self.size) # segment size
[6]	876	byte_stream += mapping.int2bytes(4,ptype_id) # device type
[1]	877	byte_stream += mapping.int2bytes(4,self.channels) # number of channels
	878	byte_stream += mapping.int2bytes(4,self.arg0) # optionnal arg0
	879	byte_stream += mapping.int2bytes(4,self.arg1) # optionnal arg1
	880	byte_stream += mapping.int2bytes(4,self.arg2) # optionnal arg2
	881	byte_stream += mapping.int2bytes(4,self.arg3) # optionnal arg3
	882	byte_stream += mapping.int2bytes(4,len(self.irqs)) # number of input irqs
	883	byte_stream += mapping.int2bytes(4 ,irq_id) # first irq global index
	884
	885	if ( verbose ):
	886	print 'base = %x' % self.base
	887	print 'size = %x' % self.size
	888	print 'nb_irqs = %d' % len( self.irqs )
	889	print 'irq_id = %d' % irq_id
	890
	891	return byte_stream
	892
	893	##################################################################################
	894	class Irq ( object ):
	895	##################################################################################
	896	def __init__( self,
	897	port,
	898	dev,
	899	channel,
	900	is_rx ):
	901
	902	assert port < 32
	903
	904	self.index = 0 # global index ( set by addIrq() )
	905	self.port = port # input IRQ port index
	906	self.dev = dev # source device
	907	self.channel = channel # source device channel
	908	self.is_rx = is_rx # source device direction
	909
	910	return
	911
	912	################################
	913	def xml( self ): # xml for Irq
	914	s = ' <irq port="%d" devtype="%s" channel="%d" is_rx="%d" />\n' \
	915	% ( self.port, self.dev.ptype, self.channel, self.is_rx )
	916	return s
	917
	918	####################################################################
	919	def cbin( self, mapping, verbose, expected ): # C binary for Irq
	920
	921	if ( verbose ):
[6]	922	print '*** cbin for irq[%d] / src_dev = %s' \
	923	% (self.port , self.dev.ptype)
[1]	924
	925	# check index
	926	if (self.index != expected):
	927	print '[genarch error] in Irq.cbin()'
	928	print ' irq global index = %d / expected = %d' \
[6]	929	% (self.index , expected)
[1]	930	sys.exit(1)
	931
	932	# compute source device type numerical value
	933	dev_id = 0xFFFFFFFF
	934	for x in xrange( len(DEVICE_TYPES_STR) ):
	935	if ( self.dev.ptype == DEVICE_TYPES_STR[x] ): dev_id = DEVICE_TYPES_INT[x]
	936
	937	if ( dev_id == 0xFFFFFFFF ):
	938	print '[genarch error] in Irq.cbin()'
	939	print ' undefined device type %s' % self.dev.ptype
	940	sys.exit(1)
	941
	942	byte_stream = bytearray()
	943	byte_stream += mapping.int2bytes( 4, dev_id )
	944	byte_stream += mapping.int2bytes( 1, self.channel )
	945	byte_stream += mapping.int2bytes( 1, self.is_rx )
	946	byte_stream += mapping.int2bytes( 1, self.port )
	947	byte_stream += mapping.int2bytes( 1, 0 )
	948
	949	if ( verbose ):
	950	print 'dev_id = %d' % dev_id
	951	print 'channel = %d' % self.channel
	952	print 'is_rx = %d' % self.is_rx
	953	print 'port = %s' % self.port
	954
	955	return byte_stream
	956
	957	# Local Variables:
	958	# tab-width: 4;
	959	# c-basic-offset: 4;
	960	# c-file-offsets:((innamespace . 0)(inline-open . 0));
	961	# indent-tabs-mode: nil;
	962	# End:
	963	#
	964	# vim: filetype=python:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
	965

Note: See TracBrowser for help on using the repository browser.

Download in other formats: