From 467eb744ae2e7d913744c04866fa3e1a4558cdbe Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 5 Jul 2019 15:50:26 +0200 Subject: Update documentation of -Obranchless Updated man page + better usage message. --- driver/Driver.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index 88be8933..bd2b4cee 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -187,7 +187,7 @@ Processing options: -O0 Do not optimize the compiled code -O1 -O2 -O3 Synonymous for -O -Os Optimize for code size in preference to code speed - -Obranchless Optimize to avoid conditional branches; try to generate + -Obranchless Optimize to generate fewer conditional branches; try to produce branch-free instruction sequences as much as possible -ftailcalls Optimize function calls in tail position [on] -fconst-prop Perform global constant propagation [on] -- cgit