minor update to optimized llvm out

PLSysSec · Nov 10, 2018 · 2743304 · 2743304
1 parent 62df557
commit 2743304
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/command_util.ml b/src/command_util.ml
@@ -105,17 +105,19 @@ let output_assembly args out_file =
     let fpic_arg = if args.fpic then "-fpic" else "" in
     let opt_arg =
       match args.opt_level with
+        | O0 -> "-O0"
+        | O1 -> "-O1"
         | O2 -> "-O2"
         | O3 -> "-O3"
-        | _ -> "" in
+        | OF -> "-OF" in
       if args.llvm_out then
         run_command "clang-6.0" [|"clang-6.0"; "-S"; "-emit-llvm"; opt_arg;
                                   "-mavx";
                                   "-fno-strict-aliasing";
                                   "-fno-strict-overflow";
                                   "-fstack-protector";
                                   "-mretpoline";
-                                  out_file_bc; "-o"; out_file_ll|] true |> ignore;
+                                  fpic_arg; out_file_bc; "-o"; out_file_ll|] true |> ignore;
       run_command "clang-6.0" [|"clang-6.0"; "-S"; opt_arg;
                                 "-mavx";
                                 "-fno-strict-aliasing";