24 lines
772 B
C
24 lines
772 B
C
// RUN: %clang_cc1 -fno-strict-float-cast-overflow %s -emit-llvm -o - | FileCheck %s --check-prefix=NOSTRICT
|
|
|
|
// When compiling with non-standard semantics, use intrinsics to inhibit the optimizer.
|
|
// This used to require a function attribute, so we check that it is NOT here anymore.
|
|
|
|
// NOSTRICT-LABEL: main
|
|
// NOSTRICT: call i32 @llvm.fptosi.sat.i32.f64
|
|
// NOSTRICT: call i32 @llvm.fptoui.sat.i32.f64
|
|
// NOSTRICT-NOT: strict-float-cast-overflow
|
|
|
|
// The workaround attribute is not applied by default.
|
|
|
|
// RUN: %clang_cc1 %s -emit-llvm -o - | FileCheck %s --check-prefix=STRICT
|
|
// STRICT-LABEL: main
|
|
// STRICT: = fptosi
|
|
// STRICT: = fptoui
|
|
// STRICT-NOT: strict-float-cast-overflow
|
|
|
|
|
|
int main(void) {
|
|
double d = 1e20;
|
|
return (int)d != 1e20 && (unsigned)d != 1e20;
|
|
}
|