skb/programs/decoding_net3_multid.pl

41 :- export struct(region(node_id,blocks)).
42 :- export struct(name(node_id,address)).
55     Reg = region{node_id: NodeId},
67     Reg = region{node_id: NodeId},
69     not(state_query(S, mapping(region{node_id:NodeId,blocks:[_,[block{base:Min}]]}, _))),
87         region{node_id: ["IN"], blocks: [memory, [block{base:100, limit:200}]]},
88         name{node_id: ["OUT"], address: [memory, [1]]}),
90         region{node_id: ["Dummy"], blocks: [memory, [block{base:7, limit:77}]]},
91         name{node_id: ["OUT"], address: [memory, [1]]})
104         region{node_id: ["IN"], blocks: [memory, [block{base:100, limit:200}]]},
105         name{node_id: ["OUT"], address: [memory, [1]]}),
107         region{node_id: ["Dummy"], blocks: [memory, [block{base:7, limit:77}]]},
108         name{node_id: ["OUT"], address: [memory, [1]]})
126    SrcRegion = region{node_id:SrcNodeId},
132    DstBase = name{node_id:OverlayDest, address: [memory, [Base]]}.
139             region{node_id:["In"], blocks:[memory, [block{base:1000,limit:2000}]]},
140             name{node_id: ["Out1"], address: [memory, [0]]}),
143     Src = region{node_id:["In"]},
149         region{node_id:["In"], blocks:[memory, [block{base:1000,limit:2000}]]},
150         name{node_id: ["Out1"], address: [memory, [0]]}),
152         region{node_id:["In"], blocks:[memory, [block{base:0,limit:999}]]},
153         name{node_id: ["Out2"], address: [memory, [0]]}),
156         region{node_id:["In"], blocks:[memory, [block{base:2001,limit:Inf1}]]},
157         name{node_id: ["Out2"], address: [memory, [2001]]}).
201     Proc = region{node_id: ["OUT", "PROC0", "PROC0"]},
339 region_region_contains(region{node_id:N, blocks:AB}, region{node_id:N, blocks:BB}) :-
361 region_region_intersection(region{node_id:N, blocks:AB}, region{node_id:N, blocks:BB}, Is) :-
363     Is = region{node_id: N, blocks: BIs}.
366     A1 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]},
367     B1 = region{node_id:["ID"], blocks:[memory, [block{base: 0, limit: 200}]]},
369     A2 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]},
370     B2 = region{node_id:["ID"], blocks:[memory, [block{base: 75, limit: 200}]]},
371     I2 = region{node_id:["ID"], blocks:[memory, [block{base: 75, limit: 100}]]},
373     A3 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]},
374     B3 = region{node_id:["ID"], blocks:[memory, [block{base: 0, limit: 75}]]},
375     I3 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 75}]]},
377     A4 = region{node_id:["ID"], blocks:[memory, [block{base: 0, limit: 100}]]},
378     B4 = region{node_id:["ID"], blocks:[memory, [block{base: 200, limit: 300}]]},
413     Region = region{node_id: NodeId, blocks: Blocks},
414     Name = name{node_id:NodeId, address: Base},
419     Region = region{node_id: NodeId, blocks: Blocks},
421     Name = name{node_id:NodeId, address: Base}.
455         node_id:Id,
460         node_id:Id,
495         node_id:Id,
499         node_id: Id,
525         node_id:NodeId,
528     CandidateRegion = region{node_id: NodeId},
534     Region = region{node_id: RId},
535     CandidateRegion = region{node_id: RId},
545     S = [accept(region{node_id:["In"], blocks: [memory, [block{base: 50, limit:100}]]})],
546     accept_name(S, name{node_id:["In"], address: [memory, [75]]}).
549     S = [accept(region{node_id:["In"], blocks: [memory, [block{base: 50, limit:100}]]})],
550     accept_region(S, region{node_id:["In"], blocks: [memory, [block{base:75, limit:80}]]}).
552 decode_step_name(S, SrcName, name{node_id: DstId, address: DstAddr}) :-
553     translate(S, SrcRegion, name{node_id: DstId, address: DstBaseAddr}),
566     OutCandidate = name{node_id: OutNodeId, address: DstBaseAddr},
568     region_base_name(DstRegion, name{node_id: OutNodeId, address: DstAddr}),
578     SrcRegion = region{node_id: SrcId, blocks: [Kind, [block{base: SrcB, limit: SrcL}]]},
580     DstRegion = region{node_id: OutNodeId, blocks: [Kind, [block{base: DestB, limit: DestL}]]},
590     SrcRegion = region{node_id: SrcId, blocks: [Kind, [block{base: SrcB, limit: SrcL}]]},
609     InR = region{node_id:["IN"], blocks: [memory,[base:0, limit: 8]]},
618     SrcRegion = region{node_id: ["IN"], blocks: [memory, [block{base:Base, limit:Limit}]]},
622     Out2 = region{node_id:["OUT"], blocks: [memory, [block{base:TestBase}]]},
632     SrcRegion = region{node_id: ["IN"], blocks: [memory, [block{base:Base, limit:Limit}]]},
636     %Out2 = region{node_id:["OUT"], blocks: [memory, [block{base:TestBase}]]},
659         region{node_id: ["IN"], blocks: [memory, [block{base:0, limit:100}]]},
660         name{node_id: ["OUT"], address: [memory, [1]]})
664         region{node_id:["IN"], blocks: [memory, [block{base:50, limit: 70}]]},
666     Out = [region{node_id:["OUT"], blocks: [memory, [block{base:51, limit: 71}]]}].
673         region{node_id: ["IN"], blocks: [memory, [block{base:0, limit:100}]]},
674         name{node_id: ["OUT1"], address: [memory, [10]]}),
676         region{node_id: ["IN"], blocks: [memory, [block{base:200, limit:300}]]},
677         name{node_id: ["OUT2"], address: [memory, [20]]}),
679         region{node_id: ["IN"], blocks: [memory, [block{base:400, limit:500}]]},
680         name{node_id: ["OUT3"], address: [memory, [30]]})
684         region{node_id:["IN"], blocks: [memory, [block{base:50, limit: 450}]]},
691             node_id: ["IN"],
694         name{node_id: ["OUT"], address: [memory, [1]]})],
697         name{node_id:["IN"], address: [memory, [1]]},
698         name{node_id:OutNodeId, address: OutAddr}),
707             region{node_id:["In"], blocks:[memory, [block{base:1000,limit:2000}]]},
708             name{node_id: ["Out1"], address: [memory, [0]]}),
713         name{node_id:["In"], address:[memory, [1000]]},
714         name{node_id:["Out1"], address: [memory, [0]]}
718         name{node_id:["In"], address:[memory, [0]]},
719         name{node_id:["Out2"], address:[memory, [0]]}
723         name{node_id:["In"], address: [memory, [2500]]},
724         name{node_id:["Out2"], address: [memory, [2500]]}),
727         name{node_id: ["In"], address: [memory, [1000]]},
728         name{node_id: ["Out2"], address: [memory, [1000]]})).
735             region{node_id:["In"], blocks:[memory, [block{base:1000,limit:2000}]]},
736             name{node_id: ["Out1"], address: [memory, [0]]}),
738             region{node_id:["In2"], blocks:[memory, [block{base:2000,limit:3000}]]},
739             name{node_id: ["Out1"], address: [memory, [0]]}),
743     Src = name{node_id:["In"]},
746         name{node_id:["Out1"], address: [memory, [0]]}
748     Src = name{node_id:["In"], address: [memory, [1000]]}.
779             region{node_id:["In"], blocks: [memory, [block{base:1000,limit:2000}]]},
780             name{node_id: ["Out1"], address : [memory, [0]]}),
782         accept(region{node_id:["Out1"], blocks: [memory,[block{base:0, limit:2000}]]}),
783         accept(region{node_id:["Out2"], blocks: [memory,[block{base:0, limit:2000}]]})
787         name{node_id:["In"], address:[memory, [1000]]},
788         name{node_id:["Out1"], address:[memory, [0]]}),
791         name{node_id:["In"], address:[memory, [500]]},
792         name{node_id:["Out2"], address:[memory, [500]]}).
797             region{node_id: ["In1"], blocks: [memory, [block{base:1000,limit:2000}]]},
798             name{node_id: ["Out1"], address: [memory, [0]]}),
800             region{node_id:["In2"], blocks:[memory, [block{base:6000,limit:7000}]]},
801             name{node_id:["Out1"], address: [memory, [0]]}),
802         accept(region{node_id:["Out1"], blocks: [memory,[block{base:0, limit:2000}]]})
806         name{node_id:["In1"], address:[memory, [1000]]},
809         name{node_id:["In2"], address:Out},
822     InRegion = region{node_id:["In1"], blocks:[memory, [block{base:1000, limit:1500}]]},
1029         node_id: NodeId,
1087         node_id: NodeId,
1093     Region = region{ node_id: NodeId, blocks: Blocks },
1133     Proc = name{node_id: ["OUT", "PROC0", "PROC0"]},
1134     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
1185     R1 = region{node_id: N1Id, blocks: [memory, [block{base:R1Addr}]]},
1186     R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
1187     Dest = region{node_id: DestId, blocks: [memory, [block{base:DestAddr}]]},
1205     R1 = region{node_id: N1Id, blocks: [memory, [block{base:R1Addr}]]},
1206     R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]},
1210     ResR = region{node_id: ResRId},
1226     Proc = name{node_id: ["OUT", "PROC0", "PROC0"], address: [memory, [0]]},
1227     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
1298         node_id: NodeId,
1328     one_block_upper_limit(name{node_id:["In"],address:[memory, [1400]]}, Limit),
1332     one_block_upper_limit(name{node_id:["In1"],address:[memory, [1400]]}, Limit2),
1367     SrcRegion = region{node_id: SrcNodeId, blocks: SrcBlocks},
1368     DstRegion = region{node_id: DstNodeId, blocks: DstBlocks},
1373     one_block_upper_limit(name{node_id:SrcNodeId, address:SrcBase}, BlockLimit),
1399             region{node_id:SrcNodeId, blocks: NewSrcBlocks},
1400             region{node_id:DstNodeId, blocks: NewDstBlocks},
1412             region{node_id:SrcNodeId, blocks: RemSrcBlocks},
1413             region{node_id:DstNodeId, blocks: RemDstBlocks},
1439     SrcRegion = region{node_id: SrcNodeId, blocks: SrcBlocks},
1440     DstRegion = region{node_id: DstNodeId, blocks: DstBlocks},
1456             region{node_id: ["IN"], blocks: [memory, [block{base:0, limit:Upper}]]},
1457             name{node_id: ["MMU"], address: [memory, [0]]}),
1459         accept(region{node_id: ["RAM"], blocks: [memory, [block{base:0, limit: Upper}]]})
1464         [region{node_id:["IN"], blocks: [memory, [block{base:0, limit: Limit2M}]]}],
1466     OutRegions = [region{node_id:["RAM"], blocks: [memory, [block{base:0, limit: Limit2M}]]}],
1479     SrcName=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1480     DstName=name{node_id: DRAM_ID, address: FreeDRAM},
1495     SrcName1=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1496     DstName1=name{node_id: DRAM_ID, address: FreeDRAM},
1500     SrcName2=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1501     DstName2=name{node_id: DRAM_ID, address: FreeDRAM},
1511         region{node_id:["IN"], blocks:[memory,[block{base:0, limit:1000}]]},
1512         region{node_id:["OUT"], blocks:[memory,[block{base: 0, limit: 1000}]]},
1526         region{node_id:["IN"], blocks:[memory,[block{base:0, limit:Limit}]]},
1527         region{node_id:["OUT"], blocks:[memory,[block{base: 0, limit: Limit}]]},
1546     name{ node_id: SrcNodeId, address: [K, [ISrcAddr]] } = SrcName,
1547     name{ node_id: DstNodeId, address: [K, [IDstAddr]] } = DstName,