# RUN: llc -run-pass none -o - %s | FileCheck %s
# This test ensures that the MIR parser parses GlobalISel MachineFunction
# properties correctly.
# This doesn't require GlobalISel to be built, as the properties are always
# available in CodeGen.

--- |

  define i32 @test_defaults() {
  entry:
    ret i32 0
  }

  define i32 @test() {
  start:
    ret i32 0
  }

...
---
# CHECK-LABEL: name: test_defaults
# CHECK:      legalized: false
# CHECK-NEXT: regBankSelected: false
# CHECK-NEXT: selected: false
name:            test_defaults
body: |
  bb.0:
...
---
# CHECK-LABEL: name: test
# CHECK:      legalized: true
# CHECK-NEXT: regBankSelected: true
# CHECK-NEXT: selected: true
name: test
legalized: true
regBankSelected: true
selected: true
body: |
  bb.0:
...