---
source: tests/guppy.rs
expression: module_string
---
; ModuleID = 'test_context'
source_filename = "test_context"

define i16 @_hl.rx.13(i16 %0, double %1) {
alloca_block:
  br label %entry_block

entry_block:                                      ; preds = %alloca_block
  br label %4

2:                                                ; preds = %4
  %3 = extractvalue { {} } undef, 0
  br label %8

4:                                                ; preds = %entry_block
  %5 = call i16 @H(i16 %0)
  %6 = call i16 @RzF64(i16 %5, double %1)
  %7 = call i16 @H(i16 %6)
  switch i32 0, label %2 [
  ]

8:                                                ; preds = %2
  ret i16 %7
}

declare i16 @H(i16)

declare i16 @RzF64(i16, double)

define { i32, {}, {} } @_hl.main.14() {
alloca_block:
  br label %entry_block

entry_block:                                      ; preds = %alloca_block
  br label %2

0:                                                ; preds = %2
  %1 = extractvalue { {} } undef, 0
  br label %8

2:                                                ; preds = %entry_block
  %3 = call i16 @QAlloc()
  %4 = call i16 @_hl.rx.13(i16 %3, double 1.500000e+00)
  %5 = call { i16, { i32, {}, {} } } @Measure(i16 %4)
  %6 = extractvalue { i16, { i32, {}, {} } } %5, 0
  %7 = extractvalue { i16, { i32, {}, {} } } %5, 1
  call void @QFree(i16 %6)
  switch i32 0, label %0 [
  ]

8:                                                ; preds = %0
  ret { i32, {}, {} } %7
}

declare i16 @QAlloc()

declare { i16, { i32, {}, {} } } @Measure(i16)

declare void @QFree(i16)