From bbe0809b3cd483ce5fc82e4f2d0a106823c54f26 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 14 Mar 2020 09:19:26 +0100 Subject: CSE3 alias analysis --- driver/Compopts.v | 3 +++ 1 file changed, 3 insertions(+) (limited to 'driver/Compopts.v') diff --git a/driver/Compopts.v b/driver/Compopts.v index 1f952164..f1ab4f7b 100644 --- a/driver/Compopts.v +++ b/driver/Compopts.v @@ -46,6 +46,9 @@ Parameter optim_CSE2: unit -> bool. (** Flag -fcse3. For DMonniaux's common subexpression elimination. *) Parameter optim_CSE3: unit -> bool. +(** Flag -fcse3-alias-analysis. For DMonniaux's common subexpression elimination. *) +Parameter optim_CSE3_alias_analysis: unit -> bool. + (** Flag -fredundancy. For dead code elimination. *) Parameter optim_redundancy: unit -> bool. -- cgit