From 5587a3a45d9fb706e97f13b836fe4021179d1aeb Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Wed, 1 Sep 2021 13:25:38 +0100 Subject: Give more specific reasons for Renaming failing --- src/hls/Renaming.v | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/hls/Renaming.v b/src/hls/Renaming.v index 9062e13..ab14ba4 100644 --- a/src/hls/Renaming.v +++ b/src/hls/Renaming.v @@ -187,7 +187,11 @@ Definition renumber_module (m : HTL.module) : mon HTL.module := MORD WFRAM WFPARAMS) - | _, _, _, _, _ => error (Errors.msg "More than 2^32 states.") + | right _, _, _, _, _ => error (Errors.msg "Renaming: More than 2^32 datapath states") + | _, right _, _, _, _ => error (Errors.msg "Renaming: More than 2^32 controlpath states") + | _, _, right _, _, _ => error (Errors.msg "Renaming: Incorrect ordering of control registers") + | _, _, _, right _, _ => error (Errors.msg "Renaming: Parameter registers conflict with control registers") + | _, _, _, _, None => error (Errors.msg "Renaming: Ram address register conflicts with control registers") end. Definition renumber_fundef (fundef : HTL.fundef) : mon HTL.fundef := -- cgit