llvm官方定义的store,前后Type一致
store (A:src value) (B:dest pointer value)
1、当A为structType,未见过,assert(0)
2、当A不为structType,为iN的struct
store A *B 处理思路:
将A和B独立分开考虑,就像memcpy(A,B)一样,将A要copy的元素提取出来,B被copy的地址计算处理,然后两者进行store。这样考虑的情况就会少一些,因为将A和B连起来考虑种类非常多,考虑问题要越简单,很多if条件就是烂代码。
第一步:StoreInstDestProcess()函数提取Dest信息,StoreInstSrcProcess()函数提取Src信息
第二步:对Dest和Src做分情况讨论处理。
DestAndSrcFromBitcast()处理的是两者都是从bitcast而来的structType,对两者进行getelementptr取值然后store。
DestFromBitcast()处理的是Dest是从bitcast而来,但Src不是,直接对Src进行trunc处理,从而store。
bitcast struct A
load A
store A *B
argument A
store A *
GetElementPtrInst
MemCpyInst
LoadInst
BitCastInst
CallInst
storeInst
ConstantExpr
AllocaInst
情况一:StoreInst中src从函数的argument而来。
%3 = alloca %struct.point
%4 = bitcast %struct.point* %3 to i16*
%5 = call i16 @_ssdm_op_BitConcatenate.i16.i8.i8(i8 %0, i8 %1)
store i16 %5, i16* %4