1 // RUN: %clang_cc1 -menable-no-infs -menable-no-nans -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 // RUN: %clang_cc1 -freciprocal-math -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=RECIP 4 // RUN: %clang_cc1 -mreassociate -emit-llvm -o - %s | FileCheck %s -check-prefix=CHECK -check-prefix=REASSOC 5 6 float f0, f1, f2; 7 8 void foo(void) { 9 // CHECK-LABEL: define {{.*}}void @foo() 10 11 // FINITE: fadd nnan ninf 12 // NSZ: fadd nsz 13 // RECIP: fadd arcp 14 // REASSOC: fadd reassoc 15 f0 = f1 + f2; 16 17 // CHECK: ret 18 } 19 20