1; RUN: llc < %s -march=arm | FileCheck %s
2
3define i16 @test1(i32* %X, i16* %A) {
4; CHECK: test1:
5; CHECK: strh {{.*}}[{{.*}}], #-4
6        %Y = load i32* %X               ; <i32> [#uses=1]
7        %tmp1 = trunc i32 %Y to i16             ; <i16> [#uses=1]
8        store i16 %tmp1, i16* %A
9        %tmp2 = ptrtoint i16* %A to i16         ; <i16> [#uses=1]
10        %tmp3 = sub i16 %tmp2, 4                ; <i16> [#uses=1]
11        ret i16 %tmp3
12}
13
14define i32 @test2(i32* %X, i32* %A) {
15; CHECK: test2:
16; CHECK: str {{.*}}[{{.*}}],
17        %Y = load i32* %X               ; <i32> [#uses=1]
18        store i32 %Y, i32* %A
19        %tmp1 = ptrtoint i32* %A to i32         ; <i32> [#uses=1]
20        %tmp2 = sub i32 %tmp1, 4                ; <i32> [#uses=1]
21        ret i32 %tmp2
22}
23