skb/programs/decoding_net3.pl

44 :- export struct(region(node_id,blocks)).
45 :- export struct(name(node_id,address)).
58     Reg = region{node_id: NodeId},
70     Reg = region{node_id: NodeId},
72     not(state_query(S, mapping(region{node_id:NodeId,blocks:[_,block{base:Min}]}, _))),
90         region{node_id: ["IN"], blocks: [memory, block{base:100, limit:200}]},
91         name{node_id: ["OUT"], address: [memory, 1]}),
93         region{node_id: ["Dummy"], blocks: [memory, block{base:7, limit:77}]},
94         name{node_id: ["OUT"], address: [memory, 1]})
107         region{node_id: ["IN"], blocks: [memory, block{base:100, limit:200}]},
108         name{node_id: ["OUT"], address: [memory, 1]}),
110         region{node_id: ["Dummy"], blocks: [memory, block{base:7, limit:77}]},
111         name{node_id: ["OUT"], address: [memory, 1]})
129    SrcRegion = region{node_id:SrcNodeId},
135    DstBase = name{node_id:OverlayDest, address: [memory, Base]}.
142             region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
143             name{node_id: ["Out1"], address: [memory, 0]}),
146     Src = region{node_id:["In"]},
152         region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
153         name{node_id: ["Out1"], address: [memory, 0]}),
155         region{node_id:["In"], blocks:[memory, block{base:0,limit:999}]},
156         name{node_id: ["Out2"], address: [memory, 0]}),
159         region{node_id:["In"], blocks:[memory, block{base:2001,limit:Inf1}]},
160         name{node_id: ["Out2"], address: [memory, 2001]}).
300 region_region_contains(region{node_id:N, blocks:AB}, region{node_id:N, blocks:BB}) :-
322 region_region_intersection(region{node_id:N, blocks:AB}, region{node_id:N, blocks:BB}, Is) :-
324     Is = region{node_id: N, blocks: BIs}.
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}]},
367     Region = region{node_id: NodeId, blocks: Blocks},
368     Name = name{node_id:NodeId, address: Base},
373     Region = region{node_id: NodeId, blocks: Blocks},
375     Name = name{node_id:NodeId, address: Base}.
408         node_id:Id,
413         node_id:Id,
443         node_id:Id,
447         node_id: Id,
472         node_id:NodeId,
475     CandidateRegion = region{node_id: NodeId},
481     Region = region{node_id: RId},
482     CandidateRegion = region{node_id: RId},
497     S = [accept(region{node_id:["In"], blocks: [memory, block{base: 50, limit:100}]})],
498     accept_name(S, name{node_id:["In"], address: [memory, 75]}).
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}]}).
504 decode_step_name(S, SrcName, name{node_id: DstId, address: DstAddr}) :-
505     translate(S, SrcRegion, name{node_id: DstId, address: DstBaseAddr}),
511 %% We represent holes in the resolved set as region with node_id = hole
512 hole_region(region{node_id: hole, blocks: Bs}, region{blocks: Bs}).
513 is_hole(R) :- R = region{node_id: hole}.
523     OutCandidate = name{node_id: OutNodeId, address: DstBaseAddr},
525     region_base_name(DstRegion, name{node_id: OutNodeId, address: DstAddr}),
536         Dst = region{node_id: hole, blocks: DstBlocks},
537         SrcRegion = region{node_id: SrcRegionId},
538         DstInSrc = region{node_id: SrcRegionId, blocks: DstBlocks},
544             HoleLeft = region{node_id: hole, blocks: [_, block{base: SrcB, limit: IsBBefore}]},
546             HoleRight = region{node_id: hole, blocks: [_, block{base: IsLAfter, limit: SrcL}]},
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}]},
680         region{node_id: ["IN"], blocks: [memory, block{base:0, limit:100}]},
681         name{node_id: ["OUT1"], address: [memory, 10]}),
683         region{node_id: ["IN"], blocks: [memory, block{base:200, limit:300}]},
684         name{node_id: ["OUT2"], address: [memory, 200]})
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}]}, _].
716         region{node_id: ["IN"], blocks: [memory, block{base:0, limit:100}]},
717         name{node_id: ["OUT"], address: [memory, 1]})
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}]},
730         name{node_id: ["OUT1"], address: [memory, 10]}),
732         region{node_id: ["IN"], blocks: [memory, block{base:200, limit:300}]},
733         name{node_id: ["OUT2"], address: [memory, 20]}),
735         region{node_id: ["IN"], blocks: [memory, block{base:400, limit:500}]},
736         name{node_id: ["OUT3"], address: [memory, 30]})
740         region{node_id:["IN"], blocks: [memory, block{base:50, limit: 450}]},
748             node_id: ["IN"],
751         name{node_id: ["OUT"], address: [memory, 1]})],
754         name{node_id:["IN"], address: [memory, 1]},
755         name{node_id:OutNodeId, address: OutAddr}),
764             region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
765             name{node_id: ["Out1"], address: [memory, 0]}),
770         name{node_id:["In"], address:[memory, 1000]},
771         name{node_id:["Out1"], address: [memory, 0]}
775         name{node_id:["In"], address:[memory, 0]},
776         name{node_id:["Out2"], address:[memory, 0]}
780         name{node_id:["In"], address: [memory, 2500]},
781         name{node_id:["Out2"], address: [memory, 2500]}),
784         name{node_id: ["In"], address: [memory, 1000]},
785         name{node_id: ["Out2"], address: [memory, 1000]})).
792             region{node_id:["In"], blocks:[memory, block{base:1000,limit:2000}]},
793             name{node_id: ["Out1"], address: [memory, 0]}),
795             region{node_id:["In2"], blocks:[memory, block{base:2000,limit:3000}]},
796             name{node_id: ["Out1"], address: [memory, 0]}),
800     Src = name{node_id:["In"]},
803         name{node_id:["Out1"], address: [memory, 0]}
805     Src = name{node_id:["In"], address: [memory, 1000]}.
836             region{node_id:["In"], blocks: [memory, block{base:1000,limit:2000}]},
837             name{node_id: ["Out1"], address : [memory, 0]}),
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}]})
844         name{node_id:["In"], address:[memory, 1000]},
845         name{node_id:["Out1"], address:[memory, 0]}),
848         name{node_id:["In"], address:[memory, 500]},
849         name{node_id:["Out2"], address:[memory, 500]}).
854             region{node_id: ["In1"], blocks: [memory, block{base:1000,limit:2000}]},
855             name{node_id: ["Out1"], address: [memory, 0]}),
857             region{node_id:["In2"], blocks:[memory, block{base:6000,limit:7000}]},
858             name{node_id:["Out1"], address: [memory, 0]}),
859         accept(region{node_id:["Out1"], blocks: [memory, block{base:0, limit:2000}]})
863         name{node_id:["In1"], address:[memory, 1000]},
866         name{node_id:["In2"], address:Out},
879     InRegion = region{node_id:["In1"], blocks:[memory, block{base:1000, limit:1500}]},
1039             node_id: BarId,
1043                 node_id: PCIBUS_ID,
1047                 node_id: BarId,
1110         node_id: NodeId,
1165         node_id: NodeId,
1171     Region = region{ node_id: NodeId, blocks: Blocks },
1211     Proc = name{node_id: ["OUT", "PROC0", "PROC0"]},
1212     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
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}]},
1288     ResR = region{node_id: ResRId},
1304     Proc = name{node_id: ["OUT", "PROC0", "PROC0"], address: [memory, [0]]},
1305     Pci = name{node_id: ["OUT", "PCI0", "PCI0"]},
1376         node_id: NodeId,
1406     one_block_upper_limit(name{node_id:["In"],address:[memory, [1400]]}, Limit),
1410     one_block_upper_limit(name{node_id:["In1"],address:[memory, [1400]]}, Limit2),
1420     SrcRegion = region{node_id: SrcNodeId, blocks: SrcBlocks},
1421     DstRegion = region{node_id: DstNodeId, blocks: DstBlocks},
1437             region{node_id: ["IN"], blocks: [memory, block{base:0, limit:Upper}]},
1438             name{node_id: ["MMU"], address: [memory, 0]}),
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}]}],
1460     SrcName=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1461     DstName=name{node_id: DRAM_ID, address: FreeDRAM},
1476     SrcName1=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1477     DstName1=name{node_id: DRAM_ID, address: FreeDRAM},
1481     SrcName2=name{node_id: MMU_IN_ID, address: [memory, [0]]},
1482     DstName2=name{node_id: DRAM_ID, address: FreeDRAM},
1492         region{node_id:["IN"], blocks:[memory,block{base:0, limit:1000}]},
1493         region{node_id:["OUT"], blocks:[memory,block{base: 0, limit: 1000}]},
1507         region{node_id:["IN"], blocks:[memory, block{base:0, limit:Limit}]},
1508         region{node_id:["OUT"], blocks:[memory, block{base: 0, limit: Limit}]},
1527     name{ node_id: SrcNodeId, address: [K, [ISrcAddr]] } = SrcName,
1528     name{ node_id: DstNodeId, address: [K, [IDstAddr]] } = DstName,