diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-18 16:13:22 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-18 16:13:22 +0100 |
| commit | aa400a9eed939578917810d32ef4fcf79944729d (patch) | |
| tree | 73015b7cf217f2ed172829ee9a68084ff26d4b16 /mppa_k1c/Asmblockgen.v | |
| parent | 4d25fa871e9960d6e01dd4b63acdf367fee5431b (diff) | |
| download | compcert-kvx-aa400a9eed939578917810d32ef4fcf79944729d.tar.gz compcert-kvx-aa400a9eed939578917810d32ef4fcf79944729d.zip | |
The parent frame pointer is now R17 instead of R14
Diffstat (limited to 'mppa_k1c/Asmblockgen.v')
| -rw-r--r-- | mppa_k1c/Asmblockgen.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mppa_k1c/Asmblockgen.v b/mppa_k1c/Asmblockgen.v index 9d682bed..f28102f8 100644 --- a/mppa_k1c/Asmblockgen.v +++ b/mppa_k1c/Asmblockgen.v @@ -25,8 +25,6 @@ Require Import Op Locations Machblock Asmblock. Local Open Scope string_scope. Local Open Scope error_monad_scope. -Notation "'MFP'" := R14 (only parsing). - (** The code generation functions take advantage of several characteristics of the [Mach] code generated by earlier passes of the compiler, mostly that argument and result registers are of the correct |