#source: addpcis.s
#as: -a64 -mpower9
#ld: -melf64ppc -Ttext=0x10000000 --defsym ext1=-0x70007ffc --defsym ext2=0x8fff800b
#objdump: -d -Mpower9

.*:     file format .*

Disassembly of section \.text:

0+10000000 <_start>:
    10000000:	(4c 60 80 04|04 80 60 4c) 	addpcis r3,-32768
    10000004:	(38 63 80 00|00 80 63 38) 	addi    r3,r3,-32768
    10000008:	(4c 9f 7f c5|c5 7f 9f 4c) 	addpcis r4,32767
    1000000c:	(38 84 7f ff|ff 7f 84 38) 	addi    r4,r4,32767
    10000010:	(4c a0 00 05|05 00 a0 4c) 	addpcis r5,1
    10000014:	(38 a5 80 00|00 80 a5 38) 	addi    r5,r5,-32768
	\.\.\.

0+10008014 <forw>:
    10008014:	(60 00 00 00|00 00 00 60) 	nop