diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2014-03-04 14:40:34 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2014-03-04 14:40:34 -0800 |
| commit | 9f910ce11ea99737c65a1cd9af11482af5f6b8e3 (patch) | |
| tree | 6ac1bf033da8d9a579e5796bc91dc4d46b4d6eab /emscripten.py | |
| parent | 580bd53290c73ccf66d2c41bd964459c7788451e (diff) | |
Pass OPT_LEVEL into llc's -O option.
Diffstat (limited to 'emscripten.py')
| -rwxr-xr-x | emscripten.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emscripten.py b/emscripten.py index 7f8b5505..5c9275c2 100755 --- a/emscripten.py +++ b/emscripten.py @@ -748,6 +748,7 @@ def emscript_fast(infile, settings, outfile, libraries=[], compiler_engine=None, backend_args += ['-emscripten-reserved-function-pointers=%d' % settings['RESERVED_FUNCTION_POINTERS']] if settings['ASSERTIONS'] > 0: backend_args += ['-emscripten-assertions=%d' % settings['ASSERTIONS']] + backend_args += ['-O' + str(settings['OPT_LEVEL'])] if DEBUG: logging.debug('emscript: llvm backend: ' + ' '.join(backend_args)) t = time.time() |