; Drive instruction coalescing
proc @foo (i1 %A, i8 %B) -> (i8$ %D) {
entry:
    %delta = const time 0s 1d 0e
    %nA = not i1 %A
    %B1 = add i8 %B, %B
    %B2 = umul i8 %B, %B
    drv i8$ %D if %A, %B1, %delta
    drv i8$ %D if %nA, %B2, %delta
    wait %entry, %A, %B
}