[llvm] r332486 - [x86] add run with unsafe global param; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed May 16 09:23:41 PDT 2018
Author: spatel
Date: Wed May 16 09:23:41 2018
New Revision: 332486
URL: http://llvm.org/viewvc/llvm-project?rev=332486&view=rev
Log:
[x86] add run with unsafe global param; NFC
Modified:
llvm/trunk/test/CodeGen/X86/fp-undef.ll
Modified: llvm/trunk/test/CodeGen/X86/fp-undef.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-undef.ll?rev=332486&r1=332485&r2=332486&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-undef.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-undef.ll Wed May 16 09:23:41 2018
@@ -1,91 +1,120 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
-; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=ANY,STRICT
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -enable-unsafe-fp-math | FileCheck %s --check-prefixes=ANY,UNSAFE
; This is duplicated from tests for InstSimplify. If you're
; adding something here, you should probably add it there too.
define float @fadd_undef_op0(float %x) {
-; CHECK-LABEL: fadd_undef_op0:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op0:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op0:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fadd float undef, %x
ret float %r
}
define float @fadd_undef_op1(float %x) {
-; CHECK-LABEL: fadd_undef_op1:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op1:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op1:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fadd float %x, undef
ret float %r
}
define float @fsub_undef_op0(float %x) {
-; CHECK-LABEL: fsub_undef_op0:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_op0:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fsub float undef, %x
ret float %r
}
define float @fsub_undef_op1(float %x) {
-; CHECK-LABEL: fsub_undef_op1:
-; CHECK: # %bb.0:
-; CHECK-NEXT: subss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fsub_undef_op1:
+; STRICT: # %bb.0:
+; STRICT-NEXT: subss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fsub_undef_op1:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fsub float %x, undef
ret float %r
}
define float @fmul_undef_op0(float %x) {
-; CHECK-LABEL: fmul_undef_op0:
-; CHECK: # %bb.0:
-; CHECK-NEXT: mulss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op0:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op0:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fmul float undef, %x
ret float %r
}
define float @fmul_undef_op1(float %x) {
-; CHECK-LABEL: fmul_undef_op1:
-; CHECK: # %bb.0:
-; CHECK-NEXT: mulss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op1:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op1:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fmul float %x, undef
ret float %r
}
define float @fdiv_undef_op0(float %x) {
-; CHECK-LABEL: fdiv_undef_op0:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_op0:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fdiv float undef, %x
ret float %r
}
define float @fdiv_undef_op1(float %x) {
-; CHECK-LABEL: fdiv_undef_op1:
-; CHECK: # %bb.0:
-; CHECK-NEXT: divss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fdiv_undef_op1:
+; STRICT: # %bb.0:
+; STRICT-NEXT: divss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fdiv_undef_op1:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fdiv float %x, undef
ret float %r
}
define float @frem_undef_op0(float %x) {
-; CHECK-LABEL: frem_undef_op0:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_op0:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = frem float undef, %x
ret float %r
}
define float @frem_undef_op1(float %x) {
-; CHECK-LABEL: frem_undef_op1:
-; CHECK: # %bb.0:
-; CHECK-NEXT: jmp fmodf # TAILCALL
+; STRICT-LABEL: frem_undef_op1:
+; STRICT: # %bb.0:
+; STRICT-NEXT: jmp fmodf # TAILCALL
+;
+; UNSAFE-LABEL: frem_undef_op1:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = frem float %x, undef
ret float %r
}
@@ -93,87 +122,115 @@ define float @frem_undef_op1(float %x) {
; Repeat all tests with fast-math-flags. Alternate 'nnan' and 'fast' for more coverage.
define float @fadd_undef_op0_nnan(float %x) {
-; CHECK-LABEL: fadd_undef_op0_nnan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op0_nnan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op0_nnan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fadd nnan float undef, %x
ret float %r
}
define float @fadd_undef_op1_fast(float %x) {
-; CHECK-LABEL: fadd_undef_op1_fast:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op1_fast:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op1_fast:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fadd fast float %x, undef
ret float %r
}
define float @fsub_undef_op0_fast(float %x) {
-; CHECK-LABEL: fsub_undef_op0_fast:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_op0_fast:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fsub fast float undef, %x
ret float %r
}
define float @fsub_undef_op1_nnan(float %x) {
-; CHECK-LABEL: fsub_undef_op1_nnan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: subss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fsub_undef_op1_nnan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: subss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fsub_undef_op1_nnan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fsub nnan float %x, undef
ret float %r
}
define float @fmul_undef_op0_nnan(float %x) {
-; CHECK-LABEL: fmul_undef_op0_nnan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: mulss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op0_nnan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op0_nnan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fmul nnan float undef, %x
ret float %r
}
define float @fmul_undef_op1_fast(float %x) {
-; CHECK-LABEL: fmul_undef_op1_fast:
-; CHECK: # %bb.0:
-; CHECK-NEXT: mulss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op1_fast:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op1_fast:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fmul fast float %x, undef
ret float %r
}
define float @fdiv_undef_op0_fast(float %x) {
-; CHECK-LABEL: fdiv_undef_op0_fast:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_op0_fast:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fdiv fast float undef, %x
ret float %r
}
define float @fdiv_undef_op1_nnan(float %x) {
-; CHECK-LABEL: fdiv_undef_op1_nnan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: divss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fdiv_undef_op1_nnan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: divss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fdiv_undef_op1_nnan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fdiv nnan float %x, undef
ret float %r
}
define float @frem_undef_op0_nnan(float %x) {
-; CHECK-LABEL: frem_undef_op0_nnan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_op0_nnan:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = frem nnan float undef, %x
ret float %r
}
define float @frem_undef_op1_fast(float %x) {
-; CHECK-LABEL: frem_undef_op1_fast:
-; CHECK: # %bb.0:
-; CHECK-NEXT: jmp fmodf # TAILCALL
+; STRICT-LABEL: frem_undef_op1_fast:
+; STRICT: # %bb.0:
+; STRICT-NEXT: jmp fmodf # TAILCALL
+;
+; UNSAFE-LABEL: frem_undef_op1_fast:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = frem fast float %x, undef
ret float %r
}
@@ -181,43 +238,51 @@ define float @frem_undef_op1_fast(float
; Constant folding - undef undef.
define double @fadd_undef_undef(double %x) {
-; CHECK-LABEL: fadd_undef_undef:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_undef:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_undef:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fadd double undef, undef
ret double %r
}
define double @fsub_undef_undef(double %x) {
-; CHECK-LABEL: fsub_undef_undef:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_undef:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fsub double undef, undef
ret double %r
}
define double @fmul_undef_undef(double %x) {
-; CHECK-LABEL: fmul_undef_undef:
-; CHECK: # %bb.0:
-; CHECK-NEXT: mulsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_undef:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_undef:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = fmul double undef, undef
ret double %r
}
define double @fdiv_undef_undef(double %x) {
-; CHECK-LABEL: fdiv_undef_undef:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_undef:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = fdiv double undef, undef
ret double %r
}
define double @frem_undef_undef(double %x) {
-; CHECK-LABEL: frem_undef_undef:
-; CHECK: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_undef:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%r = frem double undef, undef
ret double %r
}
@@ -225,90 +290,118 @@ define double @frem_undef_undef(double %
; Constant folding.
define float @fadd_undef_op0_nnan_constant(float %x) {
-; CHECK-LABEL: fadd_undef_op0_nnan_constant:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addss {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op0_nnan_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op0_nnan_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: addss {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op1_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addss {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op1_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_op0_fast_constant:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
-; CHECK-NEXT: subss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fsub_undef_op1_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; STRICT-NEXT: subss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fsub_undef_op1_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulss {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op0_nnan_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op0_nnan_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulss {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op1_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulss {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op1_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_op0_fast_constant:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
-; CHECK-NEXT: divss %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fdiv_undef_op1_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; STRICT-NEXT: divss %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fdiv_undef_op1_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_op0_nnan_constant:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
-; CHECK-NEXT: jmp fmodf # TAILCALL
+; STRICT-LABEL: frem_undef_op1_constant:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
+; STRICT-NEXT: jmp fmodf # TAILCALL
+;
+; UNSAFE-LABEL: frem_undef_op1_constant:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = frem float 10.0, undef
ret float %r
}
@@ -316,90 +409,118 @@ define float @frem_undef_op1_constant(fl
; Constant folding - special constants: NaN.
define double @fadd_undef_op0_constant_nan(double %x) {
-; CHECK-LABEL: fadd_undef_op0_constant_nan:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op0_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op0_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op1_fast_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op1_fast_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_op0_constant_nan:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: subsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fsub_undef_op1_nnan_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: subsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fsub_undef_op1_nnan_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op0_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op0_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op1_fast_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op1_fast_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_op0_constant_nan:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: divsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fdiv_undef_op1_nnan_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: divsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fdiv_undef_op1_nnan_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_op0_constant_nan:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: jmp fmod # TAILCALL
+; STRICT-LABEL: frem_undef_op1_fast_constant_nan:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: jmp fmod # TAILCALL
+;
+; UNSAFE-LABEL: frem_undef_op1_fast_constant_nan:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = frem fast double 0xFFF0000000001001, undef
ret double %r
}
@@ -407,90 +528,118 @@ define double @frem_undef_op1_fast_const
; Constant folding - special constants: Inf.
define double @fadd_undef_op0_constant_inf(double %x) {
-; CHECK-LABEL: fadd_undef_op0_constant_inf:
-; CHECK: # %bb.0:
-; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op0_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op0_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: addsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fadd_undef_op1_fast_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fadd_undef_op1_fast_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fsub_undef_op0_constant_inf:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: subsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fsub_undef_op1_ninf_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: subsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fsub_undef_op1_ninf_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op0_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op0_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fmul_undef_op1_fast_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fmul_undef_op1_fast_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: fdiv_undef_op0_constant_inf:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: divsd %xmm0, %xmm0
-; CHECK-NEXT: retq
+; STRICT-LABEL: fdiv_undef_op1_ninf_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: divsd %xmm0, %xmm0
+; STRICT-NEXT: retq
+;
+; UNSAFE-LABEL: fdiv_undef_op1_ninf_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: retq
+; ANY-LABEL: frem_undef_op0_constant_inf:
+; ANY: # %bb.0:
+; ANY-NEXT: retq
%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: # %bb.0:
-; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
-; CHECK-NEXT: jmp fmod # TAILCALL
+; STRICT-LABEL: frem_undef_op1_fast_constant_inf:
+; STRICT: # %bb.0:
+; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
+; STRICT-NEXT: jmp fmod # TAILCALL
+;
+; UNSAFE-LABEL: frem_undef_op1_fast_constant_inf:
+; UNSAFE: # %bb.0:
+; UNSAFE-NEXT: retq
%r = frem fast double 0xFFF0000000000000, undef
ret double %r
}
More information about the llvm-commits
mailing list