diff --git a/test/combinations.c b/test/combinations.c
new file mode 100644
index 00000000000..cffdff1d4c6
--- /dev/null
+++ b/test/combinations.c
@@ -0,0 +1,11 @@
+
+
+void combinations(unsigned int n, unsigned *A) {
+  unsigned int i, t = 1;
+  A[0] = A[n] = 1;
+
+  for (i = 1; i <= n/2; i++) {
+    t = (t * (n+1-i)) / i;
+    A[i] = A[n-i] = t;
+  }
+}
diff --git a/test/combinations.ll b/test/combinations.ll
new file mode 100644
index 00000000000..8dfd67bb516
--- /dev/null
+++ b/test/combinations.ll
@@ -0,0 +1,39 @@
+implementation
+
+;; Emitting: void combinations(unsigned int, unsigned int*)
+void "combinations"(uint %n, uint* %A)
+begin
+bb1:		;;<label>
+	%reg111 = shl uint %n, ubyte 2		;;<uint>
+	%cast112 = cast uint %reg111 to uint*		;;<uint*>
+	%reg113 = add uint* %A, %cast112		;;<uint*>
+	store uint 1, uint* %reg113		;;<void>
+	store uint 1, uint* %A		;;<void>
+	%reg128 = shr uint %n, ubyte 1		;;<uint>:(unsigned operands)
+	%cond105 = setgt uint 1, %reg128		;;<bool>:(unsigned operands)
+	br bool %cond105, label %bb3, label %bb2		;;<void>
+
+bb2:		;;<label>
+	%reg129 = phi uint [ %reg131, %bb2 ], [ 1, %bb1 ]		;;<uint>
+	%reg130 = phi uint [ %reg132, %bb2 ], [ 1, %bb1 ]		;;<uint>
+	%reg117 = sub uint %n, %reg130		;;<uint>
+	%reg118 = add uint %reg117, 1		;;<uint>
+	%reg119 = mul uint %reg129, %reg118		;;<uint>
+	%reg131 = div uint %reg119, %reg130		;;<uint>:(unsigned operands)
+	%reg120 = shl uint %reg130, ubyte 2		;;<uint>
+	%cast121 = cast uint %reg120 to uint*		;;<uint*>
+	%reg122 = add uint* %A, %cast121		;;<uint*>
+	%reg124 = shl uint %reg117, ubyte 2		;;<uint>
+	%cast125 = cast uint %reg124 to uint*		;;<uint*>
+	%reg126 = add uint* %A, %cast125		;;<uint*>
+	store uint %reg131, uint* %reg126		;;<void>
+	store uint %reg131, uint* %reg122		;;<void>
+	%reg132 = add uint %reg130, 1		;;<uint>
+	%cond47 = setle uint %reg132, %reg128		;;<bool>:(unsigned operands)
+	br bool %cond47, label %bb2, label %bb3		;;<void>
+
+bb3:		;;<label>
+	ret void 		;;<void>
+end
+
+declare void "_Z12combinationsjPj"	(uint, uint*)	;; Prototype for: void combinations(unsigned int, unsigned int*)