diff options
Diffstat (limited to 'aarch64_small/aarch64_regfp.sail')
| -rw-r--r-- | aarch64_small/aarch64_regfp.sail | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/aarch64_small/aarch64_regfp.sail b/aarch64_small/aarch64_regfp.sail index be4a2cba..884a9e81 100644 --- a/aarch64_small/aarch64_regfp.sail +++ b/aarch64_small/aarch64_regfp.sail @@ -183,7 +183,7 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst (GenerateExceptionEL1(imm)) => not_implemented("GenerateExceptionEL1"), (GenerateExceptionEL2(imm)) => not_implemented("GenerateExceptionEL2"), (GenerateExceptionEL3(imm)) => not_implemented("GenerateExceptionEL3"), - (DebugBreakpoint(comment)) => not_implemented("DebugBreakpoint"), + (DebugBreakpoint(comment)) => not_implemented("DebugBreakpoint"), (ExternalDebugBreakpoint()) => not_implemented("ExternalDebugBreakpoint"), (DebugSwitchToExceptionLevel(target_level)) => not_implemented("DebugSwitchToExceptionLevel"), (MoveSystemImmediate(operand,field)) => @@ -223,23 +223,23 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst }, (ClearExclusiveMonitor(imm)) => (), /*ClearExclusiveLocal*/ (Barrier(op,domain,types)) => { - let (dom, typ) = + let (dom, typ) : (a64_barrier_domain, a64_barrier_type) = (match domain { - MBReqDomain_Nonshareable => A64_NonShare - MBReqDomain_InnerShareable => A64_InnerShare - MBReqDomain_OuterShareable => A64_OuterShare + MBReqDomain_Nonshareable => A64_NonShare, + MBReqDomain_InnerShareable => A64_InnerShare, + MBReqDomain_OuterShareable => A64_OuterShare, MBReqDomain_FullSystem => A64_FullShare }, match types { - MBReqTypes_Reads => A64_barrier_LD - MBReqTypes_Writes => A64_barrier_ST + MBReqTypes_Reads => A64_barrier_LD, + MBReqTypes_Writes => A64_barrier_ST, MBReqTypes_All => A64_barrier_all }) in { ik = match op { - MemBarrierOp_DSB => IK_barrier(Barrier_DSB (dom, typ)) - MemBarrierOp_DMB => IK_barrier(Barrier_DMB (dom, typ)) - MemBarrierOp_ISB => IK_barrier(Barrier_ISB) + MemBarrierOp_DSB => IK_barrier(Barrier_DSB(dom, typ)), + MemBarrierOp_DMB => IK_barrier(Barrier_DMB(dom, typ)), + MemBarrierOp_ISB => IK_barrier(Barrier_ISB()) }; } }, |