diff options
| author | Brian Campbell | 2017-08-17 10:30:34 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-08-17 10:30:34 +0100 |
| commit | f88cb793118d28d061fdee4d5bd8317f541136b8 (patch) | |
| tree | e71c1bf514a01288f56b9d59f8bcdc6ec749f39e /mips | |
| parent | f5ce4223dbd99349fd1cdbeb99a2839a799589c5 (diff) | |
| parent | c6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff) | |
Merge remote-tracking branch 'origin' into mono-experiments
# Conflicts:
# src/type_internal.ml
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/hgen/regs_out_in.hgen | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/mips/hgen/regs_out_in.hgen b/mips/hgen/regs_out_in.hgen deleted file mode 100644 index 8e1fd093..00000000 --- a/mips/hgen/regs_out_in.hgen +++ /dev/null @@ -1,5 +0,0 @@ -(* for each instruction instance, identify the role of the registers - and possible branching: (outputs, inputs, voidstars, branch) *) - -| `MIPSAdd -> - ([], [], [], [Next]) |