1 ; RUN: llc < %s -march=arm -mattr=+v6 | FileCheck %s 2 3 define i32 @test1(i32 %X) nounwind { 4 ; CHECK: test1 5 ; CHECK: rev16 r0, r0 6 %tmp1 = lshr i32 %X, 8 7 %X15 = bitcast i32 %X to i32 8 %tmp4 = shl i32 %X15, 8 9 %tmp2 = and i32 %tmp1, 16711680 10 %tmp5 = and i32 %tmp4, -16777216 11 %tmp9 = and i32 %tmp1, 255 12 %tmp13 = and i32 %tmp4, 65280 13 %tmp6 = or i32 %tmp5, %tmp2 14 %tmp10 = or i32 %tmp6, %tmp13 15 %tmp14 = or i32 %tmp10, %tmp9 16 ret i32 %tmp14 17 } 18 19 define i32 @test2(i32 %X) nounwind { 20 ; CHECK: test2 21 ; CHECK: revsh r0, r0 22 %tmp1 = lshr i32 %X, 8 23 %tmp1.upgrd.1 = trunc i32 %tmp1 to i16 24 %tmp3 = trunc i32 %X to i16 25 %tmp2 = and i16 %tmp1.upgrd.1, 255 26 %tmp4 = shl i16 %tmp3, 8 27 %tmp5 = or i16 %tmp2, %tmp4 28 %tmp5.upgrd.2 = sext i16 %tmp5 to i32 29 ret i32 %tmp5.upgrd.2 30 } 31 32 ; rdar://9147637 33 define i32 @test3(i16 zeroext %a) nounwind { 34 entry: 35 ; CHECK-LABEL: test3: 36 ; CHECK: revsh r0, r0 37 %0 = tail call i16 @llvm.bswap.i16(i16 %a) 38 %1 = sext i16 %0 to i32 39 ret i32 %1 40 } 41 42 declare i16 @llvm.bswap.i16(i16) nounwind readnone 43 44 define i32 @test4(i16 zeroext %a) nounwind { 45 entry: 46 ; CHECK-LABEL: test4: 47 ; CHECK: revsh r0, r0 48 %conv = zext i16 %a to i32 49 %shr9 = lshr i16 %a, 8 50 %conv2 = zext i16 %shr9 to i32 51 %shl = shl nuw nsw i32 %conv, 8 52 %or = or i32 %conv2, %shl 53 %sext = shl i32 %or, 16 54 %conv8 = ashr exact i32 %sext, 16 55 ret i32 %conv8 56 } 57 58 ; rdar://9609059 59 define i32 @test5(i32 %i) nounwind readnone { 60 entry: 61 ; CHECK: test5 62 ; CHECK: revsh r0, r0 63 %shl = shl i32 %i, 24 64 %shr = ashr exact i32 %shl, 16 65 %shr23 = lshr i32 %i, 8 66 %and = and i32 %shr23, 255 67 %or = or i32 %shr, %and 68 ret i32 %or 69 } 70 71 ; rdar://9609108 72 define i32 @test6(i32 %x) nounwind readnone { 73 entry: 74 ; CHECK: test6 75 ; CHECK: rev16 r0, r0 76 %and = shl i32 %x, 8 77 %shl = and i32 %and, 65280 78 %and2 = lshr i32 %x, 8 79 %shr11 = and i32 %and2, 255 80 %shr5 = and i32 %and2, 16711680 81 %shl9 = and i32 %and, -16777216 82 %or = or i32 %shr5, %shl9 83 %or6 = or i32 %or, %shr11 84 %or10 = or i32 %or6, %shl 85 ret i32 %or10 86 } 87 88 ; rdar://9164521 89 define i32 @test7(i32 %a) nounwind readnone { 90 entry: 91 ; CHECK: test7 92 ; CHECK: rev r0, r0 93 ; CHECK: lsr r0, r0, #16 94 %and = lshr i32 %a, 8 95 %shr3 = and i32 %and, 255 96 %and2 = shl i32 %a, 8 97 %shl = and i32 %and2, 65280 98 %or = or i32 %shr3, %shl 99 ret i32 %or 100 } 101 102 define i32 @test8(i32 %a) nounwind readnone { 103 entry: 104 ; CHECK: test8 105 ; CHECK: revsh r0, r0 106 %and = lshr i32 %a, 8 107 %shr4 = and i32 %and, 255 108 %and2 = shl i32 %a, 8 109 %or = or i32 %shr4, %and2 110 %sext = shl i32 %or, 16 111 %conv3 = ashr exact i32 %sext, 16 112 ret i32 %conv3 113 } 114 115 ; rdar://10750814 116 define zeroext i16 @test9(i16 zeroext %v) nounwind readnone { 117 entry: 118 ; CHECK: test9 119 ; CHECK: rev16 r0, r0 120 %conv = zext i16 %v to i32 121 %shr4 = lshr i32 %conv, 8 122 %shl = shl nuw nsw i32 %conv, 8 123 %or = or i32 %shr4, %shl 124 %conv3 = trunc i32 %or to i16 125 ret i16 %conv3 126 } 127
