// These tests check that property for backwards-compatibility.
	MOVL 2147483648(AX), AX  // 8b8000000080
	MOVL -2147483648(AX), AX // 8b8000000080
	ADDL 2147483648(AX), AX  // 038000000080
	ADDL -2147483648(AX), AX // 038000000080
	// Make sure MOV CR/DR continues to work after changing its movtabs.
	MOVL CR0, AX // 0f20c0
	MOVL CR0, DX // 0f20c2
	MOVL CR4, DI // 0f20e7
	MOVL AX, CR0 // 0f22c0

MOVL R9, DX MOVL R10, CX RORL $0x16, DX ANDL R9, CX XORL CX, BX XORL DX, DI ADDL DI, BX MOVL BX, R8 ADDL AX, R12 ADDL AX, R8 MOVL 56(BP), AX MOVL AX, CX RORL $0x11, AX MOVL CX, DX RORL $0x13, CX SHRL $0x0a, DX MOVL 4(BP), BX XORL CX, AX MOVL BX, CX XORL DX, AX RORL $0x07, BX MOVL CX, DX SHRL $0x03, DX RORL $0x12, CX ADDL 36(BP), AX XORL CX, BX XORL DX, BX ADDL (BP), BX ADDL BX, AX MOVL AX, 64(BP) ADDL AX, R15 MOVL R12, AX ADDL $0xe49b69c1, R15 MOVL R12, CX RORL $0x06, AX MOVL R12, DX RORL $0x0b, CX...

	ADDQ 3395469782(AX), AX         // ERROR "offset too large"
	ADDL 3395469782(AX), AX         // ERROR "offset too large"
	ADDW 3395469782(AX), AX         // ERROR "offset too large"
	LEAQ 433954697820(AX), AX       // ERROR "offset too large"
	ADDQ 433954697820(AX), AX       // ERROR "offset too large"
	ADDL 433954697820(AX), AX       // ERROR "offset too large"

ANDL AX, R12 ADDL R13, R15 ADDL R9, BX ORL R12, DI ADDL R14, R9 ADDL R15, BX ADDL R15, R9 MOVL CX, R15 RORXL $0x19, BX, R13 RORXL $0x0b, BX, R14 XORL R8, R15 XORL R14, R13 RORXL $0x06, BX, R14 ANDL BX, R15 ADDL DI, R9 XORL R14, R13 RORXL $0x0d, R9, R12 XORL R8, R15 RORXL $0x16, R9, R14 MOVL R9, DI XORL R12, R14 RORXL $0x02, R9, R12 ADDL 12(SP)(SI*1), DX ORL R11, DI XORL R12, R14 MOVL R9, R12 ANDL R10, DI ANDL R11, R12 ADDL R13, R15 ADDL DX, AX ORL R12, DI ADDL R14, DX ADDL R15, AX ADDL R15, DX ADDL...

	ADDL DX, (BX)                           // 0113
	ADDL R11, (BX)                          // 44011b
	ADDL DX, (R11)                          // 410113
	ADDL R11, (R11)                         // 45011b
	ADDL DX, DX                             // 01d2 or 03d2
	ADDL R11, DX                            // 4401da or 4103d3
	ADDL DX, R11                            // 4101d3 or 4403da