[llvm] r327631 - [InstSimplify] add tests with NaN operand for fp binops; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Mar 15 07:48:39 PDT 2018
Author: spatel
Date: Thu Mar 15 07:48:39 2018
New Revision: 327631
URL: http://llvm.org/viewvc/llvm-project?rev=327631&view=rev
Log:
[InstSimplify] add tests with NaN operand for fp binops; NFC
Added:
llvm/trunk/test/Transforms/InstSimplify/fp-nan.ll
Added: llvm/trunk/test/Transforms/InstSimplify/fp-nan.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/fp-nan.ll?rev=327631&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/fp-nan.ll (added)
+++ llvm/trunk/test/Transforms/InstSimplify/fp-nan.ll Thu Mar 15 07:48:39 2018
@@ -0,0 +1,185 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instsimplify -S | FileCheck %s
+
+define float @fadd_nan_op0(float %x) {
+; CHECK-LABEL: @fadd_nan_op0(
+; CHECK-NEXT: [[R:%.*]] = fadd float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fadd float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fadd_nan_op1(float %x) {
+; CHECK-LABEL: @fadd_nan_op1(
+; CHECK-NEXT: [[R:%.*]] = fadd float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fadd float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fsub_nan_op0(float %x) {
+; CHECK-LABEL: @fsub_nan_op0(
+; CHECK-NEXT: [[R:%.*]] = fsub float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fsub float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fsub_nan_op1(float %x) {
+; CHECK-LABEL: @fsub_nan_op1(
+; CHECK-NEXT: [[R:%.*]] = fsub float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fsub float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fmul_nan_op0(float %x) {
+; CHECK-LABEL: @fmul_nan_op0(
+; CHECK-NEXT: [[R:%.*]] = fmul float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fmul float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fmul_nan_op1(float %x) {
+; CHECK-LABEL: @fmul_nan_op1(
+; CHECK-NEXT: [[R:%.*]] = fmul float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fmul float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fdiv_nan_op0(float %x) {
+; CHECK-LABEL: @fdiv_nan_op0(
+; CHECK-NEXT: [[R:%.*]] = fdiv float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fdiv float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fdiv_nan_op1(float %x) {
+; CHECK-LABEL: @fdiv_nan_op1(
+; CHECK-NEXT: [[R:%.*]] = fdiv float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fdiv float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @frem_nan_op0(float %x) {
+; CHECK-LABEL: @frem_nan_op0(
+; CHECK-NEXT: [[R:%.*]] = frem float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = frem float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @frem_nan_op1(float %x) {
+; CHECK-LABEL: @frem_nan_op1(
+; CHECK-NEXT: [[R:%.*]] = frem float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = frem float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+; Repeat all tests with fast-math-flags. Alternate 'nnan' and 'fast' for more coverage.
+
+define float @fadd_nan_op0_nnan(float %x) {
+; CHECK-LABEL: @fadd_nan_op0_nnan(
+; CHECK-NEXT: [[R:%.*]] = fadd nnan float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fadd nnan float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fadd_nan_op1_fast(float %x) {
+; CHECK-LABEL: @fadd_nan_op1_fast(
+; CHECK-NEXT: [[R:%.*]] = fadd fast float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fadd fast float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fsub_nan_op0_fast(float %x) {
+; CHECK-LABEL: @fsub_nan_op0_fast(
+; CHECK-NEXT: [[R:%.*]] = fsub fast float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fsub fast float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fsub_nan_op1_nnan(float %x) {
+; CHECK-LABEL: @fsub_nan_op1_nnan(
+; CHECK-NEXT: [[R:%.*]] = fsub nnan float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fsub nnan float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fmul_nan_op0_nnan(float %x) {
+; CHECK-LABEL: @fmul_nan_op0_nnan(
+; CHECK-NEXT: [[R:%.*]] = fmul nnan float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fmul nnan float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fmul_nan_op1_fast(float %x) {
+; CHECK-LABEL: @fmul_nan_op1_fast(
+; CHECK-NEXT: [[R:%.*]] = fmul fast float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fmul fast float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @fdiv_nan_op0_fast(float %x) {
+; CHECK-LABEL: @fdiv_nan_op0_fast(
+; CHECK-NEXT: [[R:%.*]] = fdiv fast float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fdiv fast float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @fdiv_nan_op1_nnan(float %x) {
+; CHECK-LABEL: @fdiv_nan_op1_nnan(
+; CHECK-NEXT: [[R:%.*]] = fdiv nnan float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = fdiv nnan float %x, 0x7FF8000000000000
+ ret float %r
+}
+
+define float @frem_nan_op0_nnan(float %x) {
+; CHECK-LABEL: @frem_nan_op0_nnan(
+; CHECK-NEXT: [[R:%.*]] = frem nnan float 0x7FF8000000000000, [[X:%.*]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = frem nnan float 0x7FF8000000000000, %x
+ ret float %r
+}
+
+define float @frem_nan_op1_fast(float %x) {
+; CHECK-LABEL: @frem_nan_op1_fast(
+; CHECK-NEXT: [[R:%.*]] = frem fast float [[X:%.*]], 0x7FF8000000000000
+; CHECK-NEXT: ret float [[R]]
+;
+ %r = frem fast float %x, 0x7FF8000000000000
+ ret float %r
+}
+
More information about the llvm-commits
mailing list