[llvm] 7ddbf80 - [ConstantFold] add/move tests for FP with undef operand; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Feb 20 12:07:41 PST 2020
Author: Sanjay Patel
Date: 2020-02-20T15:07:11-05:00
New Revision: 7ddbf802cf64e89b77ef2ce44182248921a42172
URL: https://github.com/llvm/llvm-project/commit/7ddbf802cf64e89b77ef2ce44182248921a42172
DIFF: https://github.com/llvm/llvm-project/commit/7ddbf802cf64e89b77ef2ce44182248921a42172.diff
LOG: [ConstantFold] add/move tests for FP with undef operand; NFC
Added:
llvm/test/Analysis/ConstantFolding/fp-undef.ll
Modified:
llvm/test/Transforms/InstSimplify/fp-undef.ll
Removed:
################################################################################
diff --git a/llvm/test/Analysis/ConstantFolding/fp-undef.ll b/llvm/test/Analysis/ConstantFolding/fp-undef.ll
new file mode 100644
index 000000000000..e2433092f0a0
--- /dev/null
+++ b/llvm/test/Analysis/ConstantFolding/fp-undef.ll
@@ -0,0 +1,535 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -constprop -S | FileCheck %s
+
+; Constant folding - undef undef.
+
+define double @fadd_undef_undef(double %x) {
+; CHECK-LABEL: @fadd_undef_undef(
+; CHECK-NEXT: ret double undef
+;
+ %r = fadd double undef, undef
+ ret double %r
+}
+
+define double @fsub_undef_undef(double %x) {
+; CHECK-LABEL: @fsub_undef_undef(
+; CHECK-NEXT: ret double undef
+;
+ %r = fsub double undef, undef
+ ret double %r
+}
+
+define double @fmul_undef_undef(double %x) {
+; CHECK-LABEL: @fmul_undef_undef(
+; CHECK-NEXT: ret double undef
+;
+ %r = fmul double undef, undef
+ ret double %r
+}
+
+define double @fdiv_undef_undef(double %x) {
+; CHECK-LABEL: @fdiv_undef_undef(
+; CHECK-NEXT: ret double undef
+;
+ %r = fdiv double undef, undef
+ ret double %r
+}
+
+define double @frem_undef_undef(double %x) {
+; CHECK-LABEL: @frem_undef_undef(
+; CHECK-NEXT: ret double undef
+;
+ %r = frem double undef, undef
+ ret double %r
+}
+
+; Constant folding.
+
+define float @fadd_undef_op0_nnan_constant(float %x) {
+; CHECK-LABEL: @fadd_undef_op0_nnan_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fadd nnan float undef, 1.0
+ ret float %r
+}
+
+define float @fadd_undef_op1_constant(float %x) {
+; CHECK-LABEL: @fadd_undef_op1_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fadd float 2.0, undef
+ ret float %r
+}
+
+define float @fsub_undef_op0_fast_constant(float %x) {
+; CHECK-LABEL: @fsub_undef_op0_fast_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fsub fast float undef, 3.0
+ ret float %r
+}
+
+define float @fsub_undef_op1_constant(float %x) {
+; CHECK-LABEL: @fsub_undef_op1_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fsub float 4.0, undef
+ ret float %r
+}
+
+define float @fmul_undef_op0_nnan_constant(float %x) {
+; CHECK-LABEL: @fmul_undef_op0_nnan_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fmul nnan float undef, 5.0
+ ret float %r
+}
+
+define float @fmul_undef_op1_constant(float %x) {
+; CHECK-LABEL: @fmul_undef_op1_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fmul float 6.0, undef
+ ret float %r
+}
+
+define float @fdiv_undef_op0_fast_constant(float %x) {
+; CHECK-LABEL: @fdiv_undef_op0_fast_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fdiv fast float undef, 7.0
+ ret float %r
+}
+
+define float @fdiv_undef_op1_constant(float %x) {
+; CHECK-LABEL: @fdiv_undef_op1_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = fdiv float 8.0, undef
+ ret float %r
+}
+
+define float @frem_undef_op0_nnan_constant(float %x) {
+; CHECK-LABEL: @frem_undef_op0_nnan_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = frem nnan float undef, 9.0
+ ret float %r
+}
+
+define float @frem_undef_op1_constant(float %x) {
+; CHECK-LABEL: @frem_undef_op1_constant(
+; CHECK-NEXT: ret float 0x7FF8000000000000
+;
+ %r = frem float 10.0, undef
+ ret float %r
+}
+
+; Constant folding - special constants: 0.0.
+
+define double @fadd_undef_op0_constant_0(double %x) {
+; CHECK-LABEL: @fadd_undef_op0_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd double undef, 0x0000000000000000
+ ret double %r
+}
+
+define double @fadd_undef_op1_constant_0(double %x) {
+; CHECK-LABEL: @fadd_undef_op1_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd double 0x0000000000000000, undef
+ ret double %r
+}
+
+define double @fsub_undef_op0_constant_0(double %x) {
+; CHECK-LABEL: @fsub_undef_op0_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double undef, 0x0000000000000000
+ ret double %r
+}
+
+define double @fsub_undef_op1_constant_0(double %x) {
+; CHECK-LABEL: @fsub_undef_op1_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double 0x0000000000000000, undef
+ ret double %r
+}
+
+define double @fmul_undef_op0_constant_0(double %x) {
+; CHECK-LABEL: @fmul_undef_op0_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double undef, 0x0000000000000000
+ ret double %r
+}
+
+define double @fmul_undef_op1_constant_0(double %x) {
+; CHECK-LABEL: @fmul_undef_op1_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double 0x0000000000000000, undef
+ ret double %r
+}
+
+define double @fdiv_undef_op0_constant_0(double %x) {
+; CHECK-LABEL: @fdiv_undef_op0_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double undef, 0x0000000000000000
+ ret double %r
+}
+
+define double @fdiv_undef_op1_constant_0(double %x) {
+; CHECK-LABEL: @fdiv_undef_op1_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double 0x0000000000000000, undef
+ ret double %r
+}
+
+define double @frem_undef_op0_constant_0(double %x) {
+; CHECK-LABEL: @frem_undef_op0_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double undef, 0x0000000000000000
+ ret double %r
+}
+
+define double @frem_undef_op1_constant_0(double %x) {
+; CHECK-LABEL: @frem_undef_op1_constant_0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double 0x0000000000000000, undef
+ ret double %r
+}
+
+; Constant folding - special constants: -0.0.
+
+define double @fadd_undef_op0_constant_neg0(double %x) {
+; CHECK-LABEL: @fadd_undef_op0_constant_neg0(
+; CHECK-NEXT: ret double undef
+;
+ %r = fadd double undef, 0x8000000000000000
+ ret double %r
+}
+
+define double @fadd_undef_op1_constant_neg0(double %x) {
+; CHECK-LABEL: @fadd_undef_op1_constant_neg0(
+; CHECK-NEXT: ret double undef
+;
+ %r = fadd double 0x8000000000000000, undef
+ ret double %r
+}
+
+define double @fsub_undef_op0_constant_neg0(double %x) {
+; CHECK-LABEL: @fsub_undef_op0_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double undef, 0x8000000000000000
+ ret double %r
+}
+
+define double @fsub_undef_op1_constant_neg0(double %x) {
+; CHECK-LABEL: @fsub_undef_op1_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double 0x8000000000000000, undef
+ ret double %r
+}
+
+define double @fmul_undef_op0_constant_neg0(double %x) {
+; CHECK-LABEL: @fmul_undef_op0_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double undef, 0x8000000000000000
+ ret double %r
+}
+
+define double @fmul_undef_op1_constant_neg0(double %x) {
+; CHECK-LABEL: @fmul_undef_op1_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double 0x8000000000000000, undef
+ ret double %r
+}
+
+define double @fdiv_undef_op0_constant_neg0(double %x) {
+; CHECK-LABEL: @fdiv_undef_op0_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double undef, 0x8000000000000000
+ ret double %r
+}
+
+define double @fdiv_undef_op1_constant_neg0(double %x) {
+; CHECK-LABEL: @fdiv_undef_op1_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double 0x8000000000000000, undef
+ ret double %r
+}
+
+define double @frem_undef_op0_constant_neg0(double %x) {
+; CHECK-LABEL: @frem_undef_op0_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double undef, 0x8000000000000000
+ ret double %r
+}
+
+define double @frem_undef_op1_constant_neg0(double %x) {
+; CHECK-LABEL: @frem_undef_op1_constant_neg0(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double 0x8000000000000000, undef
+ ret double %r
+}
+
+; Constant folding - special constants: NaN.
+
+define double @fadd_undef_op0_constant_nan(double %x) {
+; CHECK-LABEL: @fadd_undef_op0_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd double undef, 0x7FF8000000000000
+ ret double %r
+}
+
+define double @fadd_undef_op1_fast_constant_nan(double %x) {
+; CHECK-LABEL: @fadd_undef_op1_fast_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd fast double 0xFFF0000000000001, undef
+ ret double %r
+}
+
+define double @fsub_undef_op0_constant_nan(double %x) {
+; CHECK-LABEL: @fsub_undef_op0_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double undef, 0xFFF8000000000010
+ ret double %r
+}
+
+define double @fsub_undef_op1_nnan_constant_nan(double %x) {
+; CHECK-LABEL: @fsub_undef_op1_nnan_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub nnan double 0x7FF0000000000011, undef
+ ret double %r
+}
+
+define double @fmul_undef_op0_constant_nan(double %x) {
+; CHECK-LABEL: @fmul_undef_op0_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double undef, 0x7FF8000000000100
+ ret double %r
+}
+
+define double @fmul_undef_op1_fast_constant_nan(double %x) {
+; CHECK-LABEL: @fmul_undef_op1_fast_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul fast double 0xFFF0000000000101, undef
+ ret double %r
+}
+
+define double @fdiv_undef_op0_constant_nan(double %x) {
+; CHECK-LABEL: @fdiv_undef_op0_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double undef, 0xFFF8000000000110
+ ret double %r
+}
+
+define double @fdiv_undef_op1_nnan_constant_nan(double %x) {
+; CHECK-LABEL: @fdiv_undef_op1_nnan_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv nnan double 0x7FF0000000000111, undef
+ ret double %r
+}
+
+define double @frem_undef_op0_constant_nan(double %x) {
+; CHECK-LABEL: @frem_undef_op0_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double undef, 0x7FF8000000001000
+ ret double %r
+}
+
+define double @frem_undef_op1_fast_constant_nan(double %x) {
+; CHECK-LABEL: @frem_undef_op1_fast_constant_nan(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem fast double 0xFFF0000000001001, undef
+ ret double %r
+}
+
+; Constant folding - special constants: Inf.
+
+define double @fadd_undef_op0_constant_inf(double %x) {
+; CHECK-LABEL: @fadd_undef_op0_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd double undef, 0x7FF0000000000000
+ ret double %r
+}
+
+define double @fadd_undef_op1_fast_constant_inf(double %x) {
+; CHECK-LABEL: @fadd_undef_op1_fast_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fadd fast double 0xFFF0000000000000, undef
+ ret double %r
+}
+
+define double @fsub_undef_op0_constant_inf(double %x) {
+; CHECK-LABEL: @fsub_undef_op0_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub double undef, 0xFFF0000000000000
+ ret double %r
+}
+
+define double @fsub_undef_op1_ninf_constant_inf(double %x) {
+; CHECK-LABEL: @fsub_undef_op1_ninf_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fsub ninf double 0x7FF0000000000000, undef
+ ret double %r
+}
+
+define double @fmul_undef_op0_constant_inf(double %x) {
+; CHECK-LABEL: @fmul_undef_op0_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul double undef, 0x7FF0000000000000
+ ret double %r
+}
+
+define double @fmul_undef_op1_fast_constant_inf(double %x) {
+; CHECK-LABEL: @fmul_undef_op1_fast_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fmul fast double 0xFFF0000000000000, undef
+ ret double %r
+}
+
+define double @fdiv_undef_op0_constant_inf(double %x) {
+; CHECK-LABEL: @fdiv_undef_op0_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv double undef, 0xFFF0000000000000
+ ret double %r
+}
+
+define double @fdiv_undef_op1_ninf_constant_inf(double %x) {
+; CHECK-LABEL: @fdiv_undef_op1_ninf_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = fdiv ninf double 0x7FF0000000000000, undef
+ ret double %r
+}
+
+define double @frem_undef_op0_constant_inf(double %x) {
+; CHECK-LABEL: @frem_undef_op0_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem double undef, 0x7FF0000000000000
+ ret double %r
+}
+
+define double @frem_undef_op1_fast_constant_inf(double %x) {
+; CHECK-LABEL: @frem_undef_op1_fast_constant_inf(
+; CHECK-NEXT: ret double 0x7FF8000000000000
+;
+ %r = frem fast double 0xFFF0000000000000, undef
+ ret double %r
+}
+
+define <2 x double> @fadd_undef_op1_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fadd_undef_op1_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
+;
+ %r = fadd <2 x double> <double 42.0, double undef>, undef
+ ret <2 x double> %r
+}
+
+define <2 x double> @fadd_undef_op0_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fadd_undef_op0_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
+;
+ %r = fadd <2 x double> undef, <double undef, double 42.0>
+ ret <2 x double> %r
+}
+
+define <2 x double> @fsub_undef_op1_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fsub_undef_op1_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
+;
+ %r = fsub <2 x double> <double undef, double 42.0>, undef
+ ret <2 x double> %r
+}
+
+define <2 x double> @fsub_undef_op0_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fsub_undef_op0_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
+;
+ %r = fsub <2 x double> undef, <double 42.0, double undef>
+ ret <2 x double> %r
+}
+
+define <2 x double> @fmul_undef_op1_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fmul_undef_op1_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
+;
+ %r = fmul <2 x double> <double 42.0, double undef>, undef
+ ret <2 x double> %r
+}
+
+define <2 x double> @fmul_undef_op0_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fmul_undef_op0_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
+;
+ %r = fmul <2 x double> undef, <double undef, double 42.0>
+ ret <2 x double> %r
+}
+
+define <2 x double> @fdiv_undef_op1_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fdiv_undef_op1_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
+;
+ %r = fdiv <2 x double> <double 42.0, double undef>, undef
+ ret <2 x double> %r
+}
+
+define <2 x double> @fdiv_undef_op0_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @fdiv_undef_op0_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
+;
+ %r = fdiv <2 x double> undef, <double undef, double 42.0>
+ ret <2 x double> %r
+}
+
+define <2 x double> @frem_undef_op1_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @frem_undef_op1_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
+;
+ %r = frem <2 x double> <double undef, double 42.0>, undef
+ ret <2 x double> %r
+}
+
+define <2 x double> @frem_undef_op0_constant_vec(<2 x double> %x) {
+; CHECK-LABEL: @frem_undef_op0_constant_vec(
+; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
+;
+ %r = frem <2 x double> undef, <double 42.0, double undef>
+ ret <2 x double> %r
+}
+
diff --git a/llvm/test/Transforms/InstSimplify/fp-undef.ll b/llvm/test/Transforms/InstSimplify/fp-undef.ll
index f4a71e99a873..32d219c1835f 100644
--- a/llvm/test/Transforms/InstSimplify/fp-undef.ll
+++ b/llvm/test/Transforms/InstSimplify/fp-undef.ll
@@ -162,372 +162,3 @@ define float @frem_undef_op1_fast(float %x) {
%r = frem fast float %x, undef
ret float %r
}
-
-; Constant folding - undef undef.
-
-define double @fadd_undef_undef(double %x) {
-; CHECK-LABEL: @fadd_undef_undef(
-; CHECK-NEXT: ret double undef
-;
- %r = fadd double undef, undef
- ret double %r
-}
-
-define double @fsub_undef_undef(double %x) {
-; CHECK-LABEL: @fsub_undef_undef(
-; CHECK-NEXT: ret double undef
-;
- %r = fsub double undef, undef
- ret double %r
-}
-
-define double @fmul_undef_undef(double %x) {
-; CHECK-LABEL: @fmul_undef_undef(
-; CHECK-NEXT: ret double undef
-;
- %r = fmul double undef, undef
- ret double %r
-}
-
-define double @fdiv_undef_undef(double %x) {
-; CHECK-LABEL: @fdiv_undef_undef(
-; CHECK-NEXT: ret double undef
-;
- %r = fdiv double undef, undef
- ret double %r
-}
-
-define double @frem_undef_undef(double %x) {
-; CHECK-LABEL: @frem_undef_undef(
-; CHECK-NEXT: ret double undef
-;
- %r = frem double undef, undef
- ret double %r
-}
-
-; Constant folding.
-
-define float @fadd_undef_op0_nnan_constant(float %x) {
-; CHECK-LABEL: @fadd_undef_op0_nnan_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fadd nnan float undef, 1.0
- ret float %r
-}
-
-define float @fadd_undef_op1_constant(float %x) {
-; CHECK-LABEL: @fadd_undef_op1_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fadd float 2.0, undef
- ret float %r
-}
-
-define float @fsub_undef_op0_fast_constant(float %x) {
-; CHECK-LABEL: @fsub_undef_op0_fast_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fsub fast float undef, 3.0
- ret float %r
-}
-
-define float @fsub_undef_op1_constant(float %x) {
-; CHECK-LABEL: @fsub_undef_op1_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fsub float 4.0, undef
- ret float %r
-}
-
-define float @fmul_undef_op0_nnan_constant(float %x) {
-; CHECK-LABEL: @fmul_undef_op0_nnan_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fmul nnan float undef, 5.0
- ret float %r
-}
-
-define float @fmul_undef_op1_constant(float %x) {
-; CHECK-LABEL: @fmul_undef_op1_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fmul float 6.0, undef
- ret float %r
-}
-
-define float @fdiv_undef_op0_fast_constant(float %x) {
-; CHECK-LABEL: @fdiv_undef_op0_fast_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fdiv fast float undef, 7.0
- ret float %r
-}
-
-define float @fdiv_undef_op1_constant(float %x) {
-; CHECK-LABEL: @fdiv_undef_op1_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = fdiv float 8.0, undef
- ret float %r
-}
-
-define float @frem_undef_op0_nnan_constant(float %x) {
-; CHECK-LABEL: @frem_undef_op0_nnan_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = frem nnan float undef, 9.0
- ret float %r
-}
-
-define float @frem_undef_op1_constant(float %x) {
-; CHECK-LABEL: @frem_undef_op1_constant(
-; CHECK-NEXT: ret float 0x7FF8000000000000
-;
- %r = frem float 10.0, undef
- ret float %r
-}
-
-; Constant folding - special constants: NaN.
-
-define double @fadd_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: @fadd_undef_op0_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fadd double undef, 0x7FF8000000000000
- ret double %r
-}
-
-define double @fadd_undef_op1_fast_constant_nan(double %x) {
-; CHECK-LABEL: @fadd_undef_op1_fast_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fadd fast double 0xFFF0000000000001, undef
- ret double %r
-}
-
-define double @fsub_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: @fsub_undef_op0_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fsub double undef, 0xFFF8000000000010
- ret double %r
-}
-
-define double @fsub_undef_op1_nnan_constant_nan(double %x) {
-; CHECK-LABEL: @fsub_undef_op1_nnan_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fsub nnan double 0x7FF0000000000011, undef
- ret double %r
-}
-
-define double @fmul_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: @fmul_undef_op0_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fmul double undef, 0x7FF8000000000100
- ret double %r
-}
-
-define double @fmul_undef_op1_fast_constant_nan(double %x) {
-; CHECK-LABEL: @fmul_undef_op1_fast_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fmul fast double 0xFFF0000000000101, undef
- ret double %r
-}
-
-define double @fdiv_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: @fdiv_undef_op0_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fdiv double undef, 0xFFF8000000000110
- ret double %r
-}
-
-define double @fdiv_undef_op1_nnan_constant_nan(double %x) {
-; CHECK-LABEL: @fdiv_undef_op1_nnan_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fdiv nnan double 0x7FF0000000000111, undef
- ret double %r
-}
-
-define double @frem_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: @frem_undef_op0_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = frem double undef, 0x7FF8000000001000
- ret double %r
-}
-
-define double @frem_undef_op1_fast_constant_nan(double %x) {
-; CHECK-LABEL: @frem_undef_op1_fast_constant_nan(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = frem fast double 0xFFF0000000001001, undef
- ret double %r
-}
-
-; Constant folding - special constants: Inf.
-
-define double @fadd_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: @fadd_undef_op0_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fadd double undef, 0x7FF0000000000000
- ret double %r
-}
-
-define double @fadd_undef_op1_fast_constant_inf(double %x) {
-; CHECK-LABEL: @fadd_undef_op1_fast_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fadd fast double 0xFFF0000000000000, undef
- ret double %r
-}
-
-define double @fsub_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: @fsub_undef_op0_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fsub double undef, 0xFFF0000000000000
- ret double %r
-}
-
-define double @fsub_undef_op1_ninf_constant_inf(double %x) {
-; CHECK-LABEL: @fsub_undef_op1_ninf_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fsub ninf double 0x7FF0000000000000, undef
- ret double %r
-}
-
-define double @fmul_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: @fmul_undef_op0_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fmul double undef, 0x7FF0000000000000
- ret double %r
-}
-
-define double @fmul_undef_op1_fast_constant_inf(double %x) {
-; CHECK-LABEL: @fmul_undef_op1_fast_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fmul fast double 0xFFF0000000000000, undef
- ret double %r
-}
-
-define double @fdiv_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: @fdiv_undef_op0_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fdiv double undef, 0xFFF0000000000000
- ret double %r
-}
-
-define double @fdiv_undef_op1_ninf_constant_inf(double %x) {
-; CHECK-LABEL: @fdiv_undef_op1_ninf_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = fdiv ninf double 0x7FF0000000000000, undef
- ret double %r
-}
-
-define double @frem_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: @frem_undef_op0_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = frem double undef, 0x7FF0000000000000
- ret double %r
-}
-
-define double @frem_undef_op1_fast_constant_inf(double %x) {
-; CHECK-LABEL: @frem_undef_op1_fast_constant_inf(
-; CHECK-NEXT: ret double 0x7FF8000000000000
-;
- %r = frem fast double 0xFFF0000000000000, undef
- ret double %r
-}
-
-define <2 x double> @fadd_undef_op1_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fadd_undef_op1_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
-;
- %r = fadd <2 x double> <double 42.0, double undef>, undef
- ret <2 x double> %r
-}
-
-define <2 x double> @fadd_undef_op0_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fadd_undef_op0_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
-;
- %r = fadd <2 x double> undef, <double undef, double 42.0>
- ret <2 x double> %r
-}
-
-define <2 x double> @fsub_undef_op1_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fsub_undef_op1_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
-;
- %r = fsub <2 x double> <double undef, double 42.0>, undef
- ret <2 x double> %r
-}
-
-define <2 x double> @fsub_undef_op0_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fsub_undef_op0_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
-;
- %r = fsub <2 x double> undef, <double 42.0, double undef>
- ret <2 x double> %r
-}
-
-define <2 x double> @fmul_undef_op1_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fmul_undef_op1_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
-;
- %r = fmul <2 x double> <double 42.0, double undef>, undef
- ret <2 x double> %r
-}
-
-define <2 x double> @fmul_undef_op0_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fmul_undef_op0_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
-;
- %r = fmul <2 x double> undef, <double undef, double 42.0>
- ret <2 x double> %r
-}
-
-define <2 x double> @fdiv_undef_op1_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fdiv_undef_op1_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
-;
- %r = fdiv <2 x double> <double 42.0, double undef>, undef
- ret <2 x double> %r
-}
-
-define <2 x double> @fdiv_undef_op0_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @fdiv_undef_op0_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
-;
- %r = fdiv <2 x double> undef, <double undef, double 42.0>
- ret <2 x double> %r
-}
-
-define <2 x double> @frem_undef_op1_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @frem_undef_op1_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double undef, double 0x7FF8000000000000>
-;
- %r = frem <2 x double> <double undef, double 42.0>, undef
- ret <2 x double> %r
-}
-
-define <2 x double> @frem_undef_op0_constant_vec(<2 x double> %x) {
-; CHECK-LABEL: @frem_undef_op0_constant_vec(
-; CHECK-NEXT: ret <2 x double> <double 0x7FF8000000000000, double undef>
-;
- %r = frem <2 x double> undef, <double 42.0, double undef>
- ret <2 x double> %r
-}
-
More information about the llvm-commits
mailing list