<div dir="ltr">Hello all,<div><br></div><div>I've found the need to fixup address spaces in some code I'm writing. I'm puzzled by the fact that there are no setters for `addrspace`: For example, in GetElementPtrInst's API, or in `CastInst` and its subclasses.</div><div><br></div><div>I believe there is some rationale for this I'm missing. Could someone please fill me in?</div><div><br></div><div>Cheers,</div><div>~Siddharth.</div></div><div dir="ltr">-- <br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Sending this from my phone, please excuse any typos!</div></div>