1; Check FP options -fno-trapping-math and -fdenormal-fp-math. They are passed 2; as function attributes, which map on to build attributes ABI_FP_exceptions 3; ABI_FP_denormal. In the backend we therefore have a check to see if all 4; functions have consistent function attributes values. 5; Here we check values no-trapping-math=true and denormal-fp-math=ieee. 6 7; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 | FileCheck %s 8 9; CHECK: .eabi_attribute 20, 1 10; CHECK: .eabi_attribute 21, 0 11 12define i32 @foo() local_unnamed_addr #0 { 13entry: 14 ret i32 42 15} 16 17attributes #0 = { minsize norecurse nounwind optsize readnone "no-trapping-math"="true" "denormal-fp-math"="ieee"} 18