; Drive instructions that form combinational logic
proc @foo (i1 %A) -> (i8$ %D) {
entry:
%delta = const time 0s 1d 0e
%D0 = exts i4$, i8$ %D, 0, 4
; disabled CHECK-NOT: %D0 = exts i4$, i8$ %D, 0, 4
%k0i8 = const i8 0
drv i8$ %D, %k0i8, %delta
br %A, %wayA, %wayB
wayA:
; disabled CHECK-NOT: wayA:
%k7i4 = const i4 7
drv i4$ %D0, %k7i4, %delta
br %final
wayB:
; disabled CHECK-NOT: wayB:
%k15i4 = const i4 15
drv i4$ %D0, %k15i4, %delta
br %final
final:
wait %entry, %A
}