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