From aa400a9eed939578917810d32ef4fcf79944729d Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Mon, 18 Mar 2019 16:13:22 +0100 Subject: The parent frame pointer is now R17 instead of R14 --- mppa_k1c/Asmblockgen.v | 2 -- 1 file changed, 2 deletions(-) (limited to 'mppa_k1c/Asmblockgen.v') 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 -- cgit