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>
46   %y = sdiv exact i32 %x, 3
67   %y = sdiv exact i32 %x, 3
76   %y = udiv exact i32 %x, %w
83 ; CHECK-NEXT:    [[Z:%.*]] = lshr exact i32 %x, %w
87   %z = udiv exact i32 %x, %y
94 ; CHECK-NEXT:    [[B:%.*]] = ashr exact i64 [[A]], 2
102 ; The vector ashr should be exact (like it is in the preceding test).
107 ; CHECK-NEXT:    [[B:%.*]] = ashr exact <2 x i64> [[A]], <i64 2, i64 2>
121   %A = ashr exact i64 %X, 2   ; X/4
131   %Y = ashr exact i64 %X, 2  ; x / 4
141   %Y = ashr exact <2 x i64> %X, <i64 2, i64 2>
155   %X = ashr exact i32 %W, 31
165 ; CHECK-NEXT:    [[X:%.*]] = ashr exact <2 x i32> [[W]], <i32 31, i32 31>
171   %X = ashr exact <2 x i32> %W, <i32 31, i32 31>
182   %A = udiv exact i64 %X, 5   ; X/5
192   %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
202   %A = udiv exact i64 %X, 5   ; X/5 == 0 --> x == 0
212   %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
222   %A = sdiv exact i64 %X, 5   ; X/5 == 0 --> x == 0
232   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
242   %A = sdiv exact i64 %X, 5   ; X/5 == 1 --> x == 5
252   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
262   %A = sdiv exact i64 %X, 5   ; X/5 == -1 --> x == -5
272   %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
282   %A = sdiv exact i64 %X, -5   ; X/-5 == 0 --> x == 0
292   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
302   %A = sdiv exact i64 %X, -5   ; X/-5 == 1 --> x == -5
312   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
322   %A = sdiv exact i64 %X, -5   ; X/-5 == -1 --> x == 5
332   %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>