proc @foo () ([3 x i16]$ %x) {
%entry:
    %v0 = shr [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 0
    %v1 = shr [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 1
    %v2 = shr [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 2
    %v3 = shl [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 0
    %v4 = shl [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 1
    %v5 = shl [3 x i16] [i16 42, 9001, 1337], i16 4321, i32 2
    drv %x %v0 1ns
    drv %x %v1 2ns
    drv %x %v2 3ns
    drv %x %v3 4ns
    drv %x %v4 5ns
    drv %x %v5 6ns
	halt
}