CSAPP Datalab实验

ROL k，DEST; 把操作数的低位部分向高位方向循环移动CL/imm指定的位数,空出的低位部分由移出的高位部分来填充,同时,移出的高位部分仍然会存放在CF中;如果是循环左移N位,那么,就空出N个低位,移出N个高位,然后,把移出的这N个高位按照移出的顺序依次填入空出的N个低位中,同时,CF中只保存最后一次移出的那一位的内容

ROR k，DEST; 把操作数的高位部分向低位方向循环移动CL/imm指定的位数,空出的高位部分由移出的低位部分来填充,同时,移出的低位部分仍然会存放在CF中;如果是循环右移N位,那么,就空出N个高位,移出N个低位,然后,把移出的这N个低位按照移出的顺序依次填入空出的N个高位中,同时,CF中只保存最后一次移出

的那一位的内容

例如：假设当前，AL=01010011B，CF=1，则执行指令

ROL 1，AL 后，AL=10100110B，CF=0

4.5带进位位的循环移位（2分）

RCL k，DEST；把操作数的低位部分向高位方向循环移动CL/imm指定的位数,每向左移动一位,RCL指令都会先把CF的原有值填充到空出的最低位上,再把移出的最高位存放到CF中;这样循环左移N位之后,CF中保存的仍然是最后一次移出的那一位的内容

RCR k，DEST；把操作数的高位部分向低位方向循环移动CL/imm指定的位数,每向右移动一位,RCL指令都会先把CF的原有值填充到空出的最高位上,再把移出的最低位存放到CF中;这样循环右移N位之后,CF中保存的仍然是最后一次移出的那一位的内容

假设当前AL=01010011B，CF=1

RCL 1, AL后RCL=10100111，CF=0

RCR 1, AL后RCR=10101001，CF=1

4.6测试、位测试BTx（2分）

BT（位测试）

写法：BT REG16/MEM16,REG16/IMM8;或BTREG32/MEM32,REG32/IMM8;

作用：将第一个操作数的第n位拷贝到进位标志CF中

BTS（位测试并置位）

写法：BTS REG16/MEM16,REG16/IMM8;或BTSREG32/MEM32,REG32/IMM8;

作用：将第一个操作数的位n拷贝到进位标志中，同时将位n置位

BTR(位测试并复位)

写法：BTR REG16/MEM16,REG16/IMM8;或BTRREG32/MEM32,REG32/IMM8;

作用：将第一个操作数的位n拷贝到进位标志中，同时将位n清零

BTC(位测试并复位)

写法：BTC REG16/MEM16,REG16/IMM8;或BTCREG32/MEM32,REG32/IMM8;

作用：将第一个操作数的位n拷贝到进位标志中，同时将位n取反

例子：假设(AX)=1234H

BT 2，AX ; 指令执行后，CF=1，(AX)=1234H

4.7条件传送CMOVxx（2分）

cmovcc src,dest

cc:表示条件

src: r16, r32, r64

dst: r/m16, r/m32, r/m64

无符号数的条件传送：

用a、b、e、n、c分别表示：大于、小于、等、否、进位

CMOVA/CMOVNBE 大于/小于或不等于 (CF或者ZF)=0

CMOVAE/CMOVNB 大于或者等于/不小于 CF = 0

CMOVNC 无进位 CF = 0

CMOVB/CMOVNAE 小于/不大于 CF = 1

CMOVC 进位 CF = 1

CMOVBE/CMOVNA 小于或者等于/不大于(CF或ZF) = 1

CMOVE/CMOVZ 等于/零 ZF = 1

CMOVNE/CMOVNZ 不等于/不为零 ZF = 0

CMOVP/CMOVPE 奇偶校验 PF = 1

有符号数的条件传送：

用g、l、e、n、o分别表示：大于、小于、等、否、溢出

CMOVG/CMOVNLE 大于/不小于等于 (ZF=0 and SF=OF) CMOVGE/CMOVNL 大于等于/不小于 (SF异域OF) = 0 CMOVL/CMOVNGE 小于/不大于等于 (SF民域OF) = 1 CMOVLE/CMOVNG 小于等于/不大于 ((SF异域OF)或ZF) =1

CMOVO 溢出 OF=1

CMOVNO 末溢出 OF=0

CMOVS 带符号（负） SF=1

CMOVNS 无符号（非负） SF=0

例子：cmovge %r8，%r9

cmovgel %r9，%r10

cmovgl %r8d，%r10d

cmovll %r8d，%r10d

例子：假设%ecx的值为x，%edx的值为y，%ebx的值为y-x，%eax的值为x-y

cmpl %edx，%ecx //比较x和y

cmovl %ebx，%eax //如果x小于y，eax=ebx=y-x

4.8条件设置SETCxx（1分）

指令同义词作用设置条件

sete Setz ZF 相等 / 结果为0

setne setnz ~ZF 不相等 / 结果不为0

sets SF 结果为负数

setns ~SF 结果为非负数

setl setnge SF^OF 小于 (符号数)

setle setng (SF^OF)|ZF 小于等于 (符号数)

setg setnle ~(SF^OF)&~ZF 大于 (符号数)

setge setnl ~(SF^OF) 大于等于 (符号数)

seta setnbe ~CF&~ZF 大于 (无符号数)

setae setnb ~CF 大于等于 (无符号数)

setb setnae CF 小于 (无符号数)

setbe setna CF|ZF 小于等于 (无符号数)

具体操作如下：

SETcc DEST

Operation

IF condition THEN

DEST ← 1;

ELSE

DEST ← 0;

FI;

4.9进位位操作（1分）

adc src,dest 将src与dest相加，并且加上CF，结果返回dest

例子：

mov 2，ax

mov 1，bx

sub ax，bx

adc 1，ax

执行后，(ax)=4.adc执行时，相当于计算：(ax)+1+CF=2+1+1=4

第5章 BITS函数实验与分析

每题8分，总分不超过80分

截图： $ ./btest –f 函数名

5.1 函数lsbZero的实现及说明

程序如下：int lsbZero(int x) {

x=x>>1;

x=x<<1;

return x;

}

btest截图：

设计思想：先将x右移一位，再将x左移一位，实现将最后一位变为0。

5.2 函数byteNot的实现及说明函数

程序如下：int byteNot(int x, int n) {

int y = 0xff;

n=n<<3;

y=y<<n;

x=x^y;

return x;

}

btest截图：

设计思想：A^0=A , A^1 = 非A。将x的第n个字节的每位都与1异或，实现取反。

5.3 函数byteXor的实现及说明函数

程序如下：int byteXor(int x, int y, int n) {

x=x>>n;

y=y>>n;

n=n<<3;

x=x&0xff;

y=y&0xff;

return !!(x^y);

}

btest截图：

设计思想：0^0=0 , 1^1=0 , 0^1=1 . 取出x和y的第n个字节进行异或，最后转化成逻辑上的0和1并返回。

5.4 函数logicalAnd的实现及说明函数

程序如下：int logicalAnd(int x, int y) {

x=!((!x)|(!y));

return x;

}

btest截图：

设计思想：把x和y分别取NOT，二者相或后再取NOT，即可得到逻辑与。

5.5 函数logicalOr的实现及说明函数

程序如下：int logicalOr(int x, int y) {

x=(!(!x))|(!(!y));

return x;

}

btest截图：

设计思想：把x和y分别转化成逻辑的0和1，在相或，实现逻辑或。

5.6 函数rotateLeft的实现及说明函数

程序如下：int rotateLeft(int x, int n) {

int y;

y=~((~0)<<n);

x=(x<<n)+((x>>(32+(~n+1)))&y);

return x;

}

btest截图：

设计思想：先构造y为高（32-n）位为0的y，再与x右移（32-n）的x相与，相当于储存了x的高n位数，最后再与x左移n位相加即可。

5.7 函数parityCheck的实现及说明函数

程序如下：int parityCheck(int x) {

x=x^(x<<16);

x=x^(x<<8);

x=x^(x<<4);

x=x^(x<<2);

x=x^(x<<1);

x=x>>31;

return !(!x);

}

btest截图：

设计思想：每次移位将x的低半位数与高半位数进行异或，实现得到的x位表示总是减去偶数个1，并不影响x位表示中1个数的奇偶性。最后把得到的x右移31位，并变成逻辑1和0.

5.8 函数mul2OK的实现及说明函数

程序如下：int mul2OK(int x) {

return (((x>>31)&0x1)^((x>>30)&0x1))^0x1;

}

btest截图：

设计思想：若x的符号位为1，则第30位为0时会溢出；若x符号位为0，则第30位为1时会溢出；于是将x的31位和30位分别与1相与，再异或，再与1相与即可。

5.9 函数mult3div2的实现及说明函数

程序如下：int mult3div2(int x) {

x=x+(x<<1);

x=(x>>1)+(((x>>31)&0x1)&(((x<<31)>>31)&0x1));

return x;

}

btest截图：

设计思想：先实现x*3/2，要注意的是x为负数且最低有效位为0时，相乘的结果要向0舍入，故此时要加上1.

5.10 函数subOK的实现及说明函数

程序如下：int subOK(int x, int y) {

int z;

z=x+(~y+1);

z=(z>>31)&0x1;

x=(x>>31)&0x1;

y=(y>>31)&0x1;

return ((x^y)&(x^z))^0x1;

}

btest截图：

设计思想：x符号位与y符号位不同，且x符号位与（x-y）符号位也不同时，即溢出。

5.11 函数absVal的实现及说明函数

程序如下：int absVal(int x) {

int y=x>>31;

x=(y&(~x+1))+((~y)&x);

return x;

}

btest截图：

设计思想：当x符号位为0时，x绝对值就是x；当x符号位为1时，x绝对值是（~x+1）。

5.12 函数float_abs的实现及说明函数

程序如下：unsigned float_abs(unsigned uf) {

int x=uf&0x7fffffff;

if(x>0x7f800000)

return uf;

else

return x;

}

btest截图：

设计思想：NaN表示的数阶码全为1，且小数域为非0。将uf的符号位变为0，得到的数若比0x7f80000大，即为NaN。

5.13 函数float_f2i的实现及说明函数

程序如下：int float_f2i(unsigned uf) {

int x,y;

unsigned mini=0x80000000;

x=(uf>>23)&0xff;

y=(uf&0x007fffff)^0x00800000;

if(x>158)

{

return mini;

}

if(x<127)

{

return 0;

}

else if(((uf>>31)&0x1)==1)

{

if(x>150)

return ((~(y<<(x-150)))+1);

else

return ((~(y>>(150-x)))+1);

}

else

{

if(x>150)

return (y<<(x-150));

else

return (y>>(150-x));

}

btest截图：

设计思想：将uf左移23位并与0xff相与来取出阶码域；设置y来取出小数域，并令其第23位为1，为了规格化的值隐含的以1开头的表示。

当阶码的值E大于31时，表示float转化为int会溢出，或者出现阶码域全为1的情况；当阶码的值小于0，返回0；当uf最高位为1时，判断x与150的大小，决定移位的方向，并以补码形式将数值存储；当uf最高位为0时，判断x与150大小，决定移位的方向。

5.14函数XXXX的实现及说明函数（CMU多出来的函数-不加分）

第6章总结

10.1 请总结本次实验的收获

系统学习了汇编语言指令；

熟练掌握位运算和逻辑运算来实现函数；

通过C程序深入理解计算机底层实现与优化。

10.2 请给出对本次实验内容的建议

关于第三章写出C语言例句和第四章写出汇编语言例句，题目中未给出范例，因此关于例句的形式易产生困惑。

注：本章为酌情加分项。

参考文献

为完成本次实验你翻阅的书籍与网站等

[1] 林来兴. 空间控制技术[M]. 北京：中国宇航出版社，1992：25-42.

[2] 辛希孟. 信息技术与信息服务国际研讨会论文集：A集[C]. 北京：中国科学出版社，1999.

[3] 赵耀东. 新时代的工业工程师[M/OL]. 台北：天下文化出版社，1998 [1998-09-26]. http://www.ie.nthu.edu.tw/info/ie.newie.htm（Big5）.

[4] 谌颖. 空间交会控制理论与方法研究[D]. 哈尔滨：哈尔滨工业大学，1992：8-13.

[5] KANAMORI H. Shaking Without Quaking[J]. Science，1998，279（5359）：2063-2064.

[6] CHRISTINE M. Plant Physiology: Plant Biology in the Genome Era[J/OL]. Science，1998，281：331-332[1998-09-23]. http://www.sciencemag.org/cgi/ collection/anatmorp.

你跺你也麻.

关注

24
点赞
踩
148

收藏

觉得还不错? 一键收藏
1
评论
CSAPP Datalab实验

实验（二）题目 DataLab 数据表示　　　　　专业计算机科学与技术计算机科学与技术学院目录第1章实验基本信息... - 4 -1.1 实验目的... - 4 -1.2 实验环境与工具... - 4 -1.2.1 硬件环境... - 4 -1.2.2 软件环境... - 4 -...
复制链接

扫一扫