Missing various Sail primitives

[cfbolz]

The ARM model contains calls to a number of extra primitives that we don't implement yet:

arith_shiftr: (%bv, %i) ->  %bv
set_slice_int: (%i, %i, %i, %bv) ->  %i

undefined_int: (%unit) ->  %i
undefined_range: (%i, %i) ->  %i

prerr_int: (%string, %i) ->  %unit
sail_putchar: (%i) ->  %unit

you can look at the C code in Sail what they are supposed to do.

The implementations go into pydrofoil/supportcode.py, pydrofoil/bitvector.py and the tests into pydrofoil/test/test_supportcode.py.

[cfbolz]

I have just done sail_putchar

[cfbolz]

also arith_shiftr