Lines Matching refs:HSR
38 val _ = Record ("HSR",[("EC",FTy 6),("IL",bTy),("ISS",FTy 25)])
60 [("HCR",CTy"HCR"),("HSCTLR",CTy"HSCTLR"),("HSR",CTy"HSR"),
706 ("rec'HSR",Var("x",F32),
707 Rec(CTy"HSR",
712 ("reg'HSR",Var("x",CTy"HSR"),
713 CS(Var("x",CTy"HSR"),
714 [(Rec(CTy"HSR",[Var("EC",FTy 6),bVar"IL",Var("ISS",FTy 25)]),
752 ("write'rec'HSR",TP[AVar F32,Var("x",CTy"HSR")],
753 Call("reg'HSR",F32,Var("x",CTy"HSR")))
756 ("write'reg'HSR",TP[AVar(CTy"HSR"),Var("x",F32)],
757 Call("rec'HSR",CTy"HSR",Var("x",F32)))
10127 LX(CTy"HSR")],
10132 CTy"HSR")),
10134 ("HSR",
10137 CTy"HSR"))),
11379 LX(CTy"HSR")],
11384 CTy"HSR")),
11386 ("HSR",
11389 CTy"HSR"))),
12923 ("HSR",CTy"HSR",
12927 (Var("x0",CTy"HSR"),
12948 CTy"HSR"),
12955 PTy(CTy"HSR",
12958 ("write'reg'HSR",
12959 CTy"HSR",
12961 PTy(CTy"HSR",
12967 CTy"HSR"),
12971 CTy"HSR")],
12977 CTy"HSR")),
12979 ("HSR",
12982 CTy"HSR"))),