<div dir="ltr"><div>Hi -<br><br></div>Thanks for the repro. For context, I changed zext to sext on line 268 to fix another bug (see test cases on that commit).<br><div><br>> I also don't understand, for example, why it is correct to truncate and 
re-extend the already-computed Offset and Scale from the caller<br><br></div><div>I agree - I'll have a look tonight and see if I can come up with a proper fix, as clearly neither zext or sext is always correct! <br><br></div><div>Nick<br></div></div>