27 lines · plain
1; Check FP options -fno-trapping-math and -fdenormal-fp-math. They are passed2; as function attributes, which map on to build attributes ABI_FP_exceptions3; ABI_FP_denormal. In the backend we therefore have a check to see if all4; functions have consistent function attributes values. Here we check two5; functions have inconsistent values, and that a default is returned.6 7; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 | FileCheck %s8; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 -enable-ipra | FileCheck %s9 10; CHECK: .eabi_attribute 20, 111 12define i32 @foo1() local_unnamed_addr #0 {13entry:14 %a = call float @llvm.fma.f32(float 0.0, float 0.0, float 0.0)15 ret i32 4216}17 18define i32 @foo2() local_unnamed_addr #1 {19entry:20 ret i32 4221}22 23declare float @llvm.fma.f32(float, float, float)24 25attributes #0 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="preserve-sign,preserve-sign"}26attributes #1 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="positive-zero,positive-zero"}27