1; This test makes sure that sub instructions are properly eliminated
2; even with arbitrary precision integers.
3;
4
5; RUN: opt < %s -instcombine -S | \
6; RUN:   grep -v "sub i19 %Cok, %Bok" | grep -v "sub i25 0, %Aok" | not grep sub
7; END.
8
9define i23 @test1(i23 %A) {
10	%B = sub i23 %A, %A		; <i23> [#uses=1]
11	ret i23 %B
12}
13
14define i47 @test2(i47 %A) {
15	%B = sub i47 %A, 0		; <i47> [#uses=1]
16	ret i47 %B
17}
18
19define i97 @test3(i97 %A) {
20	%B = sub i97 0, %A		; <i97> [#uses=1]
21	%C = sub i97 0, %B		; <i97> [#uses=1]
22	ret i97 %C
23}
24
25define i108 @test4(i108 %A, i108 %x) {
26	%B = sub i108 0, %A		; <i108> [#uses=1]
27	%C = sub i108 %x, %B		; <i108> [#uses=1]
28	ret i108 %C
29}
30
31define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) {
32	%D = sub i19 %Bok, %Cok		; <i19> [#uses=1]
33	%E = sub i19 %A, %D		; <i19> [#uses=1]
34	ret i19 %E
35}
36
37define i57 @test6(i57 %A, i57 %B) {
38	%C = and i57 %A, %B		; <i57> [#uses=1]
39	%D = sub i57 %A, %C		; <i57> [#uses=1]
40	ret i57 %D
41}
42
43define i77 @test7(i77 %A) {
44	%B = sub i77 -1, %A		; <i77> [#uses=1]
45	ret i77 %B
46}
47
48define i27 @test8(i27 %A) {
49	%B = mul i27 9, %A		; <i27> [#uses=1]
50	%C = sub i27 %B, %A		; <i27> [#uses=1]
51	ret i27 %C
52}
53
54define i42 @test9(i42 %A) {
55	%B = mul i42 3, %A		; <i42> [#uses=1]
56	%C = sub i42 %A, %B		; <i42> [#uses=1]
57	ret i42 %C
58}
59
60define i124 @test10(i124 %A, i124 %B) {
61	%C = sub i124 0, %A		; <i124> [#uses=1]
62	%D = sub i124 0, %B		; <i124> [#uses=1]
63	%E = mul i124 %C, %D		; <i124> [#uses=1]
64	ret i124 %E
65}
66
67define i55 @test10a(i55 %A) {
68	%C = sub i55 0, %A		; <i55> [#uses=1]
69	%E = mul i55 %C, 7		; <i55> [#uses=1]
70	ret i55 %E
71}
72
73define i1 @test11(i9 %A, i9 %B) {
74	%C = sub i9 %A, %B		; <i9> [#uses=1]
75	%cD = icmp ne i9 %C, 0		; <i1> [#uses=1]
76	ret i1 %cD
77}
78
79define i43 @test12(i43 %A) {
80	%B = ashr i43 %A, 42		; <i43> [#uses=1]
81	%C = sub i43 0, %B		; <i43> [#uses=1]
82	ret i43 %C
83}
84
85define i79 @test13(i79 %A) {
86	%B = lshr i79 %A, 78		; <i79> [#uses=1]
87	%C = sub i79 0, %B		; <i79> [#uses=1]
88	ret i79 %C
89}
90
91define i1024 @test14(i1024 %A) {
92	%B = lshr i1024 %A, 1023        ; <i1024> [#uses=1]
93	%C = bitcast i1024 %B to i1024	; <i1024> [#uses=1]
94	%D = sub i1024 0, %C		; <i1024> [#uses=1]
95	ret i1024 %D
96}
97
98define i51 @test16(i51 %A) {
99	%X = sdiv i51 %A, 1123		; <i51> [#uses=1]
100	%Y = sub i51 0, %X		; <i51> [#uses=1]
101	ret i51 %Y
102}
103
104; Can't fold subtract here because negation it might oveflow.
105; PR3142
106define i25 @test17(i25 %Aok) {
107	%B = sub i25 0, %Aok		; <i25> [#uses=1]
108	%C = sdiv i25 %B, 1234		; <i25> [#uses=1]
109	ret i25 %C
110}
111
112define i128 @test18(i128 %Y) {
113	%tmp.4 = shl i128 %Y, 2		; <i128> [#uses=1]
114	%tmp.12 = shl i128 %Y, 2	; <i128> [#uses=1]
115	%tmp.8 = sub i128 %tmp.4, %tmp.12	; <i128> [#uses=1]
116	ret i128 %tmp.8
117}
118
119define i39 @test19(i39 %X, i39 %Y) {
120	%Z = sub i39 %X, %Y		; <i39> [#uses=1]
121	%Q = add i39 %Z, %Y		; <i39> [#uses=1]
122	ret i39 %Q
123}
124
125define i1 @test20(i33 %g, i33 %h) {
126	%tmp.2 = sub i33 %g, %h		; <i33> [#uses=1]
127	%tmp.4 = icmp ne i33 %tmp.2, %g		; <i1> [#uses=1]
128	ret i1 %tmp.4
129}
130
131define i1 @test21(i256 %g, i256 %h) {
132	%tmp.2 = sub i256 %g, %h	; <i256> [#uses=1]
133	%tmp.4 = icmp ne i256 %tmp.2, %g; <i1> [#uses=1]
134	ret i1 %tmp.4
135}
136