回答編集履歴

2

P.S.追記

2019/10/23 22:19

投稿

rubato6809
rubato6809

スコア1380

test CHANGED
@@ -37,3 +37,31 @@
37
37
 
38
38
 
39
39
  ローカル変数は「スタックポインタ+オフセット」が、その変数のアドレスになることを、当然ながらコンパイラは分かったうえでコードを生成するので、アセンブリコードに変数名を出力することは、まずありません。
40
+
41
+
42
+
43
+ P.S.
44
+
45
+ コンパイルが通っただけでは正しい動作にならないことがたくさんあったはずです。動作しているように見えても、実はおかしな動作をしていた、という経験はありませんでしたか?scanf() が正しく動作したとは、入力したものが期待どおりに変数に格納されたかどうか、結果を確認できて初めて動作できたと言えます。例えば
46
+
47
+ ```C
48
+
49
+ char buffer[10];
50
+
51
+ scanf("%s", buffer); // 入力したものが
52
+
53
+ printf("[%s]\n", buffer); // 格納されたか確認
54
+
55
+ ```
56
+
57
+ アセンブリ言語で書いたコードが正しくscanf()を呼べたかどうかも、やはり同じように結果を確認する必要があります。キーボードでタイプできた、というだけでは正しく動作できたことを意味しません。
58
+
59
+ 結果を表示させて確認する、そのためにC言語ではprintf()から学び始めますね。アセンブリ言語の動作確認をするにも、まずはアセンブリコードで表示して確認する手段を手にいれることが大事です。それには
60
+
61
+ - printf() にパラメータを渡して表示させる手段
62
+
63
+ - Cで自分が書いた表示関数に、手際よく必要なデータを渡す手段
64
+
65
+
66
+
67
+ などを、まずは調査することをお勧めしたいと思います。

1

スタック内のローカル変数領域の使い方を修正

2019/10/23 22:19

投稿

rubato6809
rubato6809

スコア1380

test CHANGED
@@ -8,7 +8,11 @@
8
8
 
9
9
  leal 22(%esp), %eax
10
10
 
11
- movl %eax, 4(%esp)
11
+ movl %eax, 4(%esp) # オフセット4に sample 配列の先頭アドレス
12
+
13
+ movl $LC0, (%esp) # スタックトップ(オフセット0)に "%s"
14
+
15
+ call _scanf # scanf("%s", sample);
12
16
 
13
17
 
14
18
 
@@ -16,9 +20,13 @@
16
20
 
17
21
 
18
22
 
19
- subl $32, %esp した直後から、スタックトップから32バイトは、この関数が自由に使えるローカル変数領域です。32 = 22 + 10 ですから、
23
+ subl $32, %esp した直後から、スタックトップから32バイトは、この関数が自由に使えるローカル変数領域です。32 = 4 + 4 + 14 + 10 ですから、回答を修正しますとスタックトップから
20
24
 
25
+ - 4バイト: "%s" 文字列のアドレス、scanf() の第一引数
26
+
27
+ - 4バイト: 配列 sample のアドレス、scanf() の第二引数
28
+
21
- - 22バイト: 今のところ何にも使わない領域
29
+ - 14バイト: 今のところ何にも使われていない領域
22
30
 
23
31
  - 10バイト: char sample[10] 用の領域
24
32