関数呼び出し前にrspを16バイトアラインメント取らなきゃいけないの分岐以外の方法なくない？と思ってたけど、gcc の出力覗いたらそもそもスタックを確保する時にアラインメント取るようにしてた。なるほどな〜