powerpc-0.0.1: Tools for PowerPC programs.

Language.PowerPC.RTL

Synopsis

Documentation

data RTL a Source

Constructors

RTL (Stmt -> (a, Stmt)) 

Instances

data Stmt Source

Constructors

Seq [Stmt] 
Assign [Cond] E E 
If E Stmt Stmt 
While E Stmt 

Instances

data E Source

Constructors

V String 
C Integer 
Add E E 
Sub E E 
Mul E E 
Div E E 
Not E 
And E E 
Or E E 
BWNot E 
BWAnd E E 
BWOr E E 
Shift E E 
Eq E E 
Lt E E 
Null 
Bit E Int E 
AA 
BA 
BB 
BD 
BF 
BI 
BO 
BT 
CA' 
CIA 
CR' 
CRField E 
CTR 
D 
EA 
EXTS Int E 
GPR E 
L10 
L15 
LI 
LK 
LR 
MASK E E

Mask start stop

MB5 
MB6 
ME5 
ME6 
MEM E Int 
MSR 
NIA 
OE 
RAI 
RA 
RB 
Rc 
ROTL32 E E

ROTL32 value amount

ROTL64 E E

ROTL64 value amount

RS 
RSI 
RT 
RTI 
SH5 
SH6 
SI 
SPR 
UI 
XER 

Instances

Eq E 
Num E 
Ord E 
Show E 
Bits E 

data Cond Source

Constructors

CA E 
OV E 
CR E E 

Instances

(<==) :: E -> E -> RTL ()Source

assign :: [Cond] -> E -> E -> RTL ()Source

cmp :: [Cond] -> E -> E -> RTL ()Source

if' :: E -> RTL () -> RTL () -> RTL ()Source

(==.) :: E -> E -> ESource

(/=.) :: E -> E -> ESource

(<.) :: E -> E -> ESource

Less than.

(<=.) :: E -> E -> ESource

Less than or equal.

(>.) :: E -> E -> ESource

Greater than.

(>=.) :: E -> E -> ESource

Greater than or equal.

(&&.) :: E -> E -> ESource

(||.) :: E -> E -> ESource