diff options
| author | Robert Norton | 2018-03-14 16:05:37 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 18:04:09 +0000 |
| commit | 26c7468c15c15424535afebc12e995a3a746476f (patch) | |
| tree | eef4818c21d114150e781056fccd0a0017c33e39 /mips/mips_regfp.sail | |
| parent | 4c3579a6e4bd10e05f381235e4827b945553d0c1 (diff) | |
rename EXTS and EXTZ to sign_extend and zero_extend because it is more obviosu and to more closely match existing cheri pseudocode.
Diffstat (limited to 'mips/mips_regfp.sail')
| -rw-r--r-- | mips/mips_regfp.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips_regfp.sail b/mips/mips_regfp.sail index 4bf96022..0c77fb9f 100644 --- a/mips/mips_regfp.sail +++ b/mips/mips_regfp.sail @@ -349,7 +349,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( ik = IK_cond_branch; if rs == 0 then () else iR = RFull(GPRs[rs]) :: iR; if rd == 0 then () else iR = RFull(GPRs[rd]) :: iR; - let offset : bits(64) = (EXTS(imm : 0b00) + 4) in + let offset : bits(64) = (sign_extend(imm : 0b00) + 4) in Dia = DIAFP_concrete (PC + offset); } (BCMPZ(rs, imm, cmp, link, likely)) => { @@ -357,7 +357,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( if rs == 0 then () else iR = RFull(GPRs[rs]) :: iR; if link then oR = RFull("GPR31") :: oR; - let offset : bits(64) = (EXTS(imm : 0b00) + 4) in + let offset : bits(64) = (sign_extend(imm : 0b00) + 4) in Dia = DIAFP_concrete (PC + offset); } (SYSCALL_THREAD_START) => () |