From c992adb232b2de0879b74a8dc01d266053a9fa9b Mon Sep 17 00:00:00 2001
From: Mark Shinwell <mshinwell@janestreet.com>
Date: Mon, 20 Jun 2016 11:19:17 +0100
Subject: [PATCH] Add X86_dsl.r13

---
 asmcomp/x86_dsl.ml  | 1 +
 asmcomp/x86_dsl.mli | 1 +
 2 files changed, 2 insertions(+)

diff --git a/asmcomp/x86_dsl.ml b/asmcomp/x86_dsl.ml
index 6351c6a7a..e647f66c6 100644
--- a/asmcomp/x86_dsl.ml
+++ b/asmcomp/x86_dsl.ml
@@ -50,6 +50,7 @@ let ax  = Reg16 RAX
 let rax = Reg64 RAX
 let r10 = Reg64 R10
 let r11 = Reg64 R11
+let r13 = Reg64 R13
 let r14 = Reg64 R14
 let r15 = Reg64 R15
 let rsp = Reg64 RSP
diff --git a/asmcomp/x86_dsl.mli b/asmcomp/x86_dsl.mli
index d73770b27..080331fce 100644
--- a/asmcomp/x86_dsl.mli
+++ b/asmcomp/x86_dsl.mli
@@ -39,6 +39,7 @@ val ax: arg
 val rax: arg
 val r10: arg
 val r11: arg
+val r13: arg
 val r14: arg
 val r15: arg
 val rsp: arg