From fe127ab3eba52314c15591cb7fbd2ad01e117ce3 Mon Sep 17 00:00:00 2001
From: Jakob Stoklund Olesen <jolesen@mozilla.com>
Date: Wed, 5 Jul 2017 12:19:55 -0700
Subject: [PATCH] Test two consecutive fixed operands.

We need to move the previous value out of the way first.
---
 filetests/regalloc/constraints.cton | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/filetests/regalloc/constraints.cton b/filetests/regalloc/constraints.cton
index c6108b0673..28758a3bdd 100644
--- a/filetests/regalloc/constraints.cton
+++ b/filetests/regalloc/constraints.cton
@@ -2,6 +2,7 @@ test regalloc
 isa intel
 
 ; regex: V=v\d+
+; regex: REG=%r([abcd]x|[sd]i)
 
 ; Tied operands, both are killed at instruction.
 function %tied_easy() -> i32 {
@@ -26,3 +27,20 @@ ebb0:
     v2 = ishl v1, v0
     return v2
 }
+
+; Fixed register constraint twice.
+function %fixed_op_twice() -> i32 {
+ebb0:
+    ; check: ,%rax]
+    ; sameln: $v0 = iconst.i32 12
+    v0 = iconst.i32 12
+    v1 = iconst.i32 13
+    ; The dynamic shift amount must be in %rcx
+    ; check: regmove $v0, %rax -> %rcx
+    v2 = ishl v1, v0
+    ; check: regmove $v0, %rcx -> $REG
+    ; check: regmove $v2, $REG -> %rcx
+    v3 = ishl v0, v2
+
+    return v3
+}