<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">On Jan 6, 2016, at 2:05 AM, Andrew Haley <<a href="mailto:aph@redhat.com" class="">aph@redhat.com</a>> wrote:<br class=""><div><blockquote type="cite" class=""><br class="Apple-interchange-newline"><div class=""><span style="font-family: Helvetica; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">Can you give me a pointer to an example of such duplicated</span><br style="font-family: Helvetica; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">pre-intrinsic code?</span><br style="font-family: Helvetica; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br style="font-family: Helvetica; font-size: 16px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""></div></blockquote></div><br class=""><div class="">It's another case of belt-and-suspenders.</div><div class=""><br class=""></div><div class="">The internal bytecodes of a non-replaced intrinsic candidate perform</div><div class="">hardwired range checks as part of iaload, etc.  So the JVM defends</div><div class="">itself against out-of-range access, as usual.  Meanwhile, at a higher</div><div class="">level, the intrinsic candidate (whether replaced or not) is dominated</div><div class="">by a call to explicit range check logic.</div><div class=""><br class=""></div><div class="">  if (rangeCheckFail(array, indexes))  goto L_throw_1;</div><div class="">  /* non-replaced intrinsic, logic gets inlined as follows: */</div><div class="">  for (index in indexes…) {</div><div class="">     if (rangeCheckFail(array, index))  goto L_throw_2;</div><div class="">     tem = iaload(array, index);</div><div class="">     … }</div><div class=""><br class=""></div><div class="">In the case of a replaced intrinsic, there is not guaranteed to</div><div class="">be a full range check of the array access, so:</div><div class=""><br class=""></div><div class=""><div class="">  if (rangeCheckFail(array, indexes))  goto L_throw_1;</div><div class="">  /* replaced intrinsic */</div><div class="">  …some vectorized assembly code works with array and indexes…</div><div class=""><br class=""></div></div><div class="">In the first case, if the first "rangeCheckFail" logic is similar enough</div><div class="">to the second "rangeCheckFail" logic, the JIT can elide the second one.</div><div class="">But they are likely *not* to match if the programmer has written something</div><div class="">elegant and/or clever for the first set of checks.</div><div class=""><br class=""></div><div class="">— John</div></body></html>