
badBuggy.ppc_o:     file format elf32-powerpcle

Disassembly of section .text:

00000000 <error>:
   0:	f0 ff 21 94 	stwu    r1,-16(r1)
   4:	0c 00 e1 93 	stw     r31,12(r1)
   8:	78 0b 3f 7c 	mr      r31,r1
   c:	00 00 61 81 	lwz     r11,0(r1)
  10:	fc ff eb 83 	lwz     r31,-4(r11)
  14:	78 5b 61 7d 	mr      r1,r11
  18:	20 00 80 4e 	blr

0000001c <main>:
  1c:	e0 ff 21 94 	stwu    r1,-32(r1)
  20:	a6 02 08 7c 	mflr    r0
  24:	24 00 01 90 	stw     r0,36(r1)
  28:	1c 00 e1 93 	stw     r31,28(r1)
  2c:	78 0b 3f 7c 	mr      r31,r1
  30:	00 00 00 38 	li      r0,0
  34:	08 00 1f 90 	stw     r0,8(r31)
  38:	40 00 00 48 	b       78 <main+0x5c>
  3c:	0c 00 1f 80 	lwz     r0,12(r31)
  40:	0a 00 80 2b 	cmplwi  cr7,r0,10
  44:	1c 00 9d 40 	ble-    cr7,60 <main+0x44>
  48:	0c 00 1f 80 	lwz     r0,12(r31)
  4c:	0e 00 80 2b 	cmplwi  cr7,r0,14
  50:	10 00 9d 41 	bgt-    cr7,60 <main+0x44>
  54:	0c 00 3f 81 	lwz     r9,12(r31)
  58:	01 00 09 38 	addi    r0,r9,1
  5c:	0c 00 1f 90 	stw     r0,12(r31)
  60:	10 00 3f 81 	lwz     r9,16(r31)
  64:	01 00 09 38 	addi    r0,r9,1
  68:	10 00 1f 90 	stw     r0,16(r31)
  6c:	08 00 3f 81 	lwz     r9,8(r31)
  70:	01 00 09 38 	addi    r0,r9,1
  74:	08 00 1f 90 	stw     r0,8(r31)
  78:	08 00 1f 80 	lwz     r0,8(r31)
  7c:	02 00 80 2b 	cmplwi  cr7,r0,2
  80:	bc ff 9d 40 	ble+    cr7,3c <main+0x20>
  84:	0c 00 1f 80 	lwz     r0,12(r31)
  88:	0e 00 80 2f 	cmpwi   cr7,r0,14
  8c:	10 00 9e 40 	bne-    cr7,9c <main+0x80>
  90:	10 00 3f 81 	lwz     r9,16(r31)
  94:	fd ff 09 38 	addi    r0,r9,-3
  98:	10 00 1f 90 	stw     r0,16(r31)
  9c:	10 00 1f 80 	lwz     r0,16(r31)
  a0:	00 00 80 2f 	cmpwi   cr7,r0,0
  a4:	08 00 9e 40 	bne-    cr7,ac <main+0x90>
  a8:	01 00 00 48 	bl      a8 <main+0x8c>
  ac:	00 00 00 38 	li      r0,0
  b0:	78 03 03 7c 	mr      r3,r0
  b4:	00 00 61 81 	lwz     r11,0(r1)
  b8:	04 00 0b 80 	lwz     r0,4(r11)
  bc:	a6 03 08 7c 	mtlr    r0
  c0:	fc ff eb 83 	lwz     r31,-4(r11)
  c4:	78 5b 61 7d 	mr      r1,r11
  c8:	20 00 80 4e 	blr
