--- /dev/null
+; this testcase is distilled from this C source:
+; int *foo(unsigned N, unsigned M) {
+; unsigned i = (N+1)*sizeof(int);
+; unsigned j = (M+1)*sizeof(int);
+; return (int*)malloc(i+j);
+; }
+
+; RUN: if as < %s | opt -raise | dis | grep ' cast ' | grep '*'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+implementation
+
+declare sbyte* "malloc"(uint)
+
+int* "test"(uint %N, uint %M)
+begin
+bb0: ;[#uses=0]
+ %reg111 = shl uint %N, ubyte 2 ; <uint> [#uses=1]
+ %reg109 = add uint %reg111, 4 ; <uint> [#uses=1]
+ %reg114 = shl uint %M, ubyte 2 ; <uint> [#uses=1]
+ %reg112 = add uint %reg114, 4 ; <uint> [#uses=1]
+ %reg116 = add uint %reg109, %reg112 ; <uint> [#uses=1]
+ %reg117 = malloc sbyte, uint %reg116 ; <sbyte*> [#uses=1]
+ %cast221 = cast sbyte* %reg117 to int* ; <int*> [#uses=1]
+ ret int* %cast221
+end