added the Power model

1 files changed, 202 insertions, 0 deletions

diff --git a/power/gen/ast.gen b/power/gen/ast.gen
new file mode 100644
index 00000000..fdc12609
--- /dev/null
+++ b/power/gen/ast.gen
@@ -0,0 +1,202 @@
+  | `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