1*d4ce862fSKevin P. Neal // RUN: %clang_cc1 -triple mips64-linux-gnu -frounding-math -ffp-exception-behavior=strict -O2 -verify=rounding,exception -emit-llvm -o - %s | FileCheck %s
2*d4ce862fSKevin P. Neal // RUN: %clang_cc1 -triple mips64-linux-gnu -ffp-exception-behavior=strict -O2 -verify=exception -emit-llvm -o - %s | FileCheck %s
3*d4ce862fSKevin P. Neal // RUN: %clang_cc1 -triple mips64-linux-gnu -frounding-math -O2 -verify=rounding -emit-llvm -o - %s | FileCheck %s
4*d4ce862fSKevin P. Neal //
5*d4ce862fSKevin P. Neal // Verify that constrained intrinsics are not used.
6*d4ce862fSKevin P. Neal // As more targets gain support for constrained intrinsics the triple
7*d4ce862fSKevin P. Neal // in this test will need to change.
8*d4ce862fSKevin P. Neal 
9*d4ce862fSKevin P. Neal // rounding-warning@* {{overriding currently unsupported rounding mode on this target}}
10*d4ce862fSKevin P. Neal // exception-warning@* {{overriding currently unsupported use of floating point exceptions on this target}}
11*d4ce862fSKevin P. Neal float fp_precise_1(float a, float b, float c) {
12*d4ce862fSKevin P. Neal // CHECK: define float @_Z12fp_precise_1fff
13*d4ce862fSKevin P. Neal // CHECK: %[[M:.+]] = fmul float{{.*}}
14*d4ce862fSKevin P. Neal // CHECK: fadd float %[[M]], %c
15*d4ce862fSKevin P. Neal   return a * b + c;
16*d4ce862fSKevin P. Neal }
17