buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 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 "../compiler_ir.h" |
| 18 | #include "ralloc_util.h" |
| 19 | #include "codegen_util.h" |
| 20 | |
Elliott Hughes | 11d1b0c | 2012-01-23 16:57:47 -0800 | [diff] [blame] | 21 | namespace art { |
| 22 | |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 23 | /* This file contains target-independent codegen and support. */ |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 24 | |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 25 | /* |
| 26 | * Load an immediate value into a fixed or temp register. Target |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 27 | * register is clobbered, and marked in_use. |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 28 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 29 | LIR* Codegen::LoadConstant(CompilationUnit* cu, int r_dest, int value) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 30 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 31 | if (IsTemp(cu, r_dest)) { |
| 32 | Clobber(cu, r_dest); |
| 33 | MarkInUse(cu, r_dest); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 34 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 35 | return LoadConstantNoClobber(cu, r_dest, value); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 36 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 37 | |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 38 | /* |
| 39 | * Temporary workaround for Issue 7250540. If we're loading a constant zero into a |
| 40 | * promoted floating point register, also copy a zero into the int/ref identity of |
| 41 | * that sreg. |
| 42 | */ |
buzbee | 7da142f | 2012-11-29 16:33:42 -0800 | [diff] [blame] | 43 | void Codegen::Workaround7250540(CompilationUnit* cu, RegLocation rl_dest, int zero_reg) |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 44 | { |
buzbee | 7da142f | 2012-11-29 16:33:42 -0800 | [diff] [blame] | 45 | if (rl_dest.fp) { |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 46 | int pmap_index = SRegToPMap(cu, rl_dest.s_reg_low); |
| 47 | if (cu->promotion_map[pmap_index].fp_location == kLocPhysReg) { |
buzbee | 7da142f | 2012-11-29 16:33:42 -0800 | [diff] [blame] | 48 | // Now, determine if this vreg is ever used as a reference. If not, we're done. |
| 49 | bool used_as_reference = false; |
| 50 | int base_vreg = SRegToVReg(cu, rl_dest.s_reg_low); |
| 51 | for (int i = 0; !used_as_reference && (i < cu->num_ssa_regs); i++) { |
| 52 | if (SRegToVReg(cu, cu->reg_location[i].s_reg_low) == base_vreg) { |
| 53 | used_as_reference |= cu->reg_location[i].ref; |
| 54 | } |
| 55 | } |
| 56 | if (!used_as_reference) { |
| 57 | return; |
| 58 | } |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 59 | if (cu->promotion_map[pmap_index].core_location == kLocPhysReg) { |
| 60 | // Promoted - just copy in a zero |
buzbee | 7da142f | 2012-11-29 16:33:42 -0800 | [diff] [blame] | 61 | OpRegCopy(cu, cu->promotion_map[pmap_index].core_reg, zero_reg); |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 62 | } else { |
| 63 | // Lives in the frame, need to store. |
buzbee | 7da142f | 2012-11-29 16:33:42 -0800 | [diff] [blame] | 64 | StoreBaseDisp(cu, TargetReg(kSp), SRegOffset(cu, rl_dest.s_reg_low), zero_reg, kWord); |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 65 | } |
| 66 | } |
| 67 | } |
| 68 | } |
| 69 | |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 70 | /* Load a word at base + displacement. Displacement must be word multiple */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 71 | LIR* Codegen::LoadWordDisp(CompilationUnit* cu, int rBase, int displacement, int r_dest) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 72 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 73 | return LoadBaseDisp(cu, rBase, displacement, r_dest, kWord, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 74 | INVALID_SREG); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 75 | } |
| 76 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 77 | LIR* Codegen::StoreWordDisp(CompilationUnit* cu, int rBase, int displacement, int r_src) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 78 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 79 | return StoreBaseDisp(cu, rBase, displacement, r_src, kWord); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 80 | } |
| 81 | |
| 82 | /* |
| 83 | * Load a Dalvik register into a physical register. Take care when |
| 84 | * using this routine, as it doesn't perform any bookkeeping regarding |
| 85 | * register liveness. That is the responsibility of the caller. |
| 86 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 87 | void Codegen::LoadValueDirect(CompilationUnit* cu, RegLocation rl_src, int r_dest) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 88 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 89 | rl_src = UpdateLoc(cu, rl_src); |
| 90 | if (rl_src.location == kLocPhysReg) { |
| 91 | OpRegCopy(cu, r_dest, rl_src.low_reg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 92 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 93 | DCHECK((rl_src.location == kLocDalvikFrame) || |
| 94 | (rl_src.location == kLocCompilerTemp)); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 95 | if (rl_src.is_const && InexpensiveConstant(r_dest, cu->constant_values[rl_src.orig_sreg])) { |
| 96 | LoadConstantNoClobber(cu, r_dest, cu->constant_values[rl_src.orig_sreg]); |
| 97 | } else { |
| 98 | LoadWordDisp(cu, TargetReg(kSp), SRegOffset(cu, rl_src.s_reg_low), r_dest); |
| 99 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 100 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 101 | } |
| 102 | |
| 103 | /* |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 104 | * Similar to LoadValueDirect, but clobbers and allocates the target |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 105 | * register. Should be used when loading to a fixed register (for example, |
| 106 | * loading arguments to an out of line call. |
| 107 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 108 | void Codegen::LoadValueDirectFixed(CompilationUnit* cu, RegLocation rl_src, int r_dest) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 109 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 110 | Clobber(cu, r_dest); |
| 111 | MarkInUse(cu, r_dest); |
| 112 | LoadValueDirect(cu, rl_src, r_dest); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 113 | } |
| 114 | |
| 115 | /* |
| 116 | * Load a Dalvik register pair into a physical register[s]. Take care when |
| 117 | * using this routine, as it doesn't perform any bookkeeping regarding |
| 118 | * register liveness. That is the responsibility of the caller. |
| 119 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 120 | void Codegen::LoadValueDirectWide(CompilationUnit* cu, RegLocation rl_src, int reg_lo, |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 121 | int reg_hi) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 122 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 123 | rl_src = UpdateLocWide(cu, rl_src); |
| 124 | if (rl_src.location == kLocPhysReg) { |
| 125 | OpRegCopyWide(cu, reg_lo, reg_hi, rl_src.low_reg, rl_src.high_reg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 126 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 127 | DCHECK((rl_src.location == kLocDalvikFrame) || |
| 128 | (rl_src.location == kLocCompilerTemp)); |
| 129 | LoadBaseDispWide(cu, TargetReg(kSp), SRegOffset(cu, rl_src.s_reg_low), |
| 130 | reg_lo, reg_hi, INVALID_SREG); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 131 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 132 | } |
| 133 | |
| 134 | /* |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 135 | * Similar to LoadValueDirect, but clobbers and allocates the target |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 136 | * registers. Should be used when loading to a fixed registers (for example, |
| 137 | * loading arguments to an out of line call. |
| 138 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 139 | void Codegen::LoadValueDirectWideFixed(CompilationUnit* cu, RegLocation rl_src, int reg_lo, |
| 140 | int reg_hi) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 141 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 142 | Clobber(cu, reg_lo); |
| 143 | Clobber(cu, reg_hi); |
| 144 | MarkInUse(cu, reg_lo); |
| 145 | MarkInUse(cu, reg_hi); |
| 146 | LoadValueDirectWide(cu, rl_src, reg_lo, reg_hi); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 147 | } |
| 148 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 149 | RegLocation Codegen::LoadValue(CompilationUnit* cu, RegLocation rl_src, RegisterClass op_kind) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 150 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 151 | rl_src = EvalLoc(cu, rl_src, op_kind, false); |
| 152 | if (rl_src.location != kLocPhysReg) { |
| 153 | DCHECK((rl_src.location == kLocDalvikFrame) || |
| 154 | (rl_src.location == kLocCompilerTemp)); |
| 155 | LoadValueDirect(cu, rl_src, rl_src.low_reg); |
| 156 | rl_src.location = kLocPhysReg; |
| 157 | MarkLive(cu, rl_src.low_reg, rl_src.s_reg_low); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 158 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 159 | return rl_src; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 160 | } |
| 161 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 162 | void Codegen::StoreValue(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 163 | { |
buzbee | 3d66194 | 2012-03-14 17:37:27 -0700 | [diff] [blame] | 164 | #ifndef NDEBUG |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 165 | /* |
| 166 | * Sanity checking - should never try to store to the same |
| 167 | * ssa name during the compilation of a single instruction |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 168 | * without an intervening ClobberSReg(). |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 169 | */ |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 170 | DCHECK((cu->live_sreg == INVALID_SREG) || |
| 171 | (rl_dest.s_reg_low != cu->live_sreg)); |
| 172 | cu->live_sreg = rl_dest.s_reg_low; |
buzbee | 3d66194 | 2012-03-14 17:37:27 -0700 | [diff] [blame] | 173 | #endif |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 174 | LIR* def_start; |
| 175 | LIR* def_end; |
| 176 | DCHECK(!rl_dest.wide); |
| 177 | DCHECK(!rl_src.wide); |
| 178 | rl_src = UpdateLoc(cu, rl_src); |
| 179 | rl_dest = UpdateLoc(cu, rl_dest); |
| 180 | if (rl_src.location == kLocPhysReg) { |
| 181 | if (IsLive(cu, rl_src.low_reg) || |
| 182 | IsPromoted(cu, rl_src.low_reg) || |
| 183 | (rl_dest.location == kLocPhysReg)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 184 | // Src is live/promoted or Dest has assigned reg. |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 185 | rl_dest = EvalLoc(cu, rl_dest, kAnyReg, false); |
| 186 | OpRegCopy(cu, rl_dest.low_reg, rl_src.low_reg); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 187 | } else { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 188 | // Just re-assign the registers. Dest gets Src's regs |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 189 | rl_dest.low_reg = rl_src.low_reg; |
| 190 | Clobber(cu, rl_src.low_reg); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 191 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 192 | } else { |
| 193 | // Load Src either into promoted Dest or temps allocated for Dest |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 194 | rl_dest = EvalLoc(cu, rl_dest, kAnyReg, false); |
| 195 | LoadValueDirect(cu, rl_src, rl_dest.low_reg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 196 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 197 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 198 | // Dest is now live and dirty (until/if we flush it to home location) |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 199 | MarkLive(cu, rl_dest.low_reg, rl_dest.s_reg_low); |
| 200 | MarkDirty(cu, rl_dest); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 201 | |
| 202 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 203 | ResetDefLoc(cu, rl_dest); |
| 204 | if (IsDirty(cu, rl_dest.low_reg) && |
| 205 | oat_live_out(cu, rl_dest.s_reg_low)) { |
| 206 | def_start = cu->last_lir_insn; |
| 207 | StoreBaseDisp(cu, TargetReg(kSp), SRegOffset(cu, rl_dest.s_reg_low), |
| 208 | rl_dest.low_reg, kWord); |
| 209 | MarkClean(cu, rl_dest); |
| 210 | def_end = cu->last_lir_insn; |
buzbee | 5f61f67 | 2012-11-28 17:22:17 -0800 | [diff] [blame] | 211 | if (!rl_dest.ref) { |
| 212 | // Exclude references from store elimination |
| 213 | MarkDef(cu, rl_dest, def_start, def_end); |
| 214 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 215 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 216 | } |
| 217 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 218 | RegLocation Codegen::LoadValueWide(CompilationUnit* cu, RegLocation rl_src, RegisterClass op_kind) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 219 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 220 | DCHECK(rl_src.wide); |
| 221 | rl_src = EvalLoc(cu, rl_src, op_kind, false); |
| 222 | if (rl_src.location != kLocPhysReg) { |
| 223 | DCHECK((rl_src.location == kLocDalvikFrame) || |
| 224 | (rl_src.location == kLocCompilerTemp)); |
| 225 | LoadValueDirectWide(cu, rl_src, rl_src.low_reg, rl_src.high_reg); |
| 226 | rl_src.location = kLocPhysReg; |
| 227 | MarkLive(cu, rl_src.low_reg, rl_src.s_reg_low); |
| 228 | MarkLive(cu, rl_src.high_reg, |
| 229 | GetSRegHi(rl_src.s_reg_low)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 230 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 231 | return rl_src; |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 232 | } |
| 233 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 234 | void Codegen::StoreValueWide(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src) |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 235 | { |
buzbee | 3d66194 | 2012-03-14 17:37:27 -0700 | [diff] [blame] | 236 | #ifndef NDEBUG |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 237 | /* |
| 238 | * Sanity checking - should never try to store to the same |
| 239 | * ssa name during the compilation of a single instruction |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 240 | * without an intervening ClobberSReg(). |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 241 | */ |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 242 | DCHECK((cu->live_sreg == INVALID_SREG) || |
| 243 | (rl_dest.s_reg_low != cu->live_sreg)); |
| 244 | cu->live_sreg = rl_dest.s_reg_low; |
buzbee | 3d66194 | 2012-03-14 17:37:27 -0700 | [diff] [blame] | 245 | #endif |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 246 | LIR* def_start; |
| 247 | LIR* def_end; |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 248 | DCHECK_EQ(IsFpReg(rl_src.low_reg), IsFpReg(rl_src.high_reg)); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 249 | DCHECK(rl_dest.wide); |
| 250 | DCHECK(rl_src.wide); |
| 251 | if (rl_src.location == kLocPhysReg) { |
| 252 | if (IsLive(cu, rl_src.low_reg) || |
| 253 | IsLive(cu, rl_src.high_reg) || |
| 254 | IsPromoted(cu, rl_src.low_reg) || |
| 255 | IsPromoted(cu, rl_src.high_reg) || |
| 256 | (rl_dest.location == kLocPhysReg)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 257 | // Src is live or promoted or Dest has assigned reg. |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 258 | rl_dest = EvalLoc(cu, rl_dest, kAnyReg, false); |
| 259 | OpRegCopyWide(cu, rl_dest.low_reg, rl_dest.high_reg, |
| 260 | rl_src.low_reg, rl_src.high_reg); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 261 | } else { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 262 | // Just re-assign the registers. Dest gets Src's regs |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 263 | rl_dest.low_reg = rl_src.low_reg; |
| 264 | rl_dest.high_reg = rl_src.high_reg; |
| 265 | Clobber(cu, rl_src.low_reg); |
| 266 | Clobber(cu, rl_src.high_reg); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 267 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 268 | } else { |
| 269 | // Load Src either into promoted Dest or temps allocated for Dest |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 270 | rl_dest = EvalLoc(cu, rl_dest, kAnyReg, false); |
| 271 | LoadValueDirectWide(cu, rl_src, rl_dest.low_reg, rl_dest.high_reg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 272 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 273 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 274 | // Dest is now live and dirty (until/if we flush it to home location) |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 275 | MarkLive(cu, rl_dest.low_reg, rl_dest.s_reg_low); |
| 276 | MarkLive(cu, rl_dest.high_reg, GetSRegHi(rl_dest.s_reg_low)); |
| 277 | MarkDirty(cu, rl_dest); |
| 278 | MarkPair(cu, rl_dest.low_reg, rl_dest.high_reg); |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 279 | |
| 280 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 281 | ResetDefLocWide(cu, rl_dest); |
| 282 | if ((IsDirty(cu, rl_dest.low_reg) || |
| 283 | IsDirty(cu, rl_dest.high_reg)) && |
| 284 | (oat_live_out(cu, rl_dest.s_reg_low) || |
| 285 | oat_live_out(cu, GetSRegHi(rl_dest.s_reg_low)))) { |
| 286 | def_start = cu->last_lir_insn; |
| 287 | DCHECK_EQ((SRegToVReg(cu, rl_dest.s_reg_low)+1), |
| 288 | SRegToVReg(cu, GetSRegHi(rl_dest.s_reg_low))); |
| 289 | StoreBaseDispWide(cu, TargetReg(kSp), SRegOffset(cu, rl_dest.s_reg_low), |
| 290 | rl_dest.low_reg, rl_dest.high_reg); |
| 291 | MarkClean(cu, rl_dest); |
| 292 | def_end = cu->last_lir_insn; |
| 293 | MarkDefWide(cu, rl_dest, def_start, def_end); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 294 | } |
buzbee | 67bf885 | 2011-08-17 17:51:35 -0700 | [diff] [blame] | 295 | } |
Elliott Hughes | 11d1b0c | 2012-01-23 16:57:47 -0800 | [diff] [blame] | 296 | |
buzbee | e196567 | 2012-03-11 18:39:19 -0700 | [diff] [blame] | 297 | /* Utilities to load the current Method* */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 298 | void Codegen::LoadCurrMethodDirect(CompilationUnit *cu, int r_tgt) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 299 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 300 | LoadValueDirectFixed(cu, cu->method_loc, r_tgt); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 301 | } |
| 302 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 303 | RegLocation Codegen::LoadCurrMethod(CompilationUnit *cu) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 304 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 305 | return LoadValue(cu, cu->method_loc, kCoreReg); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 306 | } |
| 307 | |
Elliott Hughes | 11d1b0c | 2012-01-23 16:57:47 -0800 | [diff] [blame] | 308 | } // namespace art |