VEX IR

VEX不是一种新的语言，它是从机器码转化而来的一种中间表达式，那么为什么要用到这种中间表达式呢?从我理解的程度来说，不同的处理器有不同的架构，其机器码的表现形式也是不一样的，所以为了屏蔽这种差异性，产生了一种新的中间表达式。当然VEX的产生也是带有一定导向的，它可以表示出每一条机器指令对机器产生的影响，程序都走过了哪些路径等等，这样对于在测试中帮助程序改变所走路径，到达程序的高的覆盖率很有帮助。 
 
学习VEX IR应该有一些学习汇编码的基础，下面讲几个VEX中会用到的指令概念：
1.CAS（compare-and-swap）:CAS指令是并行程序设计最基础的基石，随着越来越多的本本都用上了双核，这个世界已经快速步入并行计算时代，CAS指令发挥的作用也就越来越大。CAS指令，在Intel CPU上称为CMPXCHG，作用是将指定内存地址的内容与所给的某个值相比，如果相等，则将其内容替换为所给的另一个值，这一系列操作是原子的，不可能被中断。基本上所有的同步机制，与信号量、Java中的synchronized等的实现最终都要用到CAS指令，即使锁无关的数据结构也离不开CAS指令。 
2.load-link/store-conditional(LL/SC):它们是在多线程的环境下实现多线程同步的一对指令。Load-link返回一个存储器位置的当前值；跟在其后的store-conditional如果对同一存储器地址进行操作，那么将会做如下判定：如果从那条load-link指令开始起没有对该地址用store-conditional做过更新，那么一个新的值将会被写入该地址；否则：更新将会失败，使从load-link所读取的值被恢复。他们结合起来实现了一个lock-free
原子的read-modify-write操作。 
 
一.VEX基本数据类型：
 
/* Always 8 bits. */ 
typedef unsigned char UChar; 
typedef signed char Char; 
typedef char HChar; /* signfulness depends on host */ 
/* Only to be used for printf etc 
format strings */ 
/* Always 16 bits. */ 
typedef unsigned short UShort; 
typedef signed short Short; 
/* Always 32 bits. */ 
typedef unsigned int UInt; 
typedef signed int Int; 
/* Always 64 bits. */ 
typedef unsigned long long int ULong; 
typedef signed long long int Long; 
/* Always 128 bits. */ 
typedef UInt U128[4]; 
/* Always 256 bits. */ 
typedef UInt U256[8]; 
//集中所有128位的vector，记作v128
typedef 
union { 
UChar w8[16]; 
UShort w16[8]; 
UInt w32[4]; 
ULong w64[2]; 
} 
V128;
 
 static inline函数toBool,tochar,toHchar,toUchar,toUshort,toShort分别把Int型变量转换成to后面的类型，toUInt把long型变量转换成UInt。
 不同的处理器的架构不同，host的字长（32位或64位）不一样，要先搞清楚字长，否则会导致编译错误。这里预编译了x86_64, i386,powerpc,powerpc_64,arm,AIX(64位和非64位)，s390x,mips这9种不同的架构，分别定义了其VEX_HOST_WORDSIZE的大小（4或8）和VEX_REGPARM(_n)（？？暂时不知到这是什么）。Ptr_to_ULong 和ULong_to_Ptr函数的功能是cast
pointers to and from 64-bit integers(在不考虑host字长的情况下) ,知道host字长写这些函数会很方便。
 
二.VEX IR结构介绍：
VEX IR是一种隔离不同架构的中间表达式而不是一种语言，它更像是编译器运行的IR。它有一定的结构：
code block：
 代码被分解成多个小的代码块（“superblock”，type：IRSB）。IRSB是单入口多出口的，IRSB里包含3个内容：1.a
type environment，表明IRSB中每个临

VEX IR

浏览过的版块