210956 2020-04-24 00:56:25 -0700 [JSC] DFG AI for some bitops + BigInt32 should be precise 2020-04-24 10:21:17 -0700 1 1 1 Unclassified WebKit New Bugs WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 1 ysuzuki ysuzuki ews-watchlist keith_miller mark.lam msaboff saam tzagallo webkit-bug-importer oldest_to_newest 1645114 0 ysuzuki 2020-04-24 00:56:25 -0700 [JSC] DFG AI for some bitops + BigInt32 should be precise 1645115 1 397435 ysuzuki 2020-04-24 00:57:10 -0700 Created attachment 397435 Patch 1645119 2 397437 ysuzuki 2020-04-24 01:00:47 -0700 Created attachment 397437 Patch 1645234 3 397437 keith_miller 2020-04-24 09:59:47 -0700 Comment on attachment 397437 Patch View in context: https://bugs.webkit.org/attachment.cgi?id=397437&action=review r=me. > Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:543 > // FIXME: this use of binaryUseKind means that we cannot specialize to (for example) a HeapBigInt left-operand and a BigInt32 right-operand. Can we file a bug for this? 1645245 4 397437 ysuzuki 2020-04-24 10:15:30 -0700 Comment on attachment 397437 Patch View in context: https://bugs.webkit.org/attachment.cgi?id=397437&action=review Thanks! >> Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h:543 >> // FIXME: this use of binaryUseKind means that we cannot specialize to (for example) a HeapBigInt left-operand and a BigInt32 right-operand. > > Can we file a bug for this? Added. 1645247 5 ysuzuki 2020-04-24 10:20:09 -0700 Committed r260651: <https://trac.webkit.org/changeset/260651> 1645248 6 webkit-bug-importer 2020-04-24 10:21:17 -0700 <rdar://problem/62321935> 397435 2020-04-24 00:57:10 -0700 2020-04-24 01:00:46 -0700 Patch bug-210956-20200424005709.patch text/plain 3935 ysuzuki U3VidmVyc2lvbiBSZXZpc2lvbjogMjYwNjE3CmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlw dENvcmUvQ2hhbmdlTG9nIGIvU291cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwppbmRleCAx YTk1YmJkZDkwZjQ2YTUyNDVkMWMzOTNmODJhYThiN2Y5ZmY4MTM4Li4yOGUzYmVlMWVhNmYyYTJk MjYwYzEyYzhiZGM0NjMzYTNmMGYyNDQ2IDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENv cmUvQ2hhbmdlTG9nCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKQEAgLTEs MyArMSwxNSBAQAorMjAyMC0wNC0yNCAgWXVzdWtlIFN1enVraSAgPHlzdXp1a2lAYXBwbGUuY29t PgorCisgICAgICAgIFtKU0NdIERGRyBBSSBmb3Igc29tZSBiaXRvcHMgKyBCaWdJbnQzMiBzaG91 bGQgYmUgcHJlY2lzZQorICAgICAgICBodHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5j Z2k/aWQ9MjEwOTU2CisKKyAgICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAg ICAgICAgVXNlIFNwZWNCaWdJbnQzMiBmb3IgVmFsdWVCaXRYb3IsIFZhbHVlQml0QW5kLCBhbmQg VmFsdWVCaXRPciBzaW5jZSB0aGV5IGFyZSBhbHdheXMgcHJvZHVjaW5nIEJpZ0ludDMyIGFuZCB0 aGV5IGhhdmUgaW5saW5lZCBpbXBsZW1lbnRhdGlvbnMgaW4gREZHIC8gRlRMLgorCisgICAgICAg ICogZGZnL0RGR0Fic3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmg6CisgICAgICAgIChKU0M6OkRG Rzo6QWJzdHJhY3RJbnRlcnByZXRlcjxBYnN0cmFjdFN0YXRlVHlwZT46OmV4ZWN1dGVFZmZlY3Rz KToKKwogMjAyMC0wNC0yMiAgS2VpdGggTWlsbGVyICA8a2VpdGhfbWlsbGVyQGFwcGxlLmNvbT4K IAogICAgICAgICBGaXggT1NSIGV4aXRpbmcvaXRlcmF0b3Igb2JqZWN0IGNoZWNrcyBpbiBmb3It b2YgYnl0ZWNvZGVzCmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0Fi c3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmggYi9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RG R0Fic3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmgKaW5kZXggM2VlZmJjMjgyZTljNDdmMjdkNzBj ODU5M2Y5ZDI2N2QxZTBhYjFhMy4uNDMzNGM1MmQxMDk3MzNhMDM5MmJiM2I3OTNmMGYxMjRkOGZl ODVmYSAxMDA2NDQKLS0tIGEvU291cmNlL0phdmFTY3JpcHRDb3JlL2RmZy9ERkdBYnN0cmFjdElu dGVycHJldGVySW5saW5lcy5oCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQWJz dHJhY3RJbnRlcnByZXRlcklubGluZXMuaApAQCAtNTQzLDExICs1NDMsMjQgQEAgYm9vbCBBYnN0 cmFjdEludGVycHJldGVyPEFic3RyYWN0U3RhdGVUeXBlPjo6ZXhlY3V0ZUVmZmVjdHModW5zaWdu ZWQgY2xvYmJlckxpbWkKICAgICAgICAgLy8gRklYTUU6IHRoaXMgdXNlIG9mIGJpbmFyeVVzZUtp bmQgbWVhbnMgdGhhdCB3ZSBjYW5ub3Qgc3BlY2lhbGl6ZSB0byAoZm9yIGV4YW1wbGUpIGEgSGVh cEJpZ0ludCBsZWZ0LW9wZXJhbmQgYW5kIGEgQmlnSW50MzIgcmlnaHQtb3BlcmFuZC4KICAgICAg ICAgaWYgKG5vZGUtPmJpbmFyeVVzZUtpbmQoKSA9PSBCaWdJbnQzMlVzZSkgewogI2lmIFVTRShC SUdJTlQzMikKKyAgICAgICAgICAgIHN3aXRjaCAobm9kZS0+b3AoKSkgeworICAgICAgICAgICAg Y2FzZSBWYWx1ZUJpdFhvcjoKKyAgICAgICAgICAgIGNhc2UgVmFsdWVCaXRBbmQ6CisgICAgICAg ICAgICBjYXNlIFZhbHVlQml0T3I6CisgICAgICAgICAgICAgICAgc2V0VHlwZUZvck5vZGUobm9k ZSwgU3BlY0JpZ0ludDMyKTsKKyAgICAgICAgICAgICAgICBicmVhazsKKwogICAgICAgICAgICAg Ly8gRklYTUU6IFdlIHNob3VsZCBoYXZlIGlubGluZWQgaW1wbGVtZW50YXRpb24gdGhhdCBhbHdh eXMgcmV0dXJucyBCaWdJbnQzMi4KICAgICAgICAgICAgIC8vIGh0dHBzOi8vYnVncy53ZWJraXQu b3JnL3Nob3dfYnVnLmNnaT9pZD0yMTA4NDcKLSAgICAgICAgICAgIHNldFR5cGVGb3JOb2RlKG5v ZGUsIFNwZWNCaWdJbnQpOworICAgICAgICAgICAgY2FzZSBWYWx1ZUJpdFJTaGlmdDoKKyAgICAg ICAgICAgIGNhc2UgVmFsdWVCaXRMU2hpZnQ6CisgICAgICAgICAgICAgICAgc2V0VHlwZUZvck5v ZGUobm9kZSwgU3BlY0JpZ0ludCk7CisgICAgICAgICAgICAgICAgYnJlYWs7CisgICAgICAgICAg ICBkZWZhdWx0OgorICAgICAgICAgICAgICAgIERGR19DUkFTSChtX2dyYXBoLCBub2RlKTsKKyAg ICAgICAgICAgIH0KICNlbHNlCi0gICAgICAgICAgICBSRUxFQVNFX0FTU0VSVF9OT1RfUkVBQ0hF RCgpOworICAgICAgICAgICAgREZHX0NSQVNIKG1fZ3JhcGgsIG5vZGUpOwogI2VuZGlmCiAgICAg ICAgIH0gZWxzZSBpZiAobm9kZS0+YmluYXJ5VXNlS2luZCgpID09IEhlYXBCaWdJbnRVc2UpCiAg ICAgICAgICAgICBzZXRUeXBlRm9yTm9kZShub2RlLCBTcGVjSGVhcEJpZ0ludCk7CmRpZmYgLS1n aXQgYS9KU1Rlc3RzL0NoYW5nZUxvZyBiL0pTVGVzdHMvQ2hhbmdlTG9nCmluZGV4IGY5YWVlZjQ2 MjA2NTg1YmJiZmNmOWQ4NTIyNDViYjZiNGI1Mjc4OGUuLmU1NWRkOTQ4ZGUxOWEwNWNlNTAyOGMw ZjZhZWZiYTU0MjgyY2ZjN2QgMTAwNjQ0Ci0tLSBhL0pTVGVzdHMvQ2hhbmdlTG9nCisrKyBiL0pT VGVzdHMvQ2hhbmdlTG9nCkBAIC0xLDMgKzEsMTQgQEAKKzIwMjAtMDQtMjQgIFl1c3VrZSBTdXp1 a2kgIDx5c3V6dWtpQGFwcGxlLmNvbT4KKworICAgICAgICBbSlNDXSBERkcgQUkgZm9yIHNvbWUg Yml0b3BzICsgQmlnSW50MzIgc2hvdWxkIGJlIHByZWNpc2UKKyAgICAgICAgaHR0cHM6Ly9idWdz LndlYmtpdC5vcmcvc2hvd19idWcuY2dpP2lkPTIxMDk1NgorCisgICAgICAgIFJldmlld2VkIGJ5 IE5PQk9EWSAoT09QUyEpLgorCisgICAgICAgICogc3RyZXNzL2JpZ2ludC1iaXRvcHMuanM6IEFk ZGVkLgorICAgICAgICAoc2hvdWxkQmUpOgorICAgICAgICAodGVzdCk6CisKIDIwMjAtMDQtMjMg IFJvc3MgS2lyc2xpbmcgIDxyb3NzLmtpcnNsaW5nQHNvbnkuY29tPgogCiAgICAgICAgIFVucmV2 aWV3ZWQgdGVzdDI2MiBnYXJkZW5pbmcgZm9sbG93aW5nIHIyNjA1OTEuCmRpZmYgLS1naXQgYS9K U1Rlc3RzL3N0cmVzcy9iaWdpbnQtYml0b3BzLmpzIGIvSlNUZXN0cy9zdHJlc3MvYmlnaW50LWJp dG9wcy5qcwpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw MDAwMDAwMDAwMDAwMDAwMDAwLi5jODVjODE4YjFkYTMwYWZkODhjNWRhZWJmMWVlNjQwMDY1N2Fj YjA4Ci0tLSAvZGV2L251bGwKKysrIGIvSlNUZXN0cy9zdHJlc3MvYmlnaW50LWJpdG9wcy5qcwpA QCAtMCwwICsxLDI2IEBACitmdW5jdGlvbiBzaG91bGRCZShhY3R1YWwsIGV4cGVjdGVkKSB7Cisg ICAgaWYgKGFjdHVhbCAhPT0gZXhwZWN0ZWQpCisgICAgICAgIHRocm93IG5ldyBFcnJvcignYmFk IHZhbHVlOiAnICsgYWN0dWFsKTsKK30KKworZnVuY3Rpb24gdGVzdChhLCBiKQoreworICAgIGxl dCB2MSA9IGEgJiBiOworICAgIGxldCB2MiA9IGEgfCBiOworICAgIGxldCB2MyA9IGEgXiBiOwor ICAgIHJldHVybiBbdjEsIHYyLCB2M107Cit9Citub0lubGluZSh0ZXN0KTsKKworZm9yIChsZXQg aSA9IDA7IGkgPCAxZTQ7ICsraSkgeworICAgIGxldCBbdjEsIHYyLCB2M10gPSB0ZXN0KEJpZ0lu dChpKSwgQmlnSW50KGkgKyAxKSk7CisgICAgc2hvdWxkQmUodjEsIEJpZ0ludChpICYgKGkgKyAx KSkpOworICAgIHNob3VsZEJlKHYyLCBCaWdJbnQoaSB8IChpICsgMSkpKTsKKyAgICBzaG91bGRC ZSh2MywgQmlnSW50KGkgXiAoaSArIDEpKSk7Cit9CitsZXQgYSA9IDB4N2ZmZmZmZmZmbjsKK2xl dCBiID0gMHhmZmY4MzAybjsKK2xldCBbdjEsIHYyLCB2M10gPSB0ZXN0KGEsIGIpOworc2hvdWxk QmUodjEsIGEgJiBiKTsKK3Nob3VsZEJlKHYyLCBhIHwgYik7CitzaG91bGRCZSh2MywgYSBeIGIp Owo= 397437 2020-04-24 01:00:47 -0700 2020-04-24 09:59:47 -0700 Patch bug-210956-20200424010046.patch text/plain 3978 ysuzuki U3VidmVyc2lvbiBSZXZpc2lvbjogMjYwNjE3CmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlw dENvcmUvQ2hhbmdlTG9nIGIvU291cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwppbmRleCAx YTk1YmJkZDkwZjQ2YTUyNDVkMWMzOTNmODJhYThiN2Y5ZmY4MTM4Li4yOGUzYmVlMWVhNmYyYTJk MjYwYzEyYzhiZGM0NjMzYTNmMGYyNDQ2IDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENv cmUvQ2hhbmdlTG9nCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKQEAgLTEs MyArMSwxNSBAQAorMjAyMC0wNC0yNCAgWXVzdWtlIFN1enVraSAgPHlzdXp1a2lAYXBwbGUuY29t PgorCisgICAgICAgIFtKU0NdIERGRyBBSSBmb3Igc29tZSBiaXRvcHMgKyBCaWdJbnQzMiBzaG91 bGQgYmUgcHJlY2lzZQorICAgICAgICBodHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5j Z2k/aWQ9MjEwOTU2CisKKyAgICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAg ICAgICAgVXNlIFNwZWNCaWdJbnQzMiBmb3IgVmFsdWVCaXRYb3IsIFZhbHVlQml0QW5kLCBhbmQg VmFsdWVCaXRPciBzaW5jZSB0aGV5IGFyZSBhbHdheXMgcHJvZHVjaW5nIEJpZ0ludDMyIGFuZCB0 aGV5IGhhdmUgaW5saW5lZCBpbXBsZW1lbnRhdGlvbnMgaW4gREZHIC8gRlRMLgorCisgICAgICAg ICogZGZnL0RGR0Fic3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmg6CisgICAgICAgIChKU0M6OkRG Rzo6QWJzdHJhY3RJbnRlcnByZXRlcjxBYnN0cmFjdFN0YXRlVHlwZT46OmV4ZWN1dGVFZmZlY3Rz KToKKwogMjAyMC0wNC0yMiAgS2VpdGggTWlsbGVyICA8a2VpdGhfbWlsbGVyQGFwcGxlLmNvbT4K IAogICAgICAgICBGaXggT1NSIGV4aXRpbmcvaXRlcmF0b3Igb2JqZWN0IGNoZWNrcyBpbiBmb3It b2YgYnl0ZWNvZGVzCmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0Fi c3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmggYi9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RG R0Fic3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmgKaW5kZXggM2VlZmJjMjgyZTljNDdmMjdkNzBj ODU5M2Y5ZDI2N2QxZTBhYjFhMy4uNzA5ODIxMTYzZWIyOGU3YTQ2MDg5NzMwNjYwOWU0OTJiNTFh YTVjMSAxMDA2NDQKLS0tIGEvU291cmNlL0phdmFTY3JpcHRDb3JlL2RmZy9ERkdBYnN0cmFjdElu dGVycHJldGVySW5saW5lcy5oCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQWJz dHJhY3RJbnRlcnByZXRlcklubGluZXMuaApAQCAtNTQzLDExICs1NDMsMjQgQEAgYm9vbCBBYnN0 cmFjdEludGVycHJldGVyPEFic3RyYWN0U3RhdGVUeXBlPjo6ZXhlY3V0ZUVmZmVjdHModW5zaWdu ZWQgY2xvYmJlckxpbWkKICAgICAgICAgLy8gRklYTUU6IHRoaXMgdXNlIG9mIGJpbmFyeVVzZUtp bmQgbWVhbnMgdGhhdCB3ZSBjYW5ub3Qgc3BlY2lhbGl6ZSB0byAoZm9yIGV4YW1wbGUpIGEgSGVh cEJpZ0ludCBsZWZ0LW9wZXJhbmQgYW5kIGEgQmlnSW50MzIgcmlnaHQtb3BlcmFuZC4KICAgICAg ICAgaWYgKG5vZGUtPmJpbmFyeVVzZUtpbmQoKSA9PSBCaWdJbnQzMlVzZSkgewogI2lmIFVTRShC SUdJTlQzMikKKyAgICAgICAgICAgIHN3aXRjaCAobm9kZS0+b3AoKSkgeworICAgICAgICAgICAg Y2FzZSBWYWx1ZUJpdFhvcjoKKyAgICAgICAgICAgIGNhc2UgVmFsdWVCaXRBbmQ6CisgICAgICAg ICAgICBjYXNlIFZhbHVlQml0T3I6CisgICAgICAgICAgICAgICAgc2V0VHlwZUZvck5vZGUobm9k ZSwgU3BlY0JpZ0ludDMyKTsKKyAgICAgICAgICAgICAgICBicmVhazsKKwogICAgICAgICAgICAg Ly8gRklYTUU6IFdlIHNob3VsZCBoYXZlIGlubGluZWQgaW1wbGVtZW50YXRpb24gdGhhdCBhbHdh eXMgcmV0dXJucyBCaWdJbnQzMi4KICAgICAgICAgICAgIC8vIGh0dHBzOi8vYnVncy53ZWJraXQu b3JnL3Nob3dfYnVnLmNnaT9pZD0yMTA4NDcKLSAgICAgICAgICAgIHNldFR5cGVGb3JOb2RlKG5v ZGUsIFNwZWNCaWdJbnQpOworICAgICAgICAgICAgY2FzZSBWYWx1ZUJpdFJTaGlmdDoKKyAgICAg ICAgICAgIGNhc2UgVmFsdWVCaXRMU2hpZnQ6CisgICAgICAgICAgICAgICAgc2V0VHlwZUZvck5v ZGUobm9kZSwgU3BlY0JpZ0ludCk7CisgICAgICAgICAgICAgICAgYnJlYWs7CisgICAgICAgICAg ICBkZWZhdWx0OgorICAgICAgICAgICAgICAgIERGR19DUkFTSChtX2dyYXBoLCBub2RlLCAiSW5j b3JyZWN0IERGRyBvcCIpOworICAgICAgICAgICAgfQogI2Vsc2UKLSAgICAgICAgICAgIFJFTEVB U0VfQVNTRVJUX05PVF9SRUFDSEVEKCk7CisgICAgICAgICAgICBERkdfQ1JBU0gobV9ncmFwaCwg bm9kZSwgIk5vIEJpZ0ludDMyIHN1cHBvcnQiKTsKICNlbmRpZgogICAgICAgICB9IGVsc2UgaWYg KG5vZGUtPmJpbmFyeVVzZUtpbmQoKSA9PSBIZWFwQmlnSW50VXNlKQogICAgICAgICAgICAgc2V0 VHlwZUZvck5vZGUobm9kZSwgU3BlY0hlYXBCaWdJbnQpOwpkaWZmIC0tZ2l0IGEvSlNUZXN0cy9D aGFuZ2VMb2cgYi9KU1Rlc3RzL0NoYW5nZUxvZwppbmRleCBmOWFlZWY0NjIwNjU4NWJiYmZjZjlk ODUyMjQ1YmI2YjRiNTI3ODhlLi5lNTVkZDk0OGRlMTlhMDVjZTUwMjhjMGY2YWVmYmE1NDI4MmNm YzdkIDEwMDY0NAotLS0gYS9KU1Rlc3RzL0NoYW5nZUxvZworKysgYi9KU1Rlc3RzL0NoYW5nZUxv ZwpAQCAtMSwzICsxLDE0IEBACisyMDIwLTA0LTI0ICBZdXN1a2UgU3V6dWtpICA8eXN1enVraUBh cHBsZS5jb20+CisKKyAgICAgICAgW0pTQ10gREZHIEFJIGZvciBzb21lIGJpdG9wcyArIEJpZ0lu dDMyIHNob3VsZCBiZSBwcmVjaXNlCisgICAgICAgIGh0dHBzOi8vYnVncy53ZWJraXQub3JnL3No b3dfYnVnLmNnaT9pZD0yMTA5NTYKKworICAgICAgICBSZXZpZXdlZCBieSBOT0JPRFkgKE9PUFMh KS4KKworICAgICAgICAqIHN0cmVzcy9iaWdpbnQtYml0b3BzLmpzOiBBZGRlZC4KKyAgICAgICAg KHNob3VsZEJlKToKKyAgICAgICAgKHRlc3QpOgorCiAyMDIwLTA0LTIzICBSb3NzIEtpcnNsaW5n ICA8cm9zcy5raXJzbGluZ0Bzb255LmNvbT4KIAogICAgICAgICBVbnJldmlld2VkIHRlc3QyNjIg Z2FyZGVuaW5nIGZvbGxvd2luZyByMjYwNTkxLgpkaWZmIC0tZ2l0IGEvSlNUZXN0cy9zdHJlc3Mv YmlnaW50LWJpdG9wcy5qcyBiL0pTVGVzdHMvc3RyZXNzL2JpZ2ludC1iaXRvcHMuanMKbmV3IGZp bGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw MDAwMC4uYzg1YzgxOGIxZGEzMGFmZDg4YzVkYWViZjFlZTY0MDA2NTdhY2IwOAotLS0gL2Rldi9u dWxsCisrKyBiL0pTVGVzdHMvc3RyZXNzL2JpZ2ludC1iaXRvcHMuanMKQEAgLTAsMCArMSwyNiBA QAorZnVuY3Rpb24gc2hvdWxkQmUoYWN0dWFsLCBleHBlY3RlZCkgeworICAgIGlmIChhY3R1YWwg IT09IGV4cGVjdGVkKQorICAgICAgICB0aHJvdyBuZXcgRXJyb3IoJ2JhZCB2YWx1ZTogJyArIGFj dHVhbCk7Cit9CisKK2Z1bmN0aW9uIHRlc3QoYSwgYikKK3sKKyAgICBsZXQgdjEgPSBhICYgYjsK KyAgICBsZXQgdjIgPSBhIHwgYjsKKyAgICBsZXQgdjMgPSBhIF4gYjsKKyAgICByZXR1cm4gW3Yx LCB2MiwgdjNdOworfQorbm9JbmxpbmUodGVzdCk7CisKK2ZvciAobGV0IGkgPSAwOyBpIDwgMWU0 OyArK2kpIHsKKyAgICBsZXQgW3YxLCB2MiwgdjNdID0gdGVzdChCaWdJbnQoaSksIEJpZ0ludChp ICsgMSkpOworICAgIHNob3VsZEJlKHYxLCBCaWdJbnQoaSAmIChpICsgMSkpKTsKKyAgICBzaG91 bGRCZSh2MiwgQmlnSW50KGkgfCAoaSArIDEpKSk7CisgICAgc2hvdWxkQmUodjMsIEJpZ0ludChp IF4gKGkgKyAxKSkpOworfQorbGV0IGEgPSAweDdmZmZmZmZmZm47CitsZXQgYiA9IDB4ZmZmODMw Mm47CitsZXQgW3YxLCB2MiwgdjNdID0gdGVzdChhLCBiKTsKK3Nob3VsZEJlKHYxLCBhICYgYik7 CitzaG91bGRCZSh2MiwgYSB8IGIpOworc2hvdWxkQmUodjMsIGEgXiBiKTsK