Research GitLab has introduced a user quota limitation. The new rule limits each user to have 50 Gb. The quota doesn't restrict group projects. If you have any concern with this, please talk to CECS Gitlab Admin at N110 (b) CSIT building.

mod.rs 8.98 KB
Newer Older
qinsoon's avatar
qinsoon committed
1 2 3
#![allow(dead_code)]
#![allow(non_upper_case_globals)]

4 5 6 7 8 9 10
pub mod inst_sel;

mod codegen;
pub use compiler::backend::x86_64::codegen::CodeGenerator;

mod asm_backend;
pub use compiler::backend::x86_64::asm_backend::ASMCodeGen;
11 12
pub use compiler::backend::x86_64::asm_backend::emit_code;
pub use compiler::backend::x86_64::asm_backend::emit_context;
13 14
#[cfg(feature = "aot")]
pub use compiler::backend::x86_64::asm_backend::spill_rewrite;
15 16 17

use ast::ptr::P;
use ast::ir::*;
qinsoon's avatar
qinsoon committed
18
use ast::types::*;
qinsoon's avatar
qinsoon committed
19
use compiler::backend::RegGroup;
qinsoon's avatar
qinsoon committed
20

21 22
use std::collections::HashMap;

23
macro_rules! GPR {
qinsoon's avatar
qinsoon committed
24
    ($id:expr, $name: expr) => {
qinsoon's avatar
qinsoon committed
25 26
        {
            P(Value {
qinsoon's avatar
qinsoon committed
27
                hdr: MuEntityHeader::named($id, $name.to_string()),
qinsoon's avatar
qinsoon committed
28
                ty: UINT64_TYPE.clone(),
qinsoon's avatar
qinsoon committed
29
                v: Value_::SSAVar($id)
qinsoon's avatar
qinsoon committed
30 31
            })
        }
qinsoon's avatar
qinsoon committed
32 33 34 35
    };
}

macro_rules! FPR {
qinsoon's avatar
qinsoon committed
36
    ($id:expr, $name: expr) => {
qinsoon's avatar
qinsoon committed
37 38
        {
            P(Value {
qinsoon's avatar
qinsoon committed
39
                hdr: MuEntityHeader::named($id, $name.to_string()),
qinsoon's avatar
qinsoon committed
40
                ty: DOUBLE_TYPE.clone(),
qinsoon's avatar
qinsoon committed
41
                v: Value_::SSAVar($id)
qinsoon's avatar
qinsoon committed
42 43
            })
        }
qinsoon's avatar
qinsoon committed
44 45 46
    };
}

47
// put into several segments to avoid 'recursion limit reached' error
48
lazy_static! {
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
    pub static ref RAX : P<Value> = GPR!(0, "rax");
    pub static ref RCX : P<Value> = GPR!(1, "rcx");
    pub static ref RDX : P<Value> = GPR!(2, "rdx");
    pub static ref RBX : P<Value> = GPR!(3, "rbx");
    pub static ref RSP : P<Value> = GPR!(4, "rsp");
    pub static ref RBP : P<Value> = GPR!(5, "rbp");
    pub static ref RSI : P<Value> = GPR!(6, "rsi");
    pub static ref RDI : P<Value> = GPR!(7, "rdi");
    pub static ref R8  : P<Value> = GPR!(8, "r8");
    pub static ref R9  : P<Value> = GPR!(9, "r9");
    pub static ref R10 : P<Value> = GPR!(10,"r10");
    pub static ref R11 : P<Value> = GPR!(11,"r11");
    pub static ref R12 : P<Value> = GPR!(12,"r12");
    pub static ref R13 : P<Value> = GPR!(13,"r13");
    pub static ref R14 : P<Value> = GPR!(14,"r14");
    pub static ref R15 : P<Value> = GPR!(15,"r15");

    pub static ref RIP : P<Value> = GPR!(32,"rip");
67

qinsoon's avatar
qinsoon committed
68 69 70 71
    pub static ref RETURN_GPRs : [P<Value>; 2] = [
        RAX.clone(),
        RDX.clone(),
    ];
72

qinsoon's avatar
qinsoon committed
73 74 75 76 77 78 79 80
    pub static ref ARGUMENT_GPRs : [P<Value>; 6] = [
        RDI.clone(),
        RSI.clone(),
        RDX.clone(),
        RCX.clone(),
        R8.clone(),
        R9.clone()
    ];
81

qinsoon's avatar
qinsoon committed
82 83 84 85 86 87 88 89
    pub static ref CALLEE_SAVED_GPRs : [P<Value>; 6] = [
        RBX.clone(),
        RBP.clone(),
        R12.clone(),
        R13.clone(),
        R14.clone(),
        R15.clone()
    ];
qinsoon's avatar
qinsoon committed
90 91 92 93 94 95 96 97 98 99 100 101

    pub static ref CALLER_SAVED_GPRs : [P<Value>; 9] = [
        RAX.clone(),
        RCX.clone(),
        RDX.clone(),
        RSI.clone(),
        RDI.clone(),
        R8.clone(),
        R9.clone(),
        R10.clone(),
        R11.clone()
    ];
102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120

    pub static ref ALL_GPRs : [P<Value>; 15] = [
        RAX.clone(),
        RCX.clone(),
        RDX.clone(),
        RBX.clone(),
        RSP.clone(),
//        RBP.clone(),
        RSI.clone(),
        RDI.clone(),
        R8.clone(),
        R9.clone(),
        R10.clone(),
        R11.clone(),
        R12.clone(),
        R13.clone(),
        R14.clone(),
        R15.clone()
    ];
qinsoon's avatar
qinsoon committed
121 122 123
}

lazy_static!{
124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
    pub static ref XMM0  : P<Value> = FPR!(16,"xmm0");
    pub static ref XMM1  : P<Value> = FPR!(17,"xmm1");
    pub static ref XMM2  : P<Value> = FPR!(18,"xmm2");
    pub static ref XMM3  : P<Value> = FPR!(19,"xmm3");
    pub static ref XMM4  : P<Value> = FPR!(20,"xmm4");
    pub static ref XMM5  : P<Value> = FPR!(21,"xmm5");
    pub static ref XMM6  : P<Value> = FPR!(22,"xmm6");
    pub static ref XMM7  : P<Value> = FPR!(23,"xmm7");
    pub static ref XMM8  : P<Value> = FPR!(24,"xmm8");
    pub static ref XMM9  : P<Value> = FPR!(25,"xmm9");
    pub static ref XMM10 : P<Value> = FPR!(26,"xmm10");
    pub static ref XMM11 : P<Value> = FPR!(27,"xmm11");
    pub static ref XMM12 : P<Value> = FPR!(28,"xmm12");
    pub static ref XMM13 : P<Value> = FPR!(29,"xmm13");
    pub static ref XMM14 : P<Value> = FPR!(30,"xmm14");
    pub static ref XMM15 : P<Value> = FPR!(31,"xmm15");

qinsoon's avatar
qinsoon committed
141 142 143 144
    pub static ref RETURN_FPRs : [P<Value>; 2] = [
        XMM0.clone(),
        XMM1.clone()
    ];
145

qinsoon's avatar
qinsoon committed
146 147 148
    pub static ref ARGUMENT_FPRs : [P<Value>; 8] = [
        XMM0.clone(),
        XMM1.clone(),
qinsoon's avatar
qinsoon committed
149 150 151 152 153 154 155
        XMM2.clone(),
        XMM3.clone(),
        XMM4.clone(),
        XMM5.clone(),
        XMM6.clone(),
        XMM7.clone()
    ];
156

qinsoon's avatar
qinsoon committed
157
    pub static ref CALLEE_SAVED_FPRs : [P<Value>; 0] = [];
qinsoon's avatar
qinsoon committed
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176

    pub static ref CALLER_SAVED_FPRs : [P<Value>; 16] = [
        XMM0.clone(),
        XMM1.clone(),
        XMM2.clone(),
        XMM3.clone(),
        XMM4.clone(),
        XMM5.clone(),
        XMM6.clone(),
        XMM7.clone(),
        XMM8.clone(),
        XMM9.clone(),
        XMM10.clone(),
        XMM11.clone(),
        XMM12.clone(),
        XMM13.clone(),
        XMM14.clone(),
        XMM15.clone(),
    ];
177

qinsoon's avatar
qinsoon committed
178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195
    pub static ref ALL_FPRs : [P<Value>; 16] = [
        XMM0.clone(),
        XMM1.clone(),
        XMM2.clone(),
        XMM3.clone(),
        XMM4.clone(),
        XMM5.clone(),
        XMM6.clone(),
        XMM7.clone(),
        XMM8.clone(),
        XMM9.clone(),
        XMM10.clone(),
        XMM11.clone(),
        XMM12.clone(),
        XMM13.clone(),
        XMM14.clone(),
        XMM15.clone(),
    ];
196 197
}

198 199 200
pub const GPR_COUNT : usize = 16;
pub const FPR_COUNT : usize = 16;

qinsoon's avatar
qinsoon committed
201
lazy_static! {
202
    pub static ref ALL_MACHINE_REGs : HashMap<MuID, P<Value>> = {
203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
        let mut map = HashMap::new();
        map.insert(RAX.id(), RAX.clone());
        map.insert(RCX.id(), RCX.clone());
        map.insert(RDX.id(), RDX.clone());
        map.insert(RBX.id(), RBX.clone());
        map.insert(RSP.id(), RSP.clone());
        map.insert(RBP.id(), RBP.clone());
        map.insert(RSI.id(), RSI.clone());
        map.insert(RDI.id(), RDI.clone());
        map.insert(R8.id(), R8.clone());
        map.insert(R9.id(), R9.clone());
        map.insert(R10.id(), R10.clone());
        map.insert(R11.id(), R11.clone());
        map.insert(R12.id(), R12.clone());
        map.insert(R13.id(), R13.clone());
        map.insert(R14.id(), R14.clone());
        map.insert(R15.id(), R15.clone());
        map.insert(XMM0.id(), XMM0.clone());
        map.insert(XMM1.id(), XMM1.clone());
        map.insert(XMM2.id(), XMM2.clone());
        map.insert(XMM3.id(), XMM3.clone());
        map.insert(XMM4.id(), XMM4.clone());
        map.insert(XMM5.id(), XMM5.clone());
        map.insert(XMM6.id(), XMM6.clone());
        map.insert(XMM7.id(), XMM7.clone());
        map.insert(XMM8.id(), XMM8.clone());
        map.insert(XMM9.id(), XMM9.clone());
        map.insert(XMM10.id(), XMM10.clone());
        map.insert(XMM11.id(), XMM11.clone());
        map.insert(XMM12.id(), XMM12.clone());
        map.insert(XMM13.id(), XMM13.clone());
        map.insert(XMM14.id(), XMM14.clone());
        map.insert(XMM15.id(), XMM15.clone());
        map.insert(RIP.id(), RIP.clone());

        map
    };
240

241 242 243 244 245 246 247 248 249 250 251
    // put caller saved regs first (they imposes no overhead if there is no call instruction)
    pub static ref ALL_USABLE_MACHINE_REGs : Vec<P<Value>> = vec![
        RAX.clone(),
        RCX.clone(),
        RDX.clone(),
        RSI.clone(),
        RDI.clone(),
        R8.clone(),
        R9.clone(),
        R10.clone(),
        R11.clone(),
252

253 254 255 256 257
        RBX.clone(),
        R12.clone(),
        R13.clone(),
        R14.clone(),
        R15.clone(),
258

259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275
        XMM0.clone(),
        XMM1.clone(),
        XMM2.clone(),
        XMM3.clone(),
        XMM4.clone(),
        XMM5.clone(),
        XMM6.clone(),
        XMM7.clone(),
        XMM8.clone(),
        XMM9.clone(),
        XMM10.clone(),
        XMM11.clone(),
        XMM12.clone(),
        XMM13.clone(),
        XMM14.clone(),
        XMM15.clone()
    ];
qinsoon's avatar
qinsoon committed
276 277
}

qinsoon's avatar
qinsoon committed
278
pub fn init_machine_regs_for_func (func_context: &mut FunctionContext) {
279
    for reg in ALL_MACHINE_REGs.values() {
qinsoon's avatar
qinsoon committed
280
        let reg_id = reg.extract_ssa_id().unwrap();
qinsoon's avatar
qinsoon committed
281
        let entry = SSAVarEntry::new(reg.clone());
282

qinsoon's avatar
qinsoon committed
283 284 285 286 287 288
        func_context.values.insert(reg_id, entry);
    }
}

pub fn number_of_regs_in_group(group: RegGroup) -> usize {
    match group {
289 290
        RegGroup::GPR => ALL_GPRs.len(),
        RegGroup::FPR => ALL_FPRs.len()
qinsoon's avatar
qinsoon committed
291 292 293
    }
}

qinsoon's avatar
qinsoon committed
294 295 296 297
pub fn number_of_all_regs() -> usize {
    ALL_MACHINE_REGs.len()
}

298
pub fn all_regs() -> &'static HashMap<MuID, P<Value>> {
qinsoon's avatar
qinsoon committed
299 300 301
    &ALL_MACHINE_REGs
}

302 303 304 305
pub fn all_usable_regs() -> &'static Vec<P<Value>> {
    &ALL_USABLE_MACHINE_REGs
}

306
pub fn pick_group_for_reg(reg_id: MuID) -> RegGroup {
307
    let reg = all_regs().get(&reg_id).unwrap();
308 309 310 311 312 313 314
    if reg.is_int_reg() {
        RegGroup::GPR
    } else if reg.is_fp_reg() {
        RegGroup::FPR
    } else {
        panic!("expect a machine reg to be either a GPR or a FPR: {}", reg)
    }
315 316
}

317 318 319 320 321 322
pub fn is_callee_saved(reg_id: MuID) -> bool {
    for reg in CALLEE_SAVED_GPRs.iter() {
        if reg_id == reg.extract_ssa_id().unwrap() {
            return true;
        }
    }
323 324

    false
325 326
}

327
pub fn is_valid_x86_imm(op: &P<Value>) -> bool {
328
    use std::i32;
qinsoon's avatar
qinsoon committed
329
    match op.v {
330
        Value_::Constant(Constant::Int(val)) if val <= i32::MAX as u64 => {
qinsoon's avatar
qinsoon committed
331 332
            true
        },
333 334
        _ => false
    }
335
}