957 vcvtsd2si {rd-sae}, %xmm15, %r13d  label
961 vcvtsd2si {rd-sae}, %xmm15, %r15  label
965 vcvtsd2si {rd-sae}, %xmm1, %r13d  label
969 vcvtsd2si {rd-sae}, %xmm1, %r15  label
973 vcvtsd2si (%rdx), %r13d  label
977 vcvtsd2si (%rdx), %r15  label
981 vcvtsd2si {rn-sae}, %xmm15, %r13d  label
985 vcvtsd2si {rn-sae}, %xmm15, %r15  label
989 vcvtsd2si {rn-sae}, %xmm1, %r13d  label
993 vcvtsd2si {rn-sae}, %xmm1, %r15  label
997 vcvtsd2si {ru-sae}, %xmm15, %r13d  label
1001 vcvtsd2si {ru-sae}, %xmm15, %r15  label
1005 vcvtsd2si {ru-sae}, %xmm1, %r13d  label
1009 vcvtsd2si {ru-sae}, %xmm1, %r15  label
1013 vcvtsd2si {rz-sae}, %xmm15, %r13d  label
1017 vcvtsd2si {rz-sae}, %xmm15, %r15  label
1021 vcvtsd2si {rz-sae}, %xmm1, %r13d  label
1025 vcvtsd2si {rz-sae}, %xmm1, %r15  label
1029 vcvtsd2si %xmm15, %r13d  label
1033 vcvtsd2si %xmm15, %r15  label
1037 vcvtsd2si %xmm1, %r13d  label
1041 vcvtsd2si %xmm1, %r15  label