Labels Milestones

New Issue

Load instruction checks #8

Open

opened 2 years ago by Jean-François Nguyen · 0 comments

Jean-François Nguyen commented 2 years ago

Collaborator

Load instruction checks

Instructions

D-form:

• lbz
• lbzu
• lhz
• lhzu
• lha
• lhau
• lwz
• lwzu

DS-form:

• lwa
• ld
• ldu

MLS:D-form:

• plbz
• plhz
• plha
• plwz

8LS:D-form:

• plwa
• pld

X-form:

• lbzx
• lbzux
• lhzx
• lhzux
• lhax
• lhaux
• lwzx
• lwzux
• lwax
• lwaux
• ldx
• ldux

Invalid forms

Prefixed Load:

• (R == 1) and (RA != 0)

Load With Update:

• (RA == 0) or (RA == RT)

GPR access

RA (read):

• all

RA (write):

• 'u' suffix (Load With Update)

RB (read):

• 'x' suffix (X-form)

RT (write):

• all

Load instruction checks ======================= Instructions ------------ D-form: - `lbz` - `lbzu` - `lhz` - `lhzu` - `lha` - `lhau` - `lwz` - `lwzu` DS-form: - `lwa` - `ld` - `ldu` MLS:D-form: - `plbz` - `plhz` - `plha` - `plwz` 8LS:D-form: - `plwa` - `pld` X-form: - `lbzx` - `lbzux` - `lhzx` - `lhzux` - `lhax` - `lhaux` - `lwzx` - `lwzux` - `lwax` - `lwaux` - `ldx` - `ldux` Invalid forms ------------- Prefixed Load: - `(R == 1) and (RA != 0)` Load With Update: - `(RA == 0) or (RA == RT)` GPR access ---------- RA (read): - all RA (write): - 'u' suffix (Load With Update) RB (read): - 'x' suffix (X-form) RT (write): - all

Jean-François Nguyen referenced this issue 2 years ago

Scalar Fixed-Point Compliancy Subset (SFS) #15

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

dinofly

main

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: cores/power-fv#8

Write Preview

Loading…

Cancel

Save

There is no content yet.