From 192bd462233d0284fa3d5f8e8994a514b549713e Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 13 Aug 2019 17:13:46 +0200 Subject: Allow Long as const result for ppc64 variant. Since the ppc64 has 64 bit registers it is okay to have a 64 bit constant result. --- powerpc/ConstpropOp.vp | 1 + 1 file changed, 1 insertion(+) (limited to 'powerpc/ConstpropOp.vp') diff --git a/powerpc/ConstpropOp.vp b/powerpc/ConstpropOp.vp index cf1dc6e8..8e90a849 100644 --- a/powerpc/ConstpropOp.vp +++ b/powerpc/ConstpropOp.vp @@ -23,6 +23,7 @@ Require Import ValueDomain ValueAOp. Definition const_for_result (a: aval) : option operation := match a with | I n => Some(Ointconst n) + | L n => if Archi.ppc64 then Some (Olongconst n) else None | F n => if Compopts.generate_float_constants tt then Some(Ofloatconst n) else None | FS n => if Compopts.generate_float_constants tt then Some(Osingleconst n) else None | Ptr(Gl id ofs) => Some (Oaddrsymbol id ofs) -- cgit