<div class="gmail_quote">On 24 January 2011 10:05, Douglas do Couto Teixeira <span dir="ltr"><<a href="mailto:douglasdocouto@gmail.com" target="_blank">douglasdocouto@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br><br><div class="gmail_quote"><div>On Mon, Jan 24, 2011 at 3:01 PM, Nick Lewycky <span dir="ltr"><<a href="mailto:nicholas@mxc.ca" target="_blank">nicholas@mxc.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
<div>On 01/24/2011 04:41 AM, Douglas do Couto Teixeira wrote:<br>
<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
Hi,<br>
<br>
Nick, thanks for the reply.<br>
I still have a problem: I only need to "clone" an Instruction, changing<br>
its type. That is, I would like to keep all characteristics of the old<br>
Instruction and create a new one only with a different type.<br>
</blockquote>
<br></div>
Sure, but what about its operands? An "add" instruction must have the same type as its operands, what do you want to do with them? </blockquote></div><div><br>I also need to convert the type of the operands. But I want to do this when they are created instead of inserting "trunc" instructions before performing an operation. But it seems hard to me.<br>
</div></div></blockquote><div><br></div><div>It is. You can walk upwards in a chain:</div><div> a) if it's a constant, use ConstantExpr::getTrunc which will return another constant.</div><div> b) if it's a memory load you can try to replace the pointer type too and recurse on that. But then what do you do if it's a load of a global variable?</div>
<div> c) what if it's the type returned by a function call? Do you have a different function you can call instead? Are you going to recursively transform that function too?</div><div> d) what if it's an Argument? You'll have to change the function's type which means creating a new function and splicing all the basic blocks from the old one into a new one -- then updating every call site.</div>
<div>And don't forget that for each instruction you touch, you need to update all of their users too.</div><div><br></div><div>Nick</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="gmail_quote"><div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">Suppose you're going from a 32-bit add to a 64-bit add, do the old operands get zero extended? Sign extended? You'll need to insert instructions for that (unless they're constants in which case you can use constant expressions). Similarly, what if the old type is a float and the new one is an int? float to signed int, float to unsigned int, or bitcast (only legal sometimes)?</blockquote>
</div><div><br>I believe I don't need worry about it because I only create smaller instructions. So I never convert a 32-bit instruction in a 64-bit instruction. <br> </div><div><div></div><div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
<div><br>
<br>
I am trying<br>
<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
create a new Instruction thus:<br>
<br>
%3 = add nsw i32 %1, %2 ; <i16> [#uses=2] //Old Instruction<br>
<br>
Value* Op0 = I->getOperand(0);<br>
Value* Op1 = I->getOperand(1);<br>
Value* V0 = new Value(Type::getInt16Ty(Op0->getContext()),<br>
Op0->getValueID());<br>
</blockquote>
<br></div>
Hunh, Value's constructor is protected.<br>
<br>
In any event, Value is pure base. Constructing one this way will never get you what you want. If the ValueID indicates an Instruction, go through Instruction to create one.<div><br>
<br>
<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
Value* V1 = new Value(Type::getInt16Ty(Op1->getContext()),<br>
Op1->getValueID());<br>
Instruction* newInst = BinaryOperator::CreateNSWAdd(V0, V1, "test");<br>
errs() << "NewInst:\n" << *newInst << "\n";<br>
<br>
<br>
But I get something like this:<br>
<br>
%test = add nsw i16 <badref>, <badref> ; <i16> [#uses=0]<br>
</blockquote>
<br></div>
The two instructions V0 and V1 you created were never inserted into the BasicBlock so they can't be numbered, and also they don't have names.<div><br>
<br>
<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
What I am doing wrong?<br>
</blockquote>
<br></div>
Suppose that you're going from i32 to i16. Your only choice with that particular pair of types is a truncate. So:<br>
<br>
IRBuilder builder(OldInst);<br>
Value *V0 = builder.CreateTrunc(Op0, Type::getInt16Ty());<br>
Value *V1 = builder.CreateTrunc(Op1, Type::getInt16Ty());<br>
Value *Add = builder.CreateNSWAdd(V0, V1, "test");<br>
<br>
The IRBuilder will take care of the distinction between instructions and constants for you. Note that I have not tested the above code, it may need some fixing before it compiles.<br><font color="#888888">
<br>
Nick<br>
<br>
</font><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex"><div>
<br>
<br>
Best,<br>
<br>
Douglas<br>
<br>
On Fri, Jan 21, 2011 at 8:25 PM, Nick Lewycky <<a href="mailto:nlewycky@google.com" target="_blank">nlewycky@google.com</a><br></div><div>
<mailto:<a href="mailto:nlewycky@google.com" target="_blank">nlewycky@google.com</a>>> wrote:<br>
<br>
On 21 January 2011 12:56, Douglas do Couto Teixeira<br></div><div>
<<a href="mailto:douglasdocouto@gmail.com" target="_blank">douglasdocouto@gmail.com</a> <mailto:<a href="mailto:douglasdocouto@gmail.com" target="_blank">douglasdocouto@gmail.com</a>>> wrote:<br>
<br>
Hello guys,<br>
<br>
I wonder how I can change the type of an integer variable. For<br>
instance, given the instruction "%3 = add i32 %1, %2" I would<br>
like to alter the instruction to "%3 = add i16 %1, %2". Is there<br>
any way to do this?<br>
<br>
<br>
No. Instead you create a new Instruction, in this case with<br>
BinaryOperator::CreateAdd, then OldInst->replaceAllUsesWith(NewInst)<br>
to update all the users, then OldInst->eraseFromParent() since it's<br>
now dead code.<br>
<br>
Also, all values have types immutably assigned at creation, so<br>
you'll need to insert casts (trunc instructions in your case) to<br>
cast %1 and %2 from i32 to i16 for the smaller add.<br>
<br>
Nick<br>
<br>
<br>
<br>
<br></div><div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></blockquote>
<br>
</blockquote></div></div></div><br>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br>