Correct usage of ia32_emitf() in emit_ia32_SwitchJmp().
[libfirm] / support /
drwxr-xr-x   ..
drwxr-xr-x - libfirmprof