Edinburgh IMP77 Compiler - Version 8.4
    1 ! test by:  ./i2c --stdout --tidy test/shiftadd.imp | fgrep "ATOM1 = "|head -1
		.Ltext0:
				.globl	main
		main:
		.LFB189:
    2 %begin
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				pushl	%ecx
				subl	$16, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				subl	$8, %esp
				pushl	4(%eax)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    3   %integer atom1
    4
    5   atom1 = (atom1-106)>>1+91;     !a,an->v  na,nan->n
				movl	-16(%ebp), %eax
				subl	$106, %eax
				shrl	%eax
				addl	$91, %eax
				movl	%eax, -16(%ebp)
				movl	$0, -12(%ebp)
		.LBB4:
		.LBB5:
				subl	$12, %esp
				pushl	-12(%ebp)
				call	exit@PLT
		.LBE5:
		.LBE4:
		.LFE189:
				.section	.text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat
				.globl	__x86.get_pc_thunk.bx
				.hidden	__x86.get_pc_thunk.bx
		__x86.get_pc_thunk.bx:
		.LFB190:
				movl	(%esp), %ebx
				ret
		.LFE190:
		.Letext0:
    6
    7   ! This minimal test seems to generate correct C but the same code in test/pass1.imp gives:
    8
    9   ! //   1226                                          atom1 = (atom1-106)>>1+91;     !a,an->v  na,nan->n
   10   ! ATOM1 = (unsigned int)ATOM1 - 106 >> 1 + 91;
   11
   12   ! reproduce it with: ./i2c --stdout --tidy test/pass1.imp | fgrep "ATOM1 = (unsigned int)ATOM1"
   13
   14 %endofprogram
    4 Statements compiled