Skip to content

Commit 2441d8e

Browse files
committed
[flang] Make REAL/COMPLEX(10) a hard error for non-x86 targets
Currently the use of REAL/COMPLEX(KIND=10) as a type or literal constant suffix elicits an optional warning message only. This leads to compiler internal errors during lowering when these types appear in code being compiled to non-x86_64 targets. For better error messaging, make the use of these types a hard error in semantics instead when they are not supported by the target architecture.
1 parent 285009f commit 2441d8e

30 files changed

+75
-64
lines changed

flang/include/flang/Common/Fortran-features.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ ENUM_CLASS(UsageWarning, Portability, PointerToUndefinable,
7171
ZeroDoStep, UnusedForallIndex, OpenMPUsage, DataLength, IgnoredDirective,
7272
HomonymousSpecific, HomonymousResult, IgnoredIntrinsicFunctionType,
7373
PreviousScalarUse, RedeclaredInaccessibleComponent, ImplicitShared,
74-
IndexVarRedefinition, IncompatibleImplicitInterfaces, BadTypeForTarget,
74+
IndexVarRedefinition, IncompatibleImplicitInterfaces,
7575
VectorSubscriptFinalization, UndefinedFunctionResult, UselessIomsg,
7676
MismatchingDummyProcedure, SubscriptedEmptyArray, UnsignedLiteralTruncation,
7777
CompatibleDeclarationsFromDistinctModules)

flang/lib/Common/Fortran-features.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,6 @@ LanguageFeatureControl::LanguageFeatureControl() {
7979
warnUsage_.set(UsageWarning::ImplicitShared);
8080
warnUsage_.set(UsageWarning::IndexVarRedefinition);
8181
warnUsage_.set(UsageWarning::IncompatibleImplicitInterfaces);
82-
warnUsage_.set(UsageWarning::BadTypeForTarget);
8382
warnUsage_.set(UsageWarning::VectorSubscriptFinalization);
8483
warnUsage_.set(UsageWarning::UndefinedFunctionResult);
8584
warnUsage_.set(UsageWarning::UselessIomsg);

flang/lib/Semantics/expression.cpp

Lines changed: 2 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -4079,8 +4079,7 @@ bool ExpressionAnalyzer::CheckIntrinsicKind(
40794079
return true;
40804080
} else if (foldingContext_.targetCharacteristics().CanSupportType(
40814081
category, kind)) {
4082-
Warn(common::UsageWarning::BadTypeForTarget,
4083-
"%s(KIND=%jd) is not an enabled type for this target"_warn_en_US,
4082+
Say("%s(KIND=%jd) is not an enabled type for this target"_err_en_US,
40844083
ToUpperCase(EnumToString(category)), kind);
40854084
return true;
40864085
} else {
@@ -4102,20 +4101,7 @@ bool ExpressionAnalyzer::CheckIntrinsicSize(
41024101
return false;
41034102
}
41044103
}
4105-
if (foldingContext_.targetCharacteristics().IsTypeEnabled(
4106-
category, kind)) { // C712, C714, C715, C727
4107-
return true;
4108-
} else if (foldingContext_.targetCharacteristics().CanSupportType(
4109-
category, kind)) {
4110-
Warn(common::UsageWarning::BadTypeForTarget,
4111-
"%s*%jd is not an enabled type for this target"_warn_en_US,
4112-
ToUpperCase(EnumToString(category)), size);
4113-
return true;
4114-
} else {
4115-
Say("%s*%jd is not a supported type"_err_en_US,
4116-
ToUpperCase(EnumToString(category)), size);
4117-
return false;
4118-
}
4104+
return CheckIntrinsicKind(category, kind);
41194105
}
41204106

41214107
bool ExpressionAnalyzer::AddImpliedDo(parser::CharBlock name, int kind) {

flang/test/Evaluate/rewrite-out_of_range.F90

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
! Tests rewriting of OUT_OF_RANGE()
2+
! REQUIRES: x86-registered-target
23
! RUN: %flang_fc1 -fdebug-unparse -cpp %s 2>&1 | FileCheck %s --check-prefixes=CHECK%if target=x86_64{{.*}} %{,CHECK-X86-64%}
34

45
logical round

flang/test/Lower/Intrinsics/aint.f90

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s
1+
! REQUIRES: x86_64-registered-target
2+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir -hlfir=false -target x86_64-unknown-linux-gnu %s -o - | FileCheck %s
23

34
! CHECK-LABEL: func @_QPaint_test(
45
! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<f32>{{.*}}, %[[VAL_1:.*]]: !fir.ref<f32>{{.*}}) {

flang/test/Lower/Intrinsics/anint.f90

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s
1+
! REQUIRES: x86_64-registered-target
2+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir -hlfir=false -target x86_64-unknown-linux-gnu %s -o - | FileCheck %s
23

34
! CHECK-LABEL: func.func @_QPanint_test(
45
! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<f32> {fir.bindc_name = "a"},

flang/test/Lower/Intrinsics/dot_product.f90

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s
2-
! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir %s -o - | FileCheck %s
1+
! REQUIRES: x86_64-registered-target
2+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir -hlfir=false %s -o - | FileCheck %s
3+
! RUN: %flang_fc1 -target x86_64-unknown-linux-gnu -emit-fir -flang-deprecated-no-hlfir %s -o - | FileCheck %s
34

45
! DOT_PROD
56
! CHECK-LABEL: dot_prod_int_default

flang/test/Lower/Intrinsics/exponent.f90

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
! RUN: bbc -emit-fir %s -o - | FileCheck %s
1+
! REQUIRES: x86_64-registered-target
2+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir %s -o - | FileCheck %s
23

34
! EXPONENT
45
! CHECK-LABEL: exponent_test

flang/test/Lower/Intrinsics/fraction.f90

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
! RUN: bbc -emit-fir %s -o - | FileCheck %s
1+
! REQUIRES: x86_64-registered-target
2+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir %s -o - | FileCheck %s
23

34
! FRACTION
45
! CHECK-LABE: fraction_test

flang/test/Lower/Intrinsics/ieee_class_queries.f90

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
! REQUIRES: flang-supports-f128-math
2-
! RUN: bbc -emit-fir -o - %s | FileCheck %s
2+
! REQUIRES: x86_64-registered-target
3+
! RUN: bbc -target x86_64-unknown-linux-gnu -emit-fir -o - %s | FileCheck %s
34

45
! CHECK-LABEL: func @_QQmain
56
use ieee_arithmetic, only: ieee_is_finite, ieee_is_nan, ieee_is_negative, &

0 commit comments

Comments
 (0)