//  reg-based SHIFT test program.
# mach: bfin

.include "testutils.inc"
	start


//  Test FEXT with no sign extension

	R0.L = 0xdead;
	R0.H = 0x1234;
	R1.L = 0x0810;	// pos=8 len=16
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x34de );
	DBGA ( R7.H , 0 );

	R0.L = 0xdead;
	R0.H = 0x1234;
	R1.L = 0x0814;	// pos=8 len=20
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x34de );
	DBGA ( R7.H , 0x0002 );

	R0.L = 0xdead;
	R0.H = 0x1234;
	R1.L = 0x0800;	// pos=8 len=0
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0 );
	DBGA ( R7.H , 0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x0001;	// pos=0 len=1
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x1 );
	DBGA ( R7.H , 0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x0101;	// pos=1 len=1
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0 );
	DBGA ( R7.H , 0 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x1 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x1810;	// pos=24 len=16
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x00ff );
	DBGA ( R7.H , 0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x0020;	// pos=0 len=32 is like pos=0 len=0
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x0 );
	DBGA ( R7.H , 0x0 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x1 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x2020;	// pos=32 len=32 is like pos=0 len=0
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0 );
	DBGA ( R7.H , 0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x1f01;	// pos=31 len=1
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0x1 );
	DBGA ( R7.H , 0 );

	R0.L = 0xfff1;
	R0.H = 0xffff;
	R1.L = 0x1000;	// pos=16 len=0
	R7 = EXTRACT( R0, R1.L ) (Z);
	DBGA ( R7.L , 0 );
	DBGA ( R7.H , 0 );

//  Test FEXT with  sign extension

	R0.L = 0xdead;
	R0.H = 0x12f4;
	R1.L = 0x0810;	// pos=8 len=16
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0xf4de );
	DBGA ( R7.H , 0xffff );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x1 );

	R0.L = 0xdead;
	R0.H = 0x1234;
	R1.L = 0x0810;	// pos=8 len=16
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0x34de );
	DBGA ( R7.H , 0x0000 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	R0.L = 0xdead;
	R0.H = 0xf234;
	R1.L = 0x1f01;	// pos=31 len=1
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0xffff );
	DBGA ( R7.H , 0xffff );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x1 );

	R0.L = 0xdead;
	R0.H = 0xf234;
	R1.L = 0x1f02;	// pos=31 len=2
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0x0001 );
	DBGA ( R7.H , 0x0000 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	R0.L = 0xffff;
	R0.H = 0xffff;
	R1.L = 0x101f;	// pos=16 len=31
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0xffff );
	DBGA ( R7.H , 0x0000 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	R0.L = 0xffff;
	R0.H = 0xffff;
	R1.L = 0x1001;	// pos=16 len=1
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0xffff );
	DBGA ( R7.H , 0xffff );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x0 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x1 );

	R0.L = 0xffff;
	R0.H = 0xffff;
	R1.L = 0x1000;	// pos=16 len=0
	R7 = EXTRACT( R0, R1.L ) (X);
	DBGA ( R7.L , 0 );
	DBGA ( R7.H , 0 );
	CC = AZ;	R7 = CC; DBGA ( R7.L , 0x1 );
	CC = AN;	R7 = CC; DBGA ( R7.L , 0x0 );

	pass