基于C语言实现的DataLab数据表示实验

爱被打了一巴掌 2024-03-08 08:39 111阅读 0赞

目 录

第1章 实验基本信息 - 4 -  
1.1 实验目的 - 4 -  
1.2 实验环境与工具 - 4 -  
1.2.1 硬件环境 - 4 -  
1.2.2 软件环境 - 4 -  
1.2.3 开发工具 - 4 -  
1.3 实验预习 - 4 -  
第2章 实验环境建立 - 5 -  
2.1 Ubuntu下CodeBlocks安装（5分） - 5 -  
2.2 64位Ubuntu下32位运行环境建立（5分） - 5 -  
第3章 C语言的位操作指令 - 6 -  
3.1 逻辑操作（1分） - 6 -  
3.2 无符号数位操作（2分） - 6 -  
3.3 有符号数位操作（2分） - 6 -  
第4章 汇编语言的位操作指令 - 7 -  
4.1 逻辑运算(1分) - 7 -  
4.2无符号数左右移（2分） - 7 -  
4.3有符号左右移（2分） - 7 -  
4.4循环移位（2分） - 7 -  
4.5带进位位的循环移位（2分） - 7 -  
4.6测试、位测试BTx（2分） - 7 -  
4.7条件传送CMOVxx（2分） - 7 -  
4.8条件设置SETCxx（1分） - 7 -  
4.9进位位操作（1分） - 7 -  
第5章 BITS函数实验与分析 - 8 -  
5.1 函数lsbZero的实现及说明 - 8 -  
5.2 函数byteNot的实现及说明函数 - 8 -  
5.3 函数byteXor的实现及说明函数 - 8 -  
5.4 函数logicalAnd的实现及说明函数 - 8 -  
5.5 函数logicalOr的实现及说明函数 - 8 -  
5.6 函数rotateLeft的实现及说明函数 - 8 -  
5.7 函数parityCheck的实现及说明函数 - 8 -  
5.8 函数mul2OK的实现及说明函数 - 9 -  
5.9 函数mult3div2的实现及说明函数 - 9 -  
5.10 函数subOK的实现及说明函数 - 9 -  
5.11 函数absVal的实现及说明函数 - 9 -  
5.12 函数float\_abs的实现及说明函数 - 9 -  
5.13 函数float\_f2i的实现及说明函数 - 9 -  
5.14函数XXXX的实现及说明函数（CMU多出来的函数-不加分） - 9 -  
第6章 总结 - 10 -  
10.1 请总结本次实验的收获 - 10 -  
10.2 请给出对本次实验内容的建议 - 10 -  
参考文献 - 11 -  
1.2 实验环境与工具  
1.2.1 硬件环境  
X64 CPU；2.5GHz；8G RAM；500GHD Disk 以上  
1.2.2 软件环境  
Windows10 64位；VirtualBox；Ubuntu 16.04 LTS 64位；  
1.2.3 开发工具  
Visual Studio 2017 64位；CodeBlocks； /vim/gpedit+gcc  
1.3 实验预习  
1 逻辑操作  
逻辑与x=x&x;  
逻辑或x=x|x;  
逻辑非x=~x;  
逻辑异或x=x^x;  
2 无符号数位操作  
左移：<< 右移：>>（逻辑右移）  
3 有符号数位操作  
左移：<< 右移：>>（算术右移）

逻辑运算：  
逻辑与AND %rax, %rbx  
逻辑或OR %rax, %rbx  
逻辑异或XOR %rax, %rbx  
逻辑非NOT %rax, %rbx

无符号数左右移  
逻辑左移SHL %rax, %rbx  
逻辑右移SHR %rax, %rbx

有符号左右移  
算数左移 SAL: %rax, %rbx  
算数右移SAR：%rax, %rbx

循环移位  
循环左移：ROL %rax, %rbx  
循环右移：ROR %rax, %rbx

带进位位的循环移位  
带进位位的循环左移：RCL %rax, %rbx  
带进位位的循环右移：RCR %rax, %rbx

测试、位测试BTx  
将指定位n复制到进位标志中，目的操作数包含要操作的位号n。BT将源操作数的位n复制到进位标志中；BTC将源操作数的位n复制到进位标志中并将位n变反；BTR将源操作数的位n复制到进位标志中并将位n清除；BTS将源操作数的位n复制到进位标志中并将位n置1。按位与（不保存运算结果，值改变标志位的值）  
TEST %rax, %rbx  
BT 2, %rax  
BTC 2, %rax  
BTR 2, %rax  
BTS 2, %rax

条件传送CMOVxx  
CMOV+a、b、e、n、l分别表示：大于、小于、等于、否定、进位  
有符号数：用g、l、e、n、o分别表示：大于、小于、等、否、溢出  
CMOVO 溢出 OF = 1 时传送送  
CMOVNO 末溢出 OF = 0 时传送  
CMOVS 带符号(负) SF = 1 时传送  
CMOVNS 无符号(非负) SF = 0 时传送

/* Testing Code */
    
    #include <limits.h>
    #include <math.h>
    
    /* Routines used by floation point test code */
    
    /* Convert from bit level representation to floating point number */
    float u2f(unsigned u) {
        
      union {
        
        unsigned u;
        float f;
      } a;
      a.u = u;
      return a.f;
    }
    
    /* Convert from floating point number to bit-level representation */
    unsigned f2u(float f) {
        
      union {
        
        unsigned u;
        float f;
      } a;
      a.f = f;
      return a.u;
    }
    
    /* Copyright (C) 1991-2016 Free Software Foundation, Inc.
       This file is part of the GNU C Library.
    
       The GNU C Library is free software; you can redistribute it and/or
       modify it under the terms of the GNU Lesser General Public
       License as published by the Free Software Foundation; either
       version 2.1 of the License, or (at your option) any later version.
    
       The GNU C Library is distributed in the hope that it will be useful,
       but WITHOUT ANY WARRANTY; without even the implied warranty of
       MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
       Lesser General Public License for more details.
    
       You should have received a copy of the GNU Lesser General Public
       License along with the GNU C Library; if not, see
       <http://www.gnu.org/licenses/>.  */
    /* This header is separate from features.h so that the compiler can
       include it implicitly at the start of every compilation.  It must
       not itself include <features.h> or any other header that includes
       <features.h> because the implicit include comes before any feature
       test macros that may be defined in a source file before it first
       explicitly includes a system header.  GCC knows the name of this
       header in order to preinclude it.  */
    /* glibc's intent is to support the IEC 559 math functionality, real
       and complex.  If the GCC (4.9 and later) predefined macros
       specifying compiler intent are available, use them to determine
       whether the overall intent is to support these features; otherwise,
       presume an older compiler has intent to support these features and
       define these macros by default.  */
    /* wchar_t uses Unicode 8.0.0.  Version 8.0 of the Unicode Standard is
       synchronized with ISO/IEC 10646:2014, plus Amendment 1 (published
       2015-05-15).  */
    /* We do not support C11 <threads.h>.  */
    int test_lsbZero(int x) {
        
     if((x>0 && x%2==1) ||(x<0 && x%2==-1))
       x--;
     return x;
    }
    int test_byteNot(int x, int n)
    {
        
        union {
        
      int xs;
      char b[4];
     }exp;
     exp.xs=x;
     exp.b[n]=~exp.b[n];
     return x=exp.xs;
    }
    int test_byteXor(int x, int y, int n) {
        
      union {
        
      int xs;
      char b[4];
     }exp1,exp2;
     exp1.xs=x;
     exp2.xs=y;
     return (exp1.b[n] - exp2.b[n]) != 0;
    }
    int test_logicalAnd(int x, int y) {
        
      return x && y;
    }
    int test_logicalOr(int x, int y) {
        
      return x || y;
    }
    int test_rotateLeft(int x, int n) {
        
      unsigned u = (unsigned) x;
      int i;
      for (i = 0; i < n; i++) {
        
          unsigned msb = u >> 31;
          unsigned rest = u << 1;
          u = rest | msb;
      }
      return (int) u;
    }
    int test_parityCheck(int x) {
        
      int result = 0;
      int i;
      for (i = 0; i < 32; i++)
        result ^= (x >> i) & 0x1;
      return result;
    }
    int test_mul2OK(int x)
    {
        
      if ((x+x)/2 != x)
        return 0;
      else
        return 1;
    }
    int test_mult3div2(int x)
    {
        
      return (x*3)/2;
    }
    int test_subOK(int x, int y)
    {
        
      long long ldiff = (long long) x - y;
      return ldiff == (int) ldiff;
    }
    int test_absVal(int x) {
        
      return (x < 0) ? -x : x;
    }
    unsigned test_float_abs(unsigned uf) {
        
      float f = u2f(uf);
      unsigned unf = f2u(-f);
      if (isnan(f))
        return uf;
      /* An unfortunate hack to get around a limitation of the BDD Checker */
      if ((int) uf < 0)
          return unf;
      else
          return uf;
    }
    int test_float_f2i(unsigned uf) {
        
      float f = u2f(uf);
      int x = (int) f;
      return x;
    }

![在这里插入图片描述][4e53b082a1de4f6f80fccd1b61d3cf3c.png_pic_center]  
![在这里插入图片描述][0bc048e9a73f467fb47a56dc95b5014f.png_pic_center]  
![在这里插入图片描述][0efbbe95093f43539c83074d56a7bc16.png_pic_center]  
![在这里插入图片描述][46948ffd4a2342a08f90598433b90948.png_pic_center]  
![在这里插入图片描述][a56a50466ccd4357a053592209b0c3dd.png_pic_center]  
![在这里插入图片描述][4893cf66d3c0456da6edccc617a63e1c.png_pic_center]  
![在这里插入图片描述][59f0789039b5482d8ffdc2caac111f5e.png_pic_center]  
![在这里插入图片描述][16fefa123253496e929b73b3f186c133.png_pic_center]  
![在这里插入图片描述][88e3cc168e584a8c8900d824788bd586.png_pic_center]  
![在这里插入图片描述][d2f9605451f947b198c9ad99a04e3066.png_pic_center]  
![在这里插入图片描述][1a8b0be420e84dd284e05e4b57ffaabb.png_pic_center]  
![在这里插入图片描述][a1b878056a1a40abbb1c4758224a82a6.png_pic_center]  
![在这里插入图片描述][5f61f1c2f65746f6a366c0c07cd7f6c6.png_pic_center]  
![在这里插入图片描述][ee23a295c5954cc79d1e8fcd70d08747.png_pic_center]  
![在这里插入图片描述][e328c74aaceb415c9b9dbe4c9af319c2.png_pic_center]  
![在这里插入图片描述][b831c42cc0194302aaa0c73b466b0865.png_pic_center]  
![在这里插入图片描述][92fd59ae8e214acaa24f2793e48a1f1b.png_pic_center]  
![在这里插入图片描述][680ec084ace044f6bba2f5a4e979df8a.png_pic_center]  
![在这里插入图片描述][4d596e93c2a047d684dacea73fcd5c8b.png_pic_center]  
![在这里插入图片描述][905bb736baa74c37a6793967c15b897f.png_pic_center]  
![在这里插入图片描述][66d0bec7ac324778894c100a003af326.png_pic_center]  
![在这里插入图片描述][57513131a164422f95322e0efd4b3385.png_pic_center]  
![在这里插入图片描述][7566366e939b4afea2c37e4cae220ad9.png_pic_center]  
![在这里插入图片描述][427c9bb017b447eb9d0b861a7c9fba1d.png_pic_center]

[4e53b082a1de4f6f80fccd1b61d3cf3c.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/004241d3421d4642bdfaabe475f49d3a.png
[0bc048e9a73f467fb47a56dc95b5014f.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/58480f9db5fc46898140691444ffe353.png
[0efbbe95093f43539c83074d56a7bc16.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/d0c941f5d3874dbeb9946a53ac51f52c.png
[46948ffd4a2342a08f90598433b90948.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/8cfffc393a8c424099c2d989dd3188d7.png
[a56a50466ccd4357a053592209b0c3dd.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/4c0af8d900984e059073b39dce728793.png
[4893cf66d3c0456da6edccc617a63e1c.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/20ebcf8ba20f4090b7996d9284cd64f8.png
[59f0789039b5482d8ffdc2caac111f5e.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/b74006e9aeaf4b77a0653b651e0ffc0f.png
[16fefa123253496e929b73b3f186c133.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/4448ca245ff34d14aa6e7cad2b038189.png
[88e3cc168e584a8c8900d824788bd586.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/2c3283608d8649bc9ed677c44d4d3b9f.png
[d2f9605451f947b198c9ad99a04e3066.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/0bb29ddd060a4a5e88f7572f351c0dab.png
[1a8b0be420e84dd284e05e4b57ffaabb.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/201e7af93c814257b582a5f4cb3011cb.png
[a1b878056a1a40abbb1c4758224a82a6.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/3ccfbcfed63d4b8090860e63771b8936.png
[5f61f1c2f65746f6a366c0c07cd7f6c6.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/fae5b5d3daeb4e58b22014087bf69288.png
[ee23a295c5954cc79d1e8fcd70d08747.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/7737d518c1214a7ba46e06c34f7a542c.png
[e328c74aaceb415c9b9dbe4c9af319c2.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/6bcac2dee5084ef1ac320e65ba0c4751.png
[b831c42cc0194302aaa0c73b466b0865.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/6d391bdc07d148d1afdba7ac5638b6b4.png
[92fd59ae8e214acaa24f2793e48a1f1b.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/335109707cf044ea8c33401576a91be4.png
[680ec084ace044f6bba2f5a4e979df8a.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/fd3fa9d280774850b1e2b4ce4f94e72b.png
[4d596e93c2a047d684dacea73fcd5c8b.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/a366352293804f3f8f6573a5174ba699.png
[905bb736baa74c37a6793967c15b897f.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/f34f49f1fdaa4d4bac9778b2378a8b3c.png
[66d0bec7ac324778894c100a003af326.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/8cffae92809f42048e88643bd123576a.png
[57513131a164422f95322e0efd4b3385.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/4e459ae802d5428fa776be3153a5c315.png
[7566366e939b4afea2c37e4cae220ad9.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/4cae01a8094c43f9bc5b2082126d6cb2.png
[427c9bb017b447eb9d0b861a7c9fba1d.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/08/a76387fcee734053bd047b9877d48485.png