# translated by qhasm-x86 version 20050327

## input line 1: # salsa20_word_pm version 20050327

## input line 2: # D. J. Bernstein

## input line 3: # Public domain.

## input line 4: 

## input line 5: register int32 in

## input line 6: register int32 out

## input line 7: register int32 in12

## input line 8: register int32 in0

## input line 9: register int32 in1

## input line 10: register int32 in2

## input line 11: register int32 in3

## input line 12: register int32 in4

## input line 13: register int32 in5

## input line 14: register int32 in6

## input line 15: register int32 in7

## input line 16: register int32 in8

## input line 17: register int32 in9

## input line 18: register int32 in10

## input line 19: register int32 in11

## input line 20: register int32 in13

## input line 21: register int32 in14

## input line 22: register int32 in15

## input line 23: register int32 out14

## input line 24: register int32 out13

## input line 25: register int32 out12

## input line 26: register int32 out0

## input line 27: register int32 out1

## input line 28: register int32 out2

## input line 29: register int32 out3

## input line 30: register int32 out4

## input line 31: register int32 out5

## input line 32: register int32 out6

## input line 33: register int32 out7

## input line 34: register int32 out8

## input line 35: register int32 out9

## input line 36: register int32 out10

## input line 37: register int32 out11

## input line 38: register int32 out15

## input line 39: register int32 p

## input line 40: register int32 s

## input line 41: register int32 t

## input line 42: register int32 w

## input line 43: register int32 i

## input line 44: register int32 r

## input line 45: register int32 v

## input line 46: temporary mem32 x0

## input line 47: temporary mem32 x1

## input line 48: temporary mem32 x2

## input line 49: temporary mem32 x3

## input line 50: temporary mem32 x4

## input line 51: temporary mem32 x5

## input line 52: temporary mem32 x6

## input line 53: temporary mem32 x7

## input line 54: temporary mem32 x8

## input line 55: temporary mem32 x9

## input line 56: temporary mem32 x10

## input line 57: temporary mem32 x11

## input line 58: temporary mem32 x12

## input line 59: temporary mem32 x13

## input line 60: temporary mem32 x14

## input line 61: temporary mem32 x15

## input line 62: 

## input line 63: enter salsa20_word_pm
.text
.p2align 5
.globl _salsa20_word_pm
.globl salsa20_word_pm
_salsa20_word_pm:
salsa20_word_pm:
sub $80,%esp
## live mem32 values: 2
## live int32 values: 4
## live flags values: 0

## input line 64: input out

## input line 65: input in

## input line 66: 

## input line 67: load in
movl 88(%esp),%eax
## fp stack: 
## live mem32 values: 2
## live int32 values: 5
## live flags values: 0

## input line 68: 

## input line 69: store callerint ebx
movl %ebx,0(%esp)
## fp stack: 
## live mem32 values: 3
## live int32 values: 4
## live flags values: 0

## input line 70: store callerint esi
movl %esi,4(%esp)
## fp stack: 
## live mem32 values: 4
## live int32 values: 3
## live flags values: 0

## input line 71: store callerint edi
movl %edi,8(%esp)
## fp stack: 
## live mem32 values: 5
## live int32 values: 2
## live flags values: 0

## input line 72: 

## input line 73: in12 = *(uint32 *) (in + 48)
## in12 = *(uint32 *) (in + 48)
## int32#2 = *(uint32 *) (int32#1 + 48)
## %ecx = *(uint32 *) (%eax + 48)
movl 48(%eax),%ecx
## fp stack: 
## live mem32 values: 5
## live int32 values: 3
## live flags values: 0

## input line 74: store callerint ebp
movl %ebp,12(%esp)
## fp stack: 
## live mem32 values: 6
## live int32 values: 2
## live flags values: 0

## input line 75: in6 = *(uint32 *) (in + 24)
## in6 = *(uint32 *) (in + 24)
## int32#4 = *(uint32 *) (int32#1 + 24)
## %ebx = *(uint32 *) (%eax + 24)
movl 24(%eax),%ebx
## fp stack: 
## live mem32 values: 6
## live int32 values: 3
## live flags values: 0

## input line 76: in1 = *(uint32 *) (in + 4)
## in1 = *(uint32 *) (in + 4)
## int32#3 = *(uint32 *) (int32#1 + 4)
## %edx = *(uint32 *) (%eax + 4)
movl 4(%eax),%edx
## fp stack: 
## live mem32 values: 6
## live int32 values: 4
## live flags values: 0

## input line 77: in11 = *(uint32 *) (in + 44)
## in11 = *(uint32 *) (in + 44)
## int32#6 = *(uint32 *) (int32#1 + 44)
## %edi = *(uint32 *) (%eax + 44)
movl 44(%eax),%edi
## fp stack: 
## live mem32 values: 6
## live int32 values: 5
## live flags values: 0

## input line 78: x12 = in12
movl %ecx,64(%esp)
## fp stack: 
## live mem32 values: 7
## live int32 values: 4
## live flags values: 0

## input line 79: in4 = *(uint32 *) (in + 16)
## in4 = *(uint32 *) (in + 16)
## int32#2 = *(uint32 *) (int32#1 + 16)
## %ecx = *(uint32 *) (%eax + 16)
movl 16(%eax),%ecx
## fp stack: 
## live mem32 values: 7
## live int32 values: 5
## live flags values: 0

## input line 80: x6 = in6
movl %ebx,40(%esp)
## fp stack: 
## live mem32 values: 8
## live int32 values: 4
## live flags values: 0

## input line 81: in14 = *(uint32 *) (in + 56)
## in14 = *(uint32 *) (in + 56)
## int32#7 = *(uint32 *) (int32#1 + 56)
## %ebp = *(uint32 *) (%eax + 56)
movl 56(%eax),%ebp
## fp stack: 
## live mem32 values: 8
## live int32 values: 5
## live flags values: 0

## input line 82: x1 = in1
movl %edx,20(%esp)
## fp stack: 
## live mem32 values: 9
## live int32 values: 4
## live flags values: 0

## input line 83: in9 = *(uint32 *) (in + 36)
## in9 = *(uint32 *) (in + 36)
## int32#5 = *(uint32 *) (int32#1 + 36)
## %esi = *(uint32 *) (%eax + 36)
movl 36(%eax),%esi
## fp stack: 
## live mem32 values: 9
## live int32 values: 5
## live flags values: 0

## input line 84: x11 = in11
movl %edi,60(%esp)
## fp stack: 
## live mem32 values: 10
## live int32 values: 4
## live flags values: 0

## input line 85: in3 = *(uint32 *) (in + 12)
## in3 = *(uint32 *) (in + 12)
## int32#3 = *(uint32 *) (int32#1 + 12)
## %edx = *(uint32 *) (%eax + 12)
movl 12(%eax),%edx
## fp stack: 
## live mem32 values: 10
## live int32 values: 5
## live flags values: 0

## input line 86: x4 = in4
movl %ecx,32(%esp)
## fp stack: 
## live mem32 values: 11
## live int32 values: 4
## live flags values: 0

## input line 87: in8 = *(uint32 *) (in + 32)
## in8 = *(uint32 *) (in + 32)
## int32#4 = *(uint32 *) (int32#1 + 32)
## %ebx = *(uint32 *) (%eax + 32)
movl 32(%eax),%ebx
## fp stack: 
## live mem32 values: 11
## live int32 values: 5
## live flags values: 0

## input line 88: x14 = in14
movl %ebp,72(%esp)
## fp stack: 
## live mem32 values: 12
## live int32 values: 4
## live flags values: 0

## input line 89: in2 = *(uint32 *) (in + 8)
## in2 = *(uint32 *) (in + 8)
## int32#2 = *(uint32 *) (int32#1 + 8)
## %ecx = *(uint32 *) (%eax + 8)
movl 8(%eax),%ecx
## fp stack: 
## live mem32 values: 12
## live int32 values: 5
## live flags values: 0

## input line 90: x9 = in9
movl %esi,52(%esp)
## fp stack: 
## live mem32 values: 13
## live int32 values: 4
## live flags values: 0

## input line 91: in13 = *(uint32 *) (in + 52)
## in13 = *(uint32 *) (in + 52)
## int32#5 = *(uint32 *) (int32#1 + 52)
## %esi = *(uint32 *) (%eax + 52)
movl 52(%eax),%esi
## fp stack: 
## live mem32 values: 13
## live int32 values: 5
## live flags values: 0

## input line 92: x3 = in3
movl %edx,28(%esp)
## fp stack: 
## live mem32 values: 14
## live int32 values: 4
## live flags values: 0

## input line 93: in7 = *(uint32 *) (in + 28)
## in7 = *(uint32 *) (in + 28)
## int32#3 = *(uint32 *) (int32#1 + 28)
## %edx = *(uint32 *) (%eax + 28)
movl 28(%eax),%edx
## fp stack: 
## live mem32 values: 14
## live int32 values: 5
## live flags values: 0

## input line 94: x8 = in8
movl %ebx,48(%esp)
## fp stack: 
## live mem32 values: 15
## live int32 values: 4
## live flags values: 0

## input line 95: p = *(uint32 *) (in + 0)
## p = *(uint32 *) (in + 0)
## int32#4 = *(uint32 *) (int32#1 + 0)
## %ebx = *(uint32 *) (%eax + 0)
movl 0(%eax),%ebx
## fp stack: 
## live mem32 values: 15
## live int32 values: 5
## live flags values: 0

## input line 96: x2 = in2
movl %ecx,24(%esp)
## fp stack: 
## live mem32 values: 16
## live int32 values: 4
## live flags values: 0

## input line 97: t = *(uint32 *) (in + 40)
## t = *(uint32 *) (in + 40)
## int32#6 = *(uint32 *) (int32#1 + 40)
## %edi = *(uint32 *) (%eax + 40)
movl 40(%eax),%edi
## fp stack: 
## live mem32 values: 16
## live int32 values: 5
## live flags values: 0

## input line 98: x13 = in13
movl %esi,68(%esp)
## fp stack: 
## live mem32 values: 17
## live int32 values: 4
## live flags values: 0

## input line 99: s = *(uint32 *) (in + 20)
## s = *(uint32 *) (in + 20)
## int32#5 = *(uint32 *) (int32#1 + 20)
## %esi = *(uint32 *) (%eax + 20)
movl 20(%eax),%esi
## fp stack: 
## live mem32 values: 17
## live int32 values: 5
## live flags values: 0

## input line 100: x7 = in7
movl %edx,44(%esp)
## fp stack: 
## live mem32 values: 18
## live int32 values: 4
## live flags values: 0

## input line 101: w = *(uint32 *) (in + 60)
## w = *(uint32 *) (in + 60)
## int32#7 = *(uint32 *) (int32#1 + 60)
## %ebp = *(uint32 *) (%eax + 60)
movl 60(%eax),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 4
## live flags values: 0

## input line 102: 

## input line 103: i = 20
## i = 20
## int32#1 = 20
## %eax = 20
mov $20,%eax
## fp stack: 
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 104: 

## input line 105: 

## input line 106: mainloop
._mainloop:

## input line 107: 

## input line 108: x0 = p
movl %ebx,16(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 109: 				x10 = t
movl %edi,56(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 110: inplace p += x12
addl 64(%esp),%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 111: 		x5 = s
movl %esi,36(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 112: 				inplace t += x6
addl 40(%esp),%edi
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 113: 						x15 = w
movl %ebp,76(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 5
## live flags values: 0

## input line 114: 		r = x1
movl 20(%esp),%ecx
## fp stack: 
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 115: 		inplace r += s
## r += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 116: 						v = x11
movl 60(%esp),%edx
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 117: 						inplace v += w
## v += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 118: inplace p <<<= 7
## p <<<= 7
## int32#4 <<<= 7
## %ebx <<<= 7
rol $7,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 119: inplace p ^= x4
xorl 32(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 120: 				inplace t <<<= 7
## t <<<= 7
## int32#6 <<<= 7
## %edi <<<= 7
rol $7,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 121: 				inplace t ^= x14
xorl 72(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 122: 		inplace r <<<= 7
## r <<<= 7
## int32#2 <<<= 7
## %ecx <<<= 7
rol $7,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 123: 		inplace r ^= x9
xorl 52(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 124: 						inplace v <<<= 7
## v <<<= 7
## int32#3 <<<= 7
## %edx <<<= 7
rol $7,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 125: 						inplace v ^= x3
xorl 28(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 126: x4 = p
movl %ebx,32(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 127: 				x14 = t
movl %edi,72(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 128: inplace p += x0
addl 16(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 129: 		x9 = r
movl %ecx,52(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 130: 				inplace t += x10
addl 56(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 131: 						x3 = v
movl %edx,28(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 132: inplace p <<<= 9
## p <<<= 9
## int32#4 <<<= 9
## %ebx <<<= 9
rol $9,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 133: inplace p ^= x8
xorl 48(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 134: 				inplace t <<<= 9
## t <<<= 9
## int32#6 <<<= 9
## %edi <<<= 9
rol $9,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 135: 				inplace t ^= x2
xorl 24(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 136: 		inplace s += r
## s += r
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 137: 		inplace s <<<= 9
## s <<<= 9
## int32#5 <<<= 9
## %esi <<<= 9
rol $9,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 138: 		inplace s ^= x13
xorl 68(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 139: 						inplace w += v
## w += v
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 140: 						inplace w <<<= 9
## w <<<= 9
## int32#7 <<<= 9
## %ebp <<<= 9
rol $9,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 141: 						inplace w ^= x7
xorl 44(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 142: x8 = p
movl %ebx,48(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 143: 				x2 = t
movl %edi,24(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 144: inplace p += x4
addl 32(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 145: 		x13 = s
movl %esi,68(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 146: 				inplace t += x14
addl 72(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 147: 						x7 = w
movl %ebp,44(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 148: inplace p <<<= 13
## p <<<= 13
## int32#4 <<<= 13
## %ebx <<<= 13
rol $13,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 149: inplace p ^= x12
xorl 64(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 150: 				inplace t <<<= 13
## t <<<= 13
## int32#6 <<<= 13
## %edi <<<= 13
rol $13,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 151: 				inplace t ^= x6
xorl 40(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 152: 		inplace r += s
## r += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 153: 		inplace r <<<= 13
## r <<<= 13
## int32#2 <<<= 13
## %ecx <<<= 13
rol $13,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 154: 		inplace r ^= x1
xorl 20(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 155: 						inplace v += w
## v += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 156: 						inplace v <<<= 13
## v <<<= 13
## int32#3 <<<= 13
## %edx <<<= 13
rol $13,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 157: 						inplace v ^= x11
xorl 60(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 158: x12 = p
movl %ebx,64(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 159: 				x6 = t
movl %edi,40(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 160: inplace p += x8
addl 48(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 161: 		x1 = r
movl %ecx,20(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 162: 				inplace t += x2
addl 24(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 163: 						x11 = v
movl %edx,60(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 164: inplace p <<<= 18
## p <<<= 18
## int32#4 <<<= 18
## %ebx <<<= 18
rol $18,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 165: inplace p ^= x0
xorl 16(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 166: 				inplace t <<<= 18
## t <<<= 18
## int32#6 <<<= 18
## %edi <<<= 18
rol $18,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 167: 				inplace t ^= x10
xorl 56(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 168: 		inplace s += r
## s += r
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## fp stack: 
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 169: 		inplace s <<<= 18
## s <<<= 18
## int32#5 <<<= 18
## %esi <<<= 18
rol $18,%esi
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 170: 		inplace s ^= x5
xorl 36(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 6
## live flags values: 0

## input line 171: 						inplace w += v
## w += v
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 172: 						inplace w <<<= 18
## w <<<= 18
## int32#7 <<<= 18
## %ebp <<<= 18
rol $18,%ebp
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 173: 						inplace w ^= x15
xorl 76(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 174: x0 = p
movl %ebx,16(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 175: 				x10 = t
movl %edi,56(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 176: inplace p += x3
addl 28(%esp),%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 177: inplace p <<<= 7
## p <<<= 7
## int32#4 <<<= 7
## %ebx <<<= 7
rol $7,%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 178: 		x5 = s
movl %esi,36(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 179: 				inplace t += x9
addl 52(%esp),%edi
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 180: 						x15 = w
movl %ebp,76(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 5
## live flags values: 0

## input line 181: 		r = x4
movl 32(%esp),%ecx
## fp stack: 
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 182: 		inplace r += s
## r#2 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 183: 						v = x14
movl 72(%esp),%edx
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 184: 						inplace v += w
## v#2 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 185: inplace p ^= x1
xorl 20(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 186: 				inplace t <<<= 7
## t <<<= 7
## int32#6 <<<= 7
## %edi <<<= 7
rol $7,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 187: 				inplace t ^= x11
xorl 60(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 188: 		inplace r <<<= 7
## r#2 <<<= 7
## int32#2 <<<= 7
## %ecx <<<= 7
rol $7,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 189: 		inplace r ^= x6
xorl 40(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 190: 						inplace v <<<= 7
## v#2 <<<= 7
## int32#3 <<<= 7
## %edx <<<= 7
rol $7,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 191: 						inplace v ^= x12
xorl 64(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 192: x1 = p
movl %ebx,20(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 193: 				x11 = t
movl %edi,60(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 194: inplace p += x0
addl 16(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 195: 		x6 = r
movl %ecx,40(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 196: 				inplace t += x10
addl 56(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 197: 						x12 = v
movl %edx,64(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 198: inplace p <<<= 9
## p <<<= 9
## int32#4 <<<= 9
## %ebx <<<= 9
rol $9,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 199: inplace p ^= x2
xorl 24(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 200: 				inplace t <<<= 9
## t <<<= 9
## int32#6 <<<= 9
## %edi <<<= 9
rol $9,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 201: 				inplace t ^= x8
xorl 48(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 202: 		inplace s += r
## s += r#2
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 203: 		inplace s <<<= 9
## s <<<= 9
## int32#5 <<<= 9
## %esi <<<= 9
rol $9,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 204: 		inplace s ^= x7
xorl 44(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 205: 						inplace w += v
## w += v#2
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 206: 						inplace w <<<= 9
## w <<<= 9
## int32#7 <<<= 9
## %ebp <<<= 9
rol $9,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 207: 						inplace w ^= x13
xorl 68(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 208: x2 = p
movl %ebx,24(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 209: 				x8 = t
movl %edi,48(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 210: inplace p += x1
addl 20(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 211: 		x7 = s
movl %esi,44(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 212: 				inplace t += x11
addl 60(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 213: 						x13 = w
movl %ebp,68(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 214: inplace p <<<= 13
## p <<<= 13
## int32#4 <<<= 13
## %ebx <<<= 13
rol $13,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 215: inplace p ^= x3
xorl 28(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 216: 				inplace t <<<= 13
## t <<<= 13
## int32#6 <<<= 13
## %edi <<<= 13
rol $13,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 217: 				inplace t ^= x9
xorl 52(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 218: 		inplace r += s
## r#2 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 219: 		inplace r <<<= 13
## r#2 <<<= 13
## int32#2 <<<= 13
## %ecx <<<= 13
rol $13,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 220: 		inplace r ^= x4
xorl 32(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 221: 						inplace v += w
## v#2 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 222: 						inplace v <<<= 13
## v#2 <<<= 13
## int32#3 <<<= 13
## %edx <<<= 13
rol $13,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 223: 						inplace v ^= x14
xorl 72(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 224: x3 = p
movl %ebx,28(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 225: 				x9 = t
movl %edi,52(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 226: inplace p += x2
addl 24(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 227: 		x4 = r
movl %ecx,32(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 228: 				inplace t += x8
addl 48(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 229: 						x14 = v
movl %edx,72(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 230: inplace p <<<= 18
## p <<<= 18
## int32#4 <<<= 18
## %ebx <<<= 18
rol $18,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 231: inplace p ^= x0
xorl 16(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 232: 				inplace t <<<= 18
## t <<<= 18
## int32#6 <<<= 18
## %edi <<<= 18
rol $18,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 233: 				inplace t ^= x10
xorl 56(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 234: 		inplace s += r
## s += r#2
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## fp stack: 
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 235: 		inplace s <<<= 18
## s <<<= 18
## int32#5 <<<= 18
## %esi <<<= 18
rol $18,%esi
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 236: 		inplace s ^= x5
xorl 36(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 6
## live flags values: 0

## input line 237: 						inplace w += v
## w += v#2
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 238: 						inplace w <<<= 18
## w <<<= 18
## int32#7 <<<= 18
## %ebp <<<= 18
rol $18,%ebp
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 239: 						inplace w ^= x15
xorl 76(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 240: 

## input line 241: 

## input line 242: x0 = p
movl %ebx,16(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 243: 				x10 = t
movl %edi,56(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 244: inplace p += x12
addl 64(%esp),%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 245: 		x5 = s
movl %esi,36(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 246: 				inplace t += x6
addl 40(%esp),%edi
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 247: 						x15 = w
movl %ebp,76(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 5
## live flags values: 0

## input line 248: 		r = x1
movl 20(%esp),%ecx
## fp stack: 
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 249: 		inplace r += s
## r#3 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 250: 						v = x11
movl 60(%esp),%edx
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 251: 						inplace v += w
## v#3 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 252: inplace p <<<= 7
## p <<<= 7
## int32#4 <<<= 7
## %ebx <<<= 7
rol $7,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 253: inplace p ^= x4
xorl 32(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 254: 				inplace t <<<= 7
## t <<<= 7
## int32#6 <<<= 7
## %edi <<<= 7
rol $7,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 255: 				inplace t ^= x14
xorl 72(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 256: 		inplace r <<<= 7
## r#3 <<<= 7
## int32#2 <<<= 7
## %ecx <<<= 7
rol $7,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 257: 		inplace r ^= x9
xorl 52(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 258: 						inplace v <<<= 7
## v#3 <<<= 7
## int32#3 <<<= 7
## %edx <<<= 7
rol $7,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 259: 						inplace v ^= x3
xorl 28(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 260: x4 = p
movl %ebx,32(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 261: 				x14 = t
movl %edi,72(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 262: inplace p += x0
addl 16(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 263: 		x9 = r
movl %ecx,52(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 264: 				inplace t += x10
addl 56(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 265: 						x3 = v
movl %edx,28(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 266: inplace p <<<= 9
## p <<<= 9
## int32#4 <<<= 9
## %ebx <<<= 9
rol $9,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 267: inplace p ^= x8
xorl 48(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 268: 				inplace t <<<= 9
## t <<<= 9
## int32#6 <<<= 9
## %edi <<<= 9
rol $9,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 269: 				inplace t ^= x2
xorl 24(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 270: 		inplace s += r
## s += r#3
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 271: 		inplace s <<<= 9
## s <<<= 9
## int32#5 <<<= 9
## %esi <<<= 9
rol $9,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 272: 		inplace s ^= x13
xorl 68(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 273: 						inplace w += v
## w += v#3
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 274: 						inplace w <<<= 9
## w <<<= 9
## int32#7 <<<= 9
## %ebp <<<= 9
rol $9,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 275: 						inplace w ^= x7
xorl 44(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 276: x8 = p
movl %ebx,48(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 277: 				x2 = t
movl %edi,24(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 278: inplace p += x4
addl 32(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 279: 		x13 = s
movl %esi,68(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 280: 				inplace t += x14
addl 72(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 281: 						x7 = w
movl %ebp,44(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 282: inplace p <<<= 13
## p <<<= 13
## int32#4 <<<= 13
## %ebx <<<= 13
rol $13,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 283: inplace p ^= x12
xorl 64(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 284: 				inplace t <<<= 13
## t <<<= 13
## int32#6 <<<= 13
## %edi <<<= 13
rol $13,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 285: 				inplace t ^= x6
xorl 40(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 286: 		inplace r += s
## r#3 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 287: 		inplace r <<<= 13
## r#3 <<<= 13
## int32#2 <<<= 13
## %ecx <<<= 13
rol $13,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 288: 		inplace r ^= x1
xorl 20(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 289: 						inplace v += w
## v#3 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 290: 						inplace v <<<= 13
## v#3 <<<= 13
## int32#3 <<<= 13
## %edx <<<= 13
rol $13,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 291: 						inplace v ^= x11
xorl 60(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 292: x12 = p
movl %ebx,64(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 293: 				x6 = t
movl %edi,40(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 294: inplace p += x8
addl 48(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 295: 		x1 = r
movl %ecx,20(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 296: 				inplace t += x2
addl 24(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 297: 						x11 = v
movl %edx,60(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 298: inplace p <<<= 18
## p <<<= 18
## int32#4 <<<= 18
## %ebx <<<= 18
rol $18,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 299: inplace p ^= x0
xorl 16(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 300: 				inplace t <<<= 18
## t <<<= 18
## int32#6 <<<= 18
## %edi <<<= 18
rol $18,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 301: 				inplace t ^= x10
xorl 56(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 302: 		inplace s += r
## s += r#3
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## fp stack: 
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 303: 		inplace s <<<= 18
## s <<<= 18
## int32#5 <<<= 18
## %esi <<<= 18
rol $18,%esi
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 304: 		inplace s ^= x5
xorl 36(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 6
## live flags values: 0

## input line 305: 						inplace w += v
## w += v#3
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 306: 						inplace w <<<= 18
## w <<<= 18
## int32#7 <<<= 18
## %ebp <<<= 18
rol $18,%ebp
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 307: 						inplace w ^= x15
xorl 76(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 308: x0 = p
movl %ebx,16(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 309: 				x10 = t
movl %edi,56(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 310: inplace p += x3
addl 28(%esp),%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 311: inplace p <<<= 7
## p <<<= 7
## int32#4 <<<= 7
## %ebx <<<= 7
rol $7,%ebx
## live mem32 values: 20
## live int32 values: 5
## live flags values: 0

## input line 312: 		x5 = s
movl %esi,36(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 313: 				inplace t += x9
addl 52(%esp),%edi
## live mem32 values: 21
## live int32 values: 5
## live flags values: 0

## input line 314: 						x15 = w
movl %ebp,76(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 5
## live flags values: 0

## input line 315: 		r = x4
movl 32(%esp),%ecx
## fp stack: 
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 316: 		inplace r += s
## r#4 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 22
## live int32 values: 6
## live flags values: 0

## input line 317: 						v = x14
movl 72(%esp),%edx
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 318: 						inplace v += w
## v#4 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 319: inplace p ^= x1
xorl 20(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 320: 				inplace t <<<= 7
## t <<<= 7
## int32#6 <<<= 7
## %edi <<<= 7
rol $7,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 321: 				inplace t ^= x11
xorl 60(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 322: 		inplace r <<<= 7
## r#4 <<<= 7
## int32#2 <<<= 7
## %ecx <<<= 7
rol $7,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 323: 		inplace r ^= x6
xorl 40(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 324: 						inplace v <<<= 7
## v#4 <<<= 7
## int32#3 <<<= 7
## %edx <<<= 7
rol $7,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 325: 						inplace v ^= x12
xorl 64(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 326: x1 = p
movl %ebx,20(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 327: 				x11 = t
movl %edi,60(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 328: inplace p += x0
addl 16(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 329: 		x6 = r
movl %ecx,40(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 330: 				inplace t += x10
addl 56(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 331: 						x12 = v
movl %edx,64(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 332: inplace p <<<= 9
## p <<<= 9
## int32#4 <<<= 9
## %ebx <<<= 9
rol $9,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 333: inplace p ^= x2
xorl 24(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 334: 				inplace t <<<= 9
## t <<<= 9
## int32#6 <<<= 9
## %edi <<<= 9
rol $9,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 335: 				inplace t ^= x8
xorl 48(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 336: 		inplace s += r
## s += r#4
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 337: 		inplace s <<<= 9
## s <<<= 9
## int32#5 <<<= 9
## %esi <<<= 9
rol $9,%esi
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 338: 		inplace s ^= x7
xorl 44(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 339: 						inplace w += v
## w += v#4
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 340: 						inplace w <<<= 9
## w <<<= 9
## int32#7 <<<= 9
## %ebp <<<= 9
rol $9,%ebp
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 341: 						inplace w ^= x13
xorl 68(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 342: x2 = p
movl %ebx,24(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 343: 				x8 = t
movl %edi,48(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 344: inplace p += x1
addl 20(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 345: 		x7 = s
movl %esi,44(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 346: 				inplace t += x11
addl 60(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 347: 						x13 = w
movl %ebp,68(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 348: inplace p <<<= 13
## p <<<= 13
## int32#4 <<<= 13
## %ebx <<<= 13
rol $13,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 349: inplace p ^= x3
xorl 28(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 350: 				inplace t <<<= 13
## t <<<= 13
## int32#6 <<<= 13
## %edi <<<= 13
rol $13,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 351: 				inplace t ^= x9
xorl 52(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 352: 		inplace r += s
## r#4 += s
## int32#2 += int32#5
## %ecx += %esi
add %esi,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 353: 		inplace r <<<= 13
## r#4 <<<= 13
## int32#2 <<<= 13
## %ecx <<<= 13
rol $13,%ecx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 354: 		inplace r ^= x4
xorl 32(%esp),%ecx
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 355: 						inplace v += w
## v#4 += w
## int32#3 += int32#7
## %edx += %ebp
add %ebp,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 356: 						inplace v <<<= 13
## v#4 <<<= 13
## int32#3 <<<= 13
## %edx <<<= 13
rol $13,%edx
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 357: 						inplace v ^= x14
xorl 72(%esp),%edx
## fp stack: 
## live mem32 values: 18
## live int32 values: 7
## live flags values: 0

## input line 358: x3 = p
movl %ebx,28(%esp)
## fp stack: 
## live mem32 values: 19
## live int32 values: 7
## live flags values: 0

## input line 359: 				x9 = t
movl %edi,52(%esp)
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 360: inplace p += x2
addl 24(%esp),%ebx
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 361: 		x4 = r
movl %ecx,32(%esp)
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 362: 				inplace t += x8
addl 48(%esp),%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 363: 						x14 = v
movl %edx,72(%esp)
## fp stack: 
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 364: inplace p <<<= 18
## p <<<= 18
## int32#4 <<<= 18
## %ebx <<<= 18
rol $18,%ebx
## live mem32 values: 22
## live int32 values: 7
## live flags values: 0

## input line 365: inplace p ^= x0
xorl 16(%esp),%ebx
## fp stack: 
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 366: 				inplace t <<<= 18
## t <<<= 18
## int32#6 <<<= 18
## %edi <<<= 18
rol $18,%edi
## live mem32 values: 21
## live int32 values: 7
## live flags values: 0

## input line 367: 				inplace t ^= x10
xorl 56(%esp),%edi
## fp stack: 
## live mem32 values: 20
## live int32 values: 7
## live flags values: 0

## input line 368: 		inplace s += r
## s += r#4
## int32#5 += int32#2
## %esi += %ecx
add %ecx,%esi
## fp stack: 
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 369: 		inplace s <<<= 18
## s <<<= 18
## int32#5 <<<= 18
## %esi <<<= 18
rol $18,%esi
## live mem32 values: 20
## live int32 values: 6
## live flags values: 0

## input line 370: 		inplace s ^= x5
xorl 36(%esp),%esi
## fp stack: 
## live mem32 values: 19
## live int32 values: 6
## live flags values: 0

## input line 371: 						inplace w += v
## w += v#4
## int32#7 += int32#3
## %ebp += %edx
add %edx,%ebp
## fp stack: 
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 372: 						inplace w <<<= 18
## w <<<= 18
## int32#7 <<<= 18
## %ebp <<<= 18
rol $18,%ebp
## live mem32 values: 19
## live int32 values: 5
## live flags values: 0

## input line 373: 						inplace w ^= x15
xorl 76(%esp),%ebp
## fp stack: 
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 374: 

## input line 375: 

## input line 376: 

## input line 377: inplace i -= 4
## i -= 4
## int32#1 -= 4
## %eax -= 4
sub $4,%eax
## live mem32 values: 18
## live int32 values: 5
## live flags values: 0

## input line 378: goto mainloop if unsigned >
## fp stack unchanged by jump
ja ._mainloop
## fp stack: 

## input line 379: 

## input line 380: load in
movl 88(%esp),%eax
## fp stack: 
## live mem32 values: 17
## live int32 values: 5
## live flags values: 0

## input line 381: load out
movl 84(%esp),%ecx
## fp stack: 
## live mem32 values: 16
## live int32 values: 6
## live flags values: 0

## input line 382: 

## input line 383: p += *(uint32 *) (in + 0)
## p += *(uint32 *) (in#2 + 0)
## int32#4 += *(uint32 *) (int32#1 + 0)
## %ebx += *(uint32 *) (%eax + 0)
addl 0(%eax),%ebx
## live mem32 values: 16
## live int32 values: 6
## live flags values: 0

## input line 384: s += *(uint32 *) (in + 20)
## s += *(uint32 *) (in#2 + 20)
## int32#5 += *(uint32 *) (int32#1 + 20)
## %esi += *(uint32 *) (%eax + 20)
addl 20(%eax),%esi
## live mem32 values: 16
## live int32 values: 6
## live flags values: 0

## input line 385: t += *(uint32 *) (in + 40)
## t += *(uint32 *) (in#2 + 40)
## int32#6 += *(uint32 *) (int32#1 + 40)
## %edi += *(uint32 *) (%eax + 40)
addl 40(%eax),%edi
## live mem32 values: 16
## live int32 values: 6
## live flags values: 0

## input line 386: w += *(uint32 *) (in + 60)
## w += *(uint32 *) (in#2 + 60)
## int32#7 += *(uint32 *) (int32#1 + 60)
## %ebp += *(uint32 *) (%eax + 60)
addl 60(%eax),%ebp
## live mem32 values: 16
## live int32 values: 6
## live flags values: 0

## input line 387: 

## input line 388: *(uint32 *) (out + 0) = p
## *(uint32 *) (out + 0) = p
## *(uint32 *) (int32#2 + 0) = int32#4
## *(uint32 *) (%ecx + 0) = %ebx
movl %ebx,0(%ecx)
## fp stack: 
## live mem32 values: 16
## live int32 values: 5
## live flags values: 0

## input line 389: *(uint32 *) (out + 20) = s
## *(uint32 *) (out + 20) = s
## *(uint32 *) (int32#2 + 20) = int32#5
## *(uint32 *) (%ecx + 20) = %esi
movl %esi,20(%ecx)
## fp stack: 
## live mem32 values: 16
## live int32 values: 4
## live flags values: 0

## input line 390: out1 = x1
movl 20(%esp),%edx
## fp stack: 
## live mem32 values: 15
## live int32 values: 5
## live flags values: 0

## input line 391: *(uint32 *) (out + 40) = t
## *(uint32 *) (out + 40) = t
## *(uint32 *) (int32#2 + 40) = int32#6
## *(uint32 *) (%ecx + 40) = %edi
movl %edi,40(%ecx)
## fp stack: 
## live mem32 values: 15
## live int32 values: 4
## live flags values: 0

## input line 392: out2 = x2
movl 24(%esp),%ebx
## fp stack: 
## live mem32 values: 14
## live int32 values: 5
## live flags values: 0

## input line 393: *(uint32 *) (out + 60) = w
## *(uint32 *) (out + 60) = w
## *(uint32 *) (int32#2 + 60) = int32#7
## *(uint32 *) (%ecx + 60) = %ebp
movl %ebp,60(%ecx)
## fp stack: 
## live mem32 values: 14
## live int32 values: 4
## live flags values: 0

## input line 394: out3 = x3
movl 28(%esp),%esi
## fp stack: 
## live mem32 values: 13
## live int32 values: 5
## live flags values: 0

## input line 395: out1 += *(uint32 *) (in + 4)
## out1 += *(uint32 *) (in#2 + 4)
## int32#3 += *(uint32 *) (int32#1 + 4)
## %edx += *(uint32 *) (%eax + 4)
addl 4(%eax),%edx
## live mem32 values: 13
## live int32 values: 5
## live flags values: 0

## input line 396: out2 += *(uint32 *) (in + 8)
## out2 += *(uint32 *) (in#2 + 8)
## int32#4 += *(uint32 *) (int32#1 + 8)
## %ebx += *(uint32 *) (%eax + 8)
addl 8(%eax),%ebx
## live mem32 values: 13
## live int32 values: 5
## live flags values: 0

## input line 397: out3 += *(uint32 *) (in + 12)
## out3 += *(uint32 *) (in#2 + 12)
## int32#5 += *(uint32 *) (int32#1 + 12)
## %esi += *(uint32 *) (%eax + 12)
addl 12(%eax),%esi
## live mem32 values: 13
## live int32 values: 5
## live flags values: 0

## input line 398: *(uint32 *) (out + 4) = out1
## *(uint32 *) (out + 4) = out1
## *(uint32 *) (int32#2 + 4) = int32#3
## *(uint32 *) (%ecx + 4) = %edx
movl %edx,4(%ecx)
## fp stack: 
## live mem32 values: 13
## live int32 values: 4
## live flags values: 0

## input line 399: out4 = x4
movl 32(%esp),%edx
## fp stack: 
## live mem32 values: 12
## live int32 values: 5
## live flags values: 0

## input line 400: *(uint32 *) (out + 8) = out2
## *(uint32 *) (out + 8) = out2
## *(uint32 *) (int32#2 + 8) = int32#4
## *(uint32 *) (%ecx + 8) = %ebx
movl %ebx,8(%ecx)
## fp stack: 
## live mem32 values: 12
## live int32 values: 4
## live flags values: 0

## input line 401: out6 = x6
movl 40(%esp),%ebx
## fp stack: 
## live mem32 values: 11
## live int32 values: 5
## live flags values: 0

## input line 402: *(uint32 *) (out + 12) = out3
## *(uint32 *) (out + 12) = out3
## *(uint32 *) (int32#2 + 12) = int32#5
## *(uint32 *) (%ecx + 12) = %esi
movl %esi,12(%ecx)
## fp stack: 
## live mem32 values: 11
## live int32 values: 4
## live flags values: 0

## input line 403: out7 = x7
movl 44(%esp),%esi
## fp stack: 
## live mem32 values: 10
## live int32 values: 5
## live flags values: 0

## input line 404: out4 += *(uint32 *) (in + 16)
## out4 += *(uint32 *) (in#2 + 16)
## int32#3 += *(uint32 *) (int32#1 + 16)
## %edx += *(uint32 *) (%eax + 16)
addl 16(%eax),%edx
## live mem32 values: 10
## live int32 values: 5
## live flags values: 0

## input line 405: out6 += *(uint32 *) (in + 24)
## out6 += *(uint32 *) (in#2 + 24)
## int32#4 += *(uint32 *) (int32#1 + 24)
## %ebx += *(uint32 *) (%eax + 24)
addl 24(%eax),%ebx
## live mem32 values: 10
## live int32 values: 5
## live flags values: 0

## input line 406: out7 += *(uint32 *) (in + 28)
## out7 += *(uint32 *) (in#2 + 28)
## int32#5 += *(uint32 *) (int32#1 + 28)
## %esi += *(uint32 *) (%eax + 28)
addl 28(%eax),%esi
## live mem32 values: 10
## live int32 values: 5
## live flags values: 0

## input line 407: *(uint32 *) (out + 16) = out4
## *(uint32 *) (out + 16) = out4
## *(uint32 *) (int32#2 + 16) = int32#3
## *(uint32 *) (%ecx + 16) = %edx
movl %edx,16(%ecx)
## fp stack: 
## live mem32 values: 10
## live int32 values: 4
## live flags values: 0

## input line 408: out8 = x8
movl 48(%esp),%edx
## fp stack: 
## live mem32 values: 9
## live int32 values: 5
## live flags values: 0

## input line 409: *(uint32 *) (out + 24) = out6
## *(uint32 *) (out + 24) = out6
## *(uint32 *) (int32#2 + 24) = int32#4
## *(uint32 *) (%ecx + 24) = %ebx
movl %ebx,24(%ecx)
## fp stack: 
## live mem32 values: 9
## live int32 values: 4
## live flags values: 0

## input line 410: out9 = x9
movl 52(%esp),%ebx
## fp stack: 
## live mem32 values: 8
## live int32 values: 5
## live flags values: 0

## input line 411: *(uint32 *) (out + 28) = out7
## *(uint32 *) (out + 28) = out7
## *(uint32 *) (int32#2 + 28) = int32#5
## *(uint32 *) (%ecx + 28) = %esi
movl %esi,28(%ecx)
## fp stack: 
## live mem32 values: 8
## live int32 values: 4
## live flags values: 0

## input line 412: out11 = x11
movl 60(%esp),%ebp
## fp stack: 
## live mem32 values: 7
## live int32 values: 5
## live flags values: 0

## input line 413: out8 += *(uint32 *) (in + 32)
## out8 += *(uint32 *) (in#2 + 32)
## int32#3 += *(uint32 *) (int32#1 + 32)
## %edx += *(uint32 *) (%eax + 32)
addl 32(%eax),%edx
## live mem32 values: 7
## live int32 values: 5
## live flags values: 0

## input line 414: out9 += *(uint32 *) (in + 36)
## out9 += *(uint32 *) (in#2 + 36)
## int32#4 += *(uint32 *) (int32#1 + 36)
## %ebx += *(uint32 *) (%eax + 36)
addl 36(%eax),%ebx
## live mem32 values: 7
## live int32 values: 5
## live flags values: 0

## input line 415: out11 += *(uint32 *) (in + 44)
## out11 += *(uint32 *) (in#2 + 44)
## int32#7 += *(uint32 *) (int32#1 + 44)
## %ebp += *(uint32 *) (%eax + 44)
addl 44(%eax),%ebp
## live mem32 values: 7
## live int32 values: 5
## live flags values: 0

## input line 416: *(uint32 *) (out + 32) = out8
## *(uint32 *) (out + 32) = out8
## *(uint32 *) (int32#2 + 32) = int32#3
## *(uint32 *) (%ecx + 32) = %edx
movl %edx,32(%ecx)
## fp stack: 
## live mem32 values: 7
## live int32 values: 4
## live flags values: 0

## input line 417: out12 = x12
movl 64(%esp),%esi
## fp stack: 
## live mem32 values: 6
## live int32 values: 5
## live flags values: 0

## input line 418: *(uint32 *) (out + 36) = out9
## *(uint32 *) (out + 36) = out9
## *(uint32 *) (int32#2 + 36) = int32#4
## *(uint32 *) (%ecx + 36) = %ebx
movl %ebx,36(%ecx)
## fp stack: 
## live mem32 values: 6
## live int32 values: 4
## live flags values: 0

## input line 419: out13 = x13
movl 68(%esp),%edi
## fp stack: 
## live mem32 values: 5
## live int32 values: 5
## live flags values: 0

## input line 420: *(uint32 *) (out + 44) = out11
## *(uint32 *) (out + 44) = out11
## *(uint32 *) (int32#2 + 44) = int32#7
## *(uint32 *) (%ecx + 44) = %ebp
movl %ebp,44(%ecx)
## fp stack: 
## live mem32 values: 5
## live int32 values: 4
## live flags values: 0

## input line 421: out14 = x14
movl 72(%esp),%edx
## fp stack: 
## live mem32 values: 4
## live int32 values: 5
## live flags values: 0

## input line 422: out12 += *(uint32 *) (in + 48)
## out12 += *(uint32 *) (in#2 + 48)
## int32#5 += *(uint32 *) (int32#1 + 48)
## %esi += *(uint32 *) (%eax + 48)
addl 48(%eax),%esi
## live mem32 values: 4
## live int32 values: 5
## live flags values: 0

## input line 423: out13 += *(uint32 *) (in + 52)
## out13 += *(uint32 *) (in#2 + 52)
## int32#6 += *(uint32 *) (int32#1 + 52)
## %edi += *(uint32 *) (%eax + 52)
addl 52(%eax),%edi
## live mem32 values: 4
## live int32 values: 5
## live flags values: 0

## input line 424: out14 += *(uint32 *) (in + 56)
## out14 += *(uint32 *) (in#2 + 56)
## int32#3 += *(uint32 *) (int32#1 + 56)
## %edx += *(uint32 *) (%eax + 56)
addl 56(%eax),%edx
## fp stack: 
## live mem32 values: 4
## live int32 values: 4
## live flags values: 0

## input line 425: load callerint ebx
movl 0(%esp),%ebx
## fp stack: 
## live mem32 values: 3
## live int32 values: 5
## live flags values: 0

## input line 426: *(uint32 *) (out + 48) = out12
## *(uint32 *) (out + 48) = out12
## *(uint32 *) (int32#2 + 48) = int32#5
## *(uint32 *) (%ecx + 48) = %esi
movl %esi,48(%ecx)
## fp stack: 
## live mem32 values: 3
## live int32 values: 4
## live flags values: 0

## input line 427: load callerint esi
movl 4(%esp),%esi
## fp stack: 
## live mem32 values: 2
## live int32 values: 5
## live flags values: 0

## input line 428: *(uint32 *) (out + 52) = out13
## *(uint32 *) (out + 52) = out13
## *(uint32 *) (int32#2 + 52) = int32#6
## *(uint32 *) (%ecx + 52) = %edi
movl %edi,52(%ecx)
## fp stack: 
## live mem32 values: 2
## live int32 values: 4
## live flags values: 0

## input line 429: load callerint edi
movl 8(%esp),%edi
## fp stack: 
## live mem32 values: 1
## live int32 values: 5
## live flags values: 0

## input line 430: *(uint32 *) (out + 56) = out14
## *(uint32 *) (out + 56) = out14
## *(uint32 *) (int32#2 + 56) = int32#3
## *(uint32 *) (%ecx + 56) = %edx
movl %edx,56(%ecx)
## fp stack: 
## live mem32 values: 1
## live int32 values: 3
## live flags values: 0

## input line 431: load callerint ebp
movl 12(%esp),%ebp
## fp stack: 
## live mem32 values: 0
## live int32 values: 4
## live flags values: 0

## input line 432: 

## input line 433: leave
add $80,%esp
ret
## live mem32 values: 0
## live int32 values: 4
## live flags values: 0