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 test correct output for no-trapping-math=false
6
7; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15  | FileCheck %s
8
9; CHECK: .eabi_attribute 21, 1
10
11define i32 @foo() local_unnamed_addr #0 {
12entry:
13  ret i32 42
14}
15
16attributes #0 = { minsize norecurse nounwind optsize readnone "no-trapping-math"="false" }
17