NASM手册阅读笔记(7) - 预处理器之参数

简述

  这一些预处理指令是为了方便我们使用堆栈传参的时候的程序调用的。
  我们一般的调用过程如下
  proc1:
      push   参数1        ;  参数1 压栈
      push   参数2        ;参数2   压栈
      push  参数3         ;参数2   压栈
      call     proc2
 
  proc2:
       push bp          ; bp内容压栈, 为的是保存bp寄存器的原始值
       mov  bp,sp           ; 将SP 内容 保存到 bp 中, 之后再结束前bp的值都不应该再发生改变
       sub   sp, ?            ; 减少 sp的指向,相当于预先开辟一篇空间 给我们的临时变量使用
       mov   ax, [bp + 2+ 2]           ; 假设之前参数3 是2 字节,那么这就是获取参数3 的内容,注意bp寄存器实际指向的是存储BP寄存器原始内容的地方,+2 后指向call压栈的放回地址 再+2 才是压栈的最后一个参数内容
       mov   [bp - 2 ],ax      ; 假设我们的临时变量的大小是2字节,那么这就是取我们
       XXXXXXXXXXX
       mov  sp, bp
       pop bp
       ret
 
  那么接下来要介绍的预处理指令就是为了方便这个过程的
  注意一点: 接下来用到的指令内容辉县一些信息保存到 上下文栈中,所以接下来的指令都是要配合 上下文栈来使用的
  

%stacksize

格式

%stacksize flat
%stacksize flat64
%stacksize large
%stacksize small

说明

从上面的简述中可知,堆栈中的变量是通过bp寄存器作为基址来进行寻址的,那么这条指令就是告诉预处理器,我们到底用 BP 还是 EBP 还是RBP来寻址
flat64       指定使用 RBP 来进行栈的寻址
flat             指定使用 EBP 来进行栈的寻址
large          指定使用 BP 来进行栈的寻址
small         指定使用 BP 来进行栈的寻址,它会认为BP之前已经压栈, 所以其他的是会自动将BP压栈一次吗?

%arg

格式

%arg param1:word, param2:type

说明

这个是定义其他函数传递过来的参数 参数名:参数类型 以逗号分隔
之后就可以直接直接使用定义的名称寻址
mov  ax, [param1]    =>          mov ax,[bp+4]
mov  ax, [param2]    =>          mov ax,[bp+6]
所以汇编器就会根据变量的类型以及 %stacksize 设置的寄存器将 param1 形式的参数自动替换为 bp+x形式的参数

%local

格式

%local param1:word, param2:type

说明

与 %arg 是同理的,只不过他计算的是本地变量也就是
%arg   计算的是 bp + ? 的形式
%local 计算的是 bp - ? 的形式
所以这里要注意一点,%arg的变量使用的时候内存是已经开辟并赋值好了的,这是调用它的函数负责的
而%local定义的变量是需要本函数自己去开辟空间的,即使用 sub sp, xxx 这样子的形式去开辟空间
 

补充说明

A. 如下表格是一个堆栈的展示,主要用于说明 %arg 和%local 定义变量的对应增长方向以及对应关系,注意堆栈是从高地址往低地址方向增长的
 
1   local2
2   local1
3   bp寄存器内容
4   call压栈的返回地址
5   arg1
6   arg2
    
   B. ENTER / LEAVE    
enter
    等于 push ebp和mov ebp,esp
    先将ebp保存到对账中,然后将esp保存到ebp中
 
Leave
    等于mov esp,ebp和pop ebp
    将保存在ebp中的内容还给 esp 并回复ebp原来的值
 
这是一般出现下一个函数开始的和结尾处的指令
只用时保持堆栈的平衡,因为函数开始的时候的堆栈保存在了ebp中,所以如果这个函数里面有堆栈不平和的情况,使用leave 指令的时候总能还原进来的时候的堆栈指针。当然前提是不能修改ebp的值

enter 可以跟参数

enter numbytes, nestinglevel
numbytes 表示为当前堆栈 保留多少 字节,自动对齐4 相当于指令 sub esp, numbytes
而 nestinglevel 词法嵌套级,没明白啥意思 填 0 
    
 
C. 例子
silly_swap:                  
%push mycontext             ; 之前说过有信息要使用上下文栈 所以这一先压栈一个上下文   
%stacksize small              ; 设置使用bp寄存器来寻址        
%assign %$localsize 0     ; 这里定义了一个上下文栈的本地宏   
%local old_ax:word, old_dx:word             ; 这就是定义了本地参数          
        enter   %$localsize,0   ;  保存bp,赋值 sp, 开辟空间              
        mov     [old_ax],ax     ;  存值               
        mov     [old_dx],dx     ;  存值          
        mov     ax,bx               
        mov     dx,cx               
        mov     bx,[old_ax]     ;  取值           
        mov     cx,[old_dx]     ;  取值         
        leave                   ; enter 返现操作             
        ret                     ;                   
%pop                        ; 销毁 之前创建的 mycontext 上下文堆栈,这样就不会对别的内容产生影响

猜你喜欢

转载自www.cnblogs.com/alwaysking/p/12287451.html