ia32_Leave does not need esp as input operand, it only overwrites it.
[libfirm] / include /
drwxr-xr-x   ..
drwxr-xr-x - libfirm