Lines Matching refs:exact

15 ; CHECK-NEXT:    [[Y:%.*]] = ashr exact i32 [[X:%.*]], 3
18   %y = sdiv exact i32 %x, 8
24 ; CHECK-NEXT:    [[Y:%.*]] = ashr exact <2 x i32> [[X:%.*]], <i32 7, i32 7>
27   %y = sdiv exact <2 x i32> %x, <i32 128, i32 128>
47   %y = sdiv exact i32 %x, 3
69   %y = sdiv exact i32 %x, 3
78   %y = udiv exact i32 %x, %w
85 ; CHECK-NEXT:    [[Z1:%.*]] = lshr exact i32 [[X:%.*]], [[W:%.*]]
89   %z = udiv exact i32 %x, %y
96 ; CHECK-NEXT:    [[B:%.*]] = ashr exact i64 [[A]], 2
104 ; The vector ashr should be exact (like it is in the preceding test).
109 ; CHECK-NEXT:    [[B:%.*]] = ashr exact <2 x i64> [[A]], <i64 2, i64 2>
123   %A = ashr exact i64 %X, 2   ; X/4
133   %Y = ashr exact i64 %X, 2  ; x / 4
143   %Y = ashr exact <2 x i64> %X, <i64 2, i64 2>
157   %X = ashr exact i32 %W, 31
173   %X = ashr exact <2 x i32> %W, <i32 31, i32 31>
184   %A = udiv exact i64 %X, 5   ; X/5
194   %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
204   %A = udiv exact i64 %X, 5   ; X/5 == 0 --> x == 0
214   %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
224   %A = sdiv exact i64 %X, 5   ; X/5 == 0 --> x == 0
234   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
244   %A = sdiv exact i64 %X, 5   ; X/5 == 1 --> x == 5
254   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
264   %A = sdiv exact i64 %X, 5   ; X/5 == -1 --> x == -5
274   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
284   %A = sdiv exact i64 %X, -5   ; X/-5 == 0 --> x == 0
294   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
304   %A = sdiv exact i64 %X, -5   ; X/-5 == 1 --> x == -5
314   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
324   %A = sdiv exact i64 %X, -5   ; X/-5 == -1 --> x == 5
334   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>