proc %foo () -> (i32$ %Z) {
entry:
    %zero = const i1 0
    br %zero, %bb0, %bb1
bb0:
    %a = const i32 1337
    br %bb2
bb1:
    %b = const i32 42
    br %bb2
bb2:
    %c = phi i32 [%a, %bb0], [%b, %bb1]
    %delta = const time 0s 1d 0e
    drv i32$ %Z, %c, %delta
    halt
}