; RUN: llhd-opt %s -p cf
entity @foo ([2 x i1]$ %a, [2 x i1]$ %b) -> () {
%0 = const i32 0
%1 = const i32 1
%2 = shr [2 x i1]$ %a, [2 x i1]$ %b, i32 %0
%3 = shr [2 x i1]$ %a, [2 x i1]$ %b, i32 %1
%4 = extf i1$, [2 x i1]$ %2, 0
%5 = extf i1$, [2 x i1]$ %3, 0
inst @bar (i1$ %4) -> ()
inst @bar (i1$ %5) -> ()
}
entity @bar (i1$ %x) -> () {
}