; RUN: llhd-opt %s -p proclower proc %fooA (i32$ %a) -> () { entry: halt } ; CHECK: entity %fooA (i32$ %a) -> () { ; CHECK: } proc %fooB (i32$ %a) -> () { entry: wait %entry } ; CHECK: entity %fooB (i32$ %a) -> () { ; CHECK: }