; RUN: llhd-opt %s
proc @foo () -> (i1$ %out) {
0:
%delta = const time 0s 1d
%k0 = const i1 0
drv i1$ %out, %k0, %delta
br %0
}
; CHECK: proc @foo () -> (i1$ %out) {
; CHECK: 0:
; CHECK: %delta = const time 0s 1d
; CHECK: %k0 = const i1 0
; CHECK: drv i1$ %out, %k0, %delta
; CHECK: br %0
; CHECK: }