121 lines · plain
1; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s2 3; CHECK: test14; CHECK: pkhbt r0, r0, r1, lsl #165define i32 @test1(i32 %X, i32 %Y) {6 %tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]7 %tmp4 = shl i32 %Y, 16 ; <i32> [#uses=1]8 %tmp5 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]9 ret i32 %tmp510}11 12; CHECK: test1a13; CHECK: pkhbt r0, r0, r1, lsl #1614define i32 @test1a(i32 %X, i32 %Y) {15 %tmp19 = and i32 %X, 65535 ; <i32> [#uses=1]16 %tmp37 = shl i32 %Y, 16 ; <i32> [#uses=1]17 %tmp5 = or i32 %tmp37, %tmp19 ; <i32> [#uses=1]18 ret i32 %tmp519}20 21; CHECK: test222; CHECK: pkhbt r0, r0, r1, lsl #1223define i32 @test2(i32 %X, i32 %Y) {24 %tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]25 %tmp3 = shl i32 %Y, 12 ; <i32> [#uses=1]26 %tmp4 = and i32 %tmp3, -65536 ; <i32> [#uses=1]27 %tmp57 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]28 ret i32 %tmp5729}30 31; CHECK: test332; CHECK: pkhbt r0, r0, r1, lsl #1833define i32 @test3(i32 %X, i32 %Y) {34 %tmp19 = and i32 %X, 65535 ; <i32> [#uses=1]35 %tmp37 = shl i32 %Y, 18 ; <i32> [#uses=1]36 %tmp5 = or i32 %tmp37, %tmp19 ; <i32> [#uses=1]37 ret i32 %tmp538}39 40; CHECK: test441; CHECK: pkhbt r0, r0, r142define i32 @test4(i32 %X, i32 %Y) {43 %tmp1 = and i32 %X, 65535 ; <i32> [#uses=1]44 %tmp3 = and i32 %Y, -65536 ; <i32> [#uses=1]45 %tmp46 = or i32 %tmp3, %tmp1 ; <i32> [#uses=1]46 ret i32 %tmp4647}48 49; CHECK: test550; CHECK: pkhtb r0, r0, r1, asr #1651define i32 @test5(i32 %X, i32 %Y) {52 %tmp17 = and i32 %X, -65536 ; <i32> [#uses=1]53 %tmp2 = bitcast i32 %Y to i32 ; <i32> [#uses=1]54 %tmp4 = lshr i32 %tmp2, 16 ; <i32> [#uses=2]55 %tmp5 = or i32 %tmp4, %tmp17 ; <i32> [#uses=1]56 ret i32 %tmp557}58 59; CHECK: test5a60; CHECK: pkhtb r0, r0, r1, asr #1661define i32 @test5a(i32 %X, i32 %Y) {62 %tmp110 = and i32 %X, -65536 ; <i32> [#uses=1]63 %tmp37 = lshr i32 %Y, 16 ; <i32> [#uses=1]64 %tmp39 = bitcast i32 %tmp37 to i32 ; <i32> [#uses=1]65 %tmp5 = or i32 %tmp39, %tmp110 ; <i32> [#uses=1]66 ret i32 %tmp567}68 69; CHECK: test670; CHECK: pkhtb r0, r0, r1, asr #1271define i32 @test6(i32 %X, i32 %Y) {72 %tmp1 = and i32 %X, -65536 ; <i32> [#uses=1]73 %tmp37 = lshr i32 %Y, 12 ; <i32> [#uses=1]74 %tmp38 = bitcast i32 %tmp37 to i32 ; <i32> [#uses=1]75 %tmp4 = and i32 %tmp38, 65535 ; <i32> [#uses=1]76 %tmp59 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]77 ret i32 %tmp5978}79 80; CHECK: test781; CHECK: pkhtb r0, r0, r1, asr #1882define i32 @test7(i32 %X, i32 %Y) {83 %tmp1 = and i32 %X, -65536 ; <i32> [#uses=1]84 %tmp3 = ashr i32 %Y, 18 ; <i32> [#uses=1]85 %tmp4 = and i32 %tmp3, 65535 ; <i32> [#uses=1]86 %tmp57 = or i32 %tmp4, %tmp1 ; <i32> [#uses=1]87 ret i32 %tmp5788}89 90; CHECK: test891; CHECK-NOT: pkhtb r0, r0, r1, asr #2292; pkhtb does an arithmetic shift, not a logical shift. Make sure we don't93; use it for problematic cases when whether sign bits would be shifted in94; would matter.95define i32 @test8(i32 %X, i32 %Y) {96 %tmp1 = and i32 %X, -6553697 %tmp3 = lshr i32 %Y, 2298 %tmp57 = or i32 %tmp3, %tmp199 ret i32 %tmp57100}101 102; CHECK-LABEL: test9:103; CHECK: pkhtb r0, r0, r1, asr #16104define i32 @test9(i32 %src1, i32 %src2) {105entry:106 %tmp = and i32 %src1, -65536107 %tmp2 = lshr i32 %src2, 16108 %tmp3 = or i32 %tmp, %tmp2109 ret i32 %tmp3110}111 112; CHECK: test10113; CHECK: pkhtb r0, r0, r1, asr #22114define i32 @test10(i32 %X, i32 %Y) {115 %tmp1 = and i32 %X, -65536116 %tmp3 = ashr i32 %Y, 22117 %tmp57 = or i32 %tmp3, %tmp1118 ret i32 %tmp57119}120 121