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