code_generator_x86.h revision 7394569c9252b277710b2d7d3fc35fb0dd48fc4b
1d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray/* 2d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * Copyright (C) 2014 The Android Open Source Project 3d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * 4d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * Licensed under the Apache License, Version 2.0 (the "License"); 5d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * you may not use this file except in compliance with the License. 6d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * You may obtain a copy of the License at 7d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * 8d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * http://www.apache.org/licenses/LICENSE-2.0 9d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * 10d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * Unless required by applicable law or agreed to in writing, software 11d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * distributed under the License is distributed on an "AS IS" BASIS, 12d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * See the License for the specific language governing permissions and 14d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray * limitations under the License. 15d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray */ 16d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 17d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#ifndef ART_COMPILER_OPTIMIZING_CODE_GENERATOR_X86_H_ 18d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#define ART_COMPILER_OPTIMIZING_CODE_GENERATOR_X86_H_ 19d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 20d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#include "code_generator.h" 2152c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle#include "dex/compiler_enums.h" 22cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle#include "driver/compiler_options.h" 23d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#include "nodes.h" 2486dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray#include "parallel_move_resolver.h" 25787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray#include "utils/x86/assembler_x86.h" 26d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 27d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffraynamespace art { 28d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffraynamespace x86 { 29d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 3086a8d7afc7f00ff0f5ea7b8aaf4d50514250a4e6Nicolas Geoffray// Use a local definition to prevent copying mistakes. 3186a8d7afc7f00ff0f5ea7b8aaf4d50514250a4e6Nicolas Geoffraystatic constexpr size_t kX86WordSize = kX86PointerSize; 32707c809f661554713edfacf338365adca8dfd3a3Nicolas Geoffray 3301bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffrayclass CodeGeneratorX86; 34424f676379f2f872acd1478672022f19f3240fc1Nicolas Geoffrayclass SlowPathCodeX86; 3501bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray 36a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffraystatic constexpr Register kParameterCoreRegisters[] = { ECX, EDX, EBX }; 37a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffraystatic constexpr RegisterPair kParameterCorePairRegisters[] = { ECX_EDX, EDX_EBX }; 38a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffraystatic constexpr size_t kParameterCoreRegistersLength = arraysize(kParameterCoreRegisters); 39966c3ae95d3c699ee9fbdbccc1acdaaf02325fafMark P Mendellstatic constexpr XmmRegister kParameterFpuRegisters[] = { XMM0, XMM1, XMM2, XMM3 }; 40966c3ae95d3c699ee9fbdbccc1acdaaf02325fafMark P Mendellstatic constexpr size_t kParameterFpuRegistersLength = arraysize(kParameterFpuRegisters); 41a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 42d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffraystatic constexpr Register kRuntimeParameterCoreRegisters[] = { EAX, ECX, EDX, EBX }; 43d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffraystatic constexpr size_t kRuntimeParameterCoreRegistersLength = 44d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray arraysize(kRuntimeParameterCoreRegisters); 45d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffraystatic constexpr XmmRegister kRuntimeParameterFpuRegisters[] = { XMM0, XMM1, XMM2, XMM3 }; 46d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffraystatic constexpr size_t kRuntimeParameterFpuRegistersLength = 47d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray arraysize(kRuntimeParameterFpuRegisters); 48d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray 49d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffrayclass InvokeRuntimeCallingConvention : public CallingConvention<Register, XmmRegister> { 50d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray public: 51d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray InvokeRuntimeCallingConvention() 52d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray : CallingConvention(kRuntimeParameterCoreRegisters, 53d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray kRuntimeParameterCoreRegistersLength, 54d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray kRuntimeParameterFpuRegisters, 55d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray kRuntimeParameterFpuRegistersLength) {} 56d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray 57d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray private: 58d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(InvokeRuntimeCallingConvention); 59d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray}; 60d75948ac93a4a317feaf136cae78823071234ba5Nicolas Geoffray 617fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffrayclass InvokeDexCallingConvention : public CallingConvention<Register, XmmRegister> { 62a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray public: 637fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffray InvokeDexCallingConvention() : CallingConvention( 647fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffray kParameterCoreRegisters, 657fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffray kParameterCoreRegistersLength, 667fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffray kParameterFpuRegisters, 677fb49da8ec62e8a10ed9419ade9f32c6b1174687Nicolas Geoffray kParameterFpuRegistersLength) {} 68a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 69a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray RegisterPair GetRegisterPairAt(size_t argument_index) { 70a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray DCHECK_LT(argument_index + 1, GetNumberOfRegisters()); 71a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray return kParameterCorePairRegisters[argument_index]; 72a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray } 73a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 74a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray private: 75a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(InvokeDexCallingConvention); 76a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray}; 77a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 782d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillainclass InvokeDexCallingConventionVisitorX86 : public InvokeDexCallingConventionVisitor { 79a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray public: 802d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain InvokeDexCallingConventionVisitorX86() {} 812d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain virtual ~InvokeDexCallingConventionVisitorX86() {} 82a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 832d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain Location GetNextLocation(Primitive::Type type) OVERRIDE; 84a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 85a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray private: 86a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray InvokeDexCallingConvention calling_convention; 872d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain 882d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain DISALLOW_COPY_AND_ASSIGN(InvokeDexCallingConventionVisitorX86); 89a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray}; 90a747a392fb5f88d2ecc4c6021edf9f1f6615ba16Nicolas Geoffray 91ad4450e5c3ffaa9566216cc6fafbf5c11186c467Zheng Xuclass ParallelMoveResolverX86 : public ParallelMoveResolverWithSwap { 9286dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray public: 9386dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray ParallelMoveResolverX86(ArenaAllocator* allocator, CodeGeneratorX86* codegen) 94ad4450e5c3ffaa9566216cc6fafbf5c11186c467Zheng Xu : ParallelMoveResolverWithSwap(allocator), codegen_(codegen) {} 9586dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 96de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void EmitMove(size_t index) OVERRIDE; 97de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void EmitSwap(size_t index) OVERRIDE; 98de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void SpillScratch(int reg) OVERRIDE; 99de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void RestoreScratch(int reg) OVERRIDE; 10086dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 10186dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray X86Assembler* GetAssembler() const; 10286dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 10386dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray private: 10486dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray void Exchange(Register reg, int mem); 10586dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray void Exchange(int mem1, int mem2); 1067c8d009552545e6f1fd6036721e4e42e3fd14697Mark Mendell void Exchange32(XmmRegister reg, int mem); 1077c8d009552545e6f1fd6036721e4e42e3fd14697Mark Mendell void MoveMemoryToMemory32(int dst, int src); 1087c8d009552545e6f1fd6036721e4e42e3fd14697Mark Mendell void MoveMemoryToMemory64(int dst, int src); 10986dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 11086dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray CodeGeneratorX86* const codegen_; 11186dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 11286dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(ParallelMoveResolverX86); 11386dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray}; 11486dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 115bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffrayclass LocationsBuilderX86 : public HGraphVisitor { 116bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray public: 11701bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray LocationsBuilderX86(HGraph* graph, CodeGeneratorX86* codegen) 11801bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray : HGraphVisitor(graph), codegen_(codegen) {} 119bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 120360231a056e796c36ffe62348507e904dc9efb9bNicolas Geoffray#define DECLARE_VISIT_INSTRUCTION(name, super) \ 121de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void Visit##name(H##name* instr) OVERRIDE; 122bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 12396f89a290eb67d7bf4b1636798fa28df14309cc7Nicolas Geoffray FOR_EACH_CONCRETE_INSTRUCTION(DECLARE_VISIT_INSTRUCTION) 124bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 125bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray#undef DECLARE_VISIT_INSTRUCTION 126bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 1279574c4b5f5ef039d694ac12c97e25ca02eca83c0Nicolas Geoffray private: 1289574c4b5f5ef039d694ac12c97e25ca02eca83c0Nicolas Geoffray void HandleBitwiseOperation(HBinaryOperation* instruction); 129e982f0b8e809cece6f460fa2d8df25873aa69de4Nicolas Geoffray void HandleInvoke(HInvoke* invoke); 1309aec02fc5df5518c16f1e5a9b6cb198a192db973Calin Juravle void HandleShift(HBinaryOperation* instruction); 13152c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle void HandleFieldSet(HInstruction* instruction, const FieldInfo& field_info); 13252c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info); 133e982f0b8e809cece6f460fa2d8df25873aa69de4Nicolas Geoffray 13401bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray CodeGeneratorX86* const codegen_; 1352d27c8e338af7262dbd4aaa66127bb8fa1758b86Roland Levillain InvokeDexCallingConventionVisitorX86 parameter_visitor_; 13601bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray 137bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(LocationsBuilderX86); 138bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray}; 139bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 140787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffrayclass InstructionCodeGeneratorX86 : public HGraphVisitor { 141d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray public: 1424a34a428c6a2588e0857ef6baf88f1b73ce65958Nicolas Geoffray InstructionCodeGeneratorX86(HGraph* graph, CodeGeneratorX86* codegen); 143d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 144360231a056e796c36ffe62348507e904dc9efb9bNicolas Geoffray#define DECLARE_VISIT_INSTRUCTION(name, super) \ 145de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void Visit##name(H##name* instr) OVERRIDE; 146d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 14796f89a290eb67d7bf4b1636798fa28df14309cc7Nicolas Geoffray FOR_EACH_CONCRETE_INSTRUCTION(DECLARE_VISIT_INSTRUCTION) 148d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 149d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#undef DECLARE_VISIT_INSTRUCTION 150d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 1514a34a428c6a2588e0857ef6baf88f1b73ce65958Nicolas Geoffray X86Assembler* GetAssembler() const { return assembler_; } 152787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 153787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray private: 1543c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray // Generate code for the given suspend check. If not null, `successor` 1553c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray // is the block to branch to if the suspend check is not needed, and after 1563c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray // the suspend call. 1573c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray void GenerateSuspendCheck(HSuspendCheck* check, HBasicBlock* successor); 158424f676379f2f872acd1478672022f19f3240fc1Nicolas Geoffray void GenerateClassInitializationCheck(SlowPathCodeX86* slow_path, Register class_reg); 1599574c4b5f5ef039d694ac12c97e25ca02eca83c0Nicolas Geoffray void HandleBitwiseOperation(HBinaryOperation* instruction); 160bacfec30ee9f2f6fdfd190f11b105b609938efcaCalin Juravle void GenerateDivRemIntegral(HBinaryOperation* instruction); 1610f88e87085b7cf6544dadff3f555773966a6853eGuillaume Sanchez void DivRemOneOrMinusOne(HBinaryOperation* instruction); 162b19930c5cba3cf662dce5ee057fcc9829b4cbb9cGuillaume Sanchez void DivByPowerOfTwo(HDiv* instruction); 1630f88e87085b7cf6544dadff3f555773966a6853eGuillaume Sanchez void GenerateDivRemWithAnyConstant(HBinaryOperation* instruction); 16424f2dfae084b2382c053f5d688fd6bb26cb8a328Mark Mendell void GenerateRemFP(HRem *rem); 1659aec02fc5df5518c16f1e5a9b6cb198a192db973Calin Juravle void HandleShift(HBinaryOperation* instruction); 1669aec02fc5df5518c16f1e5a9b6cb198a192db973Calin Juravle void GenerateShlLong(const Location& loc, Register shifter); 1679aec02fc5df5518c16f1e5a9b6cb198a192db973Calin Juravle void GenerateShrLong(const Location& loc, Register shifter); 1689aec02fc5df5518c16f1e5a9b6cb198a192db973Calin Juravle void GenerateUShrLong(const Location& loc, Register shifter); 1697394569c9252b277710b2d7d3fc35fb0dd48fc4bMark P Mendell void GenerateShlLong(const Location& loc, int shift); 1707394569c9252b277710b2d7d3fc35fb0dd48fc4bMark P Mendell void GenerateShrLong(const Location& loc, int shift); 1717394569c9252b277710b2d7d3fc35fb0dd48fc4bMark P Mendell void GenerateUShrLong(const Location& loc, int shift); 17252c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle void GenerateMemoryBarrier(MemBarrierKind kind); 17352c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle void HandleFieldSet(HInstruction* instruction, const FieldInfo& field_info); 17452c489645b6e9ae33623f1ec24143cde5444906eCalin Juravle void HandleFieldGet(HInstruction* instruction, const FieldInfo& field_info); 175232ade0b9401404ad4b61b1003551b58b96195a8Roland Levillain // Push value to FPU stack. `is_fp` specifies whether the value is floating point or not. 176232ade0b9401404ad4b61b1003551b58b96195a8Roland Levillain // `is_wide` specifies whether it is long/double or not. 17724f2dfae084b2382c053f5d688fd6bb26cb8a328Mark Mendell void PushOntoFPStack(Location source, uint32_t temp_offset, 178232ade0b9401404ad4b61b1003551b58b96195a8Roland Levillain uint32_t stack_adjustment, bool is_fp, bool is_wide); 1793c04974a90b0e03f4b509010bff49f0b2a3da57fNicolas Geoffray 180cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle void GenerateImplicitNullCheck(HNullCheck* instruction); 181cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle void GenerateExplicitNullCheck(HNullCheck* instruction); 182d43b3ac88cd46b8815890188c9c2b9a3f1564648Mingyao Yang void GenerateTestAndBranch(HInstruction* instruction, 183d43b3ac88cd46b8815890188c9c2b9a3f1564648Mingyao Yang Label* true_target, 184d43b3ac88cd46b8815890188c9c2b9a3f1564648Mingyao Yang Label* false_target, 185d43b3ac88cd46b8815890188c9c2b9a3f1564648Mingyao Yang Label* always_true_target); 186cd6dffedf1bd8e6dfb3fb0c933551f9a90f7de3fCalin Juravle 1874a34a428c6a2588e0857ef6baf88f1b73ce65958Nicolas Geoffray X86Assembler* const assembler_; 1884a34a428c6a2588e0857ef6baf88f1b73ce65958Nicolas Geoffray CodeGeneratorX86* const codegen_; 189787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 190787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(InstructionCodeGeneratorX86); 191787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray}; 192787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 193787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffrayclass CodeGeneratorX86 : public CodeGenerator { 194787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray public: 195fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell CodeGeneratorX86(HGraph* graph, 196fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell const X86InstructionSetFeatures& isa_features, 197fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell const CompilerOptions& compiler_options); 198f12feb8e0e857f2832545b3f28d31bad5a9d3903Nicolas Geoffray virtual ~CodeGeneratorX86() {} 199787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 200de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void GenerateFrameEntry() OVERRIDE; 201de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void GenerateFrameExit() OVERRIDE; 202de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void Bind(HBasicBlock* block) OVERRIDE; 203de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void Move(HInstruction* instruction, Location location, HInstruction* move_for) OVERRIDE; 204de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray size_t SaveCoreRegister(size_t stack_index, uint32_t reg_id) OVERRIDE; 205de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray size_t RestoreCoreRegister(size_t stack_index, uint32_t reg_id) OVERRIDE; 2067c8d009552545e6f1fd6036721e4e42e3fd14697Mark Mendell size_t SaveFloatingPointRegister(size_t stack_index, uint32_t reg_id) OVERRIDE; 2077c8d009552545e6f1fd6036721e4e42e3fd14697Mark Mendell size_t RestoreFloatingPointRegister(size_t stack_index, uint32_t reg_id) OVERRIDE; 208bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 209de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray size_t GetWordSize() const OVERRIDE { 210707c809f661554713edfacf338365adca8dfd3a3Nicolas Geoffray return kX86WordSize; 211707c809f661554713edfacf338365adca8dfd3a3Nicolas Geoffray } 212707c809f661554713edfacf338365adca8dfd3a3Nicolas Geoffray 213f85a9ca9859ad843dc03d3a2b600afbaf2e9bbddMark Mendell size_t GetFloatingPointSpillSlotSize() const OVERRIDE { 214f85a9ca9859ad843dc03d3a2b600afbaf2e9bbddMark Mendell // 8 bytes == 2 words for each spill. 215f85a9ca9859ad843dc03d3a2b600afbaf2e9bbddMark Mendell return 2 * kX86WordSize; 216f85a9ca9859ad843dc03d3a2b600afbaf2e9bbddMark Mendell } 217f85a9ca9859ad843dc03d3a2b600afbaf2e9bbddMark Mendell 218de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray HGraphVisitor* GetLocationBuilder() OVERRIDE { 219bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray return &location_builder_; 220bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray } 221bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray 222de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray HGraphVisitor* GetInstructionVisitor() OVERRIDE { 223787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray return &instruction_visitor_; 224787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray } 225787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 226de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray X86Assembler* GetAssembler() OVERRIDE { 227787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray return &assembler_; 228787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray } 229787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray 230de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray uintptr_t GetAddressOf(HBasicBlock* block) const OVERRIDE { 231de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray return GetLabelOf(block)->Position(); 232de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray } 233de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray 234988939683c26c0b1c8808fc206add6337319509aNicolas Geoffray void SetupBlockedRegisters(bool is_baseline) const OVERRIDE; 23534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle 236de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray Location AllocateFreeRegister(Primitive::Type type) const OVERRIDE; 237a7aca370a7d62ca04a1e24423d90e8020d6f1a58Nicolas Geoffray 238de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray Location GetStackLocation(HLoadLocal* load) const OVERRIDE; 2394a34a428c6a2588e0857ef6baf88f1b73ce65958Nicolas Geoffray 240de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void DumpCoreRegister(std::ostream& stream, int reg) const OVERRIDE; 241de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void DumpFloatingPointRegister(std::ostream& stream, int reg) const OVERRIDE; 242a7062e05e6048c7f817d784a5b94e3122e25b1ecNicolas Geoffray 24334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle // Blocks all register pairs made out of blocked core registers. 24434bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle void UpdateBlockedPairRegisters() const; 24534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle 246f0e3937b87453234d0d7970b8712082062709b8dNicolas Geoffray ParallelMoveResolverX86* GetMoveResolver() OVERRIDE { 24786dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray return &move_resolver_; 24886dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray } 24986dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray 250de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray InstructionSet GetInstructionSet() const OVERRIDE { 251412f10cfed002ab617c78f2621d68446ca4dd8bdNicolas Geoffray return InstructionSet::kX86; 252412f10cfed002ab617c78f2621d68446ca4dd8bdNicolas Geoffray } 253412f10cfed002ab617c78f2621d68446ca4dd8bdNicolas Geoffray 25401bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray // Helper method to move a 32bits value between two locations. 25501bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray void Move32(Location destination, Location source); 25601bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray // Helper method to move a 64bits value between two locations. 25701bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray void Move64(Location destination, Location source); 25801bc96d007b67fdb7fe349232a83e4b354ce3d08Nicolas Geoffray 25909ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell // Generate a call to a static or direct method. 26009ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell void GenerateStaticOrDirectCall(HInvokeStaticOrDirect* invoke, Register temp); 26109ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell 2623c7bb98698f77af10372cf31824d3bb115d9bf0fNicolas Geoffray // Emit a write barrier. 2633c7bb98698f77af10372cf31824d3bb115d9bf0fNicolas Geoffray void MarkGCCard(Register temp, Register card, Register object, Register value); 2643c7bb98698f77af10372cf31824d3bb115d9bf0fNicolas Geoffray 26519a19cffd197a28ae4c9c3e59eff6352fd392241Nicolas Geoffray void LoadCurrentMethod(Register reg); 26619a19cffd197a28ae4c9c3e59eff6352fd392241Nicolas Geoffray 26792a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray Label* GetLabelOf(HBasicBlock* block) const { 268dc23d8318db08cb42e20f1d16dbc416798951a8bNicolas Geoffray return CommonGetLabelOf<Label>(block_labels_.GetRawStorage(), block); 26992a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray } 27092a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray 271de58ab2c03ff8112b07ab827c8fa38f670dfc656Nicolas Geoffray void Initialize() OVERRIDE { 27292a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray block_labels_.SetSize(GetGraph()->GetBlocks().Size()); 27392a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray } 27492a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray 275840e5461a85f8908f51e7f6cd562a9129ff0e7ceNicolas Geoffray bool NeedsTwoRegisters(Primitive::Type type) const OVERRIDE { 276840e5461a85f8908f51e7f6cd562a9129ff0e7ceNicolas Geoffray return type == Primitive::kPrimLong; 277840e5461a85f8908f51e7f6cd562a9129ff0e7ceNicolas Geoffray } 278840e5461a85f8908f51e7f6cd562a9129ff0e7ceNicolas Geoffray 279234d69d075d1608f80adb647f7935077b62b6376Nicolas Geoffray bool ShouldSplitLongMoves() const OVERRIDE { return true; } 280234d69d075d1608f80adb647f7935077b62b6376Nicolas Geoffray 2811cf95287364948689f6a1a320567acd7728e94a3Nicolas Geoffray Label* GetFrameEntryLabel() { return &frame_entry_label_; } 2821cf95287364948689f6a1a320567acd7728e94a3Nicolas Geoffray 283fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell const X86InstructionSetFeatures& GetInstructionSetFeatures() const { 284fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell return isa_features_; 285fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell } 286fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell 2873c7bb98698f77af10372cf31824d3bb115d9bf0fNicolas Geoffray private: 28892a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray // Labels for each block that will be compiled. 28992a73aef279be78e3c2b04db1713076183933436Nicolas Geoffray GrowableArray<Label> block_labels_; 2901cf95287364948689f6a1a320567acd7728e94a3Nicolas Geoffray Label frame_entry_label_; 291bab4ed7057799a4fadc6283108ab56f389d117d4Nicolas Geoffray LocationsBuilderX86 location_builder_; 292787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray InstructionCodeGeneratorX86 instruction_visitor_; 29386dbb9a12119273039ce272b41c809fa548b37b6Nicolas Geoffray ParallelMoveResolverX86 move_resolver_; 294787c3076635cf117eb646c5a89a9014b2072fb44Nicolas Geoffray X86Assembler assembler_; 295fb8d279bc011b31d0765dc7ca59afea324fd0d0cMark Mendell const X86InstructionSetFeatures& isa_features_; 296d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 297d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray DISALLOW_COPY_AND_ASSIGN(CodeGeneratorX86); 298d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray}; 299d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 30009ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendellclass SlowPathCodeX86 : public SlowPathCode { 30109ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell public: 30209ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell SlowPathCodeX86() : entry_label_(), exit_label_() {} 30309ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell 30409ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell Label* GetEntryLabel() { return &entry_label_; } 30509ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell Label* GetExitLabel() { return &exit_label_; } 30609ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell 30709ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell private: 30809ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell Label entry_label_; 30909ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell Label exit_label_; 31009ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell 31109ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell DISALLOW_COPY_AND_ASSIGN(SlowPathCodeX86); 31209ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell}; 31309ed1a3125849ec6ac07cb886e3c502e1dcfada2Mark Mendell 314d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray} // namespace x86 315d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray} // namespace art 316d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray 317d4dd255db1d110ceb5551f6d95ff31fb57420994Nicolas Geoffray#endif // ART_COMPILER_OPTIMIZING_CODE_GENERATOR_X86_H_ 318