Latest comments for language 'Smalltalk' on doukaku.org

sumim's comment on inline/embeded bytecode assembly

inline/embeded bytecode assembly (Nested Flatten)

Squeak Smalltalk で。

Smalltalk にはインラインでバイトコードを記述する機能はないので、代わりに通常 Smalltalk では表現できない C言語のスイッチ文（ラベルへのジャンプ）で書かれたDuff's deviceの動きを真似たメソッドを生成する操作を記述することにトライしてみました。

まず元になるコード（そのままでは機能しない）をコンパイルしたメソッドを処理系に生成させ、そのバイト列に対しあらためて、やはり Smalltalk にはない（が、バイトコード命令にはある）ジャンプ命令である「A4 00」を挿入して呼び出しに用いる最終的なメソッド（バイトコード列）を再構成しました。

ジャンプ命令「A4 00」の２バイト目は飛ぶ先（A4 の場合下流）を示します。「00」だと結果的にジャンプはせず次のバイトコードを実行するだけですが、このメソッドには実行時に与えられた配列のサイズによって自分のジャンプ先を動的に書き換える操作をあらかじめ加え、それによってお題のDuff's deviceの動きをシュミレートしています。

組み上がったメソッドはクラスには属させず #valueWithReceiver:arguments: でレシーバを含めた引数を与えて静的に呼び出しています。実行後のコードの内容を末尾のコメントに示しました。各行は「先頭からのバイト数 <バイトコード> 操作内容」という書式になっています。

| code original modified src dst |
code := 'copyFrom: src
    | idx mod |
    idx := src size.
    mod := idx negated \\ 4.
    thisContext method at: 50 put: mod * 11.
    [   self at: idx put: (src at: idx). idx := idx - 1.
        self at: idx put: (src at: idx). idx := idx - 1.
        self at: idx put: (src at: idx). idx := idx - 1.
        self at: idx put: (src at: idx). idx := idx - 1.
        idx > 0
    ] whileTrue'.

original := (Parser new parse: code class: WriteStream) generate asArray.
modified := ((original first: 48), #(16rA4 0), (original allButFirst: 48)).

src := 1 to: 10.
dst := Array new: src size.
(modified as: CompiledMethod) inspect; valueWithReceiver: dst arguments: {src}.
^dst   "=> #(1 2 3 4 5 6 7 8 9 10) "


"
33 <10> pushTemp: 0
34 <C2> send: size
35 <69> popIntoTemp: 1
36 <11> pushTemp: 1
37 <D0> send: negated
38 <21> pushConstant: 4
39 <BA> send: \\
40 <6A> popIntoTemp: 2
41 <89> pushThisContext: 
42 <D2> send: method
43 <23> pushConstant: 50
44 <12> pushTemp: 2
45 <24> pushConstant: 11
46 <B8> send: *
47 <C1> send: at:put:
48 <87> pop
49 <A4 16> jumpTo: 73   -- 追加されたジャンプ命令（ジャンプ先書き換え済み）
51 <70> self
52 <11> pushTemp: 1
53 <10> pushTemp: 0
54 <11> pushTemp: 1
55 <C0> send: at:
56 <C1> send: at:put:
57 <87> pop
58 <11> pushTemp: 1
59 <76> pushConstant: 1
60 <B1> send: -
61 <69> popIntoTemp: 1
62 <70> self
63 <11> pushTemp: 1
64 <10> pushTemp: 0
65 <11> pushTemp: 1
66 <C0> send: at:
67 <C1> send: at:put:
68 <87> pop
69 <11> pushTemp: 1
70 <76> pushConstant: 1
71 <B1> send: -
72 <69> popIntoTemp: 1
73 <70> self
74 <11> pushTemp: 1
75 <10> pushTemp: 0
76 <11> pushTemp: 1
77 <C0> send: at:
78 <C1> send: at:put:
79 <87> pop
80 <11> pushTemp: 1
81 <76> pushConstant: 1
82 <B1> send: -
83 <69> popIntoTemp: 1
84 <70> self
85 <11> pushTemp: 1
86 <10> pushTemp: 0
87 <11> pushTemp: 1
88 <C0> send: at:
89 <C1> send: at:put:
90 <87> pop
91 <11> pushTemp: 1
92 <76> pushConstant: 1
93 <B1> send: -
94 <69> popIntoTemp: 1
95 <11> pushTemp: 1
96 <75> pushConstant: 0
97 <B3> send: >
98 <99> jumpFalse: 101
99 <A3 CE> jumpTo: 51
101 <78> returnSelf
"

Latest comments for language 'Smalltalk' on doukaku.org

sumim's comment on inline/embeded bytecode assembly

sumim's comment on '('と')'の対応

sumim's comment on 疑似並行処理

sumim's comment on 世界時計

sumim's comment on 漢数字で九九の表

sumim's comment on デバッグ用出力

sumim's comment on π

sumim's comment on タブ区切りデータの処理

sumim's comment on 数値リストの圧縮

sumim's comment on 2^i * 3^j * 5^k なる整数

sumim's comment on 起動オプションの解析

sumim's comment on LL Golf Hole 9 - トラックバックを打つ

sumim's comment on 文字列型日時ののN秒後時間取得

sumim's comment on LL Golf Hole 8 - 横向きのピラミッドを作る

sumim's comment on LL Golf Hole 7 - バイト数を読みやすくする

sumim's comment on LL Golf Hole 6 - 10進数を2進数に基数変換する

sumim's comment on LL Golf Hole 6 - 10進数を2進数に基数変換する

sumim's comment on LL Golf Hole 5 - 最上位の桁を数え上げる

sumim's comment on echoクライアント

sumim's comment on LL Golf Hole 4 - 文章から単語の索引を作る