From 6c819a817d2e877590577e17844e22a49496d190 Mon Sep 17 00:00:00 2001
From: Pavel Punegov <pavel.punegov@jetbrains.com>
Date: Thu, 9 Aug 2018 14:10:57 +0300
Subject: [PATCH] Don't run -ProperIeee754Comparisons

---
 .../src/main/groovy/org/jetbrains/kotlin/KonanTest.groovy   | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/buildSrc/plugins/src/main/groovy/org/jetbrains/kotlin/KonanTest.groovy b/buildSrc/plugins/src/main/groovy/org/jetbrains/kotlin/KonanTest.groovy
index b0d6b34fa5b..fc6928d7150 100644
--- a/buildSrc/plugins/src/main/groovy/org/jetbrains/kotlin/KonanTest.groovy
+++ b/buildSrc/plugins/src/main/groovy/org/jetbrains/kotlin/KonanTest.groovy
@@ -857,6 +857,12 @@ fun runTest() {
             return false
         }
 
+        def inproperIeee754Comparisons = findLinesWithPrefixesRemoved(text, '// !LANGUAGE: ')
+        if (inproperIeee754Comparisons.contains('-ProperIeee754Comparisons')) {
+            // K/N supports only proper IEEE754 comparisons
+            return false
+        }
+
         def version = findLinesWithPrefixesRemoved(text, '// LANGUAGE_VERSION: ')
         if (version.size() != 0 && version.contains("1.3")) {
             // 1.3 is not yet supported