我知道在程序集r0中調用函數時,包含第一個參數,直到r3是第四個參數。我知道,當它超出四個時,使用堆棧指針,但我不太確定具體情況。 r0-r3是否仍然保持前四個,其餘的都在棧上?我正在看下面的程序集,試圖瞭解它是如何調用mach_msg(一個帶有7個參數的函數)。進入此代碼,R0和R1包含兩個參數Arm Assembly - 具有4個以上參數的調用函數
var_38 = -0x38
var_34 = -0x34
var_30 = -0x30
var_2C = -0x2C
var_24 = -0x24
var_20 = -0x20
var_18 = -0x18
var_14 = -0x14
var_10 = -0x10
var_C = -0xC
00001220
00001220 PUSH {R7,LR}
00001222 MOV R7, SP
00001224 SUB SP, SP, #0x30
00001226 MOV R2, (_NDR_record_ptr - 0x1232) ; _NDR_record_ptr
0000122E ADD R2, PC ; _NDR_record_ptr
000LDR R2, [R2] ; _NDR_record
000LDR R3, [R2]
000LDR R2, [R2,#4]
000STR R2, [SP,#0x38+var_10]
000MOVS R2, #0x24 ; '$'
0000123A STR R3, [SP,#0x38+var_14]
0000123C MOVS R3, #0
0000123E STRB.W R1, [SP,#0x38+var_C]
00001242 MOVS R1, #0x13
00001244 STR R1, [SP,#0x38+var_2C]
00001246 MOVS R1, #1
00001248 STR R0, [SP,#0x38+var_24]
0000124A MOV R0, 0x1E84EA
00001252 STR R3, [SP,#0x38+var_20]
00001254 STR R3, [SP,#0x38+var_38]
00001256 STR R3, [SP,#0x38+var_34]
00001258 STR R0, [SP,#0x38+var_18]
0000125A STR R3, [SP,#0x38+var_30]
0000125C ADD R0, SP, #0x38+var_2C
0000125E BLX _mach_msg
00001262 ADD SP, SP, #0x30
00001264 POP {R7,PC}
這裏是東西的定義被調用和使用:
typedef struct {
unsigned char mig_vers;
unsigned char if_vers;
unsigned char reserved1;
unsigned char mig_encoding;
unsigned char int_rep;
unsigned char char_rep;
unsigned char float_rep;
unsigned char reserved2;
} NDR_record_t;
extern NDR_record_t NDR_record;
extern mach_msg_return_t mach_msg(
mach_msg_header_t *msg,
mach_msg_option_t option,
mach_msg_size_t send_size,
mach_msg_size_t rcv_size,
mach_port_name_t rcv_name,
mach_msg_timeout_t timeout,
mach_port_name_t notify);
據我瞭解,堆棧指針被逆轉48個字節用於變量。那48個字節是多餘的3個參數還是全部?
所以做剩下的參數從堆棧指針的開始處開始? – user1000039
對,這就是'[sp]'的意思。 –