1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt -passes=sccp < %s -S | FileCheck %s
define i8 @ashr_to_lshr(i8 %x, i8 %y) {
; CHECK-LABEL: define range(i8 0, -128) i8 @ashr_to_lshr(
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
; CHECK-NEXT: [[P:%.*]] = and i8 [[X]], 127
; CHECK-NEXT: [[R:%.*]] = lshr exact i8 [[P]], [[Y]]
; CHECK-NEXT: ret i8 [[R]]
;
%p = and i8 %x, 127
%r = ashr exact i8 %p, %y
ret i8 %r
}
define i8 @sdiv_to_udiv(i8 %x, i8 %y) {
; CHECK-LABEL: define range(i8 0, -128) i8 @sdiv_to_udiv(
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
; CHECK-NEXT: [[X1:%.*]] = and i8 [[X]], 127
; CHECK-NEXT: [[Y1:%.*]] = and i8 [[Y]], 127
; CHECK-NEXT: [[R:%.*]] = udiv exact i8 [[X1]], [[Y1]]
; CHECK-NEXT: ret i8 [[R]]
;
%x1 = and i8 %x, 127
%y1 = and i8 %y, 127
%r = sdiv exact i8 %x1, %y1
ret i8 %r
}
|
