1 // RUN: %clang_cc1 -ffinite-math-only -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=FINITE
2 // RUN: %clang_cc1 -fno-signed-zeros -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK  -check-prefix=NSZ
3 
4 float f0, f1, f2;
5 
6 void foo(void) {
7   // CHECK-LABEL: define void @foo()
8 
9   // FINITE: fadd nnan ninf
10   // NSZ: fadd nsz
11   f0 = f1 + f2;
12 
13   // CHECK: ret
14 }
15 
16