diff options
| author | Gabriel Kerneis | 2014-03-20 13:55:37 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-03-20 13:55:37 +0000 |
| commit | cc31a8ba8851c301935725a749d2a19620d46abb (patch) | |
| tree | 8438db7f987d91f4a0df8c2b4344195f1d0114b4 /language/l2_parse.ml | |
| parent | 32790be4b54ee7cd6aa3ffa279900d4acaee96a6 (diff) | |
Add missing GPR registers for Power example
Second instruction now executes (but probably not correctly,
check arithmetic since we ignore exts).
Next step is to implement bitwise_or.
Diffstat (limited to 'language/l2_parse.ml')
0 files changed, 0 insertions, 0 deletions