DIRECTORY AbSets, BiRelBasics, BiRels, IntStuff, LichenArrayPrivate, LichenDataOps, LichenDataStructure, LichenFlatPrivate, LichenIntBasics, Rope, SetBasics; LichenFlatGroup2: CEDAR PROGRAM IMPORTS AbSets, BiRels, LichenDataOps, LichenDataStructure, LichenFlatPrivate, LichenIntBasics, Rope, SetBasics EXPORTS LichenDataOps, LichenFlatPrivate = BEGIN OPEN IS:IntStuff, LIB:LichenIntBasics, LIB, LichenDataStructure, LichenDataOps, LichenFlatPrivate, Sets:AbSets; ExpandType: PUBLIC PROC [d: Design, ct: CellType] RETURNS [newCis: Set] ~ { ExpInst: PROC [civ: Sets.Value] RETURNS [BOOL] ~ { ci: CellInstance ~ NARROW[civ.VA]; ciWas, wireWas: OneToOne; [ciWas, wireWas] _ ExpandInstance[d, ci]; [] _ newCis.AddSet[ciWas.SetOn[left]]; RETURN [FALSE]}; IF d.arrayElt.HasMapA[ct, rightToLeft] THEN ERROR; newCis _ Sets.CreateHashSet[d.eSpace]; IF ct.asArray#NIL AND ct.asu=NIL THEN UnorganizeArray[ct]; IF d.ciType.ScanMapping[AV[ct], ExpInst, rightToLeft].found THEN ERROR; RETURN}; ExpandDesign: PUBLIC PROC [d: Design, cts: Set--of CellType-- _ nilSet] ~ { DisorgCT: PROC [ctv: Sets.Value] RETURNS [BOOL] ~ { ct: CellType ~ NARROW[ctv.VA]; IF ct.asArray#NIL AND ct.asu=NIL THEN UnorganizeArray[ct]; RETURN [FALSE]}; PerCT: PROC [ctv: Sets.Value] RETURNS [BOOL] ~ { ct: CellType ~ NARROW[ctv.VA]; IF ct=d.root THEN RETURN [FALSE]; IF ct.asu#NIL OR ct.asArray#NIL THEN [] _ ExpandType[d, ct]; IF d.cellTypes.HasMember[ctv] AND ct.Unused[] THEN DeleteCellType[ct, NIL]; RETURN [FALSE]}; IF cts=nilSet THEN cts _ d.cellTypes; IF d.arrayElt.ScanImage[cts, DisorgCT, rightToLeft].found THEN ERROR; status^ _ []; IF cts.Scan[PerCT].found THEN ERROR; RETURN}; RaiseGCs: PUBLIC PROC [d: Design, gcs: Set--of CellInstance--] RETURNS [newCis: Set--of CellInstance--] ~ { from, to: CellType; [from, to] _ SplitUnorganized[d, gcs]; RETURN ExpandType[d, to]}; SplitUnorganized: PUBLIC PROC [d: Design, take: Set--of CellInstance--] RETURNS [from, to: CellType] ~ { from _ NARROW[d.cct[i].Image[take].TheElt.VA]; IF NOT d.arrayElt.MappingEmpty[AV[from], rightToLeft] THEN ERROR nyet; {takename: SteppyName ~ VSn[from.fullName[i].Image[take].First[].Val]; fix: OneToOne ~ BiRels.CreateRopeCat[Rope.Cat["-", takename.UnparseSteppyName], suffix]; to _ CreateCellType[d, unorganized, fix.Image[d.CTNames[from]]]; [] _ d.crossedCellTypes.AddA[from]; [] _ d.crossedCellTypes.AddA[to]; {allcis: Set ~ from.Subcells[]; keep: Set ~ allcis.Difference[take].CreateHashCopy[]; tw: Set ~ d.iwConns.Image[take]; kw: Set ~ d.iwConns.Image[keep]; twRoots: Set ~ d.toRoot.Image[tw].CreateHashCopy[]; kwRoots: Set ~ d.toRoot.Image[kw].CreateHashCopy[]; twForest: Set ~ d.toRoot.Image[twRoots, rightToLeft].CreateHashCopy[]; kwForest: Set ~ d.toRoot.Image[kwRoots, rightToLeft].CreateHashCopy[]; dwForest: Set ~ from.CTParts[w].Difference[kwForest].CreateHashCopy[]; bw: Set ~ tw.Intersection[kw]; bwRoots: Set ~ d.toRoot.Image[bw].CreateHashCopy[]; bwForest: Set ~ d.toRoot.Image[bwRoots, rightToLeft].CreateHashCopy[]; npbwForest: Set ~ bwForest .Difference[from.asu.publics] .CreateHashCopy[]; [] _ FullySfwdlyExportWires[from, npbwForest]; IF NOT npbwForest.Subset[from.asu.publics] THEN ERROR; {tp: Set ~ from.asu.exports.Image[twForest, rightToLeft]; kp: Set ~ from.asu.exports.Image[kwForest, rightToLeft]; tpRoots: Set ~ d.toRoot.Image[tp].CreateHashCopy[]; kpRoots: Set ~ d.toRoot.Image[kp].CreateHashCopy[]; tpForest: Set ~ d.toRoot.Image[tpRoots, rightToLeft].CreateHashCopy[]; kpForest: Set ~ d.toRoot.Image[kpRoots, rightToLeft].CreateHashCopy[]; dpForest: Set ~ from.CTParts[p].Difference[kpForest].CreateHashCopy[]; portWas: OneToOne ~ CopyPWStructure[from, to, p, tpForest, nilSet]; wireWas: OneToOne ~ CopyPWStructure[from, to, w, twForest, nilSet]; ciWas: OneToOne ~ CopyInstStructure[from, to, take, nilSet, wireWas, [], ALL[0]]; FixInst: PROC [ociv: Sets.Value] RETURNS [BOOL] ~ { oci: CellInstance ~ NARROW[ociv.VA]; cct: CellType ~ d.CiCct[oci]; nci: CellInstance ~ Instantiate[to, cct, FALSE, IF d.physd THEN VXfm[d.ciXfm.ApplyA[oci].Val] ELSE [], oci.offset, cct.INames[oci]]; ConnectPWs[d, portWas.Compose[oci.conns], nci]; RETURN [FALSE]}; ConnectPWs[d, portWas.Compose[from.asu.exports.Compose[wireWas.Invert]], to]; IF d.ciType.ScanMapping[AV[from], FixInst, rightToLeft].found THEN ERROR; DeletePorts[from, dpForest, TRUE, FALSE]; DeleteWires[from, dwForest, TRUE]; DeleteInsts[d, take, TRUE]; RETURN}}}}; END. \LichenFlatGroup2.Mesa Last tweaked by Mike Spreitzer on April 6, 1989 5:43:23 pm PDT ÊT– "cedar" style˜codešœ™Kšœ>™>—K˜KšÏk œ”˜K˜šÏnœœ˜Kšœh˜oKšœ!˜(K˜—K˜Kšœœœœœ9žœ˜uK˜šž œœœœ˜Kšžœœœœ˜2Kšœœœ˜"Kšœ˜Kšœ)˜)Kšœ&˜&Kšœœ˜—Kšœ%œœ˜2Kšœ&˜&Kš œœœœœ˜:Kšœœ"œœ˜GKšœ˜—K˜šžœœœÏcœ˜Kšžœœœœ˜3Kšœœœ˜Kš œœœœœ˜:Kšœœ˜—šžœœœœ˜0Kšœœœ˜Kšœœœœ˜!Kš œœœœœ˜î