Adding support for vector operands (Patch 2)#74
Adding support for vector operands (Patch 2)#74Machiry wants to merge 1 commit intoSVF-tools:masterfrom Machiry:patch-2
Conversation
Added changes to `PAGBuilder` to correctly handle store instructions, in case of vector operands.
| // create dst node only if its required. i.e., if any of the element | ||
| // of the vector's value is a pointer type. | ||
| if(!dstCreated) { | ||
| vdst = getValueNode(inst.getPointerOperand()); |
There was a problem hiding this comment.
Shall we also consider whether the PointerOperand is a ConstantVector or not?
|
Machiry, I had a look at your patch. The vector instruction is a special one to SVF when building constraints and graphs. SVF is not able to handle ConstantVector and a few Vector Instructions (e.g., https://llvm.org/docs/LangRef.html#vector-operations) at this stage.
|
2 participants
Added changes to
PAGBuilderto correctly handle store instructions, in case of vector operands.