[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / build-attributes-fn-attr6.ll
blobb2f12b984efa5332d31bea5aeca27e47bd118246
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. Here we check two
5 ; functions have inconsistent values, and that a default is returned. 
7 ; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15  | FileCheck %s
8 ; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 -enable-ipra | FileCheck %s
10 ; CHECK: .eabi_attribute 20, 1
12 define i32 @foo1() local_unnamed_addr #0 {
13 entry:
14   ret i32 42
17 define i32 @foo2() local_unnamed_addr #1 {
18 entry:
19   ret i32 42
22 attributes #0 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="preserve-sign"}
23 attributes #1 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="positive-zero"}