blob: 1ca027e979e423e51805f6bef095e4d2a6ad954d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; 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
|
