diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-21 22:42:32 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-21 22:42:32 +0200 |
commit | 25547c7d1f6a0fb75ff1d8e7287d9305e0dbf293 (patch) | |
tree | 22e72881226f3a5661f335605e99d6243bf39f41 /driver | |
parent | 1bd4d678fb719a6a52ade232eb2b36a6e621677a (diff) | |
download | compcert-kvx-25547c7d1f6a0fb75ff1d8e7287d9305e0dbf293.tar.gz compcert-kvx-25547c7d1f6a0fb75ff1d8e7287d9305e0dbf293.zip |
generate mkpass
Diffstat (limited to 'driver')
-rw-r--r-- | driver/Compiler.vexpand | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/driver/Compiler.vexpand b/driver/Compiler.vexpand index d0ba33d3..c044d9ef 100644 --- a/driver/Compiler.vexpand +++ b/driver/Compiler.vexpand @@ -208,24 +208,7 @@ Definition CompCert's_passes := ::: mkpass Cminorgenproof.match_prog ::: mkpass Selectionproof.match_prog ::: mkpass RTLgenproof.match_prog - ::: mkpass (match_if Compopts.optim_tailcalls Tailcallproof.match_prog) - ::: mkpass Inliningproof.match_prog - ::: mkpass (match_if Compopts.profile_arcs Profilingproof.match_prog) - ::: mkpass (match_if Compopts.branch_probabilities ProfilingExploitproof.match_prog) - ::: mkpass (match_if Compopts.optim_move_loop_invariants FirstNopproof.match_prog) - ::: mkpass Renumberproof.match_prog - ::: mkpass (match_if Compopts.optim_duplicate Duplicateproof.match_prog) - ::: mkpass Renumberproof.match_prog - ::: mkpass (match_if Compopts.optim_constprop Constpropproof.match_prog) - ::: mkpass (match_if Compopts.optim_move_loop_invariants LICMproof.match_prog) - ::: mkpass (match_if Compopts.optim_move_loop_invariants Renumberproof.match_prog) - ::: mkpass (match_if Compopts.optim_CSE CSEproof.match_prog) - ::: mkpass (match_if Compopts.optim_CSE2 CSE2proof.match_prog) - ::: mkpass (match_if Compopts.optim_CSE3 CSE3proof.match_prog) - ::: mkpass (match_if Compopts.optim_forward_moves ForwardMovesproof.match_prog) - ::: mkpass (match_if Compopts.optim_redundancy Deadcodeproof.match_prog) - ::: mkpass (match_if Compopts.all_loads_nontrap Allnontrapproof.match_prog) - ::: mkpass Unusedglobproof.match_prog +EXPAND_RTL_MKPASS ::: mkpass Allocproof.match_prog ::: mkpass Tunnelingproof.match_prog ::: mkpass Linearizeproof.match_prog |