ARMアーキテクチャにおける関数呼び出しプロセスの簡単な分析

すべてのエンコードの共有デコード
整数 n = UInt(Rn);
整数 t = UInt(Rt);
整数 t2 = UInt(Rt2);
L:opc<0> == '01' || opc == '11' の場合、未定義です。
整数スケール = 2 + UInt(opc<1>);
整数データサイズ = 8 << スケール;
ビット(64)オフセット = LSL(SignExtend(imm7, 64), スケール);
ブール型 tag_checked = wback || n != 31;
すべてのエンコーディングに対する操作
ビット(64) アドレス;
ビット(データサイズ) data1;
ビット(データサイズ) data2;
定数整数 dbytes = データサイズ DIV 8;
ブール値 rt_unknown = FALSE;
HaveMTEExt() の場合
         タグチェックされていない命令を設定します(!tag_checked);
wback && (t == n || t2 == n) && n != 31の場合
    制約 c = ConstrainUnpredictable();
    c が {Constraint_NONE、Constraint_UNKNOWN、Constraint_UNDEF、Constraint_NOP} であることをアサートします。
    ケースcの
        Constraint_NONE rt_unknown = FALSE; // 保存された値は書き戻し前です
        Constraint_UNKNOWN rt_unknown = TRUE; // 格納される値は UNKNOWN です
        Constraint_UNDEF が UNDEFINED の場合;
        Constraint_NOP EndOfInstruction() の場合;
n == 31の場合
 SPAlignment をチェックします。
    アドレス = SP[];
それ以外
    アドレス = X[n];
!postindexの場合
    アドレス = アドレス + オフセット;
rt_unknown && t == n の場合
    data1 = ビット(データサイズ) 不明;
それ以外
    データ1 = X[t];
rt_unknown && t2 == n の場合
    data2 = ビット(データサイズ) 不明;
それ以外
    データ2 = X[t2];
Mem[アドレス、dbytes、AccType_NORMAL] = data1;
Mem[アドレス+dbytes、dbytes、AccType_NORMAL] = data2;
もしも当時
  postindexの場合
        アドレス = アドレス + オフセット;
    n == 31の場合
        SP[] = アドレス;
    それ以外
        X[n] = アドレス;

メイン\f3\f4\strlen 

メイン\f3\f4\strlen 

(gdb) x/2i f3
   0x400600 <f3>: stp x29、x30、[sp、#-48]!
   0x400604 <f3+4>: 移動 x29、sp

(gdb) x/gx 0xfffffffff2c0+8
0xfffffffff2c8: 0x000000000040065c
（gdb）x/i 0x000000000040065c
   0x40065c <f4+36>: 移動 w0, #0x0 // #0
フレーム2の機能はsp+8: 0x000000000040065c -> <f4+36>

(gdb) x/2i f4
   0x400638 <f4>: stp x29、x30、[sp、#-48]!
   0x40063c <f4+4>: 移動 x29、sp

フレーム2の機能は0xffffffff2c0 + 8: 0x000000000040065c -> <f4+36>
(gdb) x/gx 0xfffffffff2f0+8
0xfffffffff2f8: 0x0000000000400684
（gdb）x/i 0x0000000000400684
   0x400684 <メイン+28>: mov w0, #0x0 // #0

(gdb) うーん
#0 0x0000ffffaeb067bc ?? () 内 /lib64/libc.so.6 から
#1 0x0000aaaad15cf000 は??() 内
バックトレース停止: このフレームの内側の前のフレーム (スタックが破損している?)

(gdb) x/i 0xaaaacd3de4fc
   0xaaaacd3de4fc <PGXCNodeConnStr(char const*, int, char const*, char const*, char const*, char const*, int, char const*)+108>: mov x27, x0

(gdb) x/6i PGXCNodeConnStr
   0xaaaacd3de490 <PGXCNodeConnStr(char const*, int, char const*, char const*, char const*, char const*, int, char const*)>: sub sp, sp, #0xd0
   0xaaaacd3de494 <PGXCNodeConnStr(char const*, int, char const*, char const*, char const*, char const*, int, char const*)+4>: stp x29, x30, [sp,#80]
   0xaaaacd3de498 <PGXCNodeConnStr(char const*, int, char const*, char const*, char const*, char const*, int, char const*)+8>: x29、sp、#0x50 を追加

（gdb）x/i 0x0000aaaacd414e08
   0xaaaacd414e08 <build_node_conn_str(Oid, DatabasePool*)+224>: 移動 x21, x0

(gdb) x/4i ビルド_ノード_conn_str
   0xaaaacd414d28 <build_node_conn_str(Oid, DatabasePool*)>: stp x29、x30、[sp、#-176]!
   0xaaaacd414d2c <build_node_conn_str(Oid, DatabasePool*)+4>: 移動 x29, sp

(gdb) x/8i データベースプールの再ロード
   0xaaaacd4225e8 <reload_database_pools(PoolAgent*)>: サブ sp、sp、#0x1c0
   0xaaaacd4225ec <reload_database_pools(PoolAgent*)+4>: adrp x5、0xaaaad15cf000
   0xaaaacd4225f0 <reload_database_pools(PoolAgent*)+8>: adrp x3、0xaaaacf0ed000
   0xaaaacd4225f4 <reload_database_pools(PoolAgent*)+12>: adrp x4、0xaaaaceeed000 <_ZN4llvm18ConvertUTF8toUTF16EPPKhS1_PPtS3_NS_15ConversionFlagsE>
   0xaaaacd4225f8 <reload_database_pools(PoolAgent*)+16>: x3、x3、#0x9e0 を追加
   0xaaaacd4225fc <reload_database_pools(PoolAgent*)+20>: adrp x1、0xaaaacf0ee000 <_ZZ25PoolManagerGetConnectionsP4ListS0_E8__func__+24>
   0xaaaacd422600 <reload_database_pools(PoolAgent*)+24>: stp x29、x30、[sp、#-96]!