Lines Matching refs:exact

156 ;; Allow the simplification when the lshr shift is exact.
160         %B = lshr exact i8 %A, 7
178 ;; Allow the simplification in InstCombine when the lshr shift is exact.
184         %B = lshr exact i8 %a, 3
218         %B = ashr exact i8 %a, 3
604   %div = lshr i32 4096, %b    ; must be exact otherwise we'd divide by zero
608 ; CHECK-NEXT: lshr exact i32 4096, %b
612   %div = shl i32 4096, %b    ; must be exact otherwise we'd divide by zero
631   %y = lshr exact i32 %a, 1
640   %y = ashr exact i32 %a, 3
644 ; CHECK-NEXT: %z = ashr exact i32 %a, 2
649   %y = lshr exact i32 %a, 3
653 ; CHECK-NEXT: %z = lshr exact i32 %a, 2
658   %A = lshr exact i32 %x, 1
667   %A = ashr exact i32 %x, 1
769 ; propagate "exact" trait
771   %shr = ashr exact i32 %x, 4
776 ; CHECK: ashr exact i32 %x, 3