search

formalsec / waspc

OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
Apache License 2.0
0 stars 2 forks source link

Inline functions #1

Open filipeom opened 1 year ago

filipeom commented 1 year ago

llvm-opt can't inline this with -O3:

  (func $__WASP_symb_int (type 2) (param i32) (result i32)
    call $i32_symbol)
  (func $__original_main (type 0) (result i32)
    (local i32 i32)
    i32.const 1026
    call $__WASP_symb_int

This might be due to debug symbols?