target/riscv/op_helper.c

   1 /*
   2  * RISC-V Emulation Helpers for QEMU.
   3  *
   4  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
   5  * Copyright (c) 2017-2018 SiFive, Inc.
   6  *
   7  * This program is free software; you can redistribute it and/or modify it
   8  * under the terms and conditions of the GNU General Public License,
   9  * version 2 or later, as published by the Free Software Foundation.
  10  *
  11  * This program is distributed in the hope it will be useful, but WITHOUT
  12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
  14  * more details.
  15  *
  16  * You should have received a copy of the GNU General Public License along with
  17  * this program.  If not, see <http://www.gnu.org/licenses/>.
  18  */
  19
  20 #include "qemu/osdep.h"
  21 #include "qemu/log.h"
  22 #include "cpu.h"
  23 #include "qemu/main-loop.h"
  24 #include "exec/exec-all.h"
  25 #include "exec/helper-proto.h"
  26
  27 /* Exceptions processing helpers */
  28 void QEMU_NORETURN riscv_raise_exception(CPURISCVState *env,
  29                                           uint32_t exception, uintptr_t pc)
  30 {
  31     CPUState *cs = env_cpu(env);
  32     cs->exception_index = exception;
  33     cpu_loop_exit_restore(cs, pc);
  34 }
  35
  36 void helper_raise_exception(CPURISCVState *env, uint32_t exception)
  37 {
  38     riscv_raise_exception(env, exception, 0);
  39 }
  40
  41 target_ulong helper_csrrw(CPURISCVState *env, target_ulong src,
  42         target_ulong csr)
  43 {
  44     target_ulong val = 0;
  45     int ret = riscv_csrrw(env, csr, &val, src, -1);
  46
  47     if (ret < 0) {
  48         riscv_raise_exception(env, -ret, GETPC());
  49     }
  50     return val;
  51 }
  52
  53 target_ulong helper_csrrs(CPURISCVState *env, target_ulong src,
  54         target_ulong csr, target_ulong rs1_pass)
  55 {
  56     target_ulong val = 0;
  57     int ret = riscv_csrrw(env, csr, &val, -1, rs1_pass ? src : 0);
  58
  59     if (ret < 0) {
  60         riscv_raise_exception(env, -ret, GETPC());
  61     }
  62     return val;
  63 }
  64
  65 target_ulong helper_csrrc(CPURISCVState *env, target_ulong src,
  66         target_ulong csr, target_ulong rs1_pass)
  67 {
  68     target_ulong val = 0;
  69     int ret = riscv_csrrw(env, csr, &val, 0, rs1_pass ? src : 0);
  70
  71     if (ret < 0) {
  72         riscv_raise_exception(env, -ret, GETPC());
  73     }
  74     return val;
  75 }
  76
  77 #ifndef CONFIG_USER_ONLY
  78
  79 target_ulong helper_sret(CPURISCVState *env, target_ulong cpu_pc_deb)
  80 {
  81     uint64_t mstatus;
  82     target_ulong prev_priv, prev_virt;
  83
  84     if (!(env->priv >= PRV_S)) {
  85         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
  86     }
  87
  88     target_ulong retpc = env->sepc;
  89     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
  90         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
  91     }
  92
  93     if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
  94         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
  95     }
  96
  97     if (riscv_has_ext(env, RVH) && riscv_cpu_virt_enabled(env) &&
  98         get_field(env->hstatus, HSTATUS_VTSR)) {
  99         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 100     }
 101
 102     mstatus = env->mstatus;
 103
 104     if (riscv_has_ext(env, RVH) && !riscv_cpu_virt_enabled(env)) {
 105         /* We support Hypervisor extensions and virtulisation is disabled */
 106         target_ulong hstatus = env->hstatus;
 107
 108         prev_priv = get_field(mstatus, MSTATUS_SPP);
 109         prev_virt = get_field(hstatus, HSTATUS_SPV);
 110
 111         hstatus = set_field(hstatus, HSTATUS_SPV, 0);
 112         mstatus = set_field(mstatus, MSTATUS_SPP, 0);
 113         mstatus = set_field(mstatus, SSTATUS_SIE,
 114                             get_field(mstatus, SSTATUS_SPIE));
 115         mstatus = set_field(mstatus, SSTATUS_SPIE, 1);
 116
 117         env->mstatus = mstatus;
 118         env->hstatus = hstatus;
 119
 120         if (prev_virt) {
 121             riscv_cpu_swap_hypervisor_regs(env);
 122         }
 123
 124         riscv_cpu_set_virt_enabled(env, prev_virt);
 125     } else {
 126         prev_priv = get_field(mstatus, MSTATUS_SPP);
 127
 128         mstatus = set_field(mstatus, MSTATUS_SIE,
 129                             get_field(mstatus, MSTATUS_SPIE));
 130         mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
 131         mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
 132         env->mstatus = mstatus;
 133     }
 134
 135     riscv_cpu_set_mode(env, prev_priv);
 136
 137     return retpc;
 138 }
 139
 140 target_ulong helper_mret(CPURISCVState *env, target_ulong cpu_pc_deb)
 141 {
 142     if (!(env->priv >= PRV_M)) {
 143         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 144     }
 145
 146     target_ulong retpc = env->mepc;
 147     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
 148         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
 149     }
 150
 151     uint64_t mstatus = env->mstatus;
 152     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
 153     target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV);
 154     mstatus = set_field(mstatus, MSTATUS_MIE,
 155                         get_field(mstatus, MSTATUS_MPIE));
 156     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
 157     mstatus = set_field(mstatus, MSTATUS_MPP, PRV_U);
 158     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
 159     env->mstatus = mstatus;
 160     riscv_cpu_set_mode(env, prev_priv);
 161
 162     if (riscv_has_ext(env, RVH)) {
 163         if (prev_virt) {
 164             riscv_cpu_swap_hypervisor_regs(env);
 165         }
 166
 167         riscv_cpu_set_virt_enabled(env, prev_virt);
 168     }
 169
 170     return retpc;
 171 }
 172
 173 void helper_wfi(CPURISCVState *env)
 174 {
 175     CPUState *cs = env_cpu(env);
 176
 177     if ((env->priv == PRV_S &&
 178         get_field(env->mstatus, MSTATUS_TW)) ||
 179         riscv_cpu_virt_enabled(env)) {
 180         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 181     } else {
 182         cs->halted = 1;
 183         cs->exception_index = EXCP_HLT;
 184         cpu_loop_exit(cs);
 185     }
 186 }
 187
 188 void helper_tlb_flush(CPURISCVState *env)
 189 {
 190     CPUState *cs = env_cpu(env);
 191     if (!(env->priv >= PRV_S) ||
 192         (env->priv == PRV_S &&
 193          get_field(env->mstatus, MSTATUS_TVM))) {
 194         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 195     } else if (riscv_has_ext(env, RVH) && riscv_cpu_virt_enabled(env) &&
 196                get_field(env->hstatus, HSTATUS_VTVM)) {
 197         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 198     } else {
 199         tlb_flush(cs);
 200     }
 201 }
 202
 203 void helper_hyp_tlb_flush(CPURISCVState *env)
 204 {
 205     CPUState *cs = env_cpu(env);
 206
 207     if (env->priv == PRV_S && riscv_cpu_virt_enabled(env)) {
 208         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 209     }
 210
 211     if (env->priv == PRV_M ||
 212         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env))) {
 213         tlb_flush(cs);
 214         return;
 215     }
 216
 217     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 218 }
 219
 220 void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
 221 {
 222     if (env->priv == PRV_S && !riscv_cpu_virt_enabled(env) &&
 223         get_field(env->mstatus, MSTATUS_TVM)) {
 224         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 225     }
 226
 227     helper_hyp_tlb_flush(env);
 228 }
 229
 230 target_ulong helper_hyp_load(CPURISCVState *env, target_ulong address,
 231                              target_ulong attrs, target_ulong memop)
 232 {
 233     if (env->priv == PRV_M ||
 234         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
 235         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
 236             get_field(env->hstatus, HSTATUS_HU))) {
 237         target_ulong pte;
 238
 239         riscv_cpu_set_two_stage_lookup(env, true);
 240
 241         switch (memop) {
 242         case MO_SB:
 243             pte = cpu_ldsb_data_ra(env, address, GETPC());
 244             break;
 245         case MO_UB:
 246             pte = cpu_ldub_data_ra(env, address, GETPC());
 247             break;
 248         case MO_TESW:
 249             pte = cpu_ldsw_data_ra(env, address, GETPC());
 250             break;
 251         case MO_TEUW:
 252             pte = cpu_lduw_data_ra(env, address, GETPC());
 253             break;
 254         case MO_TESL:
 255             pte = cpu_ldl_data_ra(env, address, GETPC());
 256             break;
 257         case MO_TEUL:
 258             pte = cpu_ldl_data_ra(env, address, GETPC());
 259             break;
 260         case MO_TEQ:
 261             pte = cpu_ldq_data_ra(env, address, GETPC());
 262             break;
 263         default:
 264             g_assert_not_reached();
 265         }
 266
 267         riscv_cpu_set_two_stage_lookup(env, false);
 268
 269         return pte;
 270     }
 271
 272     if (riscv_cpu_virt_enabled(env)) {
 273         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 274     } else {
 275         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 276     }
 277     return 0;
 278 }
 279
 280 void helper_hyp_store(CPURISCVState *env, target_ulong address,
 281                       target_ulong val, target_ulong attrs, target_ulong memop)
 282 {
 283     if (env->priv == PRV_M ||
 284         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
 285         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
 286             get_field(env->hstatus, HSTATUS_HU))) {
 287         riscv_cpu_set_two_stage_lookup(env, true);
 288
 289         switch (memop) {
 290         case MO_SB:
 291         case MO_UB:
 292             cpu_stb_data_ra(env, address, val, GETPC());
 293             break;
 294         case MO_TESW:
 295         case MO_TEUW:
 296             cpu_stw_data_ra(env, address, val, GETPC());
 297             break;
 298         case MO_TESL:
 299         case MO_TEUL:
 300             cpu_stl_data_ra(env, address, val, GETPC());
 301             break;
 302         case MO_TEQ:
 303             cpu_stq_data_ra(env, address, val, GETPC());
 304             break;
 305         default:
 306             g_assert_not_reached();
 307         }
 308
 309         riscv_cpu_set_two_stage_lookup(env, false);
 310
 311         return;
 312     }
 313
 314     if (riscv_cpu_virt_enabled(env)) {
 315         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 316     } else {
 317         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 318     }
 319 }
 320
 321 target_ulong helper_hyp_x_load(CPURISCVState *env, target_ulong address,
 322                                target_ulong attrs, target_ulong memop)
 323 {
 324     if (env->priv == PRV_M ||
 325         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
 326         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
 327             get_field(env->hstatus, HSTATUS_HU))) {
 328         target_ulong pte;
 329
 330         riscv_cpu_set_two_stage_lookup(env, true);
 331
 332         switch (memop) {
 333         case MO_TEUW:
 334             pte = cpu_lduw_data_ra(env, address, GETPC());
 335             break;
 336         case MO_TEUL:
 337             pte = cpu_ldl_data_ra(env, address, GETPC());
 338             break;
 339         default:
 340             g_assert_not_reached();
 341         }
 342
 343         riscv_cpu_set_two_stage_lookup(env, false);
 344
 345         return pte;
 346     }
 347
 348     if (riscv_cpu_virt_enabled(env)) {
 349         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
 350     } else {
 351         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
 352     }
 353     return 0;
 354 }
 355
 356 #endif /* !CONFIG_USER_ONLY */