This is an archive of the discontinued LLVM Phabricator instance.

Differential D156028

[InstCombine] icmp udiv transform tests
Needs ReviewPublic

Authored by kitaisreal on Jul 22 2023, 7:55 AM.

Details

Reviewers
nikic
Summary

Precommit tests for D156029.

Diff Detail

Revision Contents

PathSize
llvm/
test/
Transforms/
InstCombine/
628 lines

Diff 543190

llvm/test/Transforms/InstCombine/icmp-udiv.ll

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Fold icmp (udiv X, Y), Z.
define i1 @udiv_icmp_eq_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp eq i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_eq_i8_commuted(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i8_commuted(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp eq i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_eq_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_eq_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], 5
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp eq i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_eq_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp eq i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_eq_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp eq i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_eq_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp eq i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_eq_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp eq i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_eq_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_eq_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp eq <2 x i8> %1, %z
ret <2 x i1> %2
}
define i1 @udiv_icmp_ne_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ne i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ne_i8_commuted(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i8_commuted(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ne i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_ne_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_ne_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i8 [[TMP1]], 5
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ne i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_ne_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp ne i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ne_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp ne i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ne_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp ne i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_ne_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_ne_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp ne i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_ne_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_ne_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp ne <2 x i8> %1, %z
ret <2 x i1> %2
}
define i1 @udiv_icmp_ugt_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ugt i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ugt_reverse_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_reverse_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ult i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_ugt_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_ugt_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i8 [[TMP1]], 5
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ugt i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_ugt_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp ugt i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ugt_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp ugt i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ugt_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp ugt i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_ugt_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp ugt i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_ugt_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_ugt_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp ugt <2 x i8> %1, %z
ret <2 x i1> %2
}
define i1 @udiv_icmp_uge_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_uge_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp uge i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_uge_reverse_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_uge_reverse_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ule i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_uge_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_uge_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ugt i8 [[TMP1]], 4
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp uge i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_uge_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_uge_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp uge i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_uge_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_uge_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp uge i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_uge_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_uge_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp uge i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_uge_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_uge_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp uge i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_uge_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_uge_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp uge <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp uge <2 x i8> %1, %z
ret <2 x i1> %2
}
define i1 @udiv_icmp_ult_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ult_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ult i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ult_reverse_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ult_reverse_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ugt i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_ult_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_ult_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i8 [[TMP1]], 5
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ult i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_ult_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_ult_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp ult i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ult_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_ult_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp ult i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ult_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_ult_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp ult i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_ult_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_ult_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp ult i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_ult_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_ult_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp ult <2 x i8> %1, %z
ret <2 x i1> %2
}
define i1 @udiv_icmp_ule_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ule_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ule i8 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ule_reverse_i8(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_ule_reverse_i8(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp uge i8 %z, %1
ret i1 %2
}
define i1 @udiv_icmp_ule_i8_constant(i8 %x, i8 %y) {
; CHECK-LABEL: @udiv_icmp_ule_i8_constant(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i8 [[TMP1]], 6
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp ule i8 %1, 5
ret i1 %2
}
define i1 @udiv_icmp_ule_i16(i16 %x, i16 %y, i16 %z) {
; CHECK-LABEL: @udiv_icmp_ule_i16(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i16 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i16 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i16 %x, %y
%2 = icmp ule i16 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ule_i32(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @udiv_icmp_ule_i32(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i32 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i32 %x, %y
%2 = icmp ule i32 %1, %z
ret i1 %2
}
define i1 @udiv_icmp_ule_i64(i64 %x, i64 %y, i64 %z) {
; CHECK-LABEL: @udiv_icmp_ule_i64(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i64 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i64 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i64 %x, %y
%2 = icmp ule i64 %1, %z
ret i1 %2
}
; negative test - extended integer type bit width is greater than 128
define i1 @udiv_icmp_ule_i128_fail(i128 %x, i128 %y, i128 %z) {
; CHECK-LABEL: @udiv_icmp_ule_i128_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i128 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule i128 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i128 %x, %y
%2 = icmp ule i128 %1, %z
ret i1 %2
}
define <2 x i1> @udiv_icmp_ule_i8_vector(<2 x i8> %x, <2 x i8> %y, <2 x i8> %z) {
; CHECK-LABEL: @udiv_icmp_ule_i8_vector(
; CHECK-NEXT: [[TMP1:%.*]] = udiv <2 x i8> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp ule <2 x i8> [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret <2 x i1> [[TMP2]]
;
%1 = udiv <2 x i8> %x, %y
%2 = icmp ule <2 x i8> %1, %z
ret <2 x i1> %2
}
; negative test - multiple usage
define i1 @udiv_icmp_eq_i8_multiple_usage_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_eq_i8_multiple_usage_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: [[TMP3:%.*]] = mul i8 [[TMP1]], [[TMP1]]
; CHECK-NEXT: [[TMP4:%.*]] = icmp eq i8 [[TMP3]], 0
; CHECK-NEXT: [[TMP5:%.*]] = or i1 [[TMP2]], [[TMP4]]
; CHECK-NEXT: ret i1 [[TMP5]]
;
%1 = udiv i8 %x, %y
%2 = icmp eq i8 %1, %z
%3 = mul i8 %1, %1
%4 = icmp eq i8 %3, 0
%5 = or i1 %2, %4
ret i1 %5
}
; negative test - invalid sdiv operator
define i1 @udiv_icmp_eq_sdiv_i8_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_eq_sdiv_i8_fail(
; CHECK-NEXT: [[TMP1:%.*]] = sdiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = sdiv i8 %x, %y
%2 = icmp eq i8 %1, %z
ret i1 %2
}
; negative test - invalid sgt operator
define i1 @udiv_icmp_sgt_i8_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_sgt_i8_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp sgt i8 %1, %z
ret i1 %2
}
; negative test - invalid sge operator
define i1 @udiv_icmp_sge_i8_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_sge_i8_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp sge i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp sge i8 %1, %z
ret i1 %2
}
; negative test - invalid slt operator
define i1 @udiv_icmp_slt_i8_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_slt_i8_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp slt i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp slt i8 %1, %z
ret i1 %2
}
; negative test - invalid sle operator
define i1 @udiv_icmp_sle_i8_fail(i8 %x, i8 %y, i8 %z) {
; CHECK-LABEL: @udiv_icmp_sle_i8_fail(
; CHECK-NEXT: [[TMP1:%.*]] = udiv i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = icmp sle i8 [[TMP1]], [[Z:%.*]]
; CHECK-NEXT: ret i1 [[TMP2]]
;
%1 = udiv i8 %x, %y
%2 = icmp sle i8 %1, %z
ret i1 %2
}