; RUN: llhd-check %s
; FAIL

func @unit1 (i1 %x) void {
entry:
    br %x, %bbA, %bbB
bbA:
    %y = const i32 42
    br %bbC
bbB:
    br %bbC
bbC:
    %z = not i32 %y
    ret
}
; CHECK-ERR: - func @unit1: %y = const i32 42: does not dominate use in `%z = not i32 %y`

proc @unit2 (i1$ %x) -> () {
entry:
    %xp = prb i1$ %x
    br %xp, %bbA, %bbB
bbA:
    %y = const i32 42
    br %bbC
bbB:
    br %bbC
bbC:
    %z = not i32 %y
    halt
}
; CHECK-ERR: - proc @unit2: %y = const i32 42: does not dominate use in `%z = not i32 %y`

entity @unit3 (i1$ %x) -> () {
    %z = not i32 %y
    %y = const i32 42
}
; CHECK-ERR: - entity @unit3: %y = const i32 42: does not dominate use in `%z = not i32 %y`