Lines Matching defs:rec
435 val rec'PSR_def = Def
436 ("rec'PSR",Var("x",F32),
463 val write'rec'PSR_def = Def
464 ("write'rec'PSR",TP[AVar F32,Var("x",CTy"PSR")],
469 Call("rec'PSR",CTy"PSR",Var("x",F32)))
471 val rec'SCTLR_def = Def
472 ("rec'SCTLR",Var("x",F32),
516 val write'rec'SCTLR_def = Def
517 ("write'rec'SCTLR",TP[AVar F32,Var("x",CTy"SCTLR")],
522 Call("rec'SCTLR",CTy"SCTLR",Var("x",F32)))
524 val rec'HSCTLR_def = Def
525 ("rec'HSCTLR",Var("x",F32),
560 val write'rec'HSCTLR_def = Def
561 ("write'rec'HSCTLR",TP[AVar F32,Var("x",CTy"HSCTLR")],
566 Call("rec'HSCTLR",CTy"HSCTLR",Var("x",F32)))
568 val rec'HSR_def = Def
569 ("rec'HSR",Var("x",F32),
580 val write'rec'HSR_def = Def
581 ("write'rec'HSR",TP[AVar F32,Var("x",CTy"HSR")],
586 Call("rec'HSR",CTy"HSR",Var("x",F32)))
588 val rec'SCR_def = Def
589 ("rec'SCR",Var("x",F32),
611 val write'rec'SCR_def = Def
612 ("write'rec'SCR",TP[AVar F32,Var("x",CTy"SCR")],
617 Call("rec'SCR",CTy"SCR",Var("x",F32)))
619 val rec'NSACR_def = Def
620 ("rec'NSACR",Var("x",F32),
640 val write'rec'NSACR_def = Def
641 ("write'rec'NSACR",TP[AVar F32,Var("x",CTy"NSACR")],
646 Call("rec'NSACR",CTy"NSACR",Var("x",F32)))
648 val rec'HCR_def = Def
649 ("rec'HCR",Var("x",F32),
687 val write'rec'HCR_def = Def
688 ("write'rec'HCR",TP[AVar F32,Var("x",CTy"HCR")],
693 Call("rec'HCR",CTy"HCR",Var("x",F32)))
5911 val rec'FPSCR_def = Def
5912 ("rec'FPSCR",Var("x",F32),
5952 val write'rec'FPSCR_def = Def
5953 ("write'rec'FPSCR",TP[AVar F32,Var("x",CTy"FPSCR")],
5958 Call("rec'FPSCR",CTy"FPSCR",Var("x",F32)))