<div dir="ltr">The GEP constructor does not assert that the source and destination types match. Of course, this is incorrect and causes random failures somewhere down the line.<div><br></div><div>Could I add general sanity checks to the GEP constructor?</div><div><br></div><div>In general, is an Instruction allowed to be in an inconsistent state? If so, is there some well known method to "verify" whether an instruction is consistent or not?</div><div><br></div><div>Thanks,</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>