check

defs.tex

@@ -1,5 +1,56 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\newcommand{\LangInt}{\ensuremath{R_{\ttm{Int}}}} % R0
+\newcommand{\LangVar}{\ensuremath{R_{\ttm{Var}}}} % R1
+\newcommand{\LangCVar}{\ensuremath{C_{\ttm{Var}}}} % C0
+\newcommand{\LangVarANF}{\ensuremath{R^{\mathsf{ANF}}_{\ttm{Var}}}}
+\newcommand{\LangIf}{\ensuremath{R_{\ttm{If}}}} %R2
+\newcommand{\LangCIf}{\ensuremath{C_{\ttm{If}}}} %C1
+\newcommand{\LangIfANF}{\ensuremath{R^{\mathsf{ANF}}_{\ttm{if}}}} %R2
+\newcommand{\LangVec}{\ensuremath{R_{\ttm{Vec}}}} %R3
+\newcommand{\LangCVec}{\ensuremath{C_{\ttm{Vec}}}} %C2
+\newcommand{\LangVecANF}{\ensuremath{R^{\mathsf{ANF}}_{\ttm{Vec}}}} %R3
+\newcommand{\LangAlloc}{\ensuremath{R_{\ttm{Alloc}}}} %R3'
+\newcommand{\LangFun}{\ensuremath{R_{\ttm{Fun}}}} %R4
+\newcommand{\LangCFun}{\ensuremath{C_{\ttm{Fun}}}} %C3
+\newcommand{\LangFunANF}{\ensuremath{R^{\mathsf{ANF}}_{\ttm{Fun}}}} %R4
+\newcommand{\LangFunRef}{\ensuremath{R_{\ttm{FunRef}}}} %F1
+\newcommand{\LangFunRefAlloc}{\ensuremath{R^{\ttm{Alloc}}_{\ttm{FunRef}}}} %R'4
+\newcommand{\LangLam}{\ensuremath{R_\lambda}} %R5
+\newcommand{\LangCLam}{\ensuremath{C_{\ttm{Clos}}}} %C4
+\newcommand{\LangAny}{\ensuremath{R_{\ttm{Any}}}} %R6
+\newcommand{\LangAnyFunRef}{\ensuremath{R^{\ttm{FunRef}}_{\ttm{Any}}}} %R'6
+\newcommand{\LangAnyAlloc}{\ensuremath{R^{\ttm{Alloc}}_{\ttm{Any}}}} %R'6
+\newcommand{\LangCAny}{\ensuremath{C_{\ttm{Any}}}} %C5
+\newcommand{\LangDyn}{\ensuremath{R_{\ttm{Dyn}}}} %R7
+\newcommand{\LangDynFunRef}{\ensuremath{R^{\ttm{FunRef}}_{\ttm{Dyn}}}} %R'7
+\newcommand{\LangLoop}{\ensuremath{R_{\ttm{While}}}} %R8
+\newcommand{\LangLoopFunRef}{\ensuremath{R^{\ttm{FunRef}}_{\ttm{While}}}} %R'8
+\newcommand{\LangLoopAlloc}{\ensuremath{R^{\ttm{Alloc}}_{\ttm{While}}}} %R'8
+\newcommand{\LangCLoop}{\ensuremath{C_{\circlearrowleft}}} %C7
+\newcommand{\LangLoopANF}{\ensuremath{R^{\mathsf{ANF}}_{\ttm{While}}}} %R8
+\newcommand{\LangGrad}{\ensuremath{R_{\ttm{?}}}} %R9
+\newcommand{\LangCast}{\ensuremath{R_{\ttm{cast}}}} %R9'
+\newcommand{\LangProxy}{\ensuremath{R_{\ttm{proxy}}}} %R8''
+\newcommand{\LangPVec}{\ensuremath{R_{\ttm{PVec}}}} %R8''
+\newcommand{\LangPVecFunRef}{\ensuremath{R^{\ttm{FunRef}}_{\ttm{PVec}}}} %R8''
+\newcommand{\LangPVecAlloc}{\ensuremath{R^{\ttm{Alloc}}_{\ttm{PVec}}}} %R8''
+\newcommand{\LangPoly}{\ensuremath{R_{\ttm{Poly}}}} %R10
+\newcommand{\LangInst}{\ensuremath{R_{\ttm{Inst}}}} %R'10
+\newcommand{\LangCLoopPVec}{\ensuremath{C^{\ttm{PVec}}_{\circlearrowleft}}} %Cp7
+
+\newcommand{\LangXVar}{\ensuremath{\mathrm{x86}_{\ttm{Var}}}} % pseudo x86_0
+\newcommand{\LangXASTInt}{\ensuremath{\mathrm{x86}_{\ttm{Int}}}} % x86_0
+\newcommand{\LangXInt}{\ensuremath{\mathrm{x86}_{\ttm{Int}}}} %x86^{\dagger}_0
+\newcommand{\LangXASTIf}{\ensuremath{\mathrm{x86}_{\ttm{If}}}} %x86_1
+\newcommand{\LangXIf}{\ensuremath{\mathrm{x86}_{\ttm{If}}}} %x86^{\dagger}_1
+\newcommand{\LangXIfVar}{\ensuremath{\mathrm{x86}^{\ttm{Var}}_{\ttm{If}}}} %x86^{*}_1
+\newcommand{\LangXASTGlobal}{\ensuremath{\mathrm{x86}_{\ttm{Global}}}} %x86_2
+\newcommand{\LangXGlobal}{\ensuremath{\mathrm{x86}_{\ttm{Global}}}} %x86^{\dagger}_2
+\newcommand{\LangXGlobalVar}{\ensuremath{\mathrm{x86}^{\ttm{Var}}_{\ttm{Global}}}} %x86^{*}_2
+\newcommand{\LangXIndCall}{\ensuremath{\mathrm{x86}_{\ttm{callq*}}}} %x86_3
+\newcommand{\LangXIndCallVar}{\ensuremath{\mathrm{x86}^{\ttm{Var}}_{\ttm{callq*}}}} %x86^*_3
+
 \newcommand{\itm}[1]{\ensuremath{\mathit{#1}}}
 \newcommand{\ttm}[1]{\ensuremath{\mathtt{#1}}}
 \newcommand{\Stmt}{\itm{stmt}}