Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(76)

Side by Side Diff: src/IceInstX8632.cpp

Issue 383303003: Lower casting operations that involve vector types. (Closed) Base URL: https://gerrit.chromium.org/gerrit/p/native_client/pnacl-subzero.git@master
Patch Set: Fix formatting in for loop. Created 6 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 //===- subzero/src/IceInstX8632.cpp - X86-32 instruction implementation ---===// 1 //===- subzero/src/IceInstX8632.cpp - X86-32 instruction implementation ---===//
2 // 2 //
3 // The Subzero Code Generator 3 // The Subzero Code Generator
4 // 4 //
5 // This file is distributed under the University of Illinois Open Source 5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details. 6 // License. See LICENSE.TXT for details.
7 // 7 //
8 //===----------------------------------------------------------------------===// 8 //===----------------------------------------------------------------------===//
9 // 9 //
10 // This file implements the InstX8632 and OperandX8632 classes, 10 // This file implements the InstX8632 and OperandX8632 classes,
(...skipping 21 matching lines...) Expand all
32 , 32 ,
33 ICEINSTX8632BR_TABLE 33 ICEINSTX8632BR_TABLE
34 #undef X 34 #undef X
35 }; 35 };
36 const size_t InstX8632BrAttributesSize = 36 const size_t InstX8632BrAttributesSize =
37 llvm::array_lengthof(InstX8632BrAttributes); 37 llvm::array_lengthof(InstX8632BrAttributes);
38 38
39 const struct TypeX8632Attributes_ { 39 const struct TypeX8632Attributes_ {
40 const char *CvtString; // i (integer), s (single FP), d (double FP) 40 const char *CvtString; // i (integer), s (single FP), d (double FP)
41 const char *SdSsString; // ss, sd, or <blank> 41 const char *SdSsString; // ss, sd, or <blank>
42 const char *PackString; // b, w, d, or <blank>
42 const char *WidthString; // {byte,word,dword,qword} ptr 43 const char *WidthString; // {byte,word,dword,qword} ptr
43 } TypeX8632Attributes[] = { 44 } TypeX8632Attributes[] = {
44 #define X(tag, cvt, sdss, width) \ 45 #define X(tag, cvt, sdss, pack, width) \
45 { cvt, "" sdss, width } \ 46 { cvt, "" sdss, pack, width } \
46 , 47 ,
47 ICETYPEX8632_TABLE 48 ICETYPEX8632_TABLE
48 #undef X 49 #undef X
49 }; 50 };
50 const size_t TypeX8632AttributesSize = 51 const size_t TypeX8632AttributesSize =
51 llvm::array_lengthof(TypeX8632Attributes); 52 llvm::array_lengthof(TypeX8632Attributes);
52 53
53 const char *InstX8632SegmentRegNames[] = { 54 const char *InstX8632SegmentRegNames[] = {
54 #define X(val, name) name, 55 #define X(val, name) name,
55 SEG_REGX8632_TABLE 56 SEG_REGX8632_TABLE
(...skipping 234 matching lines...) Expand 10 before | Expand all | Expand 10 after
290 return false; 291 return false;
291 if (getDest()->hasReg() && getDest()->getRegNum() == Src->getRegNum()) { 292 if (getDest()->hasReg() && getDest()->getRegNum() == Src->getRegNum()) {
292 return true; 293 return true;
293 } 294 }
294 if (!getDest()->hasReg() && !Src->hasReg() && 295 if (!getDest()->hasReg() && !Src->hasReg() &&
295 Dest->getStackOffset() == Src->getStackOffset()) 296 Dest->getStackOffset() == Src->getStackOffset())
296 return true; 297 return true;
297 return false; 298 return false;
298 } 299 }
299 300
300 InstX8632Sqrtss::InstX8632Sqrtss(Cfg *Func, Variable *Dest, Operand *Source)
301 : InstX8632(Func, InstX8632::Sqrtss, 1, Dest) {
302 addSource(Source);
303 }
304
305 InstX8632Ret::InstX8632Ret(Cfg *Func, Variable *Source) 301 InstX8632Ret::InstX8632Ret(Cfg *Func, Variable *Source)
306 : InstX8632(Func, InstX8632::Ret, Source ? 1 : 0, NULL) { 302 : InstX8632(Func, InstX8632::Ret, Source ? 1 : 0, NULL) {
307 if (Source) 303 if (Source)
308 addSource(Source); 304 addSource(Source);
309 } 305 }
310 306
307 InstX8632Sqrtss::InstX8632Sqrtss(Cfg *Func, Variable *Dest, Operand *Source)
308 : InstX8632(Func, InstX8632::Sqrtss, 1, Dest) {
309 addSource(Source);
310 }
311
311 InstX8632Xadd::InstX8632Xadd(Cfg *Func, Operand *Dest, Variable *Source, 312 InstX8632Xadd::InstX8632Xadd(Cfg *Func, Operand *Dest, Variable *Source,
312 bool Locked) 313 bool Locked)
313 : InstX8632Lockable(Func, InstX8632::Xadd, 2, 314 : InstX8632Lockable(Func, InstX8632::Xadd, 2,
314 llvm::dyn_cast<Variable>(Dest), Locked) { 315 llvm::dyn_cast<Variable>(Dest), Locked) {
315 addSource(Dest); 316 addSource(Dest);
316 addSource(Source); 317 addSource(Source);
317 } 318 }
318 319
319 InstX8632Xchg::InstX8632Xchg(Cfg *Func, Operand *Dest, Variable *Source) 320 InstX8632Xchg::InstX8632Xchg(Cfg *Func, Operand *Dest, Variable *Source)
320 : InstX8632(Func, InstX8632::Xchg, 2, llvm::dyn_cast<Variable>(Dest)) { 321 : InstX8632(Func, InstX8632::Xchg, 2, llvm::dyn_cast<Variable>(Dest)) {
(...skipping 109 matching lines...) Expand 10 before | Expand all | Expand 10 after
430 } 431 }
431 432
432 template <> const char *InstX8632Neg::Opcode = "neg"; 433 template <> const char *InstX8632Neg::Opcode = "neg";
433 template <> const char *InstX8632Add::Opcode = "add"; 434 template <> const char *InstX8632Add::Opcode = "add";
434 template <> const char *InstX8632Addps::Opcode = "addps"; 435 template <> const char *InstX8632Addps::Opcode = "addps";
435 template <> const char *InstX8632Adc::Opcode = "adc"; 436 template <> const char *InstX8632Adc::Opcode = "adc";
436 template <> const char *InstX8632Addss::Opcode = "addss"; 437 template <> const char *InstX8632Addss::Opcode = "addss";
437 template <> const char *InstX8632Sub::Opcode = "sub"; 438 template <> const char *InstX8632Sub::Opcode = "sub";
438 template <> const char *InstX8632Subps::Opcode = "subps"; 439 template <> const char *InstX8632Subps::Opcode = "subps";
439 template <> const char *InstX8632Subss::Opcode = "subss"; 440 template <> const char *InstX8632Subss::Opcode = "subss";
441 template <> const char *InstX8632Psub::Opcode = "psub";
440 template <> const char *InstX8632Sbb::Opcode = "sbb"; 442 template <> const char *InstX8632Sbb::Opcode = "sbb";
441 template <> const char *InstX8632And::Opcode = "and"; 443 template <> const char *InstX8632And::Opcode = "and";
444 template <> const char *InstX8632Pand::Opcode = "pand";
442 template <> const char *InstX8632Or::Opcode = "or"; 445 template <> const char *InstX8632Or::Opcode = "or";
443 template <> const char *InstX8632Xor::Opcode = "xor"; 446 template <> const char *InstX8632Xor::Opcode = "xor";
444 template <> const char *InstX8632Pxor::Opcode = "pxor"; 447 template <> const char *InstX8632Pxor::Opcode = "pxor";
445 template <> const char *InstX8632Imul::Opcode = "imul"; 448 template <> const char *InstX8632Imul::Opcode = "imul";
446 template <> const char *InstX8632Mulps::Opcode = "mulps"; 449 template <> const char *InstX8632Mulps::Opcode = "mulps";
447 template <> const char *InstX8632Mulss::Opcode = "mulss"; 450 template <> const char *InstX8632Mulss::Opcode = "mulss";
448 template <> const char *InstX8632Div::Opcode = "div"; 451 template <> const char *InstX8632Div::Opcode = "div";
449 template <> const char *InstX8632Divps::Opcode = "divps"; 452 template <> const char *InstX8632Divps::Opcode = "divps";
450 template <> const char *InstX8632Idiv::Opcode = "idiv"; 453 template <> const char *InstX8632Idiv::Opcode = "idiv";
451 template <> const char *InstX8632Divss::Opcode = "divss"; 454 template <> const char *InstX8632Divss::Opcode = "divss";
452 template <> const char *InstX8632Shl::Opcode = "shl"; 455 template <> const char *InstX8632Shl::Opcode = "shl";
456 template <> const char *InstX8632Psll::Opcode = "psll";
453 template <> const char *InstX8632Shr::Opcode = "shr"; 457 template <> const char *InstX8632Shr::Opcode = "shr";
454 template <> const char *InstX8632Sar::Opcode = "sar"; 458 template <> const char *InstX8632Sar::Opcode = "sar";
459 template <> const char *InstX8632Psra::Opcode = "psra";
460 template <> const char *InstX8632Pcmpeq::Opcode = "pcmpeq";
461 template <> const char *InstX8632Pcmpgt::Opcode = "pcmpgt";
455 462
456 template <> void InstX8632Addss::emit(const Cfg *Func) const { 463 template <> void InstX8632Addss::emit(const Cfg *Func) const {
457 char buf[30]; 464 char buf[30];
458 snprintf(buf, llvm::array_lengthof(buf), "add%s", 465 snprintf(buf, llvm::array_lengthof(buf), "add%s",
459 TypeX8632Attributes[getDest()->getType()].SdSsString); 466 TypeX8632Attributes[getDest()->getType()].SdSsString);
460 emitTwoAddress(buf, this, Func); 467 emitTwoAddress(buf, this, Func);
461 } 468 }
462 469
463 template <> void InstX8632Subss::emit(const Cfg *Func) const { 470 template <> void InstX8632Subss::emit(const Cfg *Func) const {
464 char buf[30]; 471 char buf[30];
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after
624 if (Locked) { 631 if (Locked) {
625 Str << "lock "; 632 Str << "lock ";
626 } 633 }
627 Str << "cmpxchg8b "; 634 Str << "cmpxchg8b ";
628 dumpSources(Func); 635 dumpSources(Func);
629 } 636 }
630 637
631 void InstX8632Cvt::emit(const Cfg *Func) const { 638 void InstX8632Cvt::emit(const Cfg *Func) const {
632 Ostream &Str = Func->getContext()->getStrEmit(); 639 Ostream &Str = Func->getContext()->getStrEmit();
633 assert(getSrcSize() == 1); 640 assert(getSrcSize() == 1);
634 Str << "\tcvts" << TypeX8632Attributes[getSrc(0)->getType()].CvtString << "2s" 641 Str << "\tcvt" << TypeX8632Attributes[getSrc(0)->getType()].CvtString << "2"
635 << TypeX8632Attributes[getDest()->getType()].CvtString << "\t"; 642 << TypeX8632Attributes[getDest()->getType()].CvtString << "\t";
636 getDest()->emit(Func); 643 getDest()->emit(Func);
637 Str << ", "; 644 Str << ", ";
638 getSrc(0)->emit(Func); 645 getSrc(0)->emit(Func);
639 Str << "\n"; 646 Str << "\n";
640 } 647 }
641 648
642 void InstX8632Cvt::dump(const Cfg *Func) const { 649 void InstX8632Cvt::dump(const Cfg *Func) const {
643 Ostream &Str = Func->getContext()->getStrDump(); 650 Ostream &Str = Func->getContext()->getStrDump();
644 dumpDest(Func); 651 dumpDest(Func);
645 Str << " = cvts" << TypeX8632Attributes[getSrc(0)->getType()].CvtString 652 Str << " = cvt" << TypeX8632Attributes[getSrc(0)->getType()].CvtString
646 << "2s" << TypeX8632Attributes[getDest()->getType()].CvtString << " "; 653 << "2" << TypeX8632Attributes[getDest()->getType()].CvtString << " ";
647 dumpSources(Func); 654 dumpSources(Func);
648 } 655 }
649 656
650 void InstX8632Icmp::emit(const Cfg *Func) const { 657 void InstX8632Icmp::emit(const Cfg *Func) const {
651 Ostream &Str = Func->getContext()->getStrEmit(); 658 Ostream &Str = Func->getContext()->getStrEmit();
652 assert(getSrcSize() == 2); 659 assert(getSrcSize() == 2);
653 Str << "\tcmp\t"; 660 Str << "\tcmp\t";
654 getSrc(0)->emit(Func); 661 getSrc(0)->emit(Func);
655 Str << ", "; 662 Str << ", ";
656 getSrc(1)->emit(Func); 663 getSrc(1)->emit(Func);
(...skipping 277 matching lines...) Expand 10 before | Expand all | Expand 10 after
934 Str << "\tadd\tesp, " << Width << "\n"; 941 Str << "\tadd\tesp, " << Width << "\n";
935 } 942 }
936 943
937 void InstX8632Fstp::dump(const Cfg *Func) const { 944 void InstX8632Fstp::dump(const Cfg *Func) const {
938 Ostream &Str = Func->getContext()->getStrDump(); 945 Ostream &Str = Func->getContext()->getStrDump();
939 dumpDest(Func); 946 dumpDest(Func);
940 Str << " = fstp." << getDest()->getType() << ", st(0)"; 947 Str << " = fstp." << getDest()->getType() << ", st(0)";
941 Str << "\n"; 948 Str << "\n";
942 } 949 }
943 950
951 template <> void InstX8632Pcmpeq::emit(const Cfg *Func) const {
952 char buf[30];
953 snprintf(buf, llvm::array_lengthof(buf), "pcmpeq%s",
954 TypeX8632Attributes[getDest()->getType()].PackString);
955 emitTwoAddress(buf, this, Func);
956 }
957
958 template <> void InstX8632Pcmpgt::emit(const Cfg *Func) const {
959 char buf[30];
960 snprintf(buf, llvm::array_lengthof(buf), "pcmpgt%s",
961 TypeX8632Attributes[getDest()->getType()].PackString);
962 emitTwoAddress(buf, this, Func);
963 }
964
944 void InstX8632Pop::emit(const Cfg *Func) const { 965 void InstX8632Pop::emit(const Cfg *Func) const {
945 Ostream &Str = Func->getContext()->getStrEmit(); 966 Ostream &Str = Func->getContext()->getStrEmit();
946 assert(getSrcSize() == 0); 967 assert(getSrcSize() == 0);
947 Str << "\tpop\t"; 968 Str << "\tpop\t";
948 getDest()->emit(Func); 969 getDest()->emit(Func);
949 Str << "\n"; 970 Str << "\n";
950 } 971 }
951 972
952 void InstX8632Pop::dump(const Cfg *Func) const { 973 void InstX8632Pop::dump(const Cfg *Func) const {
953 Ostream &Str = Func->getContext()->getStrDump(); 974 Ostream &Str = Func->getContext()->getStrDump();
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after
988 Func->getTarget()->updateStackAdjustment(4); 1009 Func->getTarget()->updateStackAdjustment(4);
989 } 1010 }
990 } 1011 }
991 1012
992 void InstX8632Push::dump(const Cfg *Func) const { 1013 void InstX8632Push::dump(const Cfg *Func) const {
993 Ostream &Str = Func->getContext()->getStrDump(); 1014 Ostream &Str = Func->getContext()->getStrDump();
994 Str << "push." << getSrc(0)->getType() << " "; 1015 Str << "push." << getSrc(0)->getType() << " ";
995 dumpSources(Func); 1016 dumpSources(Func);
996 } 1017 }
997 1018
1019 template <> void InstX8632Psll::emit(const Cfg *Func) const {
1020 assert(getDest()->getType() == IceType_v8i16 ||
1021 getDest()->getType() == IceType_v4i32);
1022 char buf[30];
1023 snprintf(buf, llvm::array_lengthof(buf), "psll%s",
1024 TypeX8632Attributes[getDest()->getType()].PackString);
1025 emitTwoAddress(buf, this, Func);
1026 }
1027
1028 template <> void InstX8632Psra::emit(const Cfg *Func) const {
1029 assert(getDest()->getType() == IceType_v8i16 ||
1030 getDest()->getType() == IceType_v4i32);
1031 char buf[30];
1032 snprintf(buf, llvm::array_lengthof(buf), "psra%s",
1033 TypeX8632Attributes[getDest()->getType()].PackString);
1034 emitTwoAddress(buf, this, Func);
1035 }
1036
1037 template <> void InstX8632Psub::emit(const Cfg *Func) const {
1038 char buf[30];
1039 snprintf(buf, llvm::array_lengthof(buf), "psub%s",
1040 TypeX8632Attributes[getDest()->getType()].PackString);
1041 emitTwoAddress(buf, this, Func);
1042 }
1043
998 void InstX8632Ret::emit(const Cfg *Func) const { 1044 void InstX8632Ret::emit(const Cfg *Func) const {
999 Ostream &Str = Func->getContext()->getStrEmit(); 1045 Ostream &Str = Func->getContext()->getStrEmit();
1000 Str << "\tret\n"; 1046 Str << "\tret\n";
1001 } 1047 }
1002 1048
1003 void InstX8632Ret::dump(const Cfg *Func) const { 1049 void InstX8632Ret::dump(const Cfg *Func) const {
1004 Ostream &Str = Func->getContext()->getStrDump(); 1050 Ostream &Str = Func->getContext()->getStrDump();
1005 Type Ty = (getSrcSize() == 0 ? IceType_void : getSrc(0)->getType()); 1051 Type Ty = (getSrcSize() == 0 ? IceType_void : getSrc(0)->getType());
1006 Str << "ret." << Ty << " "; 1052 Str << "ret." << Ty << " ";
1007 dumpSources(Func); 1053 dumpSources(Func);
(...skipping 182 matching lines...) Expand 10 before | Expand all | Expand 10 after
1190 default: 1236 default:
1191 Str << "???"; 1237 Str << "???";
1192 break; 1238 break;
1193 } 1239 }
1194 Str << "("; 1240 Str << "(";
1195 Var->dump(Func); 1241 Var->dump(Func);
1196 Str << ")"; 1242 Str << ")";
1197 } 1243 }
1198 1244
1199 } // end of namespace Ice 1245 } // end of namespace Ice
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698