From 840899319d3a19269a6afe6f60e3a43d58647865 Mon Sep 17 00:00:00 2001 From: Justus Fasse Date: Tue, 7 Jul 2020 09:46:13 +0200 Subject: Remove Pfsel which is currently identical to Pcsel (since the grouping instructions by pregs) --- aarch64/Asmblock.v | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'aarch64/Asmblock.v') diff --git a/aarch64/Asmblock.v b/aarch64/Asmblock.v index a8157b17..b61288e9 100644 --- a/aarch64/Asmblock.v +++ b/aarch64/Asmblock.v @@ -388,9 +388,7 @@ Inductive arith_ppp : Type := Inductive arith_c_ppp : Type := (** Conditional data processing *) - | Pcsel (**r int conditional move *) - (** Floating-point conditional select *) - | Pfsel + | Pcsel (**r int/float conditional move *) . Inductive arith_rr0r : Type := -- cgit