	.text
power8:
	tabort.      5
	tabortwc.    7,8,16
	tabortdc.    20,11,10
	tabortwci.   17,10,-13
	tabortdci.   29,3,-5
	tbegin.      0
	tcheck       7
	tend.        0
	tend.
	tend.        1
	tendall.     
	treclaim.    24
	trechkpt.    
	tsr.         0
	tsuspend.    
	tsr.         1
	tresume.     
	ori	     2,2,0
	.p2align     4,,15
	rfebb        0
	rfebb
	rfebb        1
	bctar-       12,21
	bctarl-      4,7
	bctar+       12,12
	bctarl+      4,2
	bctar        4,8,1
	bctarl       4,7,2
	waitasec     
	msgsndp      8
	mtsle        1
	msgclrp      27
	stqcx.       10,10,12
	stqcx.       28,0,7
	lqarx        24,19,11,0
	lqarx        22,0,11,0
	mfbhrbe      20,6
	pbt.         29,17,16
	pbt.         14,0,7
	clrbhrb      
	vpermxor     11,10,0,23
	vaddeuqm     24,2,7,4
	vaddecuq     10,10,8,2
	vsubeuqm     5,15,8,19
	vsubecuq     12,31,16,29
	vmulouw      20,29,13
	vmuluwm      29,0,26
	vaddudm      8,21,28
	vmaxud       1,26,1
	vrld         20,3,1
	vcmpequd     4,19,11
	vadduqm      23,14,30
	vaddcuq      8,8,13
	vmulosw      28,27,4
	vmaxsd       3,4,4
	vmuleuw      0,19,21
	vminud       24,20,19
	vcmpgtud     0,28,15
	vmulesw      21,0,2
	vminsd       9,26,9
	vsrad        25,29,11
	vcmpgtsd     11,28,11
	bcdadd.      5,8,26,1
	vpmsumb      4,3,12
	bcdsub.      26,31,21,1
	vpmsumh      5,17,16
	vpkudum      23,17,20
	vpmsumw      24,21,29
	vpmsumd      9,22,13
	vpkudus      18,19,18
	vsubuqm      30,16,22
	vcipher      14,11,7
	vcipherlast  10,2,22
	vgbbd        23,13
	vsubcuq      16,25,16
	vorc         31,1,5
	vncipher     4,17,31
	vncipherlast 24,2,27
	vbpermq      23,21,23
	vpksdus      27,18,9
	vnand        27,29,27
	vsld         19,19,24
	vsbox        5,13
	vpksdss      25,3,7
	vcmpequd.    28,8,0
	vupkhsw      26,26
	vshasigmaw   5,7,0,6
	veqv         28,21,14
	vmrgow       1,8,19
	vshasigmad   0,10,0,10
	vsrd         5,27,14
	vupklsw      11,13
	vclzb        14,16
	vpopcntb     20,27
	vclzh        28,11
	vpopcnth     24,9
	vclzw        27,31
	vpopcntw     17,19
	vclzd        12,29
	vpopcntd     23,22
	vcmpgtud.    24,20,29
	vcmpgtsd.    9,6,27
	lxsiwzx      62,14,26
	lxsiwzx      40,0,25
	lxsiwax      25,0,26
	lxsiwax      3,0,3
	mfvsrd       12,62
	mfvsrwz      20,12
	stxsiwx      14,9,14
	stxsiwx      21,0,8
	mtvsrd       48,11
	mtvsrwa      63,23
	mtvsrwz      16,26
	lxsspx       13,19,13
	lxsspx       18,0,13
	stxsspx      43,2,4
	stxsspx      55,0,11
	xsaddsp      54,48,25
	xsmaddasp    14,50,1
	xssubsp      26,22,42
	xsmaddmsp    27,53,52
	xsrsqrtesp   8,59
	xssqrtsp     12,41
	xsmulsp      57,11,32
	xsmsubasp    38,20,26
	xsdivsp      26,19,6
	xsmsubmsp    35,37,55
	xsresp       59,8
	xsnmaddasp   44,33,33
	xsnmaddmsp   17,62,30
	xsnmsubasp   54,52,31
	xsnmsubmsp   37,5,58
	xxlorc       30,54,44
	xxlnand      49,14,29
	xxleqv       62,22,30
	xscvdpspn    60,54
	xsrsp        22,45
	xscvuxdsp    26,59
	xscvsxdsp    38,49
	xscvspdpn    59,26
	fmrgow       24,14,2
	fmrgew       22,7,5
	msgsnd       14
	msgclr       23
	lxvx         40,0,5
	lxvd2x       40,0,5
	lxvx         10,20,6
	lxvd2x       10,20,6
	stxvx        41,0,7
	stxvd2x      41,0,7
	stxvx        11,21,8
	stxvd2x      11,21,8
	lbarx        20,0,7
	lbarx        20,0,7,0
	lbarx        20,0,7,1
	lbarx        20,1,7
	lbarx        20,1,7,0
	lbarx        20,1,7,1
	ldarx        21,0,8
	ldarx        21,0,8,0
	ldarx        21,0,8,1
	ldarx        21,1,8
	ldarx        21,1,8,0
	ldarx        21,1,8,1
	lharx        22,0,9
	lharx        22,0,9,0
	lharx        22,0,9,1
	lharx        22,1,9
	lharx        22,1,9,0
	lharx        22,1,9,1
	lwarx        23,0,10
	lwarx        23,0,10,0
	lwarx        23,0,10,1
	lwarx        23,1,10
	lwarx        23,1,10,0
	lwarx        23,1,10,1
	stbcx.       10,0,7
	stbcx.       10,1,7
	sthcx.       11,0,8
	sthcx.       11,1,8
	stwcx.       12,0,9
	stwcx.       12,1,9
	stdcx.       13,0,10
	stdcx.       13,1,10
	bctar	     0b10100,lt
	btar
	bdnztar
	bdnztarl
	bdztar
	bdztarl
	btar
	btarl
	bdnztar-
	bdnztarl-
	bdnztar+
	bdnztarl+
	bdztar-
	bdztarl-
	bdztar+
	bdztarl+
	bgetar       cr4
	bnltar       cr4
	bgetarl      cr4
	bnltarl      cr4
	bletar       cr4
	bngtar       cr4
	bletarl      cr4
	bngtarl      cr4
	bnetar       cr4
	bnetarl      cr4
	bnstar       cr4
	bnutar       cr4
	bnstarl      cr4
	bnutarl      cr4
	bgetar-      cr4
	bnltar-      cr4
	bgetarl-     cr4
	bnltarl-     cr4
	bletar-      cr4
	bngtar-      cr4
	bletarl-     cr4
	bngtarl-     cr4
	bnetar-      cr4
	bnetarl-     cr4
	bnstar-      cr4
	bnutar-      cr4
	bnstarl-     cr4
	bnutarl-     cr4
	bgetar+      cr4
	bnltar+      cr4
	bgetarl+     cr4
	bnltarl+     cr4
	bletar+      cr4
	bngtar+      cr4
	bletarl+     cr4
	bngtarl+     cr4
	bnetar+      cr4
	bnetarl+     cr4
	bnstar+      cr4
	bnutar+      cr4
	bnstarl+     cr4
	bnutarl+     cr4
	blttar       cr4
	blttarl      cr4
	bgttar       cr4
	bgttarl      cr4
	beqtar       cr4
	beqtarl      cr4
	bsotar       cr4
	buntar       cr4
	bsotarl      cr4
	buntarl      cr4
	blttar-      cr4
	blttarl-     cr4
	bgttar-      cr4
	bgttarl-     cr4
	beqtar-      cr4
	beqtarl-     cr4
	bsotar-      cr4
	buntar-      cr4
	bsotarl-     cr4
	buntarl-     cr4
	blttar+      cr4
	blttarl+     cr4
	bgttar+      cr4
	bgttarl+     cr4
	beqtar+      cr4
	beqtarl+     cr4
	bsotar+      cr4
	buntar+      cr4
	bsotarl+     cr4
	buntarl+     cr4
	bdnzftar     4*cr2+lt
	bdnzftarl    4*cr2+lt
	bdzftar      4*cr2+lt
	bdzftarl     4*cr2+lt
	bftar	     4*cr2+lt
	bftarl       4*cr2+lt
	bftar-       4*cr2+lt
	bftarl-      4*cr2+lt
	bftar+       4*cr2+lt
	bftarl+      4*cr2+lt
	bdnzttar     4*cr2+lt
	bdnzttarl    4*cr2+lt
	bdzttar      4*cr2+lt
	bdzttarl     4*cr2+lt
	bttar	     4*cr2+lt
	bttarl       4*cr2+lt
	bttar-       4*cr2+lt
	bttarl-      4*cr2+lt
	bttar+       4*cr2+lt
	bttarl+      4*cr2+lt
	bctar-       0b01100,4*cr2+eq
	bctarl-      0b01100,4*cr2+eq
	bctar+       0b01100,4*cr2+eq
	bctarl+      0b01100,4*cr2+eq
	bctar	     0b01100,4*cr2+gt
	bctar	     0b01100,4*cr2+gt,0
	bctar	     0b01100,4*cr2+gt,3
	bctarl       0b01100,4*cr2+gt
	bctarl       0b01100,4*cr2+gt,0
	bctarl       0b01100,4*cr2+gt,3
