|  | ; Check FP options -fno-trapping-math and -fdenormal-fp-math. They are passed as | 
|  | ; function attributes, which map on to build attributes ABI_FP_exceptions ABI_FP_denormal. | 
|  | ; In the backend we have a check to see if all functions have consistent function | 
|  | ; attributes values. This checks the "default" behaviour when these FP function | 
|  | ; attributes are not set at all. | 
|  |  | 
|  | ; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15  | FileCheck %s | 
|  |  | 
|  | ; CHECK: .eabi_attribute 20, 1 | 
|  | ; CHECK: .eabi_attribute 21, 1 | 
|  |  | 
|  | define i32 @foo_no_fn_attr() local_unnamed_addr #0 { | 
|  | entry: | 
|  | ret i32 42 | 
|  | } | 
|  |  | 
|  | attributes #0 = { minsize norecurse nounwind optsize readnone } |