| Sjoerd Meijer | 2fc4cb6 | 2016-10-19 13:43:02 +0000 | [diff] [blame] | 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. |
| 6 | |
| Mandeep Singh Grang | da99e33 | 2016-10-24 18:57:55 +0000 | [diff] [blame] | 7 | ; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 | FileCheck %s |
| Sjoerd Meijer | 2fc4cb6 | 2016-10-19 13:43:02 +0000 | [diff] [blame] | 8 | |
| 9 | ; CHECK: .eabi_attribute 20, 1 |
| 10 | |
| 11 | define i32 @foo1() local_unnamed_addr #0 { |
| 12 | entry: |
| 13 | ret i32 42 |
| 14 | } |
| 15 | |
| 16 | define i32 @foo2() local_unnamed_addr #1 { |
| 17 | entry: |
| 18 | ret i32 42 |
| 19 | } |
| 20 | |
| 21 | attributes #0 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="preserve-sign"} |
| Sjoerd Meijer | b187f5d | 2016-11-01 15:59:37 +0000 | [diff] [blame] | 22 | attributes #1 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="positive-zero"} |