; RUN: llc -mtriple=aarch64---  --verify-machineinstrs -stop-before=finalize-isel -simplify-mir -o - < %s | FileCheck %s

; Here we check thatt the noredzone attribute is carried through the machine
; IR generation and is put in MachineFunctionInfo

define void @baz() {
  entry:
    ; CHECK-LABEL: name:            baz
    ; CHECK: machineFunctionInfo: {}
    ret void
}

define void @bar() #0 {
  entry:
    ; CHECK-LABEL: name:            bar
    ; CHECK: machineFunctionInfo:
    ; CHECK-NEXT: hasRedZone:      false
    ret void
}

attributes #0 = { noredzone }