Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 0
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r3, lr}
    2   ! This is a particularly nasty test as the i2c output depends on the --tidy flag.
				bl	_imp_initialise(PLT)
		.LVL1:
    3   ! - MONOP precedences are not compared properly against BINOP precedences.
    4   ! Note: imp2026 gets it right.
    5
    6   %integer i
    7
    8   i = -1 >> 1            ;! This imp construct actually should evaluate as: -(1>>1) which is 0!  Yes, it's documented.
    9
   10   write(i, 3) ; newline
				movs	r1, #3
				movs	r0, #0
				bl	_imp_writeint(PLT)
		.LVL2:
		.LBB8:
		.LBB9:
				bl	_imp_newline(PLT)
		.LVL3:
		.LBE9:
		.LBE8:
   11
   12   i = (-1) >> 1          ;! unsigned shift should pull in 0's at the top, returning MAX INT.
   13
   14   write(i, 3) ; newline
				movs	r1, #3
				mvn	r0, #-2147483648
				bl	_imp_writeint(PLT)
		.LVL4:
		.LBB10:
		.LBB11:
				bl	_imp_newline(PLT)
		.LVL5:
		.LBE11:
		.LBE10:
		.LBB12:
		.LBB13:
				movs	r0, #0
				bl	exit(PLT)
		.LVL6:
		.LBE13:
		.LBE12:
		.LFE185:
		.Letext0:
   15
   16 %endofprogram
    9 Statements compiled