shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Transforms/InstCombine/intrinsic-distributive.ll
Iris 1762f16f6c
[InstCombine] Fold umax/umin(nuw_shl(z, x), nuw_shl(z, y)) -> nuw_shl(z, umax/umin(x, y)) and umax/umin(nuw_shl(x, z), nuw_shl(y, z)) -> nuw_shl(umax/umin(x, y), z) (#131076) 
- Closes #129947

This PR introduces the following transformations:
1. `umax(nuw_shl(z, x), nuw_shl(z, y)) -> nuw_shl(z, umax(x, y))`
2. `umin(nuw_shl(z, x), nuw_shl(z, y)) -> nuw_shl(z, umin(x, y))`
3. `umax(nuw_shl(x, z), nuw_shl(y, z)) -> nuw_shl(umax(x, y),z)`
4. `umin(nuw_shl(x, z), nuw_shl(y, z)) -> nuw_shl(umin(x, y),z)`


Alive2 live proof: 
- https://alive2.llvm.org/ce/z/6bM-p7 for 1 and 2
- https://alive2.llvm.org/ce/z/aqLRYA and
https://alive2.llvm.org/ce/z/twoVhb for 3 and 4 repectively
2025-03-15 13:40:35 +08:00

750 lines
26 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -passes=instcombine < %s 2>&1 | FileCheck %s
define i8 @umax_of_add_nuw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %a, %b
%add2 = add nuw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_lhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_lhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %b, %a
%add2 = add nuw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_lhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_lhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_lhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_lhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_rhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_rhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw nsw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_rhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_rhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %a, %b
%add2 = add nuw nsw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_rhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_rhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw nsw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %b, %a
%add2 = add nuw nsw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw nsw i8 %a, %c
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umax_of_add_nuw_nsw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nuw_nsw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw nsw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
; negative test
define i8 @umax_of_add_nsw(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add_nsw(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add nsw i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add nsw i8 [[C]], [[A]]
; CHECK-NEXT: [[MAX:%.*]] = call i8 @llvm.umax.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
; negative test
define i8 @umax_of_add(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umax_of_add(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add i8 [[C]], [[A]]
; CHECK-NEXT: [[MAX:%.*]] = call i8 @llvm.umax.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add i8 %b, %a
%add2 = add i8 %c, %a
%max = call i8 @llvm.umax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @umin_of_add_nuw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %a, %b
%add2 = add nuw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_lhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_lhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %b, %a
%add2 = add nuw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_lhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_lhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_lhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_lhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_rhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_rhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw nsw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_rhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_rhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %a, %b
%add2 = add nuw nsw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_rhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_rhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw nsw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %b, %a
%add2 = add nuw nsw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw nsw i8 %a, %c
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @umin_of_add_nuw_nsw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nuw_nsw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nuw nsw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
; negative test
define i8 @umin_of_add_nsw(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add_nsw(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add nsw i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add nsw i8 [[C]], [[A]]
; CHECK-NEXT: [[MIN:%.*]] = call i8 @llvm.umin.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
; negative test
define i8 @umin_of_add(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @umin_of_add(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add i8 [[C]], [[A]]
; CHECK-NEXT: [[MIN:%.*]] = call i8 @llvm.umin.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add i8 %b, %a
%add2 = add i8 %c, %a
%min = call i8 @llvm.umin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
; negative test
define i8 @smax_of_add_nuw(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nuw(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add nuw i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add nuw i8 [[C]], [[A]]
; CHECK-NEXT: [[MAX:%.*]] = call i8 @llvm.smax.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %a, %b
%add2 = add nsw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_lhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_lhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw nuw i8 %b, %a
%add2 = add nsw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_lhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_lhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_lhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_lhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nuw nsw i8 %a, %b
%add2 = add nsw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_rhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_rhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw nuw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_rhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_rhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %a, %b
%add2 = add nsw nuw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_rhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_rhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw nuw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw nuw i8 %b, %a
%add2 = add nsw nuw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw nuw i8 %a, %c
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
define i8 @smax_of_add_nsw_nuw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add_nsw_nuw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MAX:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw nuw i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
; negative test
define i8 @smax_of_add(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smax_of_add(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add i8 [[C]], [[A]]
; CHECK-NEXT: [[MAX:%.*]] = call i8 @llvm.smax.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MAX]]
;
%add1 = add i8 %b, %a
%add2 = add i8 %c, %a
%max = call i8 @llvm.smax.i8(i8 %add1, i8 %add2)
ret i8 %max
}
; negative test
define i8 @smin_of_add_nuw(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nuw(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add nuw i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add nuw i8 [[C]], [[A]]
; CHECK-NEXT: [[MIN:%.*]] = call i8 @llvm.smin.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nuw i8 %b, %a
%add2 = add nuw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %a, %b
%add2 = add nsw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_lhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_lhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %b, %a
%add2 = add nsw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_lhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_lhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_lhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_lhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add nuw nsw i8 [[A]], [[B]]
; CHECK-NEXT: [[ADD2:%.*]] = add nuw i8 [[C]], [[A]]
; CHECK-NEXT: [[MIN:%.*]] = call i8 @llvm.smin.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nuw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_rhs_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_rhs_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw nuw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_rhs_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_rhs_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %a, %b
%add2 = add nsw nuw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_rhs_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_rhs_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw i8 %b, %a
%add2 = add nsw nuw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_r(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_r(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[TMP1]], [[A]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %b, %a
%add2 = add nsw nuw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_l(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_l(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw nuw i8 %a, %c
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
define i8 @smin_of_add_nsw_nuw_comm(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add_nsw_nuw_comm(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[B]], i8 [[C]])
; CHECK-NEXT: [[MIN:%.*]] = add nuw nsw i8 [[A]], [[TMP1]]
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add nsw nuw i8 %a, %b
%add2 = add nsw nuw i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
; negative test
define i8 @smin_of_add(i8 %a, i8 %b, i8 %c) {
; CHECK-LABEL: define i8 @smin_of_add(
; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]], i8 [[C:%.*]]) {
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[B]], [[A]]
; CHECK-NEXT: [[ADD2:%.*]] = add i8 [[C]], [[A]]
; CHECK-NEXT: [[MIN:%.*]] = call i8 @llvm.smin.i8(i8 [[ADD1]], i8 [[ADD2]])
; CHECK-NEXT: ret i8 [[MIN]]
;
%add1 = add i8 %b, %a
%add2 = add i8 %c, %a
%min = call i8 @llvm.smin.i8(i8 %add1, i8 %add2)
ret i8 %min
}
Reference in New Issue View Git Blame Copy Permalink