blob: 90151767b91952bc8159bb85332007cb14f88344 [file] [log] [blame]
Bob Wilsone269ead2010-08-16 17:05:27 +00001; RUN: llc < %s -march=arm -mattr=+v6 | FileCheck %s
Reid Spencer1c0c94d2007-04-15 19:11:47 +00002
Bob Wilsone269ead2010-08-16 17:05:27 +00003; CHECK: test1
4; CHECK: pkhbt r0, r0, r1, lsl #16
Tanya Lattner6263f942008-02-17 20:02:20 +00005define i32 @test1(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +00006 %tmp1 = and i32 %X, 65535
7 %tmp4 = shl i32 %Y, 16
8 %tmp5 = or i32 %tmp4, %tmp1
Tanya Lattner6263f942008-02-17 20:02:20 +00009 ret i32 %tmp5
Evan Cheng02b985c2007-01-19 09:20:23 +000010}
11
Bob Wilsone269ead2010-08-16 17:05:27 +000012; CHECK: test2
13; CHECK: pkhbt r0, r0, r1, lsl #12
Tanya Lattner6263f942008-02-17 20:02:20 +000014define i32 @test2(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000015 %tmp1 = and i32 %X, 65535
16 %tmp3 = shl i32 %Y, 12
17 %tmp4 = and i32 %tmp3, -65536
18 %tmp57 = or i32 %tmp4, %tmp1
Tanya Lattner6263f942008-02-17 20:02:20 +000019 ret i32 %tmp57
Evan Cheng02b985c2007-01-19 09:20:23 +000020}
21
Bob Wilsone269ead2010-08-16 17:05:27 +000022; CHECK: test3
23; CHECK: pkhbt r0, r0, r1, lsl #18
Tanya Lattner6263f942008-02-17 20:02:20 +000024define i32 @test3(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000025 %tmp19 = and i32 %X, 65535
26 %tmp37 = shl i32 %Y, 18
27 %tmp5 = or i32 %tmp37, %tmp19
Tanya Lattner6263f942008-02-17 20:02:20 +000028 ret i32 %tmp5
Evan Cheng02b985c2007-01-19 09:20:23 +000029}
30
Bob Wilsone269ead2010-08-16 17:05:27 +000031; CHECK: test4
Bob Wilsonf955f292010-08-17 17:23:19 +000032; CHECK: pkhbt r0, r0, r1
Tanya Lattner6263f942008-02-17 20:02:20 +000033define i32 @test4(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000034 %tmp1 = and i32 %X, 65535
35 %tmp3 = and i32 %Y, -65536
36 %tmp46 = or i32 %tmp3, %tmp1
Tanya Lattner6263f942008-02-17 20:02:20 +000037 ret i32 %tmp46
Evan Cheng02b985c2007-01-19 09:20:23 +000038}
39
Bob Wilsone269ead2010-08-16 17:05:27 +000040; CHECK: test5
41; CHECK: pkhtb r0, r0, r1, asr #16
Tanya Lattner6263f942008-02-17 20:02:20 +000042define i32 @test5(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000043 %tmp17 = and i32 %X, -65536
44 %tmp2 = bitcast i32 %Y to i32
45 %tmp4 = lshr i32 %tmp2, 16
46 %tmp5 = or i32 %tmp4, %tmp17
Tanya Lattner6263f942008-02-17 20:02:20 +000047 ret i32 %tmp5
Evan Cheng02b985c2007-01-19 09:20:23 +000048}
49
Bob Wilsone269ead2010-08-16 17:05:27 +000050; CHECK: test5a
51; CHECK: pkhtb r0, r0, r1, asr #16
Tanya Lattner6263f942008-02-17 20:02:20 +000052define i32 @test5a(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000053 %tmp110 = and i32 %X, -65536
54 %tmp37 = lshr i32 %Y, 16
55 %tmp39 = bitcast i32 %tmp37 to i32
56 %tmp5 = or i32 %tmp39, %tmp110
Tanya Lattner6263f942008-02-17 20:02:20 +000057 ret i32 %tmp5
Evan Cheng02b985c2007-01-19 09:20:23 +000058}
59
Bob Wilsone269ead2010-08-16 17:05:27 +000060; CHECK: test6
61; CHECK: pkhtb r0, r0, r1, asr #12
Tanya Lattner6263f942008-02-17 20:02:20 +000062define i32 @test6(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000063 %tmp1 = and i32 %X, -65536
64 %tmp37 = lshr i32 %Y, 12
65 %tmp38 = bitcast i32 %tmp37 to i32
66 %tmp4 = and i32 %tmp38, 65535
67 %tmp59 = or i32 %tmp4, %tmp1
Tanya Lattner6263f942008-02-17 20:02:20 +000068 ret i32 %tmp59
Evan Cheng02b985c2007-01-19 09:20:23 +000069}
70
Bob Wilsone269ead2010-08-16 17:05:27 +000071; CHECK: test7
72; CHECK: pkhtb r0, r0, r1, asr #18
Tanya Lattner6263f942008-02-17 20:02:20 +000073define i32 @test7(i32 %X, i32 %Y) {
Jim Grosbachd0ad5d52010-10-22 22:01:56 +000074 %tmp1 = and i32 %X, -65536
75 %tmp3 = ashr i32 %Y, 18
76 %tmp4 = and i32 %tmp3, 65535
77 %tmp57 = or i32 %tmp4, %tmp1
Tanya Lattner6263f942008-02-17 20:02:20 +000078 ret i32 %tmp57
Evan Cheng02b985c2007-01-19 09:20:23 +000079}
Bob Wilsondc66eda2010-08-16 22:26:55 +000080
81; CHECK: test8
82; CHECK: pkhtb r0, r0, r1, asr #22
83define i32 @test8(i32 %X, i32 %Y) {
84 %tmp1 = and i32 %X, -65536
85 %tmp3 = lshr i32 %Y, 22
86 %tmp57 = or i32 %tmp3, %tmp1
87 ret i32 %tmp57
88}