|  | ; Check FP option -fdenormal-fp-math. This passed as function attribute, | 
|  | ; which map on to build attributes ABI_FP_denormal. In the backend we | 
|  | ; therefore have a check to see if all functions have consistent function | 
|  | ; attributes values. | 
|  | ; Here we check the denormal-fp-math=preserve-sign value. | 
|  |  | 
|  | ; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15  | FileCheck %s --check-prefix=CHECK | 
|  |  | 
|  | ; CHECK: .eabi_attribute 20, 2 | 
|  |  | 
|  | define i32 @foo1() local_unnamed_addr #0 { | 
|  | entry: | 
|  | ret i32 42 | 
|  | } | 
|  |  | 
|  | attributes #0 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="preserve-sign"} |