<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 29, 2015 at 11:00 AM, Pete Couperus <span dir="ltr"><<a href="mailto:Peter.J.Couperus@synopsys.com" target="_blank">Peter.J.Couperus@synopsys.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-US" link="blue" vlink="purple">
<div>
<p class="MsoNormal">Hello,<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">OpenCL defines shifts so the requested shift size is masked.<u></u><u></u></p>
<p class="MsoNormal">I’m looking at the IR generated by clang for shifts in OpenCL, and had a question.<u></u><u></u></p>
<p class="MsoNormal">For int shifts, clang creates a mask and does the shift on the mask of the requested shift, like so:<u></u><u></u></p>
<p class="MsoNormal">  %shr.mask = and i32 %b, 31<u></u><u></u></p>
<p class="MsoNormal">  %shr = lshr i32 %a, %shr.mask<u></u><u></u></p>
<p class="MsoNormal">This is basically what I would expect.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">For shifts on shorts/chars:<u></u><u></u></p>
<p class="MsoNormal">uchar<u></u><u></u></p>
<p class="MsoNormal">s(uchar a, uchar b) {<u></u><u></u></p>
<p class="MsoNormal">  return a >> b;<u></u><u></u></p>
<p class="MsoNormal">}<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Clang generates:<u></u><u></u></p>
<p class="MsoNormal">define zeroext i8 @s(i8 zeroext %a, i8 zeroext %b) #0 {<u></u><u></u></p>
<p class="MsoNormal">entry:<u></u><u></u></p>
<p class="MsoNormal">  %conv = zext i8 %a to i32<u></u><u></u></p>
<p class="MsoNormal">  %conv1 = zext i8 %b to i32<u></u><u></u></p>
<p class="MsoNormal">  %shr.mask = and i32 %conv1, 31<u></u><u></u></p>
<p class="MsoNormal">  %shr = lshr i32 %conv, %shr.mask<u></u><u></u></p>
<p class="MsoNormal">  %conv2 = trunc i32 %shr to i8<u></u><u></u></p>
<p class="MsoNormal">  ret i8 %conv2<u></u><u></u></p>
<p class="MsoNormal">}<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">I expected the mask in this case to be done “and 7” rather than “and 31”.<u></u><u></u></p>
<p class="MsoNormal">Is this a bug in clang, or is my expectation/understanding wrong?<u></u><u></u></p>
<p class="MsoNormal">Thanks!</p></div></div></blockquote><div><br></div><div>It isn't possible, in C, to shift around types whose rank is smaller than 'int'.  The operands will be promoted to int and the shift operation will apply to the promoted values.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="EN-US" link="blue" vlink="purple"><div><p class="MsoNormal"><span class="HOEnZb"><font color="#888888"><u></u><u></u></font></span></p><span class="HOEnZb"><font color="#888888">
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Pete<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
</font></span></div>
</div>

<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br></div></div>