store <ty> <value> A, <ty>* <pointer> B 处理算法

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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值