llvm/test/Transforms/Inline/always-inline-strictfp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes=always-inline %s -S | FileCheck %s

; Check strictfp alwaysinline callee isn't inlined into non-strictfp caller.

declare void @foo()

define void @callee() alwaysinline strictfp {
; CHECK-LABEL: define void @callee(
; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    call void @foo() #[[ATTR1:[0-9]+]]
; CHECK-NEXT:    ret void
;
entry:
  call void @foo() strictfp
  ret void
}

define void @caller() {
; CHECK-LABEL: define void @caller() {
; CHECK-NEXT:  [[ENTRY:.*:]]
; CHECK-NEXT:    call void @callee()
; CHECK-NEXT:    ret void
;
entry:
  call void @callee()
  ret void
}