[llvm] r349802 - [ConstantFolding] Add tests for sat add/sub with undefs; NFC
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Dec 20 11:46:35 PST 2018
Author: nikic
Date: Thu Dec 20 11:46:35 2018
New Revision: 349802
URL: http://llvm.org/viewvc/llvm-project?rev=349802&view=rev
Log:
[ConstantFolding] Add tests for sat add/sub with undefs; NFC
Modified:
llvm/trunk/test/Analysis/ConstantFolding/saturating-add-sub.ll
Modified: llvm/trunk/test/Analysis/ConstantFolding/saturating-add-sub.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ConstantFolding/saturating-add-sub.ll?rev=349802&r1=349801&r2=349802&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/ConstantFolding/saturating-add-sub.ll (original)
+++ llvm/trunk/test/Analysis/ConstantFolding/saturating-add-sub.ll Thu Dec 20 11:46:35 2018
@@ -170,3 +170,221 @@ define <2 x i8> @test_ssub_vector_sat_ne
%x = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> <i8 -100, i8 -10>, <2 x i8> <i8 30, i8 120>)
ret <2 x i8> %x
}
+
+; Tests for undef handling
+
+define i8 @test_uadd_scalar_both_undef() {
+; CHECK-LABEL: @test_uadd_scalar_both_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.uadd.sat.i8(i8 undef, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.uadd.sat.i8(i8 undef, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_sadd_scalar_both_undef() {
+; CHECK-LABEL: @test_sadd_scalar_both_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.sadd.sat.i8(i8 undef, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.sadd.sat.i8(i8 undef, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_usub_scalar_both_undef() {
+; CHECK-LABEL: @test_usub_scalar_both_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.usub.sat.i8(i8 undef, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.usub.sat.i8(i8 undef, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_ssub_scalar_both_undef() {
+; CHECK-LABEL: @test_ssub_scalar_both_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.ssub.sat.i8(i8 undef, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.ssub.sat.i8(i8 undef, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_uadd_scalar_op2_undef() {
+; CHECK-LABEL: @test_uadd_scalar_op2_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.uadd.sat.i8(i8 10, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.uadd.sat.i8(i8 10, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_sadd_scalar_op1_undef() {
+; CHECK-LABEL: @test_sadd_scalar_op1_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.sadd.sat.i8(i8 undef, i8 10)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.sadd.sat.i8(i8 undef, i8 10)
+ ret i8 %x
+}
+
+define i8 @test_usub_scalar_op2_undef() {
+; CHECK-LABEL: @test_usub_scalar_op2_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.usub.sat.i8(i8 10, i8 undef)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.usub.sat.i8(i8 10, i8 undef)
+ ret i8 %x
+}
+
+define i8 @test_usub_scalar_op1_undef() {
+; CHECK-LABEL: @test_usub_scalar_op1_undef(
+; CHECK-NEXT: [[X:%.*]] = call i8 @llvm.usub.sat.i8(i8 undef, i8 10)
+; CHECK-NEXT: ret i8 [[X]]
+;
+ %x = call i8 @llvm.usub.sat.i8(i8 undef, i8 10)
+ ret i8 %x
+}
+
+define <2 x i8> @test_uadd_vector_both_undef_splat() {
+; CHECK-LABEL: @test_uadd_vector_both_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_sadd_vector_both_undef_splat() {
+; CHECK-LABEL: @test_sadd_vector_both_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_usub_vector_both_undef_splat() {
+; CHECK-LABEL: @test_usub_vector_both_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_ssub_vector_both_undef_splat() {
+; CHECK-LABEL: @test_ssub_vector_both_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> undef, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_uadd_vector_op2_undef_splat() {
+; CHECK-LABEL: @test_uadd_vector_op2_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 20>, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 20>, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_sadd_vector_op1_undef_splat() {
+; CHECK-LABEL: @test_sadd_vector_op1_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> undef, <2 x i8> <i8 10, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> undef, <2 x i8> <i8 10, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_usub_vector_op2_undef_splat() {
+; CHECK-LABEL: @test_usub_vector_op2_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 20>, <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 20>, <2 x i8> undef)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_ssub_vector_op1_undef_splat() {
+; CHECK-LABEL: @test_ssub_vector_op1_undef_splat(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> undef, <2 x i8> <i8 10, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> undef, <2 x i8> <i8 10, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_uadd_vector_op2_undef_mix1() {
+; CHECK-LABEL: @test_uadd_vector_op2_undef_mix1(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 20, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 20, i8 undef>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_uadd_vector_op2_undef_mix2() {
+; CHECK-LABEL: @test_uadd_vector_op2_undef_mix2(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 undef, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.uadd.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 undef, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_sadd_vector_op1_undef_mix1() {
+; CHECK-LABEL: @test_sadd_vector_op1_undef_mix1(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 undef, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 undef, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_sadd_vector_op1_undef_mix2() {
+; CHECK-LABEL: @test_sadd_vector_op1_undef_mix2(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 20, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.sadd.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 20, i8 undef>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_usub_vector_op2_undef_mix1() {
+; CHECK-LABEL: @test_usub_vector_op2_undef_mix1(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 20, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 20, i8 undef>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_usub_vector_op2_undef_mix2() {
+; CHECK-LABEL: @test_usub_vector_op2_undef_mix2(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 undef, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.usub.sat.v2i8(<2 x i8> <i8 10, i8 undef>, <2 x i8> <i8 undef, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_ssub_vector_op1_undef_mix1() {
+; CHECK-LABEL: @test_ssub_vector_op1_undef_mix1(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 undef, i8 20>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 undef, i8 20>)
+ ret <2 x i8> %x
+}
+
+define <2 x i8> @test_ssub_vector_op1_undef_mix2() {
+; CHECK-LABEL: @test_ssub_vector_op1_undef_mix2(
+; CHECK-NEXT: [[X:%.*]] = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 20, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[X]]
+;
+ %x = call <2 x i8> @llvm.ssub.sat.v2i8(<2 x i8> <i8 undef, i8 10>, <2 x i8> <i8 20, i8 undef>)
+ ret <2 x i8> %x
+}
More information about the llvm-commits
mailing list