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
108 %A = ashr exact i64 %X, 2 ; X/4
118 %Y = ashr exact i64 %X, 2 ; x / 4
132 %X = ashr exact i32 %W, 31
143 %A = udiv exact i64 %X, 5 ; X/5
153 %A = udiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
163 %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
173 %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5
183 %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5
193 %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0
203 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5
213 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == 5