質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
アセンブリ言語

アセンブリ言語とは、機械語を人間にわかりやすい形で記述した低水準言語です。

MacOS(OSX)

MacOSとは、Appleの開発していたGUI(グラフィカルユーザーインターフェース)を採用したオペレーションシステム(OS)です。Macintoshと共に、市場に出てGUIの普及に大きく貢献しました。

Q&A

解決済

1回答

1515閲覧

アセンブリからのC関数呼び出しにスタックが必要な理由について

remniscate

総合スコア10

アセンブリ言語

アセンブリ言語とは、機械語を人間にわかりやすい形で記述した低水準言語です。

MacOS(OSX)

MacOSとは、Appleの開発していたGUI(グラフィカルユーザーインターフェース)を採用したオペレーションシステム(OS)です。Macintoshと共に、市場に出てGUIの普及に大きく貢献しました。

0グッド

1クリップ

投稿2017/07/16 11:25

こんにちは。現在アセンブリの勉強をしているのですが以下のコードが理解できません。
macOS, x86_64でのコードになります。

.global _main .section __TEXT,__text _main: // pushq $0 leaq _fmt(%rip), %rdi callq _puts // popq %rax retq .section __DATA,__data _fmt: .asciz "hello"

$ cc z.s && ./a.out
[1] 21355 segmentation fault ./a.out

関数呼び出し前にスタックに何らかの値を積むとエラーを回避できるのですが、
何故そのような操作が必要なのかどなたかご教授頂けないでしょうか。
なおリファレンスがあるとありがたいです。

同様のコード

.globl main .section .text main: leaq fmt(%rip), %rdi callq puts retq .section .data fmt: .asciz "hello"

が linux(docker)上で動く事は確認しております。

よろしくお願いします。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

自己解決

すみません。解決しました。%rspが16 byte alignになっていなかったのが原因の様です。

.global _main .section __TEXT,__text _main: movq %rsp, %rbx andq $~15, %rsp leaq _fmt(%rip), %rdi callq _puts movq %rbx, %rsp retq .section __DATA,__data _fmt: .asciz "hello"

が正常に動く事を確認しました。

投稿2017/07/16 11:43

remniscate

総合スコア10

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

strike1217

2017/07/16 12:24

これは、main関数からputs()を呼び出し、文字列を表示するプログラムを作りたかった・・・ということですか?
strike1217

2017/07/16 12:35

andq $~15, %rsp この場合のチルダはどういう意味でしょうか??
remniscate

2017/07/16 12:50

アセンブリからのC関数の呼び出しが失敗する事があったので何故かと考えたらSPのアラインメントについては知らなかったという事です。 チルダはbitwise notですね。i&~(n-1)はiをnアラインメントで切り捨てるための定石みたいなものですね。 
strike1217

2017/07/16 12:54

Cと同じくnotなんですね。 addq $-16, %rsp でもできましたわ。 スタックの操作をしないでも関数を作成できるんですね。勉強になりました。 1つ気になるのが・・・・ mac os では、mainではなく、_mainなんですか?
strike1217

2017/07/16 13:00

addq $-4, %rspでもできるので、必ずしも16Byteアライメントでなくても良いようですね。
remniscate

2017/07/16 13:14

macでは全ての識別子に_がつきますね。putsとかも。 > addq $-4, %rspでもできるので、必ずしも16Byteアライメントでなくても良いようですね。 ABIによると思います。 エラーがでた時のSPが8byteアラインメントだったので自分の環境では必要ですね。 http://qiita.com/yohhoy/items/54633faf0546f8cd0e3a
strike1217

2017/07/16 14:09

なるほど! 勉強になりましたわ。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問