255 lines · c
1// Test that incompatible combinations of -ffp-model= options2// and other floating point options get a warning diagnostic.3//4 5// RUN: %clang -### -ffp-model=aggressive -ffp-contract=off -c %s 2>&1 \6// RUN: | FileCheck --check-prefix=WARN %s7// WARN: warning: overriding '-ffp-model=aggressive' option with '-ffp-contract=off' [-Woverriding-option]8 9// RUN: %clang -### -ffp-model=fast -ffp-contract=off -c %s 2>&1 \10// RUN: | FileCheck --check-prefix=WARN0 %s11// WARN0: warning: overriding '-ffp-model=fast' option with '-ffp-contract=off' [-Woverriding-option]12 13// RUN: %clang -### -ffp-model=aggressive -ffp-contract=on -c %s 2>&1 \14// RUN: | FileCheck --check-prefix=WARN1 %s15// WARN1: warning: overriding '-ffp-model=aggressive' option with '-ffp-contract=on' [-Woverriding-option]16 17// RUN: %clang -### -ffp-model=strict -fassociative-math -c %s 2>&1 \18// RUN: | FileCheck --check-prefix=WARN2 %s19// WARN2: warning: overriding '-ffp-model=strict' option with '-fassociative-math' [-Woverriding-option]20 21// RUN: %clang -### -ffp-model=strict -ffast-math -c %s 2>&1 \22// RUN: | FileCheck --check-prefix=WARN3 %s23// WARN3: warning: overriding '-ffp-model=strict' option with '-ffast-math' [-Woverriding-option]24 25// RUN: %clang -### -ffp-model=strict -ffinite-math-only -c %s 2>&1 \26// RUN: | FileCheck --check-prefix=WARN4 %s27// WARN4: warning: overriding '-ffp-model=strict' option with '-ffinite-math-only' [-Woverriding-option]28 29// RUN: %clang -### -ffp-model=strict -ffp-contract=fast -c %s 2>&1 \30// RUN: | FileCheck --check-prefix=WARN5 %s31// WARN5: warning: overriding '-ffp-model=strict' option with '-ffp-contract=fast' [-Woverriding-option]32 33// RUN: %clang -### -ffp-model=strict -ffp-contract=on -c %s 2>&1 \34// RUN: | FileCheck --check-prefix=WARN7 %s35// WARN7: warning: overriding '-ffp-model=strict' option with '-ffp-contract=on' [-Woverriding-option]36 37// RUN: %clang -### -ffp-model=strict -fno-honor-infinities -c %s 2>&1 \38// RUN: | FileCheck --check-prefix=WARN8 %s39// WARN8: warning: overriding '-ffp-model=strict' option with '-fno-honor-infinities' [-Woverriding-option]40 41// RUN: %clang -### -ffp-model=strict -fno-honor-nans -c %s 2>&1 \42// RUN: | FileCheck --check-prefix=WARN9 %s43// WARN9: warning: overriding '-ffp-model=strict' option with '-fno-honor-nans' [-Woverriding-option]44 45// RUN: %clang -### -ffp-model=strict -fno-rounding-math -c %s 2>&1 \46// RUN: | FileCheck --check-prefix=WARNa %s47// WARNa: warning: overriding '-ffp-model=strict' option with '-fno-rounding-math' [-Woverriding-option]48 49// RUN: %clang -### -ffp-model=strict -fno-signed-zeros -c %s 2>&1 \50// RUN: | FileCheck --check-prefix=WARNb %s51// WARNb: warning: overriding '-ffp-model=strict' option with '-fno-signed-zeros' [-Woverriding-option]52 53// RUN: %clang -### -ffp-model=strict -fno-trapping-math -c %s 2>&1 \54// RUN: | FileCheck --check-prefix=WARNc %s55// WARNc: warning: overriding '-ffp-model=strict' option with '-fno-trapping-math' [-Woverriding-option]56 57// RUN: %clang -### -ffp-model=strict -freciprocal-math -c %s 2>&1 \58// RUN: | FileCheck --check-prefix=WARNd %s59// WARNd: warning: overriding '-ffp-model=strict' option with '-freciprocal-math' [-Woverriding-option]60 61// RUN: %clang -### -ffp-model=strict -funsafe-math-optimizations -c %s 2>&1 \62// RUN: | FileCheck --check-prefix=WARNe %s63// WARNe: warning: overriding '-ffp-model=strict' option with '-funsafe-math-optimizations' [-Woverriding-option]64 65// RUN: %clang -### -ffp-model=strict -Ofast -c %s 2>&1 \66// RUN: | FileCheck --check-prefix=WARNf %s67// WARNf: warning: overriding '-ffp-model=strict' option with '-Ofast' [-Woverriding-option]68 69// RUN: %clang -### -ffp-model=strict -fdenormal-fp-math=preserve-sign,preserve-sign -c %s 2>&1 \70// RUN: | FileCheck --check-prefix=WARN10 %s71// WARN10: "-cc1"72// WARN10-NOT: warning: overriding '-ffp-model=strict' option with '-fdenormal-fp-math=preserve-sign,preserve-sign' [-Woverriding-option]73 74// RUN: %clang -### -ffp-model=fast -ffp-model=strict -c %s 2>&1 | FileCheck \75// RUN: --check-prefix=WARN11 %s76// WARN11: warning: overriding '-ffp-model=fast' option with '-ffp-model=strict' [-Woverriding-option]77// WARN11-NOT: warning: overriding '-ffp-model=strict' option with '-ffp-model=strict' [-Woverriding-option]78 79// RUN: %clang -### -Ofast -ffp-model=strict -c %s 2>&1 | FileCheck \80// RUN: --check-prefix=WARN12 %s81// WARN12: warning: overriding '-ffp-model=strict' option with '-Ofast'82 83// RUN: %clang -### -ffast-math -ffp-model=strict -c %s 2>&1 | FileCheck \84// RUN: --check-prefix=CHECK-FASTMATH-FPM-STRICT %s85 86// RUN: %clang -### -ffp-model=strict -fapprox-func -c %s 2>&1 \87// RUN: | FileCheck --check-prefix=WARN13 %s88// WARN13: warning: overriding '-ffp-model=strict' option with '-fapprox-func' [-Woverriding-option]89 90// RUN: %clang -### -ffp-model=precise -ffp-contract=off -c %s 2>&1 \91// RUN: | FileCheck --check-prefix=WARN14 %s92// WARN14: warning: overriding '-ffp-model=precise' option with '-ffp-contract=off' [-Woverriding-option]93 94// RUN: %clang -### -ffp-model=precise -ffp-contract=fast -c %s 2>&1 \95// RUN: | FileCheck --check-prefix=WARN15 %s96// WARN15: warning: overriding '-ffp-model=precise' option with '-ffp-contract=fast' [-Woverriding-option]97 98// RUN: %clang -### -ffp-model=strict -fassociative-math -ffp-contract=on \99// RUN: -c %s 2>&1 | FileCheck --check-prefix=WARN16 %s100// WARN16: warning: overriding '-ffp-model=strict' option with '-fassociative-math' [-Woverriding-option]101// WARN16: warning: overriding '-ffp-model=strict' option with '-ffp-contract=on' [-Woverriding-option]102 103// RUN: %clang -### -c %s 2>&1 \104// RUN: | FileCheck --check-prefix=CHECK-NOROUND %s105// CHECK-NOROUND: "-cc1"106// CHECK-NOROUND-SAME: "-fno-rounding-math"107 108// RUN: %clang -### -frounding-math -c %s 2>&1 \109// RUN: | FileCheck --check-prefix=CHECK-ROUND --implicit-check-not ffp-exception-behavior=strict %s110// CHECK-ROUND: "-cc1"111// CHECK-ROUND-SAME: "-frounding-math"112 113// RUN: %clang -### -ftrapping-math -c %s 2>&1 \114// RUN: | FileCheck --check-prefix=CHECK-TRAP %s115// CHECK-TRAP: "-cc1"116// CHECK-TRAP-SAME: "-ffp-exception-behavior=strict"117 118// RUN: %clang -### -nostdinc -ffp-model=aggressive -c %s 2>&1 \119// RUN: | FileCheck --check-prefix=CHECK-FPM-AGGR %s120// CHECK-FPM-AGGR: "-cc1"121// CHECK-FPM-AGGR-SAME: "-menable-no-infs"122// CHECK-FPM-AGGR-SAME: "-menable-no-nans"123// CHECK-FPM-AGGR-SAME: "-fapprox-func"124// CHECK-FPM-AGGR-SAME: "-funsafe-math-optimizations"125// CHECK-FPM-AGGR-SAME: "-fno-signed-zeros"126// CHECK-FPM-AGGR-SAME: "-mreassociate"127// CHECK-FPM-AGGR-SAME: "-freciprocal-math"128// CHECK-FPM-AGGR-SAME: "-ffp-contract=fast"129// CHECK-FPM-AGGR-SAME: "-fno-rounding-math"130// CHECK-FPM-AGGR-SAME: "-ffast-math"131// CHECK-FPM-AGGR-SAME: "-ffinite-math-only"132// CHECK-FPM-AGGR-SAME: "-complex-range=basic"133 134// RUN: %clang -### -nostdinc -ffp-model=fast -c %s 2>&1 \135// RUN: | FileCheck --check-prefix=CHECK-FPM-FAST %s136// CHECK-FPM-FAST: "-cc1"137// CHECK-FPM-FAST-NOT: "-menable-no-infs"138// CHECK-FPM-FAST-NOT: "-menable-no-nans"139// CHECK-FPM-FAST-SAME: "-fapprox-func"140// CHECK-FPM-FAST-SAME: "-funsafe-math-optimizations"141// CHECK-FPM-FAST-SAME: "-fno-signed-zeros"142// CHECK-FPM-FAST-SAME: "-mreassociate"143// CHECK-FPM-FAST-SAME: "-freciprocal-math"144// CHECK-FPM-FAST-SAME: "-ffp-contract=fast"145// CHECK-FPM-FAST-SAME: "-fno-rounding-math"146// CHECK-FPM-FAST-NOT: "-ffast-math"147// CHECK-FPM-FAST-NOT: "-ffinite-math-only"148// CHECK-FPM-FAST-SAME: "-complex-range=promoted"149 150// RUN: %clang -### -nostdinc -ffp-model=precise -c %s 2>&1 \151// RUN: | FileCheck --check-prefix=CHECK-FPM-PRECISE %s152// CHECK-FPM-PRECISE: "-cc1"153// CHECK-FPM-PRECISE-SAME: "-ffp-contract=on"154// CHECK-FPM-PRECISE-SAME: "-fno-rounding-math"155 156// RUN: %clang -### -nostdinc -ffp-model=strict -c %s 2>&1 \157// RUN: | FileCheck --check-prefix=CHECK-FPM-STRICT %s158// CHECK-FPM-STRICT: "-cc1"159// CHECK-FPM-STRICT-SAME: "-frounding-math"160// CHECK-FPM-STRICT-SAME: "-ffp-exception-behavior=strict"161 162// RUN: %clang -### -nostdinc -ffp-model=strict -ffp-model=fast -c %s 2>&1 \163// RUN: | FileCheck --check-prefix=CHECK-NO-EXCEPT %s164// RUN: %clang -### -nostdinc -ffp-model=strict -ffast-math -c %s 2>&1 \165// RUN: | FileCheck --check-prefix=CHECK-NO-EXCEPT %s166// RUN: %clang -### -nostdinc -ffp-model=strict -Ofast -c %s 2>&1 \167// RUN: | FileCheck --check-prefix=CHECK-NO-EXCEPT %s168// CHECK-NO-EXCEPT: "-cc1"169// CHECK-NO-EXCEPT-NOT: "-ffp-exception-behavior=strict"170 171// RUN: %clang -### -nostdinc -ffp-exception-behavior=strict -c %s 2>&1 \172// RUN: | FileCheck --check-prefix=CHECK-FEB-STRICT %s173// CHECK-FEB-STRICT: "-cc1"174// CHECK-FEB-STRICT-SAME: "-fno-rounding-math"175// CHECK-FEB-STRICT-SAME: "-ffp-exception-behavior=strict"176 177// RUN: %clang -### -nostdinc -ffp-exception-behavior=maytrap -c %s 2>&1 \178// RUN: | FileCheck --check-prefix=CHECK-FEB-MAYTRAP %s179// CHECK-FEB-MAYTRAP: "-cc1"180// CHECK-FEB-MAYTRAP-SAME: "-fno-rounding-math"181// CHECK-FEB-MAYTRAP-SAME: "-ffp-exception-behavior=maytrap"182 183// RUN: %clang -### -nostdinc -ffp-exception-behavior=ignore -c %s 2>&1 \184// RUN: | FileCheck --check-prefix=CHECK-FEB-IGNORE %s185// CHECK-FEB-IGNORE: "-cc1"186// CHECK-FEB-IGNORE: "-fno-rounding-math"187// CHECK-FEB-IGNORE: "-ffp-exception-behavior=ignore"188 189// RUN: %clang -### -nostdinc -Werror -ffast-math -ffp-model=aggressive -c %s 2>&1 \190// RUN: | FileCheck --check-prefix=CHECK-FASTMATH-FPM-AGGR %s191// CHECK-FASTMATH-FPM-AGGR: "-cc1"192// CHECK-FASTMATH-FPM-AGGR-SAME: "-menable-no-infs"193// CHECK-FASTMATH-FPM-AGGR-SAME: "-menable-no-nans"194// CHECK-FASTMATH-FPM-AGGR-SAME: "-fapprox-func"195// CHECK-FASTMATH-FPM-AGGR-SAME: "-funsafe-math-optimizations"196// CHECK-FASTMATH-FPM-AGGR-SAME: "-fno-signed-zeros"197// CHECK-FASTMATH-FPM-AGGR-SAME: "-mreassociate"198// CHECK-FASTMATH-FPM-AGGR-SAME: "-freciprocal-math"199// CHECK-FASTMATH-FPM-AGGR-SAME: "-ffp-contract=fast"200// CHECK-FASTMATH-FPM-AGGR-SAME: "-fno-rounding-math"201// CHECK-FASTMATH-FPM-AGGR-SAME: "-ffast-math"202// CHECK-FASTMATH-FPM-AGGR-SAME: "-ffinite-math-only"203// CHECK-FASTMATH-FPM-AGGR-SAME: "-complex-range=basic"204 205// RUN: %clang -### -nostdinc -ffast-math -ffp-model=fast -c %s 2>&1 \206// RUN: | FileCheck --check-prefix=CHECK-FASTMATH-FPM-FAST %s207// CHECK-FASTMATH-FPM-FAST: warning: '-ffp-model=fast' sets complex range to "promoted" overriding the setting of "basic" that was implied by '-ffast-math'208// CHECK-FASTMATH-FPM-FAST: "-cc1"209// CHECK-FASTMATH-FPM-FAST-NOT: "-menable-no-infs"210// CHECK-FASTMATH-FPM-FAST-NOT: "-menable-no-nans"211// CHECK-FASTMATH-FPM-FAST-SAME: "-fapprox-func"212// CHECK-FASTMATH-FPM-FAST-SAME: "-funsafe-math-optimizations"213// CHECK-FASTMATH-FPM-FAST-SAME: "-fno-signed-zeros"214// CHECK-FASTMATH-FPM-FAST-SAME: "-mreassociate"215// CHECK-FASTMATH-FPM-FAST-SAME: "-freciprocal-math"216// CHECK-FASTMATH-FPM-FAST-SAME: "-ffp-contract=fast"217// CHECK-FASTMATH-FPM-FAST-SAME: "-fno-rounding-math"218// CHECK-FASTMATH-FPM-FAST-NOT: "-ffast-math"219// CHECK-FASTMATH-FPM-FAST-NOT: "-ffinite-math-only"220// CHECK-FASTMATH-FPM-FAST-SAME: "-complex-range=promoted"221 222// RUN: %clang -### -nostdinc -ffast-math -ffp-model=precise -c %s 2>&1 \223// RUN: | FileCheck --check-prefixes=CHECK-FASTMATH-FPM-PRECISE %s224// CHECK-FASTMATH-FPM-PRECISE: warning: '-ffp-model=precise' sets complex range to "full" overriding the setting of "basic" that was implied by '-ffast-math'225// CHECK-FASTMATH-FPM-PRECISE: "-cc1"226// CHECK-FASTMATH-FPM-PRECISE-NOT: "-menable-no-infs"227// CHECK-FASTMATH-FPM-PRECISE-NOT: "-menable-no-nans"228// CHECK-FASTMATH-FPM-PRECISE-NOT: "-fapprox-func"229// CHECK-FASTMATH-FPM-PRECISE-NOT: "-funsafe-math-optimizations"230// CHECK-FASTMATH-FPM-PRECISE-NOT: "-fno-signed-zeros"231// CHECK-FASTMATH-FPM-PRECISE-NOT: "-mreassociate"232// CHECK-FASTMATH-FPM-PRECISE-NOT: "-freciprocal-math"233// CHECK-FASTMATH-FPM-PRECISE-SAME: "-ffp-contract=on"234// CHECK-FASTMATH-FPM-PRECISE-SAME: "-fno-rounding-math"235// CHECK-FASTMATH-FPM-PRECISE-NOT: "-ffast-math"236// CHECK-FASTMATH-FPM-PRECISE-NOT: "-ffinite-math-only"237// CHECK-FASTMATH-FPM-PRECISE-SAME: "-complex-range=full"238 239// RUN: %clang -### -nostdinc -ffast-math -ffp-model=strict -c %s 2>&1 \240// RUN: | FileCheck --check-prefixes=CHECK-FASTMATH-FPM-STRICT %s241// CHECK-FASTMATH-FPM-STRICT: warning: '-ffp-model=strict' sets complex range to "full" overriding the setting of "basic" that was implied by '-ffast-math'242// CHECK-FASTMATH-FPM-STRICT: "-cc1"243// CHECK-FASTMATH-FPM-STRICT-NOT: "-menable-no-infs"244// CHECK-FASTMATH-FPM-STRICT-NOT: "-menable-no-nans"245// CHECK-FASTMATH-FPM-STRICT-NOT: "-fapprox-func"246// CHECK-FASTMATH-FPM-STRICT-NOT: "-funsafe-math-optimizations"247// CHECK-FASTMATH-FPM-STRICT-NOT: "-fno-signed-zeros"248// CHECK-FASTMATH-FPM-STRICT-NOT: "-mreassociate"249// CHECK-FASTMATH-FPM-STRICT-NOT: "-freciprocal-math"250// CHECK-FASTMATH-FPM-STRICT-SAME: "-ffp-contract=off"251// CHECK-FASTMATH-FPM-STRICT-NOT: "-fno-rounding-math"252// CHECK-FASTMATH-FPM-STRICT-NOT: "-ffast-math"253// CHECK-FASTMATH-FPM-STRICT-NOT: "-ffinite-math-only"254// CHECK-FASTMATH-FPM-STRICT-SAME: "-complex-range=full"255