<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Wed, Apr 25, 2018 at 2:58 PM Sanjay Patel <<a href="mailto:spatel@rotateright.com">spatel@rotateright.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Damn...<br><br></div>1. I've never actually used the sanitizers for anything more than simple experiments. But a look at the docs and simple test says this will do it:<br><a href="https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html" target="_blank">https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html</a><br><code class="m_-4827511685014259881gmail-docutils m_-4827511685014259881gmail-literal"><span class="m_-4827511685014259881gmail-pre">-fsanitize=float-cast-overflow</span></code></div></div></blockquote><div><br></div><div>If this covers everything, great. Maybe document this in the release notes as well? </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div></div>2. Yes, that's probably wiser. -fjunk-in-trunc ? :)<br></div></blockquote><div><br></div><div>-fstrict-fp-trunc-semantics maybe?</div><div><br></div><div>Or maybe we should phrase it more:</div><div><br></div><div>-ffp-cast-overflow-workaround</div><div><br></div><div>To make it clear that enabling this is a bad idea and something that needs to go away?</div><div><br></div><div>We should be *really* clear around the documentation of the flag that it will not be supported long term and will go away in a future release. (And be really clear about that in the release notes as well.)</div><div><br></div><div>May make sense to make it CC1 only.</div><div><br></div><div>Anyways, all of this is a better clang commits list discussion. =]</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 25, 2018 at 3:38 PM, Chandler Carruth <span dir="ltr"><<a href="mailto:chandlerc@gmail.com" target="_blank">chandlerc@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hey Sanjay, this is hitting a *lot* of code, even outside of Chrome....<div><br></div><div>I think we need a more nuanced way to handle this.</div><div><br></div><div>1) Is there a specific sanitizer that we can enable that will point out *just* the issues this impacts?</div><div><br></div><div>2) Can we have a flag to control this behavior at least for a temporary period of time? that would make it much easier to roll out when there are very large numbers of issues encountered.</div></div><div class="m_-4827511685014259881HOEnZb"><div class="m_-4827511685014259881h5"><br><div class="gmail_quote"><div dir="ltr">On Fri, Apr 20, 2018 at 8:11 AM Sanjay Patel via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: spatel<br>
Date: Fri Apr 20 08:07:55 2018<br>
New Revision: 330437<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=330437&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=330437&view=rev</a><br>
Log:<br>
[DAGCombine] (float)((int) f) --> ftrunc (PR36617)<br>
<br>
This was originally committed at rL328921 and reverted at rL329920 to<br>
investigate failures in Chrome. This time I've added to the ReleaseNotes<br>
to warn users of the potential of exposing UB and let me repeat that<br>
here for more exposure:<br>
<br>
  Optimization of floating-point casts is improved. This may cause surprising<br>
  results for code that is relying on undefined behavior. Code sanitizers can<br>
  be used to detect affected patterns such as this:<br>
<br>
  Â  int main() {<br>
  Â  Â  float x = 4294967296.0f;<br>
  Â  Â  x = (float)((int)x);<br>
  Â  Â  printf("junk in the ftrunc: %f\n", x);<br>
  Â  Â  return 0;<br>
  Â  }<br>
<br>
  Â  $ clang -O1 ftrunc.c -fsanitize=undefined ; ./a.out<br>
  Â  ftrunc.c:5:15: runtime error: 4.29497e+09 is outside the range of <br>
  Â  Â  Â  Â  Â  Â  Â  Â  Â representable values of type 'int'<br>
  Â  junk in the ftrunc: 0.000000<br>
<br>
<br>
Original commit message:<br>
<br>
fptosi / fptoui round towards zero, and that's the same behavior as ISD::FTRUNC,<br>
so replace a pair of casts with the equivalent node. We don't have to account for<br>
special cases (NaN, INF) because out-of-range casts are undefined.<br>
<br>
Differential Revision: <a href="https://reviews.llvm.org/D44909" rel="noreferrer" target="_blank">https://reviews.llvm.org/D44909</a><br>
<br>
Added:<br>
  Â  llvm/trunk/test/CodeGen/ARM/ftrunc.ll<br>
  Â  Â  - copied unchanged from r329919, llvm/trunk/test/CodeGen/ARM/ftrunc.ll<br>
Modified:<br>
  Â  llvm/trunk/docs/ReleaseNotes.rst<br>
  Â  llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h<br>
  Â  llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp<br>
  Â  llvm/trunk/test/CodeGen/AArch64/ftrunc.ll<br>
  Â  llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll<br>
  Â  llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll<br>
  Â  llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll<br>
  Â  llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll<br>
  Â  llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll<br>
  Â  llvm/trunk/test/CodeGen/X86/ftrunc.ll<br>
<br>
Modified: llvm/trunk/docs/ReleaseNotes.rst<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/ReleaseNotes.rst?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/ReleaseNotes.rst?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/docs/ReleaseNotes.rst (original)<br>
+++ llvm/trunk/docs/ReleaseNotes.rst Fri Apr 20 08:07:55 2018<br>
@@ -61,6 +61,26 @@ Non-comprehensive list of changes in thi<br>
 * The optimization flag to merge constants (-fmerge-all-constants) is no longer<br>
  Â applied by default.<br>
<br>
+* Optimization of floating-point casts is improved. This may cause surprising<br>
+  results for code that is relying on undefined behavior. Code sanitizers can<br>
+  be used to detect affected patterns such as this:<br>
+<br>
+.. code-block:: c<br>
+<br>
+  Â  int main() {<br>
+  Â  Â  float x = 4294967296.0f;<br>
+  Â  Â  x = (float)((int)x);<br>
+  Â  Â  printf("junk in the ftrunc: %f\n", x);<br>
+  Â  Â  return 0;<br>
+  Â  }<br>
+<br>
+.. code-block:: bash<br>
+<br>
+  Â  clang -O1 ftrunc.c -fsanitize=undefined ; ./a.out <br>
+  Â  ftrunc.c:5:15: runtime error: 4.29497e+09 is outside the range of representable values of type 'int'<br>
+  Â  junk in the ftrunc: 0.000000<br>
+<br>
+<br>
 * Note..<br>
<br>
 .. NOTE<br>
<br>
Modified: llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h (original)<br>
+++ llvm/trunk/include/llvm/CodeGen/ISDOpcodes.h Fri Apr 20 08:07:55 2018<br>
@@ -495,7 +495,8 @@ namespace ISD {<br>
  Â  Â ZERO_EXTEND_VECTOR_INREG,<br>
<br>
  Â  Â /// FP_TO_[US]INT - Convert a floating point value to a signed or unsigned<br>
-  Â  /// integer.<br>
+  Â  /// integer. These have the same semantics as fptosi and fptoui in IR. If<br>
+  Â  /// the FP value cannot fit in the integer type, the results are undefined.<br>
  Â  Â FP_TO_SINT,<br>
  Â  Â FP_TO_UINT,<br>
<br>
<br>
Modified: llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp (original)<br>
+++ llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp Fri Apr 20 08:07:55 2018<br>
@@ -10890,6 +10890,15 @@ SDValue DAGCombiner::visitSINT_TO_FP(SDN<br>
  Â  Â }<br>
  Â }<br>
<br>
+  // fptosi rounds towards zero, so converting from FP to integer and back is<br>
+  // the same as an 'ftrunc': sitofp (fptosi X) --> ftrunc X<br>
+  // We only do this if the target has legal ftrunc, otherwise we'd likely be<br>
+  // replacing casts with a libcall.<br>
+  if (N0.getOpcode() == ISD::FP_TO_SINT &&<br>
+  Â  Â  N0.getOperand(0).getValueType() == VT &&<br>
+  Â  Â  TLI.isOperationLegal(ISD::FTRUNC, VT))<br>
+  Â  return DAG.getNode(ISD::FTRUNC, SDLoc(N), VT, N0.getOperand(0));<br>
+<br>
  Â return SDValue();<br>
 }<br>
<br>
@@ -10929,6 +10938,15 @@ SDValue DAGCombiner::visitUINT_TO_FP(SDN<br>
  Â  Â }<br>
  Â }<br>
<br>
+  // fptoui rounds towards zero, so converting from FP to integer and back is<br>
+  // the same as an 'ftrunc': uitofp (fptoui X) --> ftrunc X<br>
+  // We only do this if the target has legal ftrunc, otherwise we'd likely be<br>
+  // replacing casts with a libcall.<br>
+  if (N0.getOpcode() == ISD::FP_TO_UINT &&<br>
+  Â  Â  N0.getOperand(0).getValueType() == VT &&<br>
+  Â  Â  TLI.isOperationLegal(ISD::FTRUNC, VT))<br>
+  Â  return DAG.getNode(ISD::FTRUNC, SDLoc(N), VT, N0.getOperand(0));<br>
+<br>
  Â return SDValue();<br>
 }<br>
<br>
<br>
Modified: llvm/trunk/test/CodeGen/AArch64/ftrunc.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/ftrunc.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/ftrunc.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/AArch64/ftrunc.ll (original)<br>
+++ llvm/trunk/test/CodeGen/AArch64/ftrunc.ll Fri Apr 20 08:07:55 2018<br>
@@ -4,8 +4,7 @@<br>
 define float @trunc_unsigned_f32(float %x) {<br>
 ; CHECK-LABEL: trunc_unsigned_f32:<br>
 ; CHECK:  Â  Â  Â // %bb.0:<br>
-; CHECK-NEXT:  Â  fcvtzu w8, s0<br>
-; CHECK-NEXT:  Â  ucvtf s0, w8<br>
+; CHECK-NEXT:  Â  frintz s0, s0<br>
 ; CHECK-NEXT:  Â  ret<br>
  Â %i = fptoui float %x to i32<br>
  Â %r = uitofp i32 %i to float<br>
@@ -15,8 +14,7 @@ define float @trunc_unsigned_f32(float %<br>
 define double @trunc_unsigned_f64(double %x) {<br>
 ; CHECK-LABEL: trunc_unsigned_f64:<br>
 ; CHECK:  Â  Â  Â // %bb.0:<br>
-; CHECK-NEXT:  Â  fcvtzu x8, d0<br>
-; CHECK-NEXT:  Â  ucvtf d0, x8<br>
+; CHECK-NEXT:  Â  frintz d0, d0<br>
 ; CHECK-NEXT:  Â  ret<br>
  Â %i = fptoui double %x to i64<br>
  Â %r = uitofp i64 %i to double<br>
@@ -26,8 +24,7 @@ define double @trunc_unsigned_f64(double<br>
 define float @trunc_signed_f32(float %x) {<br>
 ; CHECK-LABEL: trunc_signed_f32:<br>
 ; CHECK:  Â  Â  Â // %bb.0:<br>
-; CHECK-NEXT:  Â  fcvtzs w8, s0<br>
-; CHECK-NEXT:  Â  scvtf s0, w8<br>
+; CHECK-NEXT:  Â  frintz s0, s0<br>
 ; CHECK-NEXT:  Â  ret<br>
  Â %i = fptosi float %x to i32<br>
  Â %r = sitofp i32 %i to float<br>
@@ -37,8 +34,7 @@ define float @trunc_signed_f32(float %x)<br>
 define double @trunc_signed_f64(double %x) {<br>
 ; CHECK-LABEL: trunc_signed_f64:<br>
 ; CHECK:  Â  Â  Â // %bb.0:<br>
-; CHECK-NEXT:  Â  fcvtzs x8, d0<br>
-; CHECK-NEXT:  Â  scvtf d0, x8<br>
+; CHECK-NEXT:  Â  frintz d0, d0<br>
 ; CHECK-NEXT:  Â  ret<br>
  Â %i = fptosi double %x to i64<br>
  Â %r = sitofp i64 %i to double<br>
<br>
Modified: llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll (original)<br>
+++ llvm/trunk/test/CodeGen/PowerPC/fp-int128-fp-combine.ll Fri Apr 20 08:07:55 2018<br>
@@ -5,18 +5,7 @@<br>
 define float @f_i128_f(float %v) {<br>
 ; CHECK-LABEL: f_i128_f:<br>
 ; CHECK:  Â  Â  Â # %bb.0: # %entry<br>
-; CHECK-NEXT:  Â  mflr 0<br>
-; CHECK-NEXT:  Â  std 0, 16(1)<br>
-; CHECK-NEXT:  Â  stdu 1, -32(1)<br>
-; CHECK-NEXT:  Â  .cfi_def_cfa_offset 32<br>
-; CHECK-NEXT:  Â  .cfi_offset lr, 16<br>
-; CHECK-NEXT:  Â  bl __fixsfti<br>
-; CHECK-NEXT:  Â  nop<br>
-; CHECK-NEXT:  Â  bl __floattisf<br>
-; CHECK-NEXT:  Â  nop<br>
-; CHECK-NEXT:  Â  addi 1, 1, 32<br>
-; CHECK-NEXT:  Â  ld 0, 16(1)<br>
-; CHECK-NEXT:  Â  mtlr 0<br>
+; CHECK-NEXT:  Â  friz 1, 1<br>
 ; CHECK-NEXT:  Â  blr<br>
 entry:<br>
  Â %a = fptosi float %v to i128<br>
<br>
Modified: llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll (original)<br>
+++ llvm/trunk/test/CodeGen/PowerPC/fp-to-int-to-fp.ll Fri Apr 20 08:07:55 2018<br>
@@ -11,8 +11,7 @@ entry:<br>
  Â ret float %conv1<br>
<br>
 ; FPCVT-LABEL: @fool<br>
-; FPCVT: fctidz [[REG1:[0-9]+]], 1<br>
-; FPCVT: fcfids 1, [[REG1]]<br>
+; FPCVT: friz 1, 1<br>
 ; FPCVT: blr<br>
<br>
 ; PPC64-LABEL: @fool<br>
@@ -30,8 +29,7 @@ entry:<br>
  Â ret double %conv1<br>
<br>
 ; FPCVT-LABEL: @foodl<br>
-; FPCVT: fctidz [[REG1:[0-9]+]], 1<br>
-; FPCVT: fcfid 1, [[REG1]]<br>
+; FPCVT: friz 1, 1<br>
 ; FPCVT: blr<br>
<br>
 ; PPC64-LABEL: @foodl<br>
@@ -48,8 +46,7 @@ entry:<br>
  Â ret float %conv1<br>
<br>
 ; FPCVT-LABEL: @fooul<br>
-; FPCVT: fctiduz [[REG1:[0-9]+]], 1<br>
-; FPCVT: fcfidus 1, [[REG1]]<br>
+; FPCVT: friz 1, 1<br>
 ; FPCVT: blr<br>
 }<br>
<br>
@@ -61,8 +58,7 @@ entry:<br>
  Â ret double %conv1<br>
<br>
 ; FPCVT-LABEL: @fooudl<br>
-; FPCVT: fctiduz [[REG1:[0-9]+]], 1<br>
-; FPCVT: fcfidu 1, [[REG1]]<br>
+; FPCVT: friz 1, 1<br>
 ; FPCVT: blr<br>
 }<br>
<br>
<br>
Modified: llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll (original)<br>
+++ llvm/trunk/test/CodeGen/PowerPC/ftrunc-vec.ll Fri Apr 20 08:07:55 2018<br>
@@ -4,8 +4,7 @@<br>
 define <4 x float> @truncf32(<4 x float> %a) {<br>
 ; CHECK-LABEL: truncf32:<br>
 ; CHECK:  Â  Â  Â # %bb.0:<br>
-; CHECK-NEXT:  Â  xvcvspsxws 0, 34<br>
-; CHECK-NEXT:  Â  xvcvsxwsp 34, 0<br>
+; CHECK-NEXT:  Â  xvrspiz 34, 34<br>
 ; CHECK-NEXT:  Â  blr<br>
  Â %t0 = fptosi <4 x float> %a to <4 x i32><br>
  Â %t1 = sitofp <4 x i32> %t0 to <4 x float><br>
@@ -15,8 +14,7 @@ define <4 x float> @truncf32(<4 x float><br>
 define <2 x double> @truncf64(<2 x double> %a) {<br>
 ; CHECK-LABEL: truncf64:<br>
 ; CHECK:  Â  Â  Â # %bb.0:<br>
-; CHECK-NEXT:  Â  xvcvdpsxds 34, 34<br>
-; CHECK-NEXT:  Â  xvcvsxddp 34, 34<br>
+; CHECK-NEXT:  Â  xvrdpiz 34, 34<br>
 ; CHECK-NEXT:  Â  blr<br>
  Â %t0 = fptosi <2 x double> %a to <2 x i64><br>
  Â %t1 = sitofp <2 x i64> %t0 to <2 x double><br>
@@ -26,8 +24,7 @@ define <2 x double> @truncf64(<2 x doubl<br>
 define <4 x float> @truncf32u(<4 x float> %a) {<br>
 ; CHECK-LABEL: truncf32u:<br>
 ; CHECK:  Â  Â  Â # %bb.0:<br>
-; CHECK-NEXT:  Â  xvcvspuxws 0, 34<br>
-; CHECK-NEXT:  Â  xvcvuxwsp 34, 0<br>
+; CHECK-NEXT:  Â  xvrspiz 34, 34<br>
 ; CHECK-NEXT:  Â  blr<br>
  Â %t0 = fptoui <4 x float> %a to <4 x i32><br>
  Â %t1 = uitofp <4 x i32> %t0 to <4 x float><br>
@@ -37,8 +34,7 @@ define <4 x float> @truncf32u(<4 x float<br>
 define <2 x double> @truncf64u(<2 x double> %a) {<br>
 ; CHECK-LABEL: truncf64u:<br>
 ; CHECK:  Â  Â  Â # %bb.0:<br>
-; CHECK-NEXT:  Â  xvcvdpuxds 34, 34<br>
-; CHECK-NEXT:  Â  xvcvuxddp 34, 34<br>
+; CHECK-NEXT:  Â  xvrdpiz 34, 34<br>
 ; CHECK-NEXT:  Â  blr<br>
  Â %t0 = fptoui <2 x double> %a to <2 x i64><br>
  Â %t1 = uitofp <2 x i64> %t0 to <2 x double><br>
<br>
Modified: llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll (original)<br>
+++ llvm/trunk/test/CodeGen/PowerPC/no-extra-fp-conv-ldst.ll Fri Apr 20 08:07:55 2018<br>
@@ -36,11 +36,7 @@ entry:<br>
  Â ret float %conv1<br>
<br>
 ; CHECK-LABEL: @foo<br>
-; CHECK-DAG: fctiwz [[REG2:[0-9]+]], 1<br>
-; CHECK-DAG: addi [[REG1:[0-9]+]], 1,<br>
-; CHECK: stfiwx [[REG2]], 0, [[REG1]]<br>
-; CHECK: lfiwax [[REG3:[0-9]+]], 0, [[REG1]]<br>
-; CHECK: fcfids 1, [[REG3]]<br>
+; CHECK: friz 1, 1<br>
 ; CHECK: blr<br>
 }<br>
<br>
@@ -52,11 +48,7 @@ entry:<br>
  Â ret double %conv1<br>
<br>
 ; CHECK-LABEL: @food<br>
-; CHECK-DAG: fctiwz [[REG2:[0-9]+]], 1<br>
-; CHECK-DAG: addi [[REG1:[0-9]+]], 1,<br>
-; CHECK: stfiwx [[REG2]], 0, [[REG1]]<br>
-; CHECK: lfiwax [[REG3:[0-9]+]], 0, [[REG1]]<br>
-; CHECK: fcfid 1, [[REG3]]<br>
+; CHECK: friz 1, 1<br>
 ; CHECK: blr<br>
 }<br>
<br>
@@ -68,11 +60,7 @@ entry:<br>
  Â ret float %conv1<br>
<br>
 ; CHECK-LABEL: @foou<br>
-; CHECK-DAG: fctiwuz [[REG2:[0-9]+]], 1<br>
-; CHECK-DAG: addi [[REG1:[0-9]+]], 1,<br>
-; CHECK: stfiwx [[REG2]], 0, [[REG1]]<br>
-; CHECK: lfiwzx [[REG3:[0-9]+]], 0, [[REG1]]<br>
-; CHECK: fcfidus 1, [[REG3]]<br>
+; CHECK: friz 1, 1<br>
 ; CHECK: blr<br>
 }<br>
<br>
@@ -84,11 +72,7 @@ entry:<br>
  Â ret double %conv1<br>
<br>
 ; CHECK-LABEL: @fooud<br>
-; CHECK-DAG: fctiwuz [[REG2:[0-9]+]], 1<br>
-; CHECK-DAG: addi [[REG1:[0-9]+]], 1,<br>
-; CHECK: stfiwx [[REG2]], 0, [[REG1]]<br>
-; CHECK: lfiwzx [[REG3:[0-9]+]], 0, [[REG1]]<br>
-; CHECK: fcfidu 1, [[REG3]]<br>
+; CHECK: friz 1, 1<br>
 ; CHECK: blr<br>
 }<br>
<br>
<br>
Modified: llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll (original)<br>
+++ llvm/trunk/test/CodeGen/X86/2011-10-19-widen_vselect.ll Fri Apr 20 08:07:55 2018<br>
@@ -71,8 +71,7 @@ define void @full_test() {<br>
 ; X32-NEXT:  Â  subl $60, %esp<br>
 ; X32-NEXT:  Â  .cfi_def_cfa_offset 64<br>
 ; X32-NEXT:  Â  movsd {{.*#+}} xmm2 = mem[0],zero<br>
-; X32-NEXT:  Â  cvttps2dq %xmm2, %xmm0<br>
-; X32-NEXT:  Â  cvtdq2ps %xmm0, %xmm1<br>
+; X32-NEXT:  Â  roundps $11, %xmm2, %xmm1<br>
 ; X32-NEXT:  Â  xorps %xmm0, %xmm0<br>
 ; X32-NEXT:  Â  cmpltps %xmm2, %xmm0<br>
 ; X32-NEXT:  Â  movaps {{.*#+}} xmm3 = <1,1,u,u><br>
@@ -93,8 +92,7 @@ define void @full_test() {<br>
 ; X64-LABEL: full_test:<br>
 ; X64:  Â  Â  Â # %bb.0: # %entry<br>
 ; X64-NEXT:  Â  movsd {{.*#+}} xmm2 = mem[0],zero<br>
-; X64-NEXT:  Â  cvttps2dq %xmm2, %xmm0<br>
-; X64-NEXT:  Â  cvtdq2ps %xmm0, %xmm1<br>
+; X64-NEXT:  Â  roundps $11, %xmm2, %xmm1<br>
 ; X64-NEXT:  Â  xorps %xmm0, %xmm0<br>
 ; X64-NEXT:  Â  cmpltps %xmm2, %xmm0<br>
 ; X64-NEXT:  Â  movaps {{.*#+}} xmm3 = <1,1,u,u><br>
<br>
Modified: llvm/trunk/test/CodeGen/X86/ftrunc.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/ftrunc.ll?rev=330437&r1=330436&r2=330437&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/ftrunc.ll?rev=330437&r1=330436&r2=330437&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/test/CodeGen/X86/ftrunc.ll (original)<br>
+++ llvm/trunk/test/CodeGen/X86/ftrunc.ll Fri Apr 20 08:07:55 2018<br>
@@ -14,17 +14,12 @@ define float @trunc_unsigned_f32(float %<br>
 ;<br>
 ; SSE41-LABEL: trunc_unsigned_f32:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm0, %rax<br>
-; SSE41-NEXT:  Â  movl %eax, %eax<br>
-; SSE41-NEXT:  Â  xorps %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2ssq %rax, %xmm0<br>
+; SSE41-NEXT:  Â  roundss $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_unsigned_f32:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm0, %rax<br>
-; AVX1-NEXT:  Â  movl %eax, %eax<br>
-; AVX1-NEXT:  Â  vcvtsi2ssq %rax, %xmm1, %xmm0<br>
+; AVX1-NEXT:  Â  vroundss $11, %xmm0, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptoui float %x to i32<br>
  Â %r = uitofp i32 %i to float<br>
@@ -52,35 +47,12 @@ define double @trunc_unsigned_f64(double<br>
 ;<br>
 ; SSE41-LABEL: trunc_unsigned_f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  movsd {{.*#+}} xmm1 = mem[0],zero<br>
-; SSE41-NEXT:  Â  movapd %xmm0, %xmm2<br>
-; SSE41-NEXT:  Â  subsd %xmm1, %xmm2<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm2, %rax<br>
-; SSE41-NEXT:  Â  movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000<br>
-; SSE41-NEXT:  Â  xorq %rax, %rcx<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rax<br>
-; SSE41-NEXT:  Â  ucomisd %xmm1, %xmm0<br>
-; SSE41-NEXT:  Â  cmovaeq %rcx, %rax<br>
-; SSE41-NEXT:  Â  movq %rax, %xmm0<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]<br>
-; SSE41-NEXT:  Â  subpd {{.*}}(%rip), %xmm0<br>
-; SSE41-NEXT:  Â  haddpd %xmm0, %xmm0<br>
+; SSE41-NEXT:  Â  roundsd $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_unsigned_f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vmovsd {{.*#+}} xmm1 = mem[0],zero<br>
-; AVX1-NEXT:  Â  vsubsd %xmm1, %xmm0, %xmm2<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm2, %rax<br>
-; AVX1-NEXT:  Â  movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000<br>
-; AVX1-NEXT:  Â  xorq %rax, %rcx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rax<br>
-; AVX1-NEXT:  Â  vucomisd %xmm1, %xmm0<br>
-; AVX1-NEXT:  Â  cmovaeq %rcx, %rax<br>
-; AVX1-NEXT:  Â  vmovq %rax, %xmm0<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]<br>
-; AVX1-NEXT:  Â  vsubpd {{.*}}(%rip), %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vhaddpd %xmm0, %xmm0, %xmm0<br>
+; AVX1-NEXT:  Â  vroundsd $11, %xmm0, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptoui double %x to i64<br>
  Â %r = uitofp i64 %i to double<br>
@@ -118,45 +90,12 @@ define <4 x float> @trunc_unsigned_v4f32<br>
 ;<br>
 ; SSE41-LABEL: trunc_unsigned_v4f32:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  movshdup {{.*#+}} xmm1 = xmm0[1,1,3,3]<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm1, %rax<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm0, %rcx<br>
-; SSE41-NEXT:  Â  movd %ecx, %xmm1<br>
-; SSE41-NEXT:  Â  pinsrd $1, %eax, %xmm1<br>
-; SSE41-NEXT:  Â  movaps %xmm0, %xmm2<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm2 = xmm0[1],xmm2[1]<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm2, %rax<br>
-; SSE41-NEXT:  Â  pinsrd $2, %eax, %xmm1<br>
-; SSE41-NEXT:  Â  shufps {{.*#+}} xmm0 = xmm0[3,1,2,3]<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm0, %rax<br>
-; SSE41-NEXT:  Â  pinsrd $3, %eax, %xmm1<br>
-; SSE41-NEXT:  Â  movdqa {{.*#+}} xmm0 = [1258291200,1258291200,1258291200,1258291200]<br>
-; SSE41-NEXT:  Â  pblendw {{.*#+}} xmm0 = xmm1[0],xmm0[1],xmm1[2],xmm0[3],xmm1[4],xmm0[5],xmm1[6],xmm0[7]<br>
-; SSE41-NEXT:  Â  psrld $16, %xmm1<br>
-; SSE41-NEXT:  Â  pblendw {{.*#+}} xmm1 = xmm1[0],mem[1],xmm1[2],mem[3],xmm1[4],mem[5],xmm1[6],mem[7]<br>
-; SSE41-NEXT:  Â  addps {{.*}}(%rip), %xmm1<br>
-; SSE41-NEXT:  Â  addps %xmm0, %xmm1<br>
-; SSE41-NEXT:  Â  movaps %xmm1, %xmm0<br>
+; SSE41-NEXT:  Â  roundps $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_unsigned_v4f32:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vmovshdup {{.*#+}} xmm1 = xmm0[1,1,3,3]<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm1, %rax<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm0, %rcx<br>
-; AVX1-NEXT:  Â  vmovd %ecx, %xmm1<br>
-; AVX1-NEXT:  Â  vpinsrd $1, %eax, %xmm1, %xmm1<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm2 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm2, %rax<br>
-; AVX1-NEXT:  Â  vpinsrd $2, %eax, %xmm1, %xmm1<br>
-; AVX1-NEXT:  Â  vpermilps {{.*#+}} xmm0 = xmm0[3,1,2,3]<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm0, %rax<br>
-; AVX1-NEXT:  Â  vpinsrd $3, %eax, %xmm1, %xmm0<br>
-; AVX1-NEXT:  Â  vpblendw {{.*#+}} xmm1 = xmm0[0],mem[1],xmm0[2],mem[3],xmm0[4],mem[5],xmm0[6],mem[7]<br>
-; AVX1-NEXT:  Â  vpsrld $16, %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vpblendw {{.*#+}} xmm0 = xmm0[0],mem[1],xmm0[2],mem[3],xmm0[4],mem[5],xmm0[6],mem[7]<br>
-; AVX1-NEXT:  Â  vaddps {{.*}}(%rip), %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vaddps %xmm0, %xmm1, %xmm0<br>
+; AVX1-NEXT:  Â  vroundps $11, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptoui <4 x float> %x to <4 x i32><br>
  Â %r = uitofp <4 x i32> %i to <4 x float><br>
@@ -201,61 +140,12 @@ define <2 x double> @trunc_unsigned_v2f6<br>
 ;<br>
 ; SSE41-LABEL: trunc_unsigned_v2f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  movaps %xmm0, %xmm1<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm1 = xmm0[1],xmm1[1]<br>
-; SSE41-NEXT:  Â  movsd {{.*#+}} xmm2 = mem[0],zero<br>
-; SSE41-NEXT:  Â  movaps %xmm1, %xmm3<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm3<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm3, %rax<br>
-; SSE41-NEXT:  Â  movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000<br>
-; SSE41-NEXT:  Â  xorq %rcx, %rax<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rdx<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm1<br>
-; SSE41-NEXT:  Â  cmovaeq %rax, %rdx<br>
-; SSE41-NEXT:  Â  movaps %xmm0, %xmm1<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm1<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rax<br>
-; SSE41-NEXT:  Â  xorq %rcx, %rax<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rcx<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm0<br>
-; SSE41-NEXT:  Â  cmovaeq %rax, %rcx<br>
-; SSE41-NEXT:  Â  movq %rcx, %xmm0<br>
-; SSE41-NEXT:  Â  movdqa {{.*#+}} xmm1 = [1127219200,1160773632,0,0]<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]<br>
-; SSE41-NEXT:  Â  movapd {{.*#+}} xmm2 = [4.503600e+15,1.934281e+25]<br>
-; SSE41-NEXT:  Â  subpd %xmm2, %xmm0<br>
-; SSE41-NEXT:  Â  movq %rdx, %xmm3<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm3 = xmm3[0],xmm1[0],xmm3[1],xmm1[1]<br>
-; SSE41-NEXT:  Â  subpd %xmm2, %xmm3<br>
-; SSE41-NEXT:  Â  haddpd %xmm3, %xmm0<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_unsigned_v2f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm1 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vmovsd {{.*#+}} xmm2 = mem[0],zero<br>
-; AVX1-NEXT:  Â  vsubsd %xmm2, %xmm1, %xmm3<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm3, %rax<br>
-; AVX1-NEXT:  Â  movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000<br>
-; AVX1-NEXT:  Â  xorq %rcx, %rax<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm1, %rdx<br>
-; AVX1-NEXT:  Â  vucomisd %xmm2, %xmm1<br>
-; AVX1-NEXT:  Â  cmovaeq %rax, %rdx<br>
-; AVX1-NEXT:  Â  vsubsd %xmm2, %xmm0, %xmm1<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm1, %rax<br>
-; AVX1-NEXT:  Â  xorq %rcx, %rax<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rcx<br>
-; AVX1-NEXT:  Â  vucomisd %xmm2, %xmm0<br>
-; AVX1-NEXT:  Â  cmovaeq %rax, %rcx<br>
-; AVX1-NEXT:  Â  vmovq %rcx, %xmm0<br>
-; AVX1-NEXT:  Â  vmovdqa {{.*#+}} xmm1 = [1127219200,1160773632,0,0]<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vmovapd {{.*#+}} xmm2 = [4.503600e+15,1.934281e+25]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vmovq %rdx, %xmm3<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm1 = xmm3[0],xmm1[0],xmm3[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm1, %xmm1<br>
-; AVX1-NEXT:  Â  vhaddpd %xmm1, %xmm0, %xmm0<br>
+; AVX1-NEXT:  Â  vroundpd $11, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptoui <2 x double> %x to <2 x i64><br>
  Â %r = uitofp <2 x i64> %i to <2 x double><br>
@@ -327,106 +217,13 @@ define <4 x double> @trunc_unsigned_v4f6<br>
 ;<br>
 ; SSE41-LABEL: trunc_unsigned_v4f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  movaps %xmm1, %xmm3<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm3 = xmm1[1],xmm3[1]<br>
-; SSE41-NEXT:  Â  movsd {{.*#+}} xmm2 = mem[0],zero<br>
-; SSE41-NEXT:  Â  movaps %xmm3, %xmm4<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm4<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm4, %rcx<br>
-; SSE41-NEXT:  Â  movabsq $-9223372036854775808, %rdx # imm = 0x8000000000000000<br>
-; SSE41-NEXT:  Â  xorq %rdx, %rcx<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm3, %rax<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm3<br>
-; SSE41-NEXT:  Â  cmovaeq %rcx, %rax<br>
-; SSE41-NEXT:  Â  movaps %xmm1, %xmm3<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm3<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm3, %rsi<br>
-; SSE41-NEXT:  Â  xorq %rdx, %rsi<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rcx<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm1<br>
-; SSE41-NEXT:  Â  cmovaeq %rsi, %rcx<br>
-; SSE41-NEXT:  Â  movaps %xmm0, %xmm1<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm1 = xmm0[1],xmm1[1]<br>
-; SSE41-NEXT:  Â  movaps %xmm1, %xmm3<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm3<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm3, %rsi<br>
-; SSE41-NEXT:  Â  xorq %rdx, %rsi<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rdi<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm1<br>
-; SSE41-NEXT:  Â  cmovaeq %rsi, %rdi<br>
-; SSE41-NEXT:  Â  movaps %xmm0, %xmm1<br>
-; SSE41-NEXT:  Â  subsd %xmm2, %xmm1<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rsi<br>
-; SSE41-NEXT:  Â  xorq %rdx, %rsi<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rdx<br>
-; SSE41-NEXT:  Â  ucomisd %xmm2, %xmm0<br>
-; SSE41-NEXT:  Â  cmovaeq %rsi, %rdx<br>
-; SSE41-NEXT:  Â  movq %rdx, %xmm0<br>
-; SSE41-NEXT:  Â  movdqa {{.*#+}} xmm2 = [1127219200,1160773632,0,0]<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]<br>
-; SSE41-NEXT:  Â  movapd {{.*#+}} xmm3 = [4.503600e+15,1.934281e+25]<br>
-; SSE41-NEXT:  Â  subpd %xmm3, %xmm0<br>
-; SSE41-NEXT:  Â  movq %rdi, %xmm1<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[1],xmm2[1]<br>
-; SSE41-NEXT:  Â  subpd %xmm3, %xmm1<br>
-; SSE41-NEXT:  Â  haddpd %xmm1, %xmm0<br>
-; SSE41-NEXT:  Â  movq %rcx, %xmm1<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm1 = xmm1[0],xmm2[0],xmm1[1],xmm2[1]<br>
-; SSE41-NEXT:  Â  subpd %xmm3, %xmm1<br>
-; SSE41-NEXT:  Â  movq %rax, %xmm4<br>
-; SSE41-NEXT:  Â  punpckldq {{.*#+}} xmm4 = xmm4[0],xmm2[0],xmm4[1],xmm2[1]<br>
-; SSE41-NEXT:  Â  subpd %xmm3, %xmm4<br>
-; SSE41-NEXT:  Â  haddpd %xmm4, %xmm1<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm0, %xmm0<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm1, %xmm1<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_unsigned_v4f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm2 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vmovsd {{.*#+}} xmm1 = mem[0],zero<br>
-; AVX1-NEXT:  Â  vsubsd %xmm1, %xmm2, %xmm3<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm3, %rcx<br>
-; AVX1-NEXT:  Â  movabsq $-9223372036854775808, %rdx # imm = 0x8000000000000000<br>
-; AVX1-NEXT:  Â  xorq %rdx, %rcx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm2, %rax<br>
-; AVX1-NEXT:  Â  vucomisd %xmm1, %xmm2<br>
-; AVX1-NEXT:  Â  cmovaeq %rcx, %rax<br>
-; AVX1-NEXT:  Â  vsubsd %xmm1, %xmm0, %xmm2<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm2, %rcx<br>
-; AVX1-NEXT:  Â  xorq %rdx, %rcx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rsi<br>
-; AVX1-NEXT:  Â  vucomisd %xmm1, %xmm0<br>
-; AVX1-NEXT:  Â  cmovaeq %rcx, %rsi<br>
-; AVX1-NEXT:  Â  vextractf128 $1, %ymm0, %xmm0<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm2 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vsubsd %xmm1, %xmm2, %xmm3<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm3, %rcx<br>
-; AVX1-NEXT:  Â  xorq %rdx, %rcx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm2, %rdi<br>
-; AVX1-NEXT:  Â  vucomisd %xmm1, %xmm2<br>
-; AVX1-NEXT:  Â  cmovaeq %rcx, %rdi<br>
-; AVX1-NEXT:  Â  vsubsd %xmm1, %xmm0, %xmm2<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm2, %rcx<br>
-; AVX1-NEXT:  Â  xorq %rdx, %rcx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rdx<br>
-; AVX1-NEXT:  Â  vucomisd %xmm1, %xmm0<br>
-; AVX1-NEXT:  Â  cmovaeq %rcx, %rdx<br>
-; AVX1-NEXT:  Â  vmovq %rdx, %xmm0<br>
-; AVX1-NEXT:  Â  vmovdqa {{.*#+}} xmm1 = [1127219200,1160773632,0,0]<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vmovapd {{.*#+}} xmm2 = [4.503600e+15,1.934281e+25]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vmovq %rdi, %xmm3<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm3 = xmm3[0],xmm1[0],xmm3[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm3, %xmm3<br>
-; AVX1-NEXT:  Â  vhaddpd %xmm3, %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vmovq %rsi, %xmm3<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm3 = xmm3[0],xmm1[0],xmm3[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm3, %xmm3<br>
-; AVX1-NEXT:  Â  vmovq %rax, %xmm4<br>
-; AVX1-NEXT:  Â  vpunpckldq {{.*#+}} xmm1 = xmm4[0],xmm1[0],xmm4[1],xmm1[1]<br>
-; AVX1-NEXT:  Â  vsubpd %xmm2, %xmm1, %xmm1<br>
-; AVX1-NEXT:  Â  vhaddpd %xmm1, %xmm3, %xmm1<br>
-; AVX1-NEXT:  Â  vinsertf128 $1, %xmm0, %ymm1, %ymm0<br>
+; AVX1-NEXT:  Â  vroundpd $11, %ymm0, %ymm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptoui <4 x double> %x to <4 x i64><br>
  Â %r = uitofp <4 x i64> %i to <4 x double><br>
@@ -443,15 +240,12 @@ define float @trunc_signed_f32(float %x)<br>
 ;<br>
 ; SSE41-LABEL: trunc_signed_f32:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttss2si %xmm0, %eax<br>
-; SSE41-NEXT:  Â  xorps %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2ssl %eax, %xmm0<br>
+; SSE41-NEXT:  Â  roundss $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_signed_f32:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vcvttss2si %xmm0, %eax<br>
-; AVX1-NEXT:  Â  vcvtsi2ssl %eax, %xmm1, %xmm0<br>
+; AVX1-NEXT:  Â  vroundss $11, %xmm0, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptosi float %x to i32<br>
  Â %r = sitofp i32 %i to float<br>
@@ -468,15 +262,12 @@ define double @trunc_signed_f64(double %<br>
 ;<br>
 ; SSE41-LABEL: trunc_signed_f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rax<br>
-; SSE41-NEXT:  Â  xorps %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rax, %xmm0<br>
+; SSE41-NEXT:  Â  roundsd $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_signed_f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rax<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rax, %xmm1, %xmm0<br>
+; AVX1-NEXT:  Â  vroundsd $11, %xmm0, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptosi double %x to i64<br>
  Â %r = sitofp i64 %i to double<br>
@@ -492,14 +283,12 @@ define <4 x float> @trunc_signed_v4f32(<<br>
 ;<br>
 ; SSE41-LABEL: trunc_signed_v4f32:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttps2dq %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtdq2ps %xmm0, %xmm0<br>
+; SSE41-NEXT:  Â  roundps $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_signed_v4f32:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vcvttps2dq %xmm0, %xmm0<br>
-; AVX1-NEXT:  Â  vcvtdq2ps %xmm0, %xmm0<br>
+; AVX1-NEXT:  Â  vroundps $11, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptosi <4 x float> %x to <4 x i32><br>
  Â %r = sitofp <4 x i32> %i to <4 x float><br>
@@ -520,23 +309,12 @@ define <2 x double> @trunc_signed_v2f64(<br>
 ;<br>
 ; SSE41-LABEL: trunc_signed_v2f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rax<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm0 = xmm0[1,1]<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rcx<br>
-; SSE41-NEXT:  Â  xorps %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rax, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rcx, %xmm1<br>
-; SSE41-NEXT:  Â  movlhps {{.*#+}} xmm0 = xmm0[0],xmm1[0]<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm0, %xmm0<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_signed_v2f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm1 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm1, %rax<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rcx<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rcx, %xmm2, %xmm0<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rax, %xmm2, %xmm1<br>
-; AVX1-NEXT:  Â  vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm1[0]<br>
+; AVX1-NEXT:  Â  vroundpd $11, %xmm0, %xmm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptosi <2 x double> %x to <2 x i64><br>
  Â %r = sitofp <2 x i64> %i to <2 x double><br>
@@ -565,39 +343,13 @@ define <4 x double> @trunc_signed_v4f64(<br>
 ;<br>
 ; SSE41-LABEL: trunc_signed_v4f64:<br>
 ; SSE41:  Â  Â  Â # %bb.0:<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rax<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm1 = xmm1[1,1]<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm1, %rcx<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rdx<br>
-; SSE41-NEXT:  Â  movhlps {{.*#+}} xmm0 = xmm0[1,1]<br>
-; SSE41-NEXT:  Â  cvttsd2si %xmm0, %rsi<br>
-; SSE41-NEXT:  Â  xorps %xmm0, %xmm0<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rdx, %xmm0<br>
-; SSE41-NEXT:  Â  xorps %xmm1, %xmm1<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rsi, %xmm1<br>
-; SSE41-NEXT:  Â  movlhps {{.*#+}} xmm0 = xmm0[0],xmm1[0]<br>
-; SSE41-NEXT:  Â  xorps %xmm1, %xmm1<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rax, %xmm1<br>
-; SSE41-NEXT:  Â  cvtsi2sdq %rcx, %xmm2<br>
-; SSE41-NEXT:  Â  movlhps {{.*#+}} xmm1 = xmm1[0],xmm2[0]<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm0, %xmm0<br>
+; SSE41-NEXT:  Â  roundpd $11, %xmm1, %xmm1<br>
 ; SSE41-NEXT:  Â  retq<br>
 ;<br>
 ; AVX1-LABEL: trunc_signed_v4f64:<br>
 ; AVX1:  Â  Â  Â # %bb.0:<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm1 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm1, %rax<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rcx<br>
-; AVX1-NEXT:  Â  vextractf128 $1, %ymm0, %xmm0<br>
-; AVX1-NEXT:  Â  vpermilpd {{.*#+}} xmm1 = xmm0[1,0]<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm1, %rdx<br>
-; AVX1-NEXT:  Â  vcvttsd2si %xmm0, %rsi<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rsi, %xmm2, %xmm0<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rdx, %xmm2, %xmm1<br>
-; AVX1-NEXT:  Â  vmovlhps {{.*#+}} xmm0 = xmm0[0],xmm1[0]<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rcx, %xmm2, %xmm1<br>
-; AVX1-NEXT:  Â  vcvtsi2sdq %rax, %xmm2, %xmm2<br>
-; AVX1-NEXT:  Â  vmovlhps {{.*#+}} xmm1 = xmm1[0],xmm2[0]<br>
-; AVX1-NEXT:  Â  vinsertf128 $1, %xmm0, %ymm1, %ymm0<br>
+; AVX1-NEXT:  Â  vroundpd $11, %ymm0, %ymm0<br>
 ; AVX1-NEXT:  Â  retq<br>
  Â %i = fptosi <4 x double> %x to <4 x i64><br>
  Â %r = sitofp <4 x i64> %i to <4 x double><br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>
</div></div></blockquote></div><br></div>
</blockquote></div></div>