143 lines · cpp
1// RUN: %clang_cc1 -O3 -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s2 3// Is FP_CONTRACT honored in a simple case?4float fp_contract_1(float a, float b, float c) {5// CHECK: _Z13fp_contract_1fff6// CHECK: tail call float @llvm.fmuladd7 #pragma STDC FP_CONTRACT ON8 return a * b + c;9}10 11// Is FP_CONTRACT state cleared on exiting compound statements?12float fp_contract_2(float a, float b, float c) {13// CHECK: _Z13fp_contract_2fff14// CHECK: %[[M:.+]] = fmul float %a, %b15// CHECK-NEXT: fadd float %[[M]], %c16 {17 #pragma STDC FP_CONTRACT ON18 }19 return a * b + c; 20}21 22// Does FP_CONTRACT survive template instantiation?23class Foo {};24Foo operator+(Foo, Foo);25 26template <typename T>27T template_muladd(T a, T b, T c) {28 #pragma STDC FP_CONTRACT ON29 return a * b + c;30}31 32float fp_contract_3(float a, float b, float c) {33// CHECK: _Z13fp_contract_3fff34// CHECK: tail call noundef float @llvm.fmuladd35 return template_muladd<float>(a, b, c);36}37 38template<typename T> class fp_contract_4 {39 float method(float a, float b, float c) {40 #pragma STDC FP_CONTRACT ON41 return a * b + c;42 }43};44 45template class fp_contract_4<int>;46// CHECK: _ZN13fp_contract_4IiE6methodEfff47// CHECK: tail call float @llvm.fmuladd48 49// Check file-scoped FP_CONTRACT50#pragma STDC FP_CONTRACT ON51float fp_contract_5(float a, float b, float c) {52// CHECK: _Z13fp_contract_5fff53// CHECK: tail call float @llvm.fmuladd54 return a * b + c;55}56 57#pragma STDC FP_CONTRACT OFF58float fp_contract_6(float a, float b, float c) {59// CHECK: _Z13fp_contract_6fff60// CHECK: %[[M:.+]] = fmul float %a, %b61// CHECK-NEXT: fadd float %[[M]], %c62 return a * b + c;63}64 65// If the multiply has multiple uses, don't produce fmuladd.66// This used to assert (PR25719):67// https://llvm.org/bugs/show_bug.cgi?id=2571968 69float fp_contract_7(float a, float b, float c) {70// CHECK: _Z13fp_contract_7fff71// CHECK: %[[M:.+]] = fmul float %b, 2.000000e+0072// CHECK-NEXT: fsub float %[[M]], %c73 #pragma STDC FP_CONTRACT ON74 return (a = 2 * b) - c;75}76 77float fp_contract_8(float a, float b, float c) {78// CHECK: _Z13fp_contract_8fff79// CHECK: fneg float %c80// CHECK: tail call float @llvm.fmuladd81 #pragma STDC FP_CONTRACT ON82 return a * b - c;83}84 85float fp_contract_9(float a, float b, float c) {86// CHECK: _Z13fp_contract_9fff87// CHECK: fneg float %a88// CHECK: tail call float @llvm.fmuladd89 #pragma STDC FP_CONTRACT ON90 return c - a * b;91}92 93float fp_contract_10(float a, float b, float c) {94// CHECK: _Z14fp_contract_10fff95// CHECK: fneg float %a96// CHECK: tail call float @llvm.fmuladd97 #pragma STDC FP_CONTRACT ON98 return -(a * b) + c;99}100 101float fp_contract_11(float a, float b, float c) {102// CHECK: _Z14fp_contract_11fff103// CHECK: fneg float %a104// CHECK: fneg float %c105// CHECK: tail call float @llvm.fmuladd106 #pragma STDC FP_CONTRACT ON107 return -(a * b) - c;108}109 110float fp_contract_12(float a, float b, float c) {111// CHECK: _Z14fp_contract_12fff112// CHECK: fneg float %a113// CHECK: tail call float @llvm.fmuladd114 #pragma STDC FP_CONTRACT ON115 return c + -(a * b);116}117 118float fp_contract_13(float a, float b, float c) {119// CHECK: _Z14fp_contract_13fff120// CHECK-NOT: fneg float %a121// CHECK: tail call float @llvm.fmuladd122 #pragma STDC FP_CONTRACT ON123 return c - -(a * b);124}125 126float fp_contract_14(float a, float b, float c) {127// CHECK: _Z14fp_contract_14fff128// CHECK: %[[M:.+]] = fmul float %a, %b129// CHECK-NEXT: %add = fsub float %c, %[[M]]130 #pragma STDC FP_CONTRACT ON131 float d;132 return (d = -(a * b)) + c;133}134 135float fp_contract_15(float a, float b, float c) {136// CHECK: _Z14fp_contract_15fff137// CHECK: %[[M:.+]] = fmul float %a, %b138// CHECK-NEXT: %add = fsub float %c, %[[M]]139 #pragma STDC FP_CONTRACT ON140 float d;141 return -(d = (a * b)) + c;142}143