Mercurial > pygar
comparison core/sim/bdir_dut/MemTypes.bi @ 1:91a1f76ddd62 pygar svn.2
[svn r2] Adding initial lab 5 source
author | punk |
---|---|
date | Tue, 13 Apr 2010 17:34:33 -0400 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
0:6d1ff93e3afa | 1:91a1f76ddd62 |
---|---|
1 signature MemTypes where { | |
2 import ¶Counter®¶; | |
3 | |
4 import ¶FIFOF_®¶; | |
5 | |
6 import ¶FIFOF®¶; | |
7 | |
8 import ¶FIFO®¶; | |
9 | |
10 import ¶Inout®¶; | |
11 | |
12 import ¶List®¶; | |
13 | |
14 import ¶Clocks®¶; | |
15 | |
16 import ¶ListN®¶; | |
17 | |
18 import ¶PrimArray®¶; | |
19 | |
20 import ¶Vector®¶; | |
21 | |
22 import ¶Connectable®¶; | |
23 | |
24 import ¶GetPut®¶; | |
25 | |
26 import ¶ClientServer®¶; | |
27 | |
28 import Trace; | |
29 | |
30 data (MemTypes.MemReq :: # -> # -> # -> *) addrSz tagSz dataSz = | |
31 MemTypes.LoadReq (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz) | | |
32 MemTypes.StoreReq (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz); | |
33 | |
34 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.MemReq addrSz tagSz dataSz); | |
35 | |
36 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.MemReq addrSz tagSz dataSz); | |
37 | |
38 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.MemReq addrSz tagSz dataSz); | |
39 | |
40 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.MemReq addrSz tagSz dataSz); | |
41 | |
42 instance MemTypes (¶Prelude®¶.¶Add®¶ 1 _v103 _v100, | |
43 ¶Prelude®¶.¶Max®¶ _v101 _v104 _v103, | |
44 ¶Prelude®¶.¶Add®¶ _v105 _v104 _v103, | |
45 ¶Prelude®¶.¶Add®¶ _v102 _v101 _v103, | |
46 ¶Prelude®¶.¶Add®¶ addrSz _v106 _v104, | |
47 ¶Prelude®¶.¶Add®¶ tagSz dataSz _v106, | |
48 ¶Prelude®¶.¶Add®¶ addrSz tagSz _v101) => | |
49 ¶Prelude®¶.¶Bits®¶ (MemTypes.MemReq addrSz tagSz dataSz) _v100; | |
50 | |
51 struct (MemTypes.¶MemReq_$LoadReq¶ :: # -> # -> # -> *) addrSz tagSz dataSz = { | |
52 MemTypes.addr :: ¶Prelude®¶.¶Bit®¶ addrSz; | |
53 MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz | |
54 }; | |
55 | |
56 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz); | |
57 | |
58 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz); | |
59 | |
60 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ | |
61 (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz); | |
62 | |
63 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemReq_$LoadReq¶ addrSz tagSz dataSz); | |
64 | |
65 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v104 _v100) => | |
66 ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemReq_$LoadReq¶ _v101 _v104 dataSz) _v100; | |
67 | |
68 struct (MemTypes.¶MemReq_$StoreReq¶ :: # -> # -> # -> *) addrSz tagSz dataSz = { | |
69 MemTypes.addr :: ¶Prelude®¶.¶Bit®¶ addrSz; | |
70 MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz; | |
71 MemTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ dataSz | |
72 }; | |
73 | |
74 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz); | |
75 | |
76 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz); | |
77 | |
78 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ | |
79 (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz); | |
80 | |
81 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemReq_$StoreReq¶ addrSz tagSz dataSz); | |
82 | |
83 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v100 _v103, ¶Prelude®¶.¶Add®¶ _v104 _v107 _v100) => | |
84 ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemReq_$StoreReq¶ _v101 _v104 _v107) _v103; | |
85 | |
86 data (MemTypes.MemResp :: # -> # -> *) tagSz dataSz = | |
87 MemTypes.LoadResp (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz) | | |
88 MemTypes.StoreResp (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz); | |
89 | |
90 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.MemResp tagSz dataSz); | |
91 | |
92 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.MemResp tagSz dataSz); | |
93 | |
94 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.MemResp tagSz dataSz); | |
95 | |
96 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.MemResp tagSz dataSz); | |
97 | |
98 instance MemTypes (¶Prelude®¶.¶Add®¶ 1 _v103 _v100, | |
99 ¶Prelude®¶.¶Max®¶ _v101 _v104 _v103, | |
100 ¶Prelude®¶.¶Add®¶ _v105 _v104 _v103, | |
101 ¶Prelude®¶.¶Add®¶ _v102 _v101 _v103, | |
102 ¶Prelude®¶.¶Add®¶ _v104 dataSz _v101) => | |
103 ¶Prelude®¶.¶Bits®¶ (MemTypes.MemResp _v104 dataSz) _v100; | |
104 | |
105 struct (MemTypes.¶MemResp_$LoadResp¶ :: # -> # -> *) tagSz dataSz = { | |
106 MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz; | |
107 MemTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ dataSz | |
108 }; | |
109 | |
110 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz); | |
111 | |
112 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz); | |
113 | |
114 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz); | |
115 | |
116 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemResp_$LoadResp¶ tagSz dataSz); | |
117 | |
118 instance MemTypes (¶Prelude®¶.¶Add®¶ _v101 _v104 _v100) => | |
119 ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemResp_$LoadResp¶ _v101 _v104) _v100; | |
120 | |
121 struct (MemTypes.¶MemResp_$StoreResp¶ :: # -> # -> *) tagSz dataSz = { | |
122 MemTypes.tag :: ¶Prelude®¶.¶Bit®¶ tagSz | |
123 }; | |
124 | |
125 instance MemTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz); | |
126 | |
127 instance MemTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz); | |
128 | |
129 instance MemTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz); | |
130 | |
131 instance MemTypes ¶Prelude®¶.¶Eq®¶ (MemTypes.¶MemResp_$StoreResp¶ tagSz dataSz); | |
132 | |
133 instance MemTypes ¶Prelude®¶.¶Bits®¶ (MemTypes.¶MemResp_$StoreResp¶ _v101 dataSz) _v101; | |
134 | |
135 type (MemTypes.AddrSz :: #) = 32; | |
136 | |
137 type (MemTypes.TagSz :: #) = 8; | |
138 | |
139 type (MemTypes.DataSz :: #) = 32; | |
140 | |
141 type (MemTypes.InstSz :: #) = 32; | |
142 | |
143 type (MemTypes.HostDataSz :: #) = 32; | |
144 | |
145 type (MemTypes.InstReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz 0; | |
146 | |
147 type (MemTypes.InstResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.InstSz; | |
148 | |
149 type (MemTypes.DataReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz MemTypes.DataSz; | |
150 | |
151 type (MemTypes.DataResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.DataSz; | |
152 | |
153 type (MemTypes.HostReq :: *) = MemTypes.MemReq MemTypes.AddrSz MemTypes.TagSz MemTypes.HostDataSz; | |
154 | |
155 type (MemTypes.HostResp :: *) = MemTypes.MemResp MemTypes.TagSz MemTypes.HostDataSz; | |
156 | |
157 type (MemTypes.MainMemAddrSz :: #) = 32; | |
158 | |
159 type (MemTypes.MainMemTagSz :: #) = 8; | |
160 | |
161 type (MemTypes.MainMemDataSz :: #) = 32; | |
162 | |
163 type (MemTypes.MainMemReq :: *) = | |
164 MemTypes.MemReq MemTypes.MainMemAddrSz MemTypes.MainMemTagSz MemTypes.MainMemDataSz; | |
165 | |
166 type (MemTypes.MainMemResp :: *) = MemTypes.MemResp MemTypes.MainMemTagSz MemTypes.MainMemDataSz; | |
167 | |
168 instance MemTypes Trace.Traceable (MemTypes.MemReq a b c); | |
169 | |
170 instance MemTypes Trace.Traceable (MemTypes.MemResp a b) | |
171 } |