Programmable Label & Jump about xbyak HOT 13 CLOSED

bindは一度しかできないという制約を入れるのはありでしょうか。
また二つ目のJmpについてですが、Labelがコピー可能であれば

Label AsmSmallProcedure()
{
  Label label;
  je(label);
  return label;
}

Label label1;
bind(&label1);

Label label2 = AsmSmallProcedure();

link(label2, label1); // 空labelへのlinkは一度だけという制約を入れるかも。

とすることで同等の機能が実現できるという理解はあってますか。

from xbyak.

bindは一度しかできないという制約を入れるのはありでしょうか。

ありだと思います.

また二つ目のJmpについてですが、Labelがコピー可能であれば

link(label2, label1); が, je の jump 先を label1 へ向けるという semantics を持つのであれば, 同等です.

from xbyak.

ありがとうございます。ではその方向で実装を考えてみようと思います。制約はAutoGrowでないときに過去のラベルを全て保持しておかないといけなくなりそうなことから入れようかと思ってます。

from xbyak.

実装してみました。link(label2, label1)はassignL(dstLabel, srcLabel);として定義しました(dstLabelのjmp先をsrcLabelと同じにするという挙動)。

from xbyak.

ありがとうございます!! 試してみますですー.

from xbyak.

不具合、改善要望ありましたらお願いします。

from xbyak.

@miura1729 may also benefit from this new feature :)

iv/aero change Constellation/iv@c20c577
iv/lv5/breaker change Constellation/iv@baddc45

from xbyak.

iv/aero change is now heavily tested by iv/lv5 test cases including

• SunSpider
• V8-suite
• iv_unit_tests (including tests for iv/aero)
• lv5_unit_tests (lv5 engine regression tests)
• Test262 (11648 tests)

And currently there's no regression. Great!
https://travis-ci.org/Constellation/iv/jobs/20920736

from xbyak.

いきなりヘビーに使っていただいてありがとうございます&今まで面倒くさいやり方しかできなくてすいませんでした。

from xbyak.

ラベルにリファレンスカウンタを入れて参照回数が0になったら定義済みラベルのリストから削除するようにしてみました。
502f65a

小さいコードでは殆ど関係ないと思いますが、ある程度ステップ数が大きくてラベルが局所的なものが多いコードではこの修正はあったほうがうれしいでしょうか。
以前、std::mapよりもstd::unordered_mapの方がよくなるパターンがあると仰っていたので…。

from xbyak.

おおお, 確かに, local といったスコープがないので label が際限なく増えるのはまずいですね, ありがとうございます, 早速試してみます.

from xbyak.

rich_label branch のものの実装に入れ替え, test が全て通るのを確認しました!

from xbyak.

確認ありがとうございました。
inLocalLabel(), outLocalLabel()で挟んだラベルも同様の処理ができますね(今頃気がついた)。対応しておきます。

from xbyak.