blob: 61741c000dac32ba73978c921aa0962c91dd537c [file] [log] [blame]
; 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 therefore have a check to see if all
; functions have consistent function attributes values. Here we check two
; functions have inconsistent values, and that a default is returned.
; RUN: llc < %s -mtriple=armv7-linux-gnueabi -mcpu=cortex-a15 | FileCheck %s
; CHECK: .eabi_attribute 20, 1
define i32 @foo1() local_unnamed_addr #0 {
entry:
ret i32 42
}
define i32 @foo2() local_unnamed_addr #1 {
entry:
ret i32 42
}
attributes #0 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="preserve-sign"}
attributes #1 = { minsize norecurse nounwind optsize readnone "denormal-fp-math"="positive-zero"}