このアセンブリコードに類似したC言語での操作はありますか？

Question

今日、私は関数に別のエントリ・ポイントを作成するために、アセンブリコードで関数ポインタをインクリメントして遊ん：（私が知っている、それはCRTが初期化されずにputsを呼び出しますので、技術的には、このコードは無効です

.386 
.MODEL FLAT, C 
.DATA 
    INCLUDELIB MSVCRT 
    EXTRN puts:PROC 
    HLO DB "Hello!", 0 
    WLD DB "World!", 0 
.CODE 
    dentry PROC 
     push offset HLO 
     call puts   
     add esp, 4 
     push offset WLD 
     call puts 
     add esp, 4 
     ret 
    dentry ENDP 
    main PROC 
     lea edx, offset dentry 
     call edx 
     lea edx, offset dentry 
     add edx, 13 
     call edx 
     ret 
    main ENDP 
END 

が、これは少なくともアセンブリやランタイムエラーがなくても動作します）。

dentryへの2回目の呼び出しでは、以前のようにedxレジスタの関数のアドレスを取得しましたが、今回はインクリメントしましたその関数を呼び出す前に13バイト分。

このプログラムの出力は、したがってある：

C:\Temp>dblentry 
Hello! 
World! 
World! 

C:\Temp> 

第二出力が始まるコールからのものであるのに対し、「Hello!\nWorld!」の最初の出力は、関数の先頭への呼び出しです " push offset WLD "命令である。

C、Pascal、FORTRANなどのアセンブラからステップアップすることを意図した言語でこの種のものが存在するのだろうかと思います。私はCが関数ポインタを増やすことはできませんが、このようなことを達成するための他の方法があるのは分かりますか？

Answer 1

あなたは、longjmp関数を使用することができます。http://www.cplusplus.com/reference/csetjmp/longjmp/

それはかなり恐ろしい機能だが、それはあなたが求めるものをやります。

Answer 2

AFAIKでは、複数のエントリポイントを持つ関数をasmで書くことしかできません。

すべてのエントリポイントにラベルを付けることができるので、最初のfunction-nameからのオフセットをハードコードする代わりに、通常のダイレクトコールを使用できます。

これにより、通常Cや他の言語からの呼び出しが容易になります。

以前のエントリポイントは、関数本体が重なり合わないようにするツール（または人間）が混乱することを心配している場合、別の関数の本体にフォールスルーする関数のように機能します。

---

初期エントリーポイントが少しの余分な処理をしてメイン機能に入る場合は、これを行うことができます。主にコードサイズの節約手法（I-cache/uop-cacheヒット率を向上させる可能性があります）になります。

---

コンパイラは、わずかに異なる機能間で大きな共通の実装を共有するのではなく、関数間でコードを複製する傾向があります。持つよりも少し悪いですGodbolt compiler explorer

fooとbar tailcall bigfunc、上の実際の例を参照してください

int foo(int a) { return bigfunc(a + 1); } 
int bar(int a) { return bigfunc(a + 2); } 

int bigfunc(int x) { /* a lot of code */ } 

：

しかし、あなたはおそらくのようなものを一つだけ余分jmpでそれを達成することができますbarbigfuncにフォールスルー。（bigfuncにbarオーバーfooジャンプを持つことは、ESP、まだ良いです。barはその簡単ではない場合。）

---

関数の途中にジャンプされていない一般的に安全で、通常、非自明な機能なぜならいくつかのregsを保存/復元する必要があります。プロローグがそれらをプッシュし、エピローグがそれらをポップします。途中でジャンプすると、プロローグのpopがスタックのアンバランスを起こします。 （すなわち、戻りアドレスをレジスタにポップ・オフし、ガベージ・アドレスに戻る）。

は、それは一般的にあらゆる種類の問題につながる関数プロローグをスキップするので動作しません。また、​​