handle x-flag, prologue_saves, epilogue_restores