.text
foo:
vbperm %v15,%v17,%v20
vllezlf %v15,4000(%r6,%r9)
vmsl %v15,%v17,%v20,%v24,13,12
vmslg %v15,%v17,%v20,%v24,13
vnx %v15,%v17,%v20
vnn %v15,%v17,%v20
voc %v15,%v17,%v20
vpopctb %v15,%v17
vpopcth %v15,%v17
vpopctf %v15,%v17
vpopctg %v15,%v17
vfasb %v15,%v17,%v20
wfasb %v15,%v17,%v20
wfaxb %v15,%v17,%v20
wfcsb %v15,%v17
wfcxb %v15,%v17
wfksb %v15,%v17
wfkxb %v15,%v17
vfcesb %v15,%v17,%v20
vfcesbs %v15,%v17,%v20
wfcesb %v15,%v17,%v20
wfcesbs %v15,%v17,%v20
wfcexb %v15,%v17,%v20
wfcexbs %v15,%v17,%v20
vfkesb %v15,%v17,%v20
vfkesbs %v15,%v17,%v20
wfkesb %v15,%v17,%v20
wfkesbs %v15,%v17,%v20
vfkedb %v15,%v17,%v20
vfkedbs %v15,%v17,%v20
wfkedb %v15,%v17,%v20
wfkedbs %v15,%v17,%v20
wfkexb %v15,%v17,%v20
wfkexbs %v15,%v17,%v20
vfchsb %v15,%v17,%v20
vfchsbs %v15,%v17,%v20
wfchsb %v15,%v17,%v20
wfchsbs %v15,%v17,%v20
wfchxb %v15,%v17,%v20
wfchxbs %v15,%v17,%v20
vfkhsb %v15,%v17,%v20
vfkhsbs %v15,%v17,%v20
wfkhsb %v15,%v17,%v20
wfkhsbs %v15,%v17,%v20
vfkhdb %v15,%v17,%v20
vfkhdbs %v15,%v17,%v20
wfkhdb %v15,%v17,%v20
wfkhdbs %v15,%v17,%v20
wfkhxb %v15,%v17,%v20
wfkhxbs %v15,%v17,%v20
vfchesb %v15,%v17,%v20
vfchesbs %v15,%v17,%v20
wfchesb %v15,%v17,%v20
wfchesbs %v15,%v17,%v20
wfchexb %v15,%v17,%v20
wfchexbs %v15,%v17,%v20
vfkhesb %v15,%v17,%v20
vfkhesbs %v15,%v17,%v20
wfkhesb %v15,%v17,%v20
wfkhesbs %v15,%v17,%v20
vfkhedb %v15,%v17,%v20
vfkhedbs %v15,%v17,%v20
wfkhedb %v15,%v17,%v20
wfkhedbs %v15,%v17,%v20
wfkhexb %v15,%v17,%v20
wfkhexbs %v15,%v17,%v20
vfdsb %v15,%v17,%v20
wfdsb %v15,%v17,%v20
wfdxb %v15,%v17,%v20
vfisb %v15,%v17,13,12
wfisb %v15,%v17,13,12
wfixb %v15,%v17,13,12
vfll %v15,%v17,13,12
vflls %v15,%v17
wflls %v15,%v17
wflld %v15,%v17
vflr %v15,%v17,13,12,11
vflrd %v15,%v17,13,12
wflrd %v15,%v17,13,12
wflrx %v15,%v17,13,12
vfmax %v15,%v17,%v20,13,12,11
vfmaxsb %v15,%v17,%v20,13
vfmaxdb %v15,%v17,%v20,13
wfmaxsb %v15,%v17,%v20,13
wfmaxdb %v15,%v17,%v20,13
wfmaxxb %v15,%v17,%v20,13
vfmin %v15,%v17,%v20,13,12,11
vfminsb %v15,%v17,%v20,13
vfmindb %v15,%v17,%v20,13
wfminsb %v15,%v17,%v20,13
wfmindb %v15,%v17,%v20,13
wfminxb %v15,%v17,%v20,13
vfmsb %v15,%v17,%v20
wfmsb %v15,%v17,%v20
wfmxb %v15,%v17,%v20
vfmasb %v15,%v17,%v20,%v24
wfmasb %v15,%v17,%v20,%v24
wfmaxb %v15,%v17,%v20,%v24
vfmssb %v15,%v17,%v20,%v24
wfmssb %v15,%v17,%v20,%v24
wfmsxb %v15,%v17,%v20,%v24
vfnma %v15,%v17,%v20,%v24,13,12
vfnmasb %v15,%v17,%v20,%v24
wfnmasb %v15,%v17,%v20,%v24
vfnmadb %v15,%v17,%v20,%v24
wfnmadb %v15,%v17,%v20,%v24
wfnmaxb %v15,%v17,%v20,%v24
vfnms %v15,%v17,%v20,%v24,13,12
vfnmssb %v15,%v17,%v20,%v24
wfnmssb %v15,%v17,%v20,%v24
vfnmsdb %v15,%v17,%v20,%v24
wfnmsdb %v15,%v17,%v20,%v24
wfnmsxb %v15,%v17,%v20,%v24
vfpsosb %v15,%v17,13
wfpsosb %v15,%v17,13
vflcsb %v15,%v17
wflcsb %v15,%v17
vflnsb %v15,%v17
wflnsb %v15,%v17
vflpsb %v15,%v17
wflpsb %v15,%v17
wfpsoxb %v15,%v17,13
wflcxb %v15,%v17
wflnxb %v15,%v17
wflpxb %v15,%v17
vfsqsb %v15,%v17
wfsqsb %v15,%v17
wfsqxb %v15,%v17
vfssb %v15,%v17,%v20
wfssb %v15,%v17,%v20
wfsxb %v15,%v17,%v20
vftcisb %v15,%v17,4093
wftcisb %v15,%v17,4093
wftcixb %v15,%v17,4093
agh %r6,-10000(%r9,%r11)
bic 13,-10000(%r6,%r9)
bi -10000(%r6,%r9)
bio -10000(%r6,%r9)
bih -10000(%r6,%r9)
bip -10000(%r6,%r9)
binle -10000(%r6,%r9)
bil -10000(%r6,%r9)
bim -10000(%r6,%r9)
binhe -10000(%r6,%r9)
bilh -10000(%r6,%r9)
bine -10000(%r6,%r9)
binz -10000(%r6,%r9)
bie -10000(%r6,%r9)
biz -10000(%r6,%r9)
binlh -10000(%r6,%r9)
bihe -10000(%r6,%r9)
binl -10000(%r6,%r9)
binm -10000(%r6,%r9)
bile -10000(%r6,%r9)
binh -10000(%r6,%r9)
binp -10000(%r6,%r9)
bino -10000(%r6,%r9)
mgrk %r6,%r9,%r11
mg %r6,-10000(%r9,%r11)
mgh %r6,-10000(%r9,%r11)
msrkc %r6,%r9,%r11
msgrkc %r6,%r9,%r11
msc %r6,-10000(%r9,%r11)
msgc %r6,-10000(%r9,%r11)
sgh %r6,-10000(%r9,%r11)
vlrlr %v15,%r6,4000(%r9)
vlrl %v15,4000(%r6),253
vstrlr %v15,%r6,4000(%r9)
vstrl %v15,4000(%r6),253
vap %v15,%v17,%v20,253,12
vcp %v15,%v17,13
vcvb %r6,%v15,13
vcvbg %r6,%v15,13
vcvd %v15,%r6,253,12
vcvdg %v15,%r6,253,12
vdp %v15,%v17,%v20,253,12
vlip %v15,65533,12
vmp %v15,%v17,%v20,253,12
vmsp %v15,%v17,%v20,253,12
vpkz %v15,4000(%r6),253
vpsop %v15,%v17,253,252,11
vrp %v15,%v17,%v20,253,12
vsdp %v15,%v17,%v20,253,12
vsrp %v15,%v17,253,252,11
vsp %v15,%v17,%v20,253,12
vtp %v15
vupkz %v15,4000(%r6),253
lgg %r6,-10000(%r9,%r11)
llgfsg %r6,-10000(%r9,%r11)
lgsc %r6,-10000(%r9,%r11)
stgsc %r6,-10000(%r9,%r11)
kma %r6,%r9,%r11
prno %r6,%r9
tpei %r6,%r9
irbm %r6,%r9
vl %v15,4000(%r6,%r9)
vl %v15,4000(%r6,%r9),13
vlm %v15,%v17,4000(%r6)
vlm %v15,%v17,4000(%r6),13
vst %v15,4000(%r6,%r9)
vst %v15,4000(%r6,%r9),13
vstm %v15,%v17,4000(%r6)
vstm %v15,%v17,4000(%r6),13