1*a6a4834cSSteven J. Hill /* 2*a6a4834cSSteven J. Hill * This file is subject to the terms and conditions of the GNU General Public 3*a6a4834cSSteven J. Hill * License. See the file "COPYING" in the main directory of this archive 4*a6a4834cSSteven J. Hill * for more details. 5*a6a4834cSSteven J. Hill * 6*a6a4834cSSteven J. Hill * A small micro-assembler. It is intentionally kept simple, does only 7*a6a4834cSSteven J. Hill * support a subset of instructions, and does not try to hide pipeline 8*a6a4834cSSteven J. Hill * effects like branch delay slots. 9*a6a4834cSSteven J. Hill * 10*a6a4834cSSteven J. Hill * Copyright (C) 2004, 2005, 2006, 2008 Thiemo Seufer 11*a6a4834cSSteven J. Hill * Copyright (C) 2005, 2007 Maciej W. Rozycki 12*a6a4834cSSteven J. Hill * Copyright (C) 2006 Ralf Baechle (ralf@linux-mips.org) 13*a6a4834cSSteven J. Hill * Copyright (C) 2012, 2013 MIPS Technologies, Inc. All rights reserved. 14*a6a4834cSSteven J. Hill */ 15*a6a4834cSSteven J. Hill 16*a6a4834cSSteven J. Hill #include <linux/kernel.h> 17*a6a4834cSSteven J. Hill #include <linux/types.h> 18*a6a4834cSSteven J. Hill #include <linux/init.h> 19*a6a4834cSSteven J. Hill 20*a6a4834cSSteven J. Hill #include <asm/inst.h> 21*a6a4834cSSteven J. Hill #include <asm/elf.h> 22*a6a4834cSSteven J. Hill #include <asm/bugs.h> 23*a6a4834cSSteven J. Hill #define UASM_ISA _UASM_ISA_MICROMIPS 24*a6a4834cSSteven J. Hill #include <asm/uasm.h> 25*a6a4834cSSteven J. Hill 26*a6a4834cSSteven J. Hill #define RS_MASK 0x1f 27*a6a4834cSSteven J. Hill #define RS_SH 16 28*a6a4834cSSteven J. Hill #define RT_MASK 0x1f 29*a6a4834cSSteven J. Hill #define RT_SH 21 30*a6a4834cSSteven J. Hill #define SCIMM_MASK 0x3ff 31*a6a4834cSSteven J. Hill #define SCIMM_SH 16 32*a6a4834cSSteven J. Hill 33*a6a4834cSSteven J. Hill /* This macro sets the non-variable bits of an instruction. */ 34*a6a4834cSSteven J. Hill #define M(a, b, c, d, e, f) \ 35*a6a4834cSSteven J. Hill ((a) << OP_SH \ 36*a6a4834cSSteven J. Hill | (b) << RT_SH \ 37*a6a4834cSSteven J. Hill | (c) << RS_SH \ 38*a6a4834cSSteven J. Hill | (d) << RD_SH \ 39*a6a4834cSSteven J. Hill | (e) << RE_SH \ 40*a6a4834cSSteven J. Hill | (f) << FUNC_SH) 41*a6a4834cSSteven J. Hill 42*a6a4834cSSteven J. Hill /* Define these when we are not the ISA the kernel is being compiled with. */ 43*a6a4834cSSteven J. Hill #ifndef CONFIG_CPU_MICROMIPS 44*a6a4834cSSteven J. Hill #define MM_uasm_i_b(buf, off) ISAOPC(_beq)(buf, 0, 0, off) 45*a6a4834cSSteven J. Hill #define MM_uasm_i_beqz(buf, rs, off) ISAOPC(_beq)(buf, rs, 0, off) 46*a6a4834cSSteven J. Hill #define MM_uasm_i_beqzl(buf, rs, off) ISAOPC(_beql)(buf, rs, 0, off) 47*a6a4834cSSteven J. Hill #define MM_uasm_i_bnez(buf, rs, off) ISAOPC(_bne)(buf, rs, 0, off) 48*a6a4834cSSteven J. Hill #endif 49*a6a4834cSSteven J. Hill 50*a6a4834cSSteven J. Hill #include "uasm.c" 51*a6a4834cSSteven J. Hill 52*a6a4834cSSteven J. Hill static struct insn insn_table_MM[] __uasminitdata = { 53*a6a4834cSSteven J. Hill { insn_addu, M(mm_pool32a_op, 0, 0, 0, 0, mm_addu32_op), RT | RS | RD }, 54*a6a4834cSSteven J. Hill { insn_addiu, M(mm_addiu32_op, 0, 0, 0, 0, 0), RT | RS | SIMM }, 55*a6a4834cSSteven J. Hill { insn_and, M(mm_pool32a_op, 0, 0, 0, 0, mm_and_op), RT | RS | RD }, 56*a6a4834cSSteven J. Hill { insn_andi, M(mm_andi32_op, 0, 0, 0, 0, 0), RT | RS | UIMM }, 57*a6a4834cSSteven J. Hill { insn_beq, M(mm_beq32_op, 0, 0, 0, 0, 0), RS | RT | BIMM }, 58*a6a4834cSSteven J. Hill { insn_beql, 0, 0 }, 59*a6a4834cSSteven J. Hill { insn_bgez, M(mm_pool32i_op, mm_bgez_op, 0, 0, 0, 0), RS | BIMM }, 60*a6a4834cSSteven J. Hill { insn_bgezl, 0, 0 }, 61*a6a4834cSSteven J. Hill { insn_bltz, M(mm_pool32i_op, mm_bltz_op, 0, 0, 0, 0), RS | BIMM }, 62*a6a4834cSSteven J. Hill { insn_bltzl, 0, 0 }, 63*a6a4834cSSteven J. Hill { insn_bne, M(mm_bne32_op, 0, 0, 0, 0, 0), RT | RS | BIMM }, 64*a6a4834cSSteven J. Hill { insn_cache, M(mm_pool32b_op, 0, 0, mm_cache_func, 0, 0), RT | RS | SIMM }, 65*a6a4834cSSteven J. Hill { insn_daddu, 0, 0 }, 66*a6a4834cSSteven J. Hill { insn_daddiu, 0, 0 }, 67*a6a4834cSSteven J. Hill { insn_dmfc0, 0, 0 }, 68*a6a4834cSSteven J. Hill { insn_dmtc0, 0, 0 }, 69*a6a4834cSSteven J. Hill { insn_dsll, 0, 0 }, 70*a6a4834cSSteven J. Hill { insn_dsll32, 0, 0 }, 71*a6a4834cSSteven J. Hill { insn_dsra, 0, 0 }, 72*a6a4834cSSteven J. Hill { insn_dsrl, 0, 0 }, 73*a6a4834cSSteven J. Hill { insn_dsrl32, 0, 0 }, 74*a6a4834cSSteven J. Hill { insn_drotr, 0, 0 }, 75*a6a4834cSSteven J. Hill { insn_drotr32, 0, 0 }, 76*a6a4834cSSteven J. Hill { insn_dsubu, 0, 0 }, 77*a6a4834cSSteven J. Hill { insn_eret, M(mm_pool32a_op, 0, 0, 0, mm_eret_op, mm_pool32axf_op), 0 }, 78*a6a4834cSSteven J. Hill { insn_ins, M(mm_pool32a_op, 0, 0, 0, 0, mm_ins_op), RT | RS | RD | RE }, 79*a6a4834cSSteven J. Hill { insn_ext, M(mm_pool32a_op, 0, 0, 0, 0, mm_ext_op), RT | RS | RD | RE }, 80*a6a4834cSSteven J. Hill { insn_j, M(mm_j32_op, 0, 0, 0, 0, 0), JIMM }, 81*a6a4834cSSteven J. Hill { insn_jal, M(mm_jal32_op, 0, 0, 0, 0, 0), JIMM }, 82*a6a4834cSSteven J. Hill { insn_jr, M(mm_pool32a_op, 0, 0, 0, mm_jalr_op, mm_pool32axf_op), RS }, 83*a6a4834cSSteven J. Hill { insn_ld, 0, 0 }, 84*a6a4834cSSteven J. Hill { insn_ll, M(mm_pool32c_op, 0, 0, (mm_ll_func << 1), 0, 0), RS | RT | SIMM }, 85*a6a4834cSSteven J. Hill { insn_lld, 0, 0 }, 86*a6a4834cSSteven J. Hill { insn_lui, M(mm_pool32i_op, mm_lui_op, 0, 0, 0, 0), RS | SIMM }, 87*a6a4834cSSteven J. Hill { insn_lw, M(mm_lw32_op, 0, 0, 0, 0, 0), RT | RS | SIMM }, 88*a6a4834cSSteven J. Hill { insn_mfc0, M(mm_pool32a_op, 0, 0, 0, mm_mfc0_op, mm_pool32axf_op), RT | RS | RD }, 89*a6a4834cSSteven J. Hill { insn_mtc0, M(mm_pool32a_op, 0, 0, 0, mm_mtc0_op, mm_pool32axf_op), RT | RS | RD }, 90*a6a4834cSSteven J. Hill { insn_or, M(mm_pool32a_op, 0, 0, 0, 0, mm_or32_op), RT | RS | RD }, 91*a6a4834cSSteven J. Hill { insn_ori, M(mm_ori32_op, 0, 0, 0, 0, 0), RT | RS | UIMM }, 92*a6a4834cSSteven J. Hill { insn_pref, M(mm_pool32c_op, 0, 0, (mm_pref_func << 1), 0, 0), RT | RS | SIMM }, 93*a6a4834cSSteven J. Hill { insn_rfe, 0, 0 }, 94*a6a4834cSSteven J. Hill { insn_sc, M(mm_pool32c_op, 0, 0, (mm_sc_func << 1), 0, 0), RT | RS | SIMM }, 95*a6a4834cSSteven J. Hill { insn_scd, 0, 0 }, 96*a6a4834cSSteven J. Hill { insn_sd, 0, 0 }, 97*a6a4834cSSteven J. Hill { insn_sll, M(mm_pool32a_op, 0, 0, 0, 0, mm_sll32_op), RT | RS | RD }, 98*a6a4834cSSteven J. Hill { insn_sra, M(mm_pool32a_op, 0, 0, 0, 0, mm_sra_op), RT | RS | RD }, 99*a6a4834cSSteven J. Hill { insn_srl, M(mm_pool32a_op, 0, 0, 0, 0, mm_srl32_op), RT | RS | RD }, 100*a6a4834cSSteven J. Hill { insn_rotr, M(mm_pool32a_op, 0, 0, 0, 0, mm_rotr_op), RT | RS | RD }, 101*a6a4834cSSteven J. Hill { insn_subu, M(mm_pool32a_op, 0, 0, 0, 0, mm_subu32_op), RT | RS | RD }, 102*a6a4834cSSteven J. Hill { insn_sw, M(mm_sw32_op, 0, 0, 0, 0, 0), RT | RS | SIMM }, 103*a6a4834cSSteven J. Hill { insn_tlbp, M(mm_pool32a_op, 0, 0, 0, mm_tlbp_op, mm_pool32axf_op), 0 }, 104*a6a4834cSSteven J. Hill { insn_tlbr, M(mm_pool32a_op, 0, 0, 0, mm_tlbr_op, mm_pool32axf_op), 0 }, 105*a6a4834cSSteven J. Hill { insn_tlbwi, M(mm_pool32a_op, 0, 0, 0, mm_tlbwi_op, mm_pool32axf_op), 0 }, 106*a6a4834cSSteven J. Hill { insn_tlbwr, M(mm_pool32a_op, 0, 0, 0, mm_tlbwr_op, mm_pool32axf_op), 0 }, 107*a6a4834cSSteven J. Hill { insn_xor, M(mm_pool32a_op, 0, 0, 0, 0, mm_xor32_op), RT | RS | RD }, 108*a6a4834cSSteven J. Hill { insn_xori, M(mm_xori32_op, 0, 0, 0, 0, 0), RT | RS | UIMM }, 109*a6a4834cSSteven J. Hill { insn_dins, 0, 0 }, 110*a6a4834cSSteven J. Hill { insn_dinsm, 0, 0 }, 111*a6a4834cSSteven J. Hill { insn_syscall, M(mm_pool32a_op, 0, 0, 0, mm_syscall_op, mm_pool32axf_op), SCIMM}, 112*a6a4834cSSteven J. Hill { insn_bbit0, 0, 0 }, 113*a6a4834cSSteven J. Hill { insn_bbit1, 0, 0 }, 114*a6a4834cSSteven J. Hill { insn_lwx, 0, 0 }, 115*a6a4834cSSteven J. Hill { insn_ldx, 0, 0 }, 116*a6a4834cSSteven J. Hill { insn_invalid, 0, 0 } 117*a6a4834cSSteven J. Hill }; 118*a6a4834cSSteven J. Hill 119*a6a4834cSSteven J. Hill #undef M 120*a6a4834cSSteven J. Hill 121*a6a4834cSSteven J. Hill static inline __uasminit u32 build_bimm(s32 arg) 122*a6a4834cSSteven J. Hill { 123*a6a4834cSSteven J. Hill WARN(arg > 0xffff || arg < -0x10000, 124*a6a4834cSSteven J. Hill KERN_WARNING "Micro-assembler field overflow\n"); 125*a6a4834cSSteven J. Hill 126*a6a4834cSSteven J. Hill WARN(arg & 0x3, KERN_WARNING "Invalid micro-assembler branch target\n"); 127*a6a4834cSSteven J. Hill 128*a6a4834cSSteven J. Hill return ((arg < 0) ? (1 << 15) : 0) | ((arg >> 1) & 0x7fff); 129*a6a4834cSSteven J. Hill } 130*a6a4834cSSteven J. Hill 131*a6a4834cSSteven J. Hill static inline __uasminit u32 build_jimm(u32 arg) 132*a6a4834cSSteven J. Hill { 133*a6a4834cSSteven J. Hill WARN(arg & ~(JIMM_MASK << 2), 134*a6a4834cSSteven J. Hill KERN_WARNING "Micro-assembler field overflow\n"); 135*a6a4834cSSteven J. Hill 136*a6a4834cSSteven J. Hill return (arg >> 1) & JIMM_MASK; 137*a6a4834cSSteven J. Hill } 138*a6a4834cSSteven J. Hill 139*a6a4834cSSteven J. Hill /* 140*a6a4834cSSteven J. Hill * The order of opcode arguments is implicitly left to right, 141*a6a4834cSSteven J. Hill * starting with RS and ending with FUNC or IMM. 142*a6a4834cSSteven J. Hill */ 143*a6a4834cSSteven J. Hill static void __uasminit build_insn(u32 **buf, enum opcode opc, ...) 144*a6a4834cSSteven J. Hill { 145*a6a4834cSSteven J. Hill struct insn *ip = NULL; 146*a6a4834cSSteven J. Hill unsigned int i; 147*a6a4834cSSteven J. Hill va_list ap; 148*a6a4834cSSteven J. Hill u32 op; 149*a6a4834cSSteven J. Hill 150*a6a4834cSSteven J. Hill for (i = 0; insn_table_MM[i].opcode != insn_invalid; i++) 151*a6a4834cSSteven J. Hill if (insn_table_MM[i].opcode == opc) { 152*a6a4834cSSteven J. Hill ip = &insn_table_MM[i]; 153*a6a4834cSSteven J. Hill break; 154*a6a4834cSSteven J. Hill } 155*a6a4834cSSteven J. Hill 156*a6a4834cSSteven J. Hill if (!ip || (opc == insn_daddiu && r4k_daddiu_bug())) 157*a6a4834cSSteven J. Hill panic("Unsupported Micro-assembler instruction %d", opc); 158*a6a4834cSSteven J. Hill 159*a6a4834cSSteven J. Hill op = ip->match; 160*a6a4834cSSteven J. Hill va_start(ap, opc); 161*a6a4834cSSteven J. Hill if (ip->fields & RS) { 162*a6a4834cSSteven J. Hill if (opc == insn_mfc0 || opc == insn_mtc0) 163*a6a4834cSSteven J. Hill op |= build_rt(va_arg(ap, u32)); 164*a6a4834cSSteven J. Hill else 165*a6a4834cSSteven J. Hill op |= build_rs(va_arg(ap, u32)); 166*a6a4834cSSteven J. Hill } 167*a6a4834cSSteven J. Hill if (ip->fields & RT) { 168*a6a4834cSSteven J. Hill if (opc == insn_mfc0 || opc == insn_mtc0) 169*a6a4834cSSteven J. Hill op |= build_rs(va_arg(ap, u32)); 170*a6a4834cSSteven J. Hill else 171*a6a4834cSSteven J. Hill op |= build_rt(va_arg(ap, u32)); 172*a6a4834cSSteven J. Hill } 173*a6a4834cSSteven J. Hill if (ip->fields & RD) 174*a6a4834cSSteven J. Hill op |= build_rd(va_arg(ap, u32)); 175*a6a4834cSSteven J. Hill if (ip->fields & RE) 176*a6a4834cSSteven J. Hill op |= build_re(va_arg(ap, u32)); 177*a6a4834cSSteven J. Hill if (ip->fields & SIMM) 178*a6a4834cSSteven J. Hill op |= build_simm(va_arg(ap, s32)); 179*a6a4834cSSteven J. Hill if (ip->fields & UIMM) 180*a6a4834cSSteven J. Hill op |= build_uimm(va_arg(ap, u32)); 181*a6a4834cSSteven J. Hill if (ip->fields & BIMM) 182*a6a4834cSSteven J. Hill op |= build_bimm(va_arg(ap, s32)); 183*a6a4834cSSteven J. Hill if (ip->fields & JIMM) 184*a6a4834cSSteven J. Hill op |= build_jimm(va_arg(ap, u32)); 185*a6a4834cSSteven J. Hill if (ip->fields & FUNC) 186*a6a4834cSSteven J. Hill op |= build_func(va_arg(ap, u32)); 187*a6a4834cSSteven J. Hill if (ip->fields & SET) 188*a6a4834cSSteven J. Hill op |= build_set(va_arg(ap, u32)); 189*a6a4834cSSteven J. Hill if (ip->fields & SCIMM) 190*a6a4834cSSteven J. Hill op |= build_scimm(va_arg(ap, u32)); 191*a6a4834cSSteven J. Hill va_end(ap); 192*a6a4834cSSteven J. Hill 193*a6a4834cSSteven J. Hill #ifdef CONFIG_CPU_LITTLE_ENDIAN 194*a6a4834cSSteven J. Hill **buf = ((op & 0xffff) << 16) | (op >> 16); 195*a6a4834cSSteven J. Hill #else 196*a6a4834cSSteven J. Hill **buf = op; 197*a6a4834cSSteven J. Hill #endif 198*a6a4834cSSteven J. Hill (*buf)++; 199*a6a4834cSSteven J. Hill } 200*a6a4834cSSteven J. Hill 201*a6a4834cSSteven J. Hill static inline void __uasminit 202*a6a4834cSSteven J. Hill __resolve_relocs(struct uasm_reloc *rel, struct uasm_label *lab) 203*a6a4834cSSteven J. Hill { 204*a6a4834cSSteven J. Hill long laddr = (long)lab->addr; 205*a6a4834cSSteven J. Hill long raddr = (long)rel->addr; 206*a6a4834cSSteven J. Hill 207*a6a4834cSSteven J. Hill switch (rel->type) { 208*a6a4834cSSteven J. Hill case R_MIPS_PC16: 209*a6a4834cSSteven J. Hill #ifdef CONFIG_CPU_LITTLE_ENDIAN 210*a6a4834cSSteven J. Hill *rel->addr |= (build_bimm(laddr - (raddr + 4)) << 16); 211*a6a4834cSSteven J. Hill #else 212*a6a4834cSSteven J. Hill *rel->addr |= build_bimm(laddr - (raddr + 4)); 213*a6a4834cSSteven J. Hill #endif 214*a6a4834cSSteven J. Hill break; 215*a6a4834cSSteven J. Hill 216*a6a4834cSSteven J. Hill default: 217*a6a4834cSSteven J. Hill panic("Unsupported Micro-assembler relocation %d", 218*a6a4834cSSteven J. Hill rel->type); 219*a6a4834cSSteven J. Hill } 220*a6a4834cSSteven J. Hill } 221