Lines Matching refs:block
18 % IBlock block{..}
19 % Block = [kind, block{..}]
31 % block_meta(NodeId, Bits, OutNodeId) -- Metadata for block reconfigurable nodes
32 % block_conf(NodeId, VPN, PPN) -- For block reconfigurable nodes
43 :- export struct(block(base,limit)).
61 Reg = region{blocks: [_, block{base: B, limit: L}]},
72 not(state_query(S, mapping(region{node_id:NodeId,blocks:[_,block{base:Min}]}, _))),
76 Reg = region{blocks: [_, block{base: B}]},
90 region{node_id: ["IN"], blocks: [memory, block{base:100, limit:200}]},
93 region{node_id: ["Dummy"], blocks: [memory, block{base:7, limit:77}]},
107 region{node_id: ["IN"], blocks: [memory, block{base:100, limit:200}]},
110 region{node_id: ["Dummy"], blocks: [memory, block{base:7, limit:77}]},
134 SrcRegion = region{blocks:[memory, block{base: Base, limit: Limit}]},
142 region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
152 region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
155 region{node_id:["In"], blocks:[memory, block{base:0,limit:999}]},
159 region{node_id:["In"], blocks:[memory, block{base:2001,limit:Inf1}]},
174 %%% ["In"], [memory, [block{base:1000,limit:2000}]],
175 %%% ["Out1"], [memory, [block{base:0,limit:1000}]])),
202 iblock_match(A, block{base: B, limit: L}) :-
206 iblock_nomatch(A, block{base: B, limit: L}) :-
217 % Union of blocks. [block{base:0,limit:5},block{base:33,limit:35}] -> 0,1,..,5,33,..,35
282 block{
292 A = block{base:ABase, limit: ALimit},
293 B = block{base:BBase, limit: BLimit},
304 A = block{base:ABase, limit: ALimit},
305 B = block{base:BBase, limit: BLimit},
313 (ABase =< BBase, BBase =< ALimit, I = block{base: BBase, limit: ALimit}) ;
316 (ABase =< BLimit, BLimit =< ALimit, I = block{base: ABase, limit: BLimit})
328 A1 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 100}]},
329 B1 = region{node_id:["ID"], blocks:[memory, block{base: 0, limit: 200}]},
331 A2 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 100}]},
332 B2 = region{node_id:["ID"], blocks:[memory, block{base: 75, limit: 200}]},
333 I2 = region{node_id:["ID"], blocks:[memory, block{base: 75, limit: 100}]},
335 A3 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 100}]},
336 B3 = region{node_id:["ID"], blocks:[memory, block{base: 0, limit: 75}]},
337 I3 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 75}]},
339 A4 = region{node_id:["ID"], blocks:[memory, block{base: 0, limit: 100}]},
340 B4 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 70}]},
342 A5 = region{node_id:["ID"], blocks:[memory, block{base: 0, limit: 100}]},
343 B5 = region{node_id:["ID"], blocks:[memory, block{base: 200, limit: 300}]},
354 block{
361 block{
378 block{
398 SrcBlock = block{base:SrcBase},
402 iaddr_iblock_map([1],[block{base:0, limit:1024}], Dst, [100]),
405 %% Convert from region (encoded as block) to names
409 blocks: Blocks % Blocks = [Kind, block{...}]
427 Block = block{
461 [memory, [block{base:0, limit:1024}]],
497 S = [accept(region{node_id:["In"], blocks: [memory, block{base: 50, limit:100}]})],
501 S = [accept(region{node_id:["In"], blocks: [memory, block{base: 50, limit:100}]})],
502 accept_region(S, region{node_id:["In"], blocks: [memory, block{base:75, limit:80}]}).
540 Is = region{blocks: [_, block{base:IsB, limit: IsL}]},
541 SrcRegion = region{blocks: [_, block{base:SrcB, limit: SrcL}]},
544 HoleLeft = region{node_id: hole, blocks: [_, block{base: SrcB, limit: IsBBefore}]},
546 HoleRight = region{node_id: hole, blocks: [_, block{base: IsLAfter, limit: SrcL}]},
563 Reg = region{blocks: [_, block{base:B, limit: L}]},
569 % TODO: Only works if SrcRegion matches exactly a Configuration block.
572 SrcRegion = region{node_id: SrcId, blocks: [Kind, block{base: SrcB, limit: SrcL}]},
577 DstRegion = region{node_id: OutNodeId, blocks: [Kind, block{base: DestB, limit: DestL}]},
602 SrcRegion = region{node_id: SrcId, blocks: [Kind, block{base: SrcB, limit: SrcL}]},
620 InR = region{node_id:["IN"], blocks: [memory, block{base:0, limit: 8}]},
628 SrcRegion = region{node_id: ["IN"], blocks: [memory, block{base:Base, limit:Limit}]},
632 Out2 = region{node_id:["OUT"], blocks: [memory, block{base:TestBase}]},
639 SrcRegion3 = region{node_id: ["IN"], blocks: [memory, block{base:Base3, limit:Limit3}]},
654 SrcRegion = region{node_id: ["IN"], blocks: [memory, block{base:Base, limit:Limit}]},
658 %Out2 = region{node_id:["OUT"], blocks: [memory, block{base:TestBase}]},
677 % The simple case: everything falls into one translate block
680 region{node_id: ["IN"], blocks: [memory, block{base:0, limit:100}]},
683 region{node_id: ["IN"], blocks: [memory, block{base:200, limit:300}]},
688 region{node_id:["IN"], blocks: [memory, block{base:50, limit: 70}]},
690 Out1 = [region{node_id:["OUT1"], blocks: [memory, block{base:60, limit: 80}]}],
693 region{node_id:["IN"], blocks: [memory, block{base:50, limit: 199}]},
695 Out2 = [region{node_id:["OUT1"], blocks: [memory, block{base:60, limit: 110}]},
700 region{node_id:["IN"], blocks: [memory, block{base:50, limit: 200}]},
703 region{node_id:["OUT1"], blocks: [memory, block{base:60, limit: 110}]},
705 region{node_id:["OUT2"], blocks: [memory, block{base:200, limit: 200}]}
708 region{node_id:["IN"], blocks: [memory, block{base:150, limit: 350}]},
710 Out4 = [_, region{node_id:["OUT2"], blocks: [memory, block{base:200, limit: 300}]}, _].
713 % The simple case: everything falls into one translate block
716 region{node_id: ["IN"], blocks: [memory, block{base:0, limit:100}]},
721 region{node_id:["IN"], blocks: [memory, block{base:50, limit: 70}]},
723 Out = [region{node_id:["OUT"], blocks: [memory, block{base:51, limit: 71}]}].
729 region{node_id: ["IN"], blocks: [memory, block{base:0, limit:100}]},
732 region{node_id: ["IN"], blocks: [memory, block{base:200, limit:300}]},
735 region{node_id: ["IN"], blocks: [memory, block{base:400, limit:500}]},
740 region{node_id:["IN"], blocks: [memory, block{base:50, limit: 450}]},
749 blocks: [memory, block{base:0, limit:100}]
764 region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
768 % Test the translate block
782 % make sure no within block translation to overlay exists
792 region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
795 region{node_id:["In2"], blocks:[memory, block{base:2000,limit:3000}]},
799 % Test the translate block
836 region{node_id:["In"], blocks: [memory, block{base:1000,limit:2000}]},
839 accept(region{node_id:["Out1"], blocks: [memory,block{base:0, limit:2000}]}),
840 accept(region{node_id:["Out2"], blocks: [memory,block{base:0, limit:2000}]})
842 % Hit the translate block
854 region{node_id: ["In1"], blocks: [memory, block{base:1000,limit:2000}]},
857 region{node_id:["In2"], blocks:[memory, block{base:6000,limit:7000}]},
859 accept(region{node_id:["Out1"], blocks: [memory, block{base:0, limit:2000}]})
873 ["In1"], [memory, [block{base:1000,limit:2000}]],
874 ["Out1"], [memory, [block{base:0,limit:1000}]])),
876 ["In2"], [memory, [block{base:6000,limit:7000}]],
877 ["Out1"], [memory, [block{base:0,limit:1000}]])),
878 assert(node_accept(["Out1"], [memory,[block{base:0, limit:2000}]])),
879 InRegion = region{node_id:["In1"], blocks:[memory, block{base:1000, limit:1500}]},
980 Block = block{base:Base, limit: Limit}.
1016 % Mark IOMMU block remappable
1040 blocks: [memory, block{base:BarStart,limit:BarEnd}]}), SIn1),
1044 blocks: [memory,block{base:BarStart,limit:BarEnd}]
1077 % Mark MMU block remappable
1089 state_add(S5, in_use(["OUT", "PROC0" | Id], [memory, [block{base:0, limit: Limit}]]), NewS).
1102 block_address_gt([memory, block{limit: -1}], Out), % TODO: Works only for 1 Dim addr.
1157 UsedBlock = block{
1176 state_remove(S, in_use(NodeId, [memory, [block{base: Base}]]), NewS).
1223 ResRegion = region{blocks: [memory, block{base:Base, limit: Limit}]},
1243 ResRegion = region{blocks: [memory, block{base:Base, limit: Limit}]},
1263 R1 = region{node_id: N1Id, blocks: [memory, block{base:R1Addr}]},
1264 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]},
1265 Dest = region{node_id: DestId, blocks: [memory, block{base:DestAddr}]},
1283 R1 = region{node_id: N1Id, blocks: [memory, block{base:R1Addr}]},
1284 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]},
1286 ResR = region{blocks: [memory, block{base:ResRAddr}]},
1338 % As of now, block remappable implies that the node is one dimension
1393 % In a translate block?
1404 ["In"], [memory, [block{base:1000,limit:2000}]],
1405 ["Out1"], [memory, [block{base:0,limit:1000}]])),
1437 region{node_id: ["IN"], blocks: [memory, block{base:0, limit:Upper}]},
1440 accept(region{node_id: ["RAM"], blocks: [memory, block{base:0, limit: Upper}]})
1445 [region{node_id:["IN"], blocks: [memory, block{base:0, limit: Limit2M}]}],
1447 OutRegions = [region{node_id:["RAM"], blocks: [memory, block{base:0, limit: Limit2M}]}],
1490 assert(node_accept(["OUT"], [memory, [block{base:0, limit:100000}]])),
1492 region{node_id:["IN"], blocks:[memory,block{base:0, limit:1000}]},
1493 region{node_id:["OUT"], blocks:[memory,block{base: 0, limit: 1000}]},
1505 assert(node_accept(["OUT"], [memory, [block{base:0, limit:4194303}]])),
1507 region{node_id:["IN"], blocks:[memory, block{base:0, limit:Limit}]},
1508 region{node_id:["OUT"], blocks:[memory, block{base: 0, limit: Limit}]},
1525 % It is possible, to remap SrcName to DstName using the block remapping?