Lines Matching full:i64
72 ; CHECK: %B = ashr exact i64 %A, 2
73 ; CHECK: ret i64 %B
74 define i64 @ashr1(i64 %X) nounwind {
75 %A = shl i64 %X, 8
76 %B = ashr i64 %A, 2 ; X/4
77 ret i64 %B
82 ; CHECK: %B = icmp eq i64 %X, 0
84 define i1 @ashr_icmp1(i64 %X) nounwind {
85 %A = ashr exact i64 %X, 2 ; X/4
86 %B = icmp eq i64 %A, 0
91 ; CHECK: %Z = icmp slt i64 %X, 16
93 define i1 @ashr_icmp2(i64 %X) nounwind {
94 %Y = ashr exact i64 %X, 2 ; x / 4
95 %Z = icmp slt i64 %Y, 4 ; x < 16
109 %Y = sext i32 %X to i64
110 %Z = icmp ugt i64 %Y, 7297771788697658747
116 ; CHECK: icmp ne i64 %X, 0
117 define i1 @udiv_icmp1(i64 %X) nounwind {
118 %A = udiv exact i64 %X, 5 ; X/5
119 %B = icmp ne i64 %A, 0
124 ; CHECK: icmp eq i64 %X, 0
125 define i1 @sdiv_icmp1(i64 %X) nounwind {
126 %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
127 %B = icmp eq i64 %A, 0
132 ; CHECK: icmp eq i64 %X, 5
133 define i1 @sdiv_icmp2(i64 %X) nounwind {
134 %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5
135 %B = icmp eq i64 %A, 1
140 ; CHECK: icmp eq i64 %X, -5
141 define i1 @sdiv_icmp3(i64 %X) nounwind {
142 %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5
143 %B = icmp eq i64 %A, -1
148 ; CHECK: icmp eq i64 %X, 0
149 define i1 @sdiv_icmp4(i64 %X) nounwind {
150 %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0
151 %B = icmp eq i64 %A, 0
156 ; CHECK: icmp eq i64 %X, -5
157 define i1 @sdiv_icmp5(i64 %X) nounwind {
158 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5
159 %B = icmp eq i64 %A, 1
164 ; CHECK: icmp eq i64 %X, 5
165 define i1 @sdiv_icmp6(i64 %X) nounwind {
166 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == 5
167 %B = icmp eq i64 %A, -1
