|  | ; RUN: llc < %s -march=arm | FileCheck %s | 
|  |  | 
|  | define i16 @test1(i32* %X, i16* %A) { | 
|  | ; CHECK: test1: | 
|  | ; CHECK: strh {{.*}}[{{.*}}], #-4 | 
|  | %Y = load i32* %X               ; <i32> [#uses=1] | 
|  | %tmp1 = trunc i32 %Y to i16             ; <i16> [#uses=1] | 
|  | store i16 %tmp1, i16* %A | 
|  | %tmp2 = ptrtoint i16* %A to i16         ; <i16> [#uses=1] | 
|  | %tmp3 = sub i16 %tmp2, 4                ; <i16> [#uses=1] | 
|  | ret i16 %tmp3 | 
|  | } | 
|  |  | 
|  | define i32 @test2(i32* %X, i32* %A) { | 
|  | ; CHECK: test2: | 
|  | ; CHECK: str {{.*}}[{{.*}}], | 
|  | %Y = load i32* %X               ; <i32> [#uses=1] | 
|  | store i32 %Y, i32* %A | 
|  | %tmp1 = ptrtoint i32* %A to i32         ; <i32> [#uses=1] | 
|  | %tmp2 = sub i32 %tmp1, 4                ; <i32> [#uses=1] | 
|  | ret i32 %tmp2 | 
|  | } |