github.com/mdempsky/go@v0.0.0-20151201204031-5dd372bd1e70/src/cmd/compile/internal/mips64/prog.go (about) 1 // Copyright 2014 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 package mips64 6 7 import ( 8 "cmd/compile/internal/gc" 9 "cmd/internal/obj" 10 "cmd/internal/obj/mips" 11 ) 12 13 const ( 14 LeftRdwr uint32 = gc.LeftRead | gc.LeftWrite 15 RightRdwr uint32 = gc.RightRead | gc.RightWrite 16 ) 17 18 // This table gives the basic information about instruction 19 // generated by the compiler and processed in the optimizer. 20 // See opt.h for bit definitions. 21 // 22 // Instructions not generated need not be listed. 23 // As an exception to that rule, we typically write down all the 24 // size variants of an operation even if we just use a subset. 25 // 26 // The table is formatted for 8-space tabs. 27 var progtable = [mips.ALAST]obj.ProgInfo{ 28 obj.ATYPE: {Flags: gc.Pseudo | gc.Skip}, 29 obj.ATEXT: {Flags: gc.Pseudo}, 30 obj.AFUNCDATA: {Flags: gc.Pseudo}, 31 obj.APCDATA: {Flags: gc.Pseudo}, 32 obj.AUNDEF: {Flags: gc.Break}, 33 obj.AUSEFIELD: {Flags: gc.OK}, 34 obj.ACHECKNIL: {Flags: gc.LeftRead}, 35 obj.AVARDEF: {Flags: gc.Pseudo | gc.RightWrite}, 36 obj.AVARKILL: {Flags: gc.Pseudo | gc.RightWrite}, 37 38 // NOP is an internal no-op that also stands 39 // for USED and SET annotations, not the MIPS opcode. 40 obj.ANOP: {Flags: gc.LeftRead | gc.RightWrite}, 41 42 // Integer 43 mips.AADD: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 44 mips.AADDU: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 45 mips.AADDV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 46 mips.AADDVU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 47 mips.ASUB: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 48 mips.ASUBU: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 49 mips.ASUBV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 50 mips.ASUBVU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 51 mips.AAND: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 52 mips.AOR: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 53 mips.AXOR: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 54 mips.ANOR: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 55 mips.AMUL: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 56 mips.AMULU: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 57 mips.AMULV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 58 mips.AMULVU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 59 mips.ADIV: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 60 mips.ADIVU: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 61 mips.ADIVV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 62 mips.ADIVVU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 63 mips.AREM: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 64 mips.AREMU: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead}, 65 mips.AREMV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 66 mips.AREMVU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead}, 67 mips.ASLL: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 68 mips.ASLLV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 69 mips.ASRA: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 70 mips.ASRAV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 71 mips.ASRL: {Flags: gc.SizeL | gc.LeftRead | gc.RegRead | gc.RightWrite}, 72 mips.ASRLV: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 73 mips.ASGT: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 74 mips.ASGTU: {Flags: gc.SizeQ | gc.LeftRead | gc.RegRead | gc.RightWrite}, 75 76 // Floating point. 77 mips.AADDF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead | gc.RightWrite}, 78 mips.AADDD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead | gc.RightWrite}, 79 mips.ASUBF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead | gc.RightWrite}, 80 mips.ASUBD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead | gc.RightWrite}, 81 mips.AMULF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead | gc.RightWrite}, 82 mips.AMULD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead | gc.RightWrite}, 83 mips.ADIVF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead | gc.RightWrite}, 84 mips.ADIVD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead | gc.RightWrite}, 85 mips.AABSF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite}, 86 mips.AABSD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite}, 87 mips.ANEGF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite}, 88 mips.ANEGD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite}, 89 mips.ACMPEQF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead}, 90 mips.ACMPEQD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead}, 91 mips.ACMPGTF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead}, 92 mips.ACMPGTD: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead}, 93 mips.ACMPGEF: {Flags: gc.SizeF | gc.LeftRead | gc.RegRead}, 94 mips.ACMPGED: {Flags: gc.SizeD | gc.LeftRead | gc.RegRead}, 95 mips.AMOVFD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite | gc.Conv}, 96 mips.AMOVDF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite | gc.Conv}, 97 mips.AMOVFW: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Conv}, 98 mips.AMOVWF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite | gc.Conv}, 99 mips.AMOVDW: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Conv}, 100 mips.AMOVWD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite | gc.Conv}, 101 mips.AMOVFV: {Flags: gc.SizeQ | gc.LeftRead | gc.RightWrite | gc.Conv}, 102 mips.AMOVVF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite | gc.Conv}, 103 mips.AMOVDV: {Flags: gc.SizeQ | gc.LeftRead | gc.RightWrite | gc.Conv}, 104 mips.AMOVVD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite | gc.Conv}, 105 mips.ATRUNCFW: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Conv}, 106 mips.ATRUNCDW: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Conv}, 107 mips.ATRUNCFV: {Flags: gc.SizeQ | gc.LeftRead | gc.RightWrite | gc.Conv}, 108 mips.ATRUNCDV: {Flags: gc.SizeQ | gc.LeftRead | gc.RightWrite | gc.Conv}, 109 110 // Moves 111 mips.AMOVB: {Flags: gc.SizeB | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 112 mips.AMOVBU: {Flags: gc.SizeB | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 113 mips.AMOVH: {Flags: gc.SizeW | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 114 mips.AMOVHU: {Flags: gc.SizeW | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 115 mips.AMOVW: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 116 mips.AMOVWU: {Flags: gc.SizeL | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 117 mips.AMOVV: {Flags: gc.SizeQ | gc.LeftRead | gc.RightWrite | gc.Move}, 118 mips.AMOVF: {Flags: gc.SizeF | gc.LeftRead | gc.RightWrite | gc.Move | gc.Conv}, 119 mips.AMOVD: {Flags: gc.SizeD | gc.LeftRead | gc.RightWrite | gc.Move}, 120 121 // Jumps 122 mips.AJMP: {Flags: gc.Jump | gc.Break}, 123 mips.AJAL: {Flags: gc.Call}, 124 mips.ABEQ: {Flags: gc.Cjmp}, 125 mips.ABNE: {Flags: gc.Cjmp}, 126 mips.ABGEZ: {Flags: gc.Cjmp}, 127 mips.ABLTZ: {Flags: gc.Cjmp}, 128 mips.ABGTZ: {Flags: gc.Cjmp}, 129 mips.ABLEZ: {Flags: gc.Cjmp}, 130 mips.ABFPF: {Flags: gc.Cjmp}, 131 mips.ABFPT: {Flags: gc.Cjmp}, 132 mips.ARET: {Flags: gc.Break}, 133 obj.ADUFFZERO: {Flags: gc.Call}, 134 obj.ADUFFCOPY: {Flags: gc.Call}, 135 } 136 137 func proginfo(p *obj.Prog) { 138 info := &p.Info 139 *info = progtable[p.As] 140 if info.Flags == 0 { 141 gc.Fatalf("proginfo: unknown instruction %v", p) 142 } 143 144 if (info.Flags&gc.RegRead != 0) && p.Reg == 0 { 145 info.Flags &^= gc.RegRead 146 info.Flags |= gc.RightRead /*CanRegRead |*/ 147 } 148 149 if (p.From.Type == obj.TYPE_MEM || p.From.Type == obj.TYPE_ADDR) && p.From.Reg != 0 { 150 info.Regindex |= RtoB(int(p.From.Reg)) 151 } 152 153 if (p.To.Type == obj.TYPE_MEM || p.To.Type == obj.TYPE_ADDR) && p.To.Reg != 0 { 154 info.Regindex |= RtoB(int(p.To.Reg)) 155 } 156 157 if p.From.Type == obj.TYPE_ADDR && p.From.Sym != nil && (info.Flags&gc.LeftRead != 0) { 158 info.Flags &^= gc.LeftRead 159 info.Flags |= gc.LeftAddr 160 } 161 162 if p.As == obj.ADUFFZERO { 163 info.Reguse |= 1<<0 | RtoB(mips.REGRT1) 164 info.Regset |= RtoB(mips.REGRT1) 165 } 166 167 if p.As == obj.ADUFFCOPY { 168 // TODO(austin) Revisit when duffcopy is implemented 169 info.Reguse |= RtoB(mips.REGRT1) | RtoB(mips.REGRT2) | RtoB(mips.REG_R3) 170 171 info.Regset |= RtoB(mips.REGRT1) | RtoB(mips.REGRT2) 172 } 173 }