| // RUN: %clang_cc1 %s -emit-llvm -o - | FileCheck %s | |
| // llvm.sqrt has undefined behavior on negative inputs, so it is | |
| // inappropriate to translate C/C++ sqrt to this. | |
| float sqrtf(float x); | |
| float foo(float X) { | |
| // CHECK: foo | |
| // CHECK: call float @sqrtf(float % | |
| // Check that this is marked readonly when errno is ignored. | |
| return sqrtf(X); | |
| } |