buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 17 | #include "x86_lir.h" |
| 18 | #include "../codegen_util.h" |
| 19 | #include "../ralloc_util.h" |
| 20 | |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 21 | namespace art { |
| 22 | |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 23 | /* This file contains codegen for the X86 ISA */ |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 24 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 25 | void GenBarrier(CompilationUnit *cUnit); |
| 26 | void LoadPair(CompilationUnit *cUnit, int base, int lowReg, int highReg); |
| 27 | LIR *LoadWordDisp(CompilationUnit *cUnit, int rBase, int displacement, |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 28 | int rDest); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 29 | LIR *StoreWordDisp(CompilationUnit *cUnit, int rBase, |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 30 | int displacement, int rSrc); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 31 | LIR *LoadConstant(CompilationUnit *cUnit, int rDest, int value); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 32 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 33 | LIR *FpRegCopy(CompilationUnit *cUnit, int rDest, int rSrc) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 34 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 35 | int opcode; |
| 36 | /* must be both DOUBLE or both not DOUBLE */ |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 37 | DCHECK_EQ(X86_DOUBLEREG(rDest), X86_DOUBLEREG(rSrc)); |
| 38 | if (X86_DOUBLEREG(rDest)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 39 | opcode = kX86MovsdRR; |
| 40 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 41 | if (X86_SINGLEREG(rDest)) { |
| 42 | if (X86_SINGLEREG(rSrc)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 43 | opcode = kX86MovssRR; |
| 44 | } else { // Fpr <- Gpr |
| 45 | opcode = kX86MovdxrRR; |
| 46 | } |
| 47 | } else { // Gpr <- Fpr |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 48 | DCHECK(X86_SINGLEREG(rSrc)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 49 | opcode = kX86MovdrxRR; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 50 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 51 | } |
buzbee | ec13743 | 2012-11-13 12:13:16 -0800 | [diff] [blame] | 52 | DCHECK_NE((EncodingMap[opcode].flags & IS_BINARY_OP), 0ULL); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 53 | LIR* res = RawLIR(cUnit, cUnit->currentDalvikOffset, opcode, rDest, rSrc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 54 | if (rDest == rSrc) { |
| 55 | res->flags.isNop = true; |
| 56 | } |
| 57 | return res; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 58 | } |
| 59 | |
| 60 | /* |
| 61 | * Load a immediate using a shortcut if possible; otherwise |
| 62 | * grab from the per-translation literal pool. If target is |
| 63 | * a high register, build constant into a low register and copy. |
| 64 | * |
| 65 | * No additional register clobbering operation performed. Use this version when |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 66 | * 1) rDest is freshly returned from AllocTemp or |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 67 | * 2) The codegen is under fixed register usage |
| 68 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 69 | LIR *LoadConstantNoClobber(CompilationUnit *cUnit, int rDest, int value) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 70 | { |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 71 | int rDestSave = rDest; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 72 | if (X86_FPREG(rDest)) { |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 73 | if (value == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 74 | return NewLIR2(cUnit, kX86XorpsRR, rDest, rDest); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 75 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 76 | DCHECK(X86_SINGLEREG(rDest)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 77 | rDest = AllocTemp(cUnit); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 78 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 79 | |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 80 | LIR *res; |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 81 | if (value == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 82 | res = NewLIR2(cUnit, kX86Xor32RR, rDest, rDest); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 83 | } else { |
Ian Rogers | 2e9f7ed | 2012-09-26 11:30:43 -0700 | [diff] [blame] | 84 | // Note, there is no byte immediate form of a 32 bit immediate move. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 85 | res = NewLIR2(cUnit, kX86Mov32RI, rDest, value); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 86 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 87 | |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 88 | if (X86_FPREG(rDestSave)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 89 | NewLIR2(cUnit, kX86MovdxrRR, rDestSave, rDest); |
| 90 | FreeTemp(cUnit, rDest); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 91 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 92 | |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 93 | return res; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 94 | } |
| 95 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 96 | LIR* OpBranchUnconditional(CompilationUnit *cUnit, OpKind op) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 97 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 98 | CHECK_EQ(op, kOpUncondBr); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 99 | return NewLIR1(cUnit, kX86Jmp8, 0 /* offset to be patched */ ); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 100 | } |
| 101 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 102 | LIR *LoadMultiple(CompilationUnit *cUnit, int rBase, int rMask); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 103 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 104 | X86ConditionCode X86ConditionEncoding(ConditionCode cond); |
| 105 | LIR* OpCondBranch(CompilationUnit* cUnit, ConditionCode cc, LIR* target) |
buzbee | a7678db | 2012-03-05 15:35:46 -0800 | [diff] [blame] | 106 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 107 | LIR* branch = NewLIR2(cUnit, kX86Jcc8, 0 /* offset to be patched */, |
| 108 | X86ConditionEncoding(cc)); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 109 | branch->target = target; |
| 110 | return branch; |
buzbee | a7678db | 2012-03-05 15:35:46 -0800 | [diff] [blame] | 111 | } |
| 112 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 113 | LIR *OpReg(CompilationUnit *cUnit, OpKind op, int rDestSrc) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 114 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 115 | X86OpCode opcode = kX86Bkpt; |
| 116 | switch (op) { |
| 117 | case kOpNeg: opcode = kX86Neg32R; break; |
jeffhao | 1395b1e | 2012-06-13 18:05:13 -0700 | [diff] [blame] | 118 | case kOpNot: opcode = kX86Not32R; break; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 119 | case kOpBlx: opcode = kX86CallR; break; |
| 120 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 121 | LOG(FATAL) << "Bad case in OpReg " << op; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 122 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 123 | return NewLIR1(cUnit, opcode, rDestSrc); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 124 | } |
| 125 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 126 | LIR *OpRegImm(CompilationUnit *cUnit, OpKind op, int rDestSrc1, int value) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 127 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 128 | X86OpCode opcode = kX86Bkpt; |
| 129 | bool byteImm = IS_SIMM8(value); |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 130 | DCHECK(!X86_FPREG(rDestSrc1)); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 131 | switch (op) { |
| 132 | case kOpLsl: opcode = kX86Sal32RI; break; |
| 133 | case kOpLsr: opcode = kX86Shr32RI; break; |
| 134 | case kOpAsr: opcode = kX86Sar32RI; break; |
| 135 | case kOpAdd: opcode = byteImm ? kX86Add32RI8 : kX86Add32RI; break; |
| 136 | case kOpOr: opcode = byteImm ? kX86Or32RI8 : kX86Or32RI; break; |
| 137 | case kOpAdc: opcode = byteImm ? kX86Adc32RI8 : kX86Adc32RI; break; |
| 138 | //case kOpSbb: opcode = kX86Sbb32RI; break; |
| 139 | case kOpAnd: opcode = byteImm ? kX86And32RI8 : kX86And32RI; break; |
| 140 | case kOpSub: opcode = byteImm ? kX86Sub32RI8 : kX86Sub32RI; break; |
| 141 | case kOpXor: opcode = byteImm ? kX86Xor32RI8 : kX86Xor32RI; break; |
| 142 | case kOpCmp: opcode = byteImm ? kX86Cmp32RI8 : kX86Cmp32RI; break; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 143 | case kOpMov: return LoadConstantNoClobber(cUnit, rDestSrc1, value); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 144 | case kOpMul: |
| 145 | opcode = byteImm ? kX86Imul32RRI8 : kX86Imul32RRI; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 146 | return NewLIR3(cUnit, opcode, rDestSrc1, rDestSrc1, value); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 147 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 148 | LOG(FATAL) << "Bad case in OpRegImm " << op; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 149 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 150 | return NewLIR2(cUnit, opcode, rDestSrc1, value); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 151 | } |
| 152 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 153 | LIR *OpRegReg(CompilationUnit *cUnit, OpKind op, int rDestSrc1, int rSrc2) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 154 | { |
buzbee | a7678db | 2012-03-05 15:35:46 -0800 | [diff] [blame] | 155 | X86OpCode opcode = kX86Nop; |
Ian Rogers | d36c52e | 2012-04-09 16:29:25 -0700 | [diff] [blame] | 156 | bool src2_must_be_cx = false; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 157 | switch (op) { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 158 | // X86 unary opcodes |
| 159 | case kOpMvn: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 160 | OpRegCopy(cUnit, rDestSrc1, rSrc2); |
| 161 | return OpReg(cUnit, kOpNot, rDestSrc1); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 162 | case kOpNeg: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 163 | OpRegCopy(cUnit, rDestSrc1, rSrc2); |
| 164 | return OpReg(cUnit, kOpNeg, rDestSrc1); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 165 | // X86 binary opcodes |
| 166 | case kOpSub: opcode = kX86Sub32RR; break; |
| 167 | case kOpSbc: opcode = kX86Sbb32RR; break; |
Ian Rogers | d36c52e | 2012-04-09 16:29:25 -0700 | [diff] [blame] | 168 | case kOpLsl: opcode = kX86Sal32RC; src2_must_be_cx = true; break; |
| 169 | case kOpLsr: opcode = kX86Shr32RC; src2_must_be_cx = true; break; |
| 170 | case kOpAsr: opcode = kX86Sar32RC; src2_must_be_cx = true; break; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 171 | case kOpMov: opcode = kX86Mov32RR; break; |
| 172 | case kOpCmp: opcode = kX86Cmp32RR; break; |
| 173 | case kOpAdd: opcode = kX86Add32RR; break; |
| 174 | case kOpAdc: opcode = kX86Adc32RR; break; |
| 175 | case kOpAnd: opcode = kX86And32RR; break; |
| 176 | case kOpOr: opcode = kX86Or32RR; break; |
| 177 | case kOpXor: opcode = kX86Xor32RR; break; |
jeffhao | 703f2cd | 2012-07-13 17:25:52 -0700 | [diff] [blame] | 178 | case kOp2Byte: |
| 179 | // Use shifts instead of a byte operand if the source can't be byte accessed. |
| 180 | if (rSrc2 >= 4) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 181 | NewLIR2(cUnit, kX86Mov32RR, rDestSrc1, rSrc2); |
| 182 | NewLIR2(cUnit, kX86Sal32RI, rDestSrc1, 24); |
| 183 | return NewLIR2(cUnit, kX86Sar32RI, rDestSrc1, 24); |
jeffhao | 703f2cd | 2012-07-13 17:25:52 -0700 | [diff] [blame] | 184 | } else { |
| 185 | opcode = kX86Movsx8RR; |
| 186 | } |
| 187 | break; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 188 | case kOp2Short: opcode = kX86Movsx16RR; break; |
| 189 | case kOp2Char: opcode = kX86Movzx16RR; break; |
| 190 | case kOpMul: opcode = kX86Imul32RR; break; |
| 191 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 192 | LOG(FATAL) << "Bad case in OpRegReg " << op; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 193 | break; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 194 | } |
Ian Rogers | d36c52e | 2012-04-09 16:29:25 -0700 | [diff] [blame] | 195 | CHECK(!src2_must_be_cx || rSrc2 == rCX); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 196 | return NewLIR2(cUnit, opcode, rDestSrc1, rSrc2); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 197 | } |
| 198 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 199 | LIR* OpRegMem(CompilationUnit *cUnit, OpKind op, int rDest, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 200 | int offset) |
| 201 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 202 | X86OpCode opcode = kX86Nop; |
| 203 | switch (op) { |
| 204 | // X86 binary opcodes |
| 205 | case kOpSub: opcode = kX86Sub32RM; break; |
| 206 | case kOpMov: opcode = kX86Mov32RM; break; |
| 207 | case kOpCmp: opcode = kX86Cmp32RM; break; |
| 208 | case kOpAdd: opcode = kX86Add32RM; break; |
| 209 | case kOpAnd: opcode = kX86And32RM; break; |
| 210 | case kOpOr: opcode = kX86Or32RM; break; |
| 211 | case kOpXor: opcode = kX86Xor32RM; break; |
| 212 | case kOp2Byte: opcode = kX86Movsx8RM; break; |
| 213 | case kOp2Short: opcode = kX86Movsx16RM; break; |
| 214 | case kOp2Char: opcode = kX86Movzx16RM; break; |
| 215 | case kOpMul: |
| 216 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 217 | LOG(FATAL) << "Bad case in OpRegMem " << op; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 218 | break; |
| 219 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 220 | return NewLIR3(cUnit, opcode, rDest, rBase, offset); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 221 | } |
| 222 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 223 | LIR* OpRegRegReg(CompilationUnit *cUnit, OpKind op, int rDest, int rSrc1, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 224 | int rSrc2) |
| 225 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 226 | if (rDest != rSrc1 && rDest != rSrc2) { |
| 227 | if (op == kOpAdd) { // lea special case, except can't encode rbp as base |
| 228 | if (rSrc1 == rSrc2) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 229 | OpRegCopy(cUnit, rDest, rSrc1); |
| 230 | return OpRegImm(cUnit, kOpLsl, rDest, 1); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 231 | } else if (rSrc1 != rBP) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 232 | return NewLIR5(cUnit, kX86Lea32RA, rDest, rSrc1 /* base */, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 233 | rSrc2 /* index */, 0 /* scale */, 0 /* disp */); |
| 234 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 235 | return NewLIR5(cUnit, kX86Lea32RA, rDest, rSrc2 /* base */, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 236 | rSrc1 /* index */, 0 /* scale */, 0 /* disp */); |
| 237 | } |
| 238 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 239 | OpRegCopy(cUnit, rDest, rSrc1); |
| 240 | return OpRegReg(cUnit, op, rDest, rSrc2); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 241 | } |
| 242 | } else if (rDest == rSrc1) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 243 | return OpRegReg(cUnit, op, rDest, rSrc2); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 244 | } else { // rDest == rSrc2 |
| 245 | switch (op) { |
| 246 | case kOpSub: // non-commutative |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 247 | OpReg(cUnit, kOpNeg, rDest); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 248 | op = kOpAdd; |
| 249 | break; |
| 250 | case kOpSbc: |
| 251 | case kOpLsl: case kOpLsr: case kOpAsr: case kOpRor: { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 252 | int tReg = AllocTemp(cUnit); |
| 253 | OpRegCopy(cUnit, tReg, rSrc1); |
| 254 | OpRegReg(cUnit, op, tReg, rSrc2); |
| 255 | LIR* res = OpRegCopy(cUnit, rDest, tReg); |
| 256 | FreeTemp(cUnit, tReg); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 257 | return res; |
| 258 | } |
| 259 | case kOpAdd: // commutative |
| 260 | case kOpOr: |
| 261 | case kOpAdc: |
| 262 | case kOpAnd: |
| 263 | case kOpXor: |
| 264 | break; |
| 265 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 266 | LOG(FATAL) << "Bad case in OpRegRegReg " << op; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 267 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 268 | return OpRegReg(cUnit, op, rDest, rSrc1); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 269 | } |
| 270 | } |
| 271 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 272 | LIR* OpRegRegImm(CompilationUnit *cUnit, OpKind op, int rDest, int rSrc, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 273 | int value) |
| 274 | { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 275 | if (op == kOpMul) { |
| 276 | X86OpCode opcode = IS_SIMM8(value) ? kX86Imul32RRI8 : kX86Imul32RRI; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 277 | return NewLIR3(cUnit, opcode, rDest, rSrc, value); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 278 | } else if (op == kOpAnd) { |
jeffhao | 854029c | 2012-07-23 17:31:30 -0700 | [diff] [blame] | 279 | if (value == 0xFF && rSrc < 4) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 280 | return NewLIR2(cUnit, kX86Movzx8RR, rDest, rSrc); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 281 | } else if (value == 0xFFFF) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 282 | return NewLIR2(cUnit, kX86Movzx16RR, rDest, rSrc); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 283 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 284 | } |
| 285 | if (rDest != rSrc) { |
Ian Rogers | 7caad77 | 2012-03-30 01:07:54 -0700 | [diff] [blame] | 286 | if (false && op == kOpLsl && value >= 0 && value <= 3) { // lea shift special case |
| 287 | // TODO: fix bug in LEA encoding when disp == 0 |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 288 | return NewLIR5(cUnit, kX86Lea32RA, rDest, r5sib_no_base /* base */, |
Ian Rogers | 7caad77 | 2012-03-30 01:07:54 -0700 | [diff] [blame] | 289 | rSrc /* index */, value /* scale */, 0 /* disp */); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 290 | } else if (op == kOpAdd) { // lea add special case |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 291 | return NewLIR5(cUnit, kX86Lea32RA, rDest, rSrc /* base */, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 292 | r4sib_no_index /* index */, 0 /* scale */, value /* disp */); |
| 293 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 294 | OpRegCopy(cUnit, rDest, rSrc); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 295 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 296 | return OpRegImm(cUnit, op, rDest, value); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 297 | } |
| 298 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 299 | LIR* OpThreadMem(CompilationUnit* cUnit, OpKind op, int threadOffset) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 300 | { |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 301 | X86OpCode opcode = kX86Bkpt; |
| 302 | switch (op) { |
| 303 | case kOpBlx: opcode = kX86CallT; break; |
| 304 | default: |
| 305 | LOG(FATAL) << "Bad opcode: " << op; |
| 306 | break; |
| 307 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 308 | return NewLIR1(cUnit, opcode, threadOffset); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 309 | } |
| 310 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 311 | LIR* OpMem(CompilationUnit* cUnit, OpKind op, int rBase, int disp) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 312 | { |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 313 | X86OpCode opcode = kX86Bkpt; |
| 314 | switch (op) { |
| 315 | case kOpBlx: opcode = kX86CallM; break; |
| 316 | default: |
| 317 | LOG(FATAL) << "Bad opcode: " << op; |
| 318 | break; |
| 319 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 320 | return NewLIR2(cUnit, opcode, rBase, disp); |
Ian Rogers | 6cbb2bd | 2012-03-16 13:45:30 -0700 | [diff] [blame] | 321 | } |
| 322 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 323 | LIR *LoadConstantValueWide(CompilationUnit *cUnit, int rDestLo, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 324 | int rDestHi, int valLo, int valHi) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 325 | { |
| 326 | LIR *res; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 327 | if (X86_FPREG(rDestLo)) { |
| 328 | DCHECK(X86_FPREG(rDestHi)); // ignore rDestHi |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 329 | if (valLo == 0 && valHi == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 330 | return NewLIR2(cUnit, kX86XorpsRR, rDestLo, rDestLo); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 331 | } else { |
| 332 | if (valLo == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 333 | res = NewLIR2(cUnit, kX86XorpsRR, rDestLo, rDestLo); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 334 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 335 | res = LoadConstantNoClobber(cUnit, rDestLo, valLo); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 336 | } |
| 337 | if (valHi != 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 338 | LoadConstantNoClobber(cUnit, rDestHi, valHi); |
| 339 | NewLIR2(cUnit, kX86PsllqRI, rDestHi, 32); |
| 340 | NewLIR2(cUnit, kX86OrpsRR, rDestLo, rDestHi); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 341 | } |
| 342 | } |
| 343 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 344 | res = LoadConstantNoClobber(cUnit, rDestLo, valLo); |
| 345 | LoadConstantNoClobber(cUnit, rDestHi, valHi); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 346 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 347 | return res; |
| 348 | } |
| 349 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 350 | LIR *LoadMultiple(CompilationUnit *cUnit, int rBase, int rMask) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 351 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 352 | UNIMPLEMENTED(FATAL) << "LoadMultiple"; |
| 353 | NewLIR0(cUnit, kX86Bkpt); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 354 | return NULL; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 355 | } |
| 356 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 357 | LIR *StoreMultiple(CompilationUnit *cUnit, int rBase, int rMask) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 358 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 359 | UNIMPLEMENTED(FATAL) << "StoreMultiple"; |
| 360 | NewLIR0(cUnit, kX86Bkpt); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 361 | return NULL; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 362 | } |
| 363 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 364 | LIR* LoadBaseIndexedDisp(CompilationUnit *cUnit, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 365 | int rBase, int rIndex, int scale, int displacement, |
| 366 | int rDest, int rDestHi, |
| 367 | OpSize size, int sReg) { |
| 368 | LIR *load = NULL; |
| 369 | LIR *load2 = NULL; |
| 370 | bool isArray = rIndex != INVALID_REG; |
| 371 | bool pair = false; |
| 372 | bool is64bit = false; |
| 373 | X86OpCode opcode = kX86Nop; |
| 374 | switch (size) { |
| 375 | case kLong: |
| 376 | case kDouble: |
| 377 | is64bit = true; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 378 | if (X86_FPREG(rDest)) { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 379 | opcode = isArray ? kX86MovsdRA : kX86MovsdRM; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 380 | if (X86_SINGLEREG(rDest)) { |
| 381 | DCHECK(X86_FPREG(rDestHi)); |
Ian Rogers | f7d9ad3 | 2012-03-13 18:45:39 -0700 | [diff] [blame] | 382 | DCHECK_EQ(rDest, (rDestHi - 1)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 383 | rDest = S2d(rDest, rDestHi); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 384 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 385 | rDestHi = rDest + 1; |
| 386 | } else { |
| 387 | pair = true; |
| 388 | opcode = isArray ? kX86Mov32RA : kX86Mov32RM; |
| 389 | } |
| 390 | // TODO: double store is to unaligned address |
| 391 | DCHECK_EQ((displacement & 0x3), 0); |
| 392 | break; |
| 393 | case kWord: |
| 394 | case kSingle: |
| 395 | opcode = isArray ? kX86Mov32RA : kX86Mov32RM; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 396 | if (X86_FPREG(rDest)) { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 397 | opcode = isArray ? kX86MovssRA : kX86MovssRM; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 398 | DCHECK(X86_SINGLEREG(rDest)); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 399 | } |
| 400 | DCHECK_EQ((displacement & 0x3), 0); |
| 401 | break; |
| 402 | case kUnsignedHalf: |
| 403 | opcode = isArray ? kX86Movzx16RA : kX86Movzx16RM; |
| 404 | DCHECK_EQ((displacement & 0x1), 0); |
| 405 | break; |
| 406 | case kSignedHalf: |
| 407 | opcode = isArray ? kX86Movsx16RA : kX86Movsx16RM; |
| 408 | DCHECK_EQ((displacement & 0x1), 0); |
| 409 | break; |
| 410 | case kUnsignedByte: |
| 411 | opcode = isArray ? kX86Movzx8RA : kX86Movzx8RM; |
| 412 | break; |
| 413 | case kSignedByte: |
| 414 | opcode = isArray ? kX86Movsx8RA : kX86Movsx8RM; |
| 415 | break; |
| 416 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 417 | LOG(FATAL) << "Bad case in LoadBaseIndexedDispBody"; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 418 | } |
| 419 | |
| 420 | if (!isArray) { |
| 421 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 422 | load = NewLIR3(cUnit, opcode, rDest, rBase, displacement + LOWORD_OFFSET); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 423 | } else { |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 424 | if (rBase == rDest) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 425 | load2 = NewLIR3(cUnit, opcode, rDestHi, rBase, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 426 | displacement + HIWORD_OFFSET); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 427 | load = NewLIR3(cUnit, opcode, rDest, rBase, displacement + LOWORD_OFFSET); |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 428 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 429 | load = NewLIR3(cUnit, opcode, rDest, rBase, displacement + LOWORD_OFFSET); |
| 430 | load2 = NewLIR3(cUnit, opcode, rDestHi, rBase, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 431 | displacement + HIWORD_OFFSET); |
| 432 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 433 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 434 | if (rBase == rX86_SP) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 435 | AnnotateDalvikRegAccess(load, (displacement + (pair ? LOWORD_OFFSET : 0)) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 436 | >> 2, true /* isLoad */, is64bit); |
Ian Rogers | f7d9ad3 | 2012-03-13 18:45:39 -0700 | [diff] [blame] | 437 | if (pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 438 | AnnotateDalvikRegAccess(load2, (displacement + HIWORD_OFFSET) >> 2, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 439 | true /* isLoad */, is64bit); |
| 440 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 441 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 442 | } else { |
| 443 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 444 | load = NewLIR5(cUnit, opcode, rDest, rBase, rIndex, scale, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 445 | displacement + LOWORD_OFFSET); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 446 | } else { |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 447 | if (rBase == rDest) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 448 | load2 = NewLIR5(cUnit, opcode, rDestHi, rBase, rIndex, scale, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 449 | displacement + HIWORD_OFFSET); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 450 | load = NewLIR5(cUnit, opcode, rDest, rBase, rIndex, scale, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 451 | displacement + LOWORD_OFFSET); |
| 452 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 453 | load = NewLIR5(cUnit, opcode, rDest, rBase, rIndex, scale, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 454 | displacement + LOWORD_OFFSET); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 455 | load2 = NewLIR5(cUnit, opcode, rDestHi, rBase, rIndex, scale, |
jeffhao | fdffdf8 | 2012-07-11 16:08:43 -0700 | [diff] [blame] | 456 | displacement + HIWORD_OFFSET); |
| 457 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 458 | } |
| 459 | } |
| 460 | |
| 461 | return load; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 462 | } |
| 463 | |
jeffhao | 5772bab | 2012-05-18 11:51:26 -0700 | [diff] [blame] | 464 | /* Load value from base + scaled index. */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 465 | LIR *LoadBaseIndexed(CompilationUnit *cUnit, int rBase, |
jeffhao | 5772bab | 2012-05-18 11:51:26 -0700 | [diff] [blame] | 466 | int rIndex, int rDest, int scale, OpSize size) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 467 | return LoadBaseIndexedDisp(cUnit, rBase, rIndex, scale, 0, |
jeffhao | 5772bab | 2012-05-18 11:51:26 -0700 | [diff] [blame] | 468 | rDest, INVALID_REG, size, INVALID_SREG); |
| 469 | } |
| 470 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 471 | LIR *LoadBaseDisp(CompilationUnit *cUnit, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 472 | int rBase, int displacement, |
| 473 | int rDest, |
| 474 | OpSize size, int sReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 475 | return LoadBaseIndexedDisp(cUnit, rBase, INVALID_REG, 0, displacement, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 476 | rDest, INVALID_REG, size, sReg); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 477 | } |
| 478 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 479 | LIR *LoadBaseDispWide(CompilationUnit *cUnit, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 480 | int rBase, int displacement, |
| 481 | int rDestLo, int rDestHi, |
| 482 | int sReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 483 | return LoadBaseIndexedDisp(cUnit, rBase, INVALID_REG, 0, displacement, |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 484 | rDestLo, rDestHi, kLong, sReg); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 485 | } |
| 486 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 487 | LIR* StoreBaseIndexedDisp(CompilationUnit *cUnit, |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 488 | int rBase, int rIndex, int scale, int displacement, |
| 489 | int rSrc, int rSrcHi, |
| 490 | OpSize size, int sReg) { |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 491 | LIR *store = NULL; |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 492 | LIR *store2 = NULL; |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 493 | bool isArray = rIndex != INVALID_REG; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 494 | bool pair = false; |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 495 | bool is64bit = false; |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 496 | X86OpCode opcode = kX86Nop; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 497 | switch (size) { |
| 498 | case kLong: |
| 499 | case kDouble: |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 500 | is64bit = true; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 501 | if (X86_FPREG(rSrc)) { |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 502 | opcode = isArray ? kX86MovsdAR : kX86MovsdMR; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 503 | if (X86_SINGLEREG(rSrc)) { |
| 504 | DCHECK(X86_FPREG(rSrcHi)); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 505 | DCHECK_EQ(rSrc, (rSrcHi - 1)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 506 | rSrc = S2d(rSrc, rSrcHi); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 507 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 508 | rSrcHi = rSrc + 1; |
| 509 | } else { |
| 510 | pair = true; |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 511 | opcode = isArray ? kX86Mov32AR : kX86Mov32MR; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 512 | } |
| 513 | // TODO: double store is to unaligned address |
| 514 | DCHECK_EQ((displacement & 0x3), 0); |
| 515 | break; |
| 516 | case kWord: |
| 517 | case kSingle: |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 518 | opcode = isArray ? kX86Mov32AR : kX86Mov32MR; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 519 | if (X86_FPREG(rSrc)) { |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 520 | opcode = isArray ? kX86MovssAR : kX86MovssMR; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 521 | DCHECK(X86_SINGLEREG(rSrc)); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 522 | } |
| 523 | DCHECK_EQ((displacement & 0x3), 0); |
| 524 | break; |
| 525 | case kUnsignedHalf: |
| 526 | case kSignedHalf: |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 527 | opcode = isArray ? kX86Mov16AR : kX86Mov16MR; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 528 | DCHECK_EQ((displacement & 0x1), 0); |
| 529 | break; |
| 530 | case kUnsignedByte: |
| 531 | case kSignedByte: |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 532 | opcode = isArray ? kX86Mov8AR : kX86Mov8MR; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 533 | break; |
| 534 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 535 | LOG(FATAL) << "Bad case in LoadBaseIndexedDispBody"; |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 536 | } |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 537 | |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 538 | if (!isArray) { |
| 539 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 540 | store = NewLIR3(cUnit, opcode, rBase, displacement + LOWORD_OFFSET, rSrc); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 541 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 542 | store = NewLIR3(cUnit, opcode, rBase, displacement + LOWORD_OFFSET, rSrc); |
| 543 | store2 = NewLIR3(cUnit, opcode, rBase, displacement + HIWORD_OFFSET, rSrcHi); |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 544 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 545 | if (rBase == rX86_SP) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 546 | AnnotateDalvikRegAccess(store, (displacement + (pair ? LOWORD_OFFSET : 0)) |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 547 | >> 2, false /* isLoad */, is64bit); |
| 548 | if (pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 549 | AnnotateDalvikRegAccess(store2, (displacement + HIWORD_OFFSET) >> 2, |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 550 | false /* isLoad */, is64bit); |
| 551 | } |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 552 | } |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 553 | } else { |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 554 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 555 | store = NewLIR5(cUnit, opcode, rBase, rIndex, scale, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 556 | displacement + LOWORD_OFFSET, rSrc); |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 557 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 558 | store = NewLIR5(cUnit, opcode, rBase, rIndex, scale, |
Elliott Hughes | 6023456 | 2012-06-01 12:25:59 -0700 | [diff] [blame] | 559 | displacement + LOWORD_OFFSET, rSrc); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 560 | store2 = NewLIR5(cUnit, opcode, rBase, rIndex, scale, |
jeffhao | e296248 | 2012-06-28 11:29:57 -0700 | [diff] [blame] | 561 | displacement + HIWORD_OFFSET, rSrcHi); |
Ian Rogers | b5d09b2 | 2012-03-06 22:14:17 -0800 | [diff] [blame] | 562 | } |
| 563 | } |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 564 | |
| 565 | return store; |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 566 | } |
| 567 | |
Ian Rogers | c6f3bb8 | 2012-03-21 20:40:33 -0700 | [diff] [blame] | 568 | /* store value base base + scaled index. */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 569 | LIR *StoreBaseIndexed(CompilationUnit *cUnit, int rBase, int rIndex, int rSrc, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 570 | int scale, OpSize size) |
Ian Rogers | c6f3bb8 | 2012-03-21 20:40:33 -0700 | [diff] [blame] | 571 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 572 | return StoreBaseIndexedDisp(cUnit, rBase, rIndex, scale, 0, |
Ian Rogers | c6f3bb8 | 2012-03-21 20:40:33 -0700 | [diff] [blame] | 573 | rSrc, INVALID_REG, size, INVALID_SREG); |
| 574 | } |
| 575 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 576 | LIR *StoreBaseDisp(CompilationUnit *cUnit, int rBase, int displacement, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 577 | int rSrc, OpSize size) |
| 578 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 579 | return StoreBaseIndexedDisp(cUnit, rBase, INVALID_REG, 0, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 580 | displacement, rSrc, INVALID_REG, size, |
| 581 | INVALID_SREG); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 582 | } |
| 583 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 584 | LIR *StoreBaseDispWide(CompilationUnit *cUnit, int rBase, int displacement, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 585 | int rSrcLo, int rSrcHi) |
| 586 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 587 | return StoreBaseIndexedDisp(cUnit, rBase, INVALID_REG, 0, displacement, |
Ian Rogers | b41b33b | 2012-03-20 14:22:54 -0700 | [diff] [blame] | 588 | rSrcLo, rSrcHi, kLong, INVALID_SREG); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 589 | } |
| 590 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 591 | void LoadPair(CompilationUnit *cUnit, int base, int lowReg, int highReg) |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 592 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 593 | LoadBaseDispWide(cUnit, base, 0, lowReg, highReg, INVALID_SREG); |
buzbee | e88dfbf | 2012-03-05 11:19:57 -0800 | [diff] [blame] | 594 | } |
| 595 | |
| 596 | } // namespace art |