Remove old specs that have more up to date version

Move outdated things into old subdirectory

1 files changed, 0 insertions, 202 deletions

diff --git a/power/gen/ast.gen b/power/gen/ast.gen
deleted file mode 100644
index fdc12609..00000000
--- a/power/gen/ast.gen
+++ /dev/null
@@ -1,202 +0,0 @@
-  | `Pb of setaa*setlk*k
-  | `Pbc of setaa*setlk*k*k*k
-  | `Pbclr of setlk*k*k*k
-  | `Pbcctr of setlk*k*k*k
-  | `Pcrand of k*k*k
-  | `Pcrnand of k*k*k
-  | `Pcror of k*k*k
-  | `Pcrxor of k*k*k
-  | `Pcrnor of k*k*k
-  | `Pcreqv of k*k*k
-  | `Pcrandc of k*k*k
-  | `Pcrorc of k*k*k
-  | `Pmcrf of crindex*k
-  | `Psc of k
-  | `Pscv of k
-  | `Plbz of reg*k*reg
-  | `Plbzx of reg*reg*reg
-  | `Plbzu of reg*k*reg
-  | `Plbzux of reg*reg*reg
-  | `Plhz of reg*k*reg
-  | `Plhzx of reg*reg*reg
-  | `Plhzu of reg*k*reg
-  | `Plhzux of reg*reg*reg
-  | `Plha of reg*k*reg
-  | `Plhax of reg*reg*reg
-  | `Plhau of reg*k*reg
-  | `Plhaux of reg*reg*reg
-  | `Plwz of reg*k*reg
-  | `Plwzx of reg*reg*reg
-  | `Plwzu of reg*k*reg
-  | `Plwzux of reg*reg*reg
-  | `Plwa of reg*ds*reg
-  | `Plwax of reg*reg*reg
-  | `Plwaux of reg*reg*reg
-  | `Pld of reg*ds*reg
-  | `Pldx of reg*reg*reg
-  | `Pldu of reg*ds*reg
-  | `Pldux of reg*reg*reg
-  | `Pstb of reg*k*reg
-  | `Pstbx of reg*reg*reg
-  | `Pstbu of reg*k*reg
-  | `Pstbux of reg*reg*reg
-  | `Psth of reg*k*reg
-  | `Psthx of reg*reg*reg
-  | `Psthu of reg*k*reg
-  | `Psthux of reg*reg*reg
-  | `Pstw of reg*k*reg
-  | `Pstwx of reg*reg*reg
-  | `Pstwu of reg*k*reg
-  | `Pstwux of reg*reg*reg
-  | `Pstd of reg*ds*reg
-  | `Pstdx of reg*reg*reg
-  | `Pstdu of reg*ds*reg
-  | `Pstdux of reg*reg*reg
-  | `Plq of k*k*reg*k
-  | `Pstq of k*ds*reg
-  | `Plhbrx of reg*reg*reg
-  | `Psthbrx of reg*reg*reg
-  | `Plwbrx of reg*reg*reg
-  | `Pstwbrx of reg*reg*reg
-  | `Pldbrx of reg*reg*reg
-  | `Pstdbrx of reg*reg*reg
-  | `Plmw of reg*k*reg
-  | `Pstmw of reg*k*reg
-  | `Plswi of k*reg*k
-  | `Plswx of reg*reg*reg
-  | `Pstswi of k*reg*k
-  | `Pstswx of k*reg*reg
-  | `Paddi of reg*reg*k
-  | `Paddis of reg*reg*k
-  | `Padd of setsoov*setcr0*reg*reg*reg
-  | `Psubf of setsoov*setcr0*reg*reg*reg
-  | `Paddic of reg*reg*k
-  | `Paddicdot of reg*reg*k
-  | `Psubfic of reg*reg*k
-  | `Paddc of setsoov*setcr0*reg*reg*reg
-  | `Psubfc of setsoov*setcr0*reg*reg*reg
-  | `Padde of setsoov*setcr0*reg*reg*reg
-  | `Psubfe of setsoov*setcr0*reg*reg*reg
-  | `Paddme of setsoov*setcr0*reg*reg
-  | `Psubfme of setsoov*setcr0*reg*reg
-  | `Paddze of setsoov*setcr0*reg*reg
-  | `Psubfze of setsoov*setcr0*reg*reg
-  | `Pneg of setsoov*setcr0*reg*reg
-  | `Pmulli of reg*reg*k
-  | `Pmullw of setsoov*setcr0*reg*reg*reg
-  | `Pmulhw of setcr0*reg*reg*reg
-  | `Pmulhwu of setcr0*reg*reg*reg
-  | `Pdivw of setsoov*setcr0*reg*reg*reg
-  | `Pdivwu of setsoov*setcr0*reg*reg*reg
-  | `Pdivwe of setsoov*setcr0*reg*reg*reg
-  | `Pdivweu of setsoov*setcr0*reg*reg*reg
-  | `Pmulld of setsoov*setcr0*reg*reg*reg
-  | `Pmulhd of setcr0*reg*reg*reg
-  | `Pmulhdu of setcr0*reg*reg*reg
-  | `Pdivd of setsoov*setcr0*reg*reg*reg
-  | `Pdivdu of setsoov*setcr0*reg*reg*reg
-  | `Pdivde of setsoov*setcr0*reg*reg*reg
-  | `Pdivdeu of setsoov*setcr0*reg*reg*reg
-  | `Pcmpi of crindex*k*reg*k
-  | `Pcmp of crindex*k*reg*reg
-  | `Pcmpli of crindex*k*reg*k
-  | `Pcmpl of crindex*k*reg*reg
-  | `Pisel of reg*reg*reg*k
-  | `Pandi of reg*reg*k
-  | `Pandis of reg*reg*k
-  | `Pori of reg*reg*k
-  | `Poris of reg*reg*k
-  | `Pxori of reg*reg*k
-  | `Pxoris of reg*reg*k
-  | `Pand of setcr0*reg*reg*reg
-  | `Pxor of setcr0*reg*reg*reg
-  | `Pnand of setcr0*reg*reg*reg
-  | `Por of setcr0*reg*reg*reg
-  | `Pnor of setcr0*reg*reg*reg
-  | `Peqv of setcr0*reg*reg*reg
-  | `Pandc of setcr0*reg*reg*reg
-  | `Porc of setcr0*reg*reg*reg
-  | `Pextsb of setcr0*reg*reg
-  | `Pextsh of setcr0*reg*reg
-  | `Pcntlzw of setcr0*reg*reg
-  | `Pcmpb of reg*k*reg
-  | `Ppopcntb of reg*reg
-  | `Ppopcntw of reg*reg
-  | `Pprtyd of reg*reg
-  | `Pprtyw of reg*reg
-  | `Pextsw of setcr0*reg*reg
-  | `Pcntlzd of setcr0*reg*reg
-  | `Ppopcntd of reg*reg
-  | `Pbpermd of reg*reg*reg
-  | `Prlwinm of setcr0*reg*reg*k*k*k
-  | `Prlwnm of setcr0*reg*reg*reg*k*k
-  | `Prlwimi of setcr0*reg*reg*k*k*k
-  | `Prldicl of setcr0*reg*reg*k*k
-  | `Prldicr of setcr0*reg*reg*k*k
-  | `Prldic of setcr0*reg*reg*k*k
-  | `Prldcl of setcr0*reg*reg*reg*k
-  | `Prldcr of setcr0*reg*reg*reg*k
-  | `Prldimi of setcr0*reg*reg*k*k
-  | `Pslw of setcr0*reg*reg*reg
-  | `Psrw of setcr0*reg*reg*reg
-  | `Psrawi of setcr0*reg*reg*k
-  | `Psraw of setcr0*reg*reg*reg
-  | `Psld of setcr0*reg*reg*reg
-  | `Psrd of setcr0*reg*reg*reg
-  | `Psradi of setcr0*reg*reg*k
-  | `Psrad of setcr0*reg*reg*reg
-  | `Pcdtbcd of reg*reg
-  | `Pcbcdtd of reg*reg
-  | `Paddg6s of reg*reg*reg
-  | `Pmtspr of k*reg
-  | `Pmfspr of reg*k
-  | `Pmtcrf of crmask*reg
-  | `Pmfcr of reg
-  | `Pmtocrf of crmask*reg
-  | `Pmfocrf of reg*crmask
-  | `Pmcrxr of crindex
-  | `Pdlmzb of setcr0*reg*reg*reg
-  | `Pmacchw of setsoov*setcr0*reg*reg*reg
-  | `Pmacchws of setsoov*setcr0*reg*reg*reg
-  | `Pmacchwu of setsoov*setcr0*reg*reg*reg
-  | `Pmacchwsu of setsoov*setcr0*reg*reg*reg
-  | `Pmachhw of setsoov*setcr0*reg*reg*reg
-  | `Pmachhws of setsoov*setcr0*reg*reg*reg
-  | `Pmachhwu of setsoov*setcr0*reg*reg*reg
-  | `Pmachhwsu of setsoov*setcr0*reg*reg*reg
-  | `Pmaclhw of setsoov*setcr0*reg*reg*reg
-  | `Pmaclhws of setsoov*setcr0*reg*reg*reg
-  | `Pmaclhwu of setsoov*setcr0*reg*reg*reg
-  | `Pmaclhwsu of setsoov*setcr0*reg*reg*reg
-  | `Pmulchw of setcr0*reg*reg*reg
-  | `Pmulchwu of setcr0*reg*reg*reg
-  | `Pmulhhw of setcr0*reg*reg*reg
-  | `Pmulhhwu of setcr0*reg*reg*reg
-  | `Pmullhw of setcr0*reg*reg*reg
-  | `Pmullhwu of setcr0*reg*reg*reg
-  | `Pnmacchw of setsoov*setcr0*reg*reg*reg
-  | `Pnmacchws of setsoov*setcr0*reg*reg*reg
-  | `Pnmachhw of setsoov*setcr0*reg*reg*reg
-  | `Pnmachhws of setsoov*setcr0*reg*reg*reg
-  | `Pnmaclhw of setsoov*setcr0*reg*reg*reg
-  | `Pnmaclhws of setsoov*setcr0*reg*reg*reg
-  | `Picbi of reg*reg
-  | `Picbt of k*reg*reg
-  | `Pdcba of reg*reg
-  | `Pdcbt of reg*reg*k
-  | `Pdcbtst of reg*reg*k
-  | `Pdcbz of reg*reg
-  | `Pdcbst of reg*reg
-  | `Pdcbf of reg*reg*k
-  | `Pisync
-  | `Plbarx of reg*reg*reg*k
-  | `Plharx of reg*reg*reg*k
-  | `Plwarx of reg*reg*reg*k
-  | `Pstbcx of reg*reg*reg
-  | `Psthcx of reg*reg*reg
-  | `Pstwcx of reg*reg*reg
-  | `Pldarx of reg*reg*reg*k
-  | `Pstdcx of reg*reg*reg
-  | `Psync of k
-  | `Peieio
-  | `Pwait of k