|  | ; RUN: llc < %s -march=arm -mattr=+v6 | FileCheck %s | 
|  |  | 
|  | define i32 @test0(i8 %A) { | 
|  | ; CHECK: test0 | 
|  | ; CHECK: sxtb r0, r0 | 
|  | %B = sext i8 %A to i32 | 
|  | ret i32 %B | 
|  | } | 
|  |  | 
|  | define signext i8 @test1(i32 %A) { | 
|  | ; CHECK: test1 | 
|  | ; CHECK: sxtb r0, r0, ror #8 | 
|  | %B = lshr i32 %A, 8 | 
|  | %C = shl i32 %A, 24 | 
|  | %D = or i32 %B, %C | 
|  | %E = trunc i32 %D to i8 | 
|  | ret i8 %E | 
|  | } | 
|  |  | 
|  | define signext i32 @test2(i32 %A, i32 %X) { | 
|  | ; CHECK: test2 | 
|  | ; CHECK: sxtab r0, r1, r0 | 
|  | %B = lshr i32 %A, 8 | 
|  | %C = shl i32 %A, 24 | 
|  | %D = or i32 %B, %C | 
|  | %E = trunc i32 %D to i8 | 
|  | %F = sext i8 %E to i32 | 
|  | %G = add i32 %F, %X | 
|  | ret i32 %G | 
|  | } |