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 29 30 31 32
  
     | 
    
      ; RUN: llc -mtriple=arm-eabi -mattr=+v6 %s -o - | FileCheck %s
define zeroext i8 @test1(i32 %A.u) {
    %B.u = trunc i32 %A.u to i8
    ret i8 %B.u
}
define zeroext i32 @test2(i32 %A.u, i32 %B.u) {
    %C.u = trunc i32 %B.u to i8
    %D.u = zext i8 %C.u to i32
    %E.u = add i32 %A.u, %D.u
    ret i32 %E.u
}
define zeroext i32 @test3(i32 %A.u) {
    %B.u = lshr i32 %A.u, 8
    %C.u = shl i32 %A.u, 24
    %D.u = or i32 %B.u, %C.u
    %E.u = trunc i32 %D.u to i16
    %F.u = zext i16 %E.u to i32
    ret i32 %F.u
}
; CHECK: uxtb
; CHECK-NOT: uxtb
; CHECK: uxtab
; CHECK-NOT: uxtab
; CHECK: uxth
; CHECK-NOT: uxth
 
     |