|
121
|
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
|
|
|
2
|
|
|
3 ; FIXME: Some of these tests belong in InstSimplify.
|
|
|
4
|
|
|
5 ; Integer BitWidth <= 64 && BitWidth % 8 != 0.
|
|
|
6
|
|
|
7 define i39 @test0(i39 %A) {
|
|
|
8 ; CHECK-LABEL: @test0(
|
|
|
9 ; CHECK-NEXT: ret i39 0
|
|
|
10 ;
|
|
|
11 %B = and i39 %A, 0 ; zero result
|
|
|
12 ret i39 %B
|
|
|
13 }
|
|
|
14
|
|
|
15 define i15 @test2(i15 %x) {
|
|
|
16 ; CHECK-LABEL: @test2(
|
|
|
17 ; CHECK-NEXT: ret i15 %x
|
|
|
18 ;
|
|
|
19 %tmp.2 = and i15 %x, -1 ; noop
|
|
|
20 ret i15 %tmp.2
|
|
|
21 }
|
|
|
22
|
|
|
23 define i23 @test3(i23 %x) {
|
|
|
24 ; CHECK-LABEL: @test3(
|
|
|
25 ; CHECK-NEXT: ret i23 0
|
|
|
26 ;
|
|
|
27 %tmp.0 = and i23 %x, 127
|
|
|
28 %tmp.2 = and i23 %tmp.0, 128
|
|
|
29 ret i23 %tmp.2
|
|
|
30 }
|
|
|
31
|
|
|
32 define i1 @test4(i37 %x) {
|
|
|
33 ; CHECK-LABEL: @test4(
|
|
|
34 ; CHECK-NEXT: [[B:%.*]] = icmp ugt i37 %x, 2147483647
|
|
|
35 ; CHECK-NEXT: ret i1 [[B]]
|
|
|
36 ;
|
|
|
37 %A = and i37 %x, -2147483648
|
|
|
38 %B = icmp ne i37 %A, 0
|
|
|
39 ret i1 %B
|
|
|
40 }
|
|
|
41
|
|
|
42 define i7 @test5(i7 %A, i7* %P) {
|
|
|
43 ; CHECK-LABEL: @test5(
|
|
|
44 ; CHECK-NEXT: [[B:%.*]] = or i7 %A, 3
|
|
|
45 ; CHECK-NEXT: [[C:%.*]] = xor i7 [[B]], 12
|
|
|
46 ; CHECK-NEXT: store i7 [[C]], i7* %P, align 1
|
|
|
47 ; CHECK-NEXT: ret i7 3
|
|
|
48 ;
|
|
|
49 %B = or i7 %A, 3
|
|
|
50 %C = xor i7 %B, 12
|
|
|
51 store i7 %C, i7* %P
|
|
|
52 %r = and i7 %C, 3
|
|
|
53 ret i7 %r
|
|
|
54 }
|
|
|
55
|
|
|
56 define i47 @test7(i47 %A) {
|
|
|
57 ; CHECK-LABEL: @test7(
|
|
|
58 ; CHECK-NEXT: [[TMP1:%.*]] = lshr i47 %A, 39
|
|
|
59 ; CHECK-NEXT: ret i47 [[TMP1]]
|
|
|
60 ;
|
|
|
61 %X = ashr i47 %A, 39 ;; sign extend
|
|
|
62 %C1 = and i47 %X, 255
|
|
|
63 ret i47 %C1
|
|
|
64 }
|
|
|
65
|
|
|
66 ; Integer BitWidth > 64 && BitWidth <= 1024.
|
|
|
67
|
|
|
68 define i999 @test8(i999 %A) {
|
|
|
69 ; CHECK-LABEL: @test8(
|
|
|
70 ; CHECK-NEXT: ret i999 0
|
|
|
71 ;
|
|
|
72 %B = and i999 %A, 0 ; zero result
|
|
|
73 ret i999 %B
|
|
|
74 }
|
|
|
75
|
|
|
76 define i1005 @test9(i1005 %x) {
|
|
|
77 ; CHECK-LABEL: @test9(
|
|
|
78 ; CHECK-NEXT: ret i1005 %x
|
|
|
79 ;
|
|
|
80 %tmp.2 = and i1005 %x, -1 ; noop
|
|
|
81 ret i1005 %tmp.2
|
|
|
82 }
|
|
|
83
|
|
|
84 define i123 @test10(i123 %x) {
|
|
|
85 ; CHECK-LABEL: @test10(
|
|
|
86 ; CHECK-NEXT: ret i123 0
|
|
|
87 ;
|
|
|
88 %tmp.0 = and i123 %x, 127
|
|
|
89 %tmp.2 = and i123 %tmp.0, 128
|
|
|
90 ret i123 %tmp.2
|
|
|
91 }
|
|
|
92
|
|
|
93 define i1 @test11(i737 %x) {
|
|
|
94 ; CHECK-LABEL: @test11(
|
|
|
95 ; CHECK-NEXT: [[B:%.*]] = icmp ugt i737 %x, 2147483647
|
|
|
96 ; CHECK-NEXT: ret i1 [[B]]
|
|
|
97 ;
|
|
|
98 %A = and i737 %x, -2147483648
|
|
|
99 %B = icmp ne i737 %A, 0
|
|
|
100 ret i1 %B
|
|
|
101 }
|
|
|
102
|
|
|
103 define i117 @test12(i117 %A, i117* %P) {
|
|
|
104 ; CHECK-LABEL: @test12(
|
|
|
105 ; CHECK-NEXT: [[B:%.*]] = or i117 %A, 3
|
|
|
106 ; CHECK-NEXT: [[C:%.*]] = xor i117 [[B]], 12
|
|
|
107 ; CHECK-NEXT: store i117 [[C]], i117* %P, align 4
|
|
|
108 ; CHECK-NEXT: ret i117 3
|
|
|
109 ;
|
|
|
110 %B = or i117 %A, 3
|
|
|
111 %C = xor i117 %B, 12
|
|
|
112 store i117 %C, i117* %P
|
|
|
113 %r = and i117 %C, 3
|
|
|
114 ret i117 %r
|
|
|
115 }
|
|
|
116
|
|
|
117 define i1024 @test13(i1024 %A) {
|
|
|
118 ; CHECK-LABEL: @test13(
|
|
|
119 ; CHECK-NEXT: [[TMP1:%.*]] = lshr i1024 %A, 1016
|
|
|
120 ; CHECK-NEXT: ret i1024 [[TMP1]]
|
|
|
121 ;
|
|
|
122 %X = ashr i1024 %A, 1016 ;; sign extend
|
|
|
123 %C1 = and i1024 %X, 255
|
|
|
124 ret i1024 %C1
|
|
|
125 }
|
|
|
126
|
