汇编语言基础-汇编操作指令概述 - Powered by Discuz! Archiver

不小心就会评论 發表於 2019-12-16 22:01:00

汇编语言基础--汇编操作指令概述

本文是接续"汇编语言基础--机器级数据存储"，主要介绍汇编指令的构造、寻址和指令主要分类。

<h2>操作指令</h2>

指令的基本要素：

      在"计算机处理器（CPU）基础"介绍了一条完整可执行指令包括指令码和操作数。由于同一功能的指令要处理不同数据类型的操作数，这样指令的长度判读、计算的复杂度等存在差别，所以即使是同一功能的指令也存在不同的版本和编码。如针对不同数据类型，mov（传送数据）指令，有movb(传送字节),movw（传送字）,movl（传送双字）三种不同的版本（这里都是基于AT&T的GAS）。

指令寻址：

     指令中存在三种寻址方式，使用立即数、寄存器和储存器引用，GAS汇编代码书写有特殊的方法区分这三种寻址方式。立即数是直接存储在完整指令代码中的数据，如movl $0x1a, %eax,这里就是将16进制的1a存储到eax寄存器中（GAS要求立即数前需要有$, 寄存器前有%）。movl $0x1a, %eax 语句中的%eax就是寄存寻址，意味着会使用该寄存器中的值或者是将某个值存储到寄存器中。

     存储器寻址是指读取存储器中某个位置上值或者将某个值存储在存储器中的某个位置。存储器寻址又包括多种寻址方式。

      1.绝对寻址：GAS中书写汇编代码时，常数前没有$符号时，如movl 0x104, %eax,这里就不是讲0x104移动到eax寄存器中，而是指将存储器绝对地址0x104中的值移动到eax寄存器中

      2.间接寻址：使用寄存器中存储的值作为存储器的地址读取或者写入数据。书写时只需要加上括号即可，如movl $20, (%esp), 这里代表将立即数存储在存储地址为寄存器esp中值的存储器位置中。

     3.基址+偏移量寻址：寄存器中存储的值作为基地址，立即数作为基地址的偏移量，两者的和作为存储器地址。书写方式是在间接寻址的书写寄存上，括号前写上常数偏移量。如movl $20, -3(%esp),是将立即数20存储在%esp-3的存储器位置。

    4.一般化的变址寻址（加上伸缩因子）：变址寻址的不同之处在于，取两个寄存器，一个作为基址寄存器，另一个作为变址寄存器，一个常数作为伸缩因子，一个立即数作为偏移，内存地址的确定由基址+变址与伸缩因子的积+偏移。书写方式如9（%eax ，%edx ，4）,9位偏移量，4为伸缩因子。其中不同部分可以为空，构成不同类型的变址。

tips：这里所指的内存地址是指地址空间的地址，使用虚拟内存的机制，实际访问内存时，还会有一步转换为物理地址，一般由MMU按照TLB或者内存中页表的映射转换为物理地址，从内存中取出数据。

 

指令分类：

     指令系统中，主要有四种类型的指令，分别是数据传输指令、算数与逻辑操作、控制指令和转移指令。

1.数据传输指令

数据传输指令主要用来实现数据的移动。参考指令有：

<table cellspacing="0" style="width: 523px" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
效果
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
描述
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
movl  S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
传送双字
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
movw S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
传送字
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
movb S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
传送字节
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
movsbl S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- 符号扩展
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
传送字节，符号扩展为双字
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
movzbl S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- 零扩展
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
传送字节，零扩展为双字
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
pushl S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
R[%esp] <- R[%esp]-4

M] <- S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
压栈
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 117px">
popl D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 187px">
D <- M];

R[%esp] <- R[%esp]+4
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
出栈
</td>
</tr></tbody></table>2.算数和逻辑操作（注意这些指令都存在w和b版本）

   这类操作符主要用来实现算数与逻辑运算。参考指令有：

<table cellspacing="0" style="width: 682px" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1145in">
 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
效果
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
描述
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.134in">
计算有效地址
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
leal S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
D <- &S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
将S的地址移动到D中（movl是将S地址中的值移动到D中）
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1145in">
一元操作符
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
incl D

 

decl D

 

negl D

 

notl D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
D <- D+1

 

D  <- D-1

 

D <- -D

 

D <- ~D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
加一

 

减一

 

取负

 

去补
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1145in">
二元操作符
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
addl S, D

 

subl S, D

 

imull S, D

 

xorl S, D

 

orl S, D

 

andl S, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
D <-  D + S

 

D <- D - S

 

D <- D*S

 

D <- D^S

 

D <- D|S

 

D <- D&S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
加

 

减

 

乘

 

异或

 

与
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1145in">
移位操作
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
sall k, D

 

shll k, D

 

sarl k, D

 

shrl k, D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
D <- D<<k

 

D <- D<<k

 

D <- D>>k

 

D <- D>>>k
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
左移

 

左移

 

算数右移

 

逻辑右移
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1145in">
特殊操作
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.1208in">
imull S

 

mull S

 

cltd S

 

idivl S

 

 

divl S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 248px">
R[%edx]:R[%eax] <- SxR[%eax]

 

R[%edx]:R[%eax] <- SxR[%eax]

 

R[%edx]:R[%eax] <- R[%eax]

 

R[%edx] <- R[%edx]:R[%eax] mod S

R[%eax] <- R[%edx]:R[%eax] / S

 

R[%edx] <- R[%edx]:R[%eax] mod S

R[%eax] <- R[%edx]:R[%eax] / S
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 218px">
 有符号全64位乘法

 

无符号全64位乘法

 

符号扩展转换为64位

 

有符号除法

(两步是同时，eax没变)

 

无符号除法
</td>
</tr></tbody></table>3.控制指令

通过条件码(psw程序状态字)和跳转指令实现if...else和循环。

A.程序状态字

可以参考8086的程序状态字，如图：

<img alt="" class="has lazyload" height="111" width="416" data-src="https://img-blog.csdnimg.cn/20190121213930412.png">

绿色是三个控制标志位，控制cpu的操作：

DF:derection flag, 方向标志位，它指定字符串处理的方向，当该标志为1时，字符串以递减顺序处理，即由高字位向低字位处理，反之，则递增顺序处理。

IF:Interrupt enable flag, 它指定cpu能否响应外部中断请求，如果为1，则接受外部中断请求，否则，则不接受。

TF:trap flag,跟踪标志位，是为程序调试设置的陷阱控制位，当为1时，cpu处于单步状态，每执行一条指令，就会产生一个内部中断，复位时则cpu正常工作。 

黄色是六个状态标志位：

  OF: overflow flag, 当补码运算有溢出时，OF=1，否则，OF=0。

  SF：sign flag, 符号标志位，为1时表示最近的运算结果为负数。

  ZF：zore flag, 零标志位，若当前结果是0，则ZF等于1，否则为0。

  CF: carry flag, 进位标志位，无符号数运算产生溢出时，设置为1，否则设置为0,。

  AF: Auxiliary cary flag, 辅助进位标识位.

  PF：Parity Flag, 辅助进位标志位。

B.会设置条件码的指令：

    1.上面提到的运算指令。

    2.比较指令

<table cellspacing="0" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.8305in">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 0.6673in">
效果
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 4.6666in">
描述
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.85in">
coml(comb, comw)  S2, S1
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 0.6673in">
S1 - S2
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 4.7993in">
比较字节（相等，零标志位设置1，其他标志大小可以判断大小关系）
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 1.8305in">
testl(testb, testw) S2, S1
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 0.6673in">
S1&S2
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 4.6666in">
测试字节（通过与运算来设置零标志位或者负数标志位）
</td>
</tr></tbody></table>C.会访问条件码的指令

     （1）.根据条件码设置值

<table cellspacing="0" style="width: 665px" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 118px">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 110px">
同义指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 224px">
效果
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 210px">
设置条件
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 118px">
sete D

 

setne D

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 110px">
setz

 

setnz

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 224px">
D <-   ZF

 

D <-   ~ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 210px">
相等/零

 

不等/非零
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 118px">
sets D

 

setns D

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 110px">
 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 224px">
D <-   SF

 

D <-  ~SF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 210px">
负数

 

非负数
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 118px">
setg D

 

setge D

 

setl D

 

setle D

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 110px">
setnle

 

setnl

 

setnge

 

setng

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 224px">
D <-   ~(SF ^OF) & ZF

 

D <-   ~(SF ^OF)

 

D <-  SF ^ OF

 

D <-  (SF ^ OF) | ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 210px">
大于（有符号>）

 

小于等于(有符号>=)

 

小于(有符号<)

 

小于等于(有符号<=)

 
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 118px">
seta D

 

setae D

 

setb D

 

setbe D
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 110px">
setnbe

 

setnb

 

setnae

 

setna
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 224px">
D <-  ~CF & ~ZF

 

D <-  ~CF

 

D <-   CF

 

D <-  CF | ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 210px">
超过(无符号>)

 

超过或等于(无符号>=)

 

低于(无符号<)

 

低于或等于(无符号<=)
</td>
</tr></tbody></table>    （2）.根据条件码跳转

        根据条件码跳转，跳转目的地用一个label指明（类似于c中goto标签）：

<table cellspacing="0" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
同义名
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
跳转条件
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
描述
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
jmp   Label

 

jmp   *Operand

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
1

 

1
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
直接跳转,跳转指令中给出位置

 

间接跳转，跳转位置由寄存器给出
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
je     Label

 

jne    Label

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
jz

 

jnz
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
ZF

 

~ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
等于/零

 

不等/非零

 
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
js     Label

 

jns   Label

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
SF

 

~SF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
负数

 

非负数

 
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
jg     Label

 

jge    Label

 

jl     Label

 

jle     Label

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
jnle

 

jnl

 

jnge

 

jng

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
~(SF^OF) & ~ZF

 

~(SF ^ OF)

 

SF ^ OF

 

(SF ^ OF) | ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
大于(有符号>)

 

大于等于(有符号>=)

 

小于（有符号<）

 

小于等于(有符号<=)

 
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 177px">
ja     Label

 

jae    Label

 

jb     Label

 

jbe    Label

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 142px">
jnbe

 

jnb

 

jnae

 

jna

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 123px">
~CF & ~ZF

 

~CF

 

CF

 

CF | ZF

 
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 263px">
超过(无符号>)

 

超过或等于(无符号>=)

 

低于(无符号<)

 

低于或等于(无符号<=)
</td>
</tr></tbody></table> 4.转移指令（过程控制）

       实现函数过程调用和返回相关指令。

<table cellspacing="0" style="width: 292px" summary=""><tbody><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 127px">
指令
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 165px">
描述
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 127px">
call label
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 165px">
过程调用
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 127px">
call *operant
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 165px">
过程调用
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 127px">
leave
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 165px">
为返回准备栈
</td>
</tr><tr><td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 127px">
ret
</td>
<td style="border-color: rgba(163, 163, 163, 1); vertical-align: top; width: 165px">
从过程调用中返回
</td>
</tr></tbody></table> 

      至此，CPU硬件和汇编相关的概述已经完全介绍完全了，下一部分将是底层相关的多级存储的一些知识总结。

本系列文章：

           计算机底层架构（偏硬件）综述   

           计算机处理器（CPU）基础 

               汇编语言基础--机器级数据存储

               汇编语言基础--汇编操作指令概述

          计算机多级存储模型 

          外设IO原理

 

  
来源：https://www.cnblogs.com/fanyunyu/p/12051669.html

頁: [1]

琼殿技术论坛's Archiver

汇编语言基础--汇编操作指令概述