Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
974755eb
Commit
974755eb
authored
Jan 14, 2021
by
Léo Gourdin
Browse files
Fix --help for prepass (default on)
parent
2d086fdf
Changes
1
Hide whitespace changes
Inline
Side-by-side
driver/Driver.ml
View file @
974755eb
...
...
@@ -207,7 +207,7 @@ Processing options:
-
fmove
-
loop
-
invariants
Perform
loop
-
invariant
code
motion
[
off
]
-
fredundancy
Perform
redundancy
elimination
[
on
]
-
mtune
=
Type
of
CPU
(
for
scheduling
on
some
architectures
)
-
fprepass
Perform
prepass
scheduling
(
only
on
some
architectures
)
[
o
ff
]
-
fprepass
Perform
prepass
scheduling
(
only
on
some
architectures
)
[
o
n
]
-
fprepass
=
<
optim
>
Perform
postpass
scheduling
with
the
specified
optimization
[
list
]
(
<
optim
>=
list
:
list
scheduling
,
<
optim
>=
ilp
:
ILP
,
<
optim
>=
greedy
:
just
packing
bundles
)
-
fpostpass
Perform
postpass
scheduling
(
only
for
K1
architecture
)
[
on
]
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment