; The same loop with backwards_branching declared: a capability this reader does not take.

define i64 @main() #0 {
entry:
  call void @__quantum__rt__initialize(ptr null)
  br label %l
l:
  call void @__quantum__qis__mz__body(ptr null, ptr writeonly null)
  %r = call i1 @__quantum__rt__read_result(ptr readonly null)
  br i1 %r, label %l, label %done
done:
  ret i64 0
}

attributes #0 = { "entry_point" "qir_profiles"="adaptive_profile" "output_labeling_schema"="labels" "required_num_qubits"="1" "required_num_results"="1" }
attributes #1 = { "irreversible" }

!llvm.module.flags = !{!0, !1, !2, !3, !4}
!0 = !{i32 1, !"qir_major_version", i32 2}
!1 = !{i32 7, !"qir_minor_version", i32 1}
!2 = !{i32 1, !"dynamic_qubit_management", i1 false}
!3 = !{i32 1, !"dynamic_result_management", i1 false}
!4 = !{i32 1, !"backwards_branching", i2 2}