From mboxrd@z Thu Jan 1 00:00:00 1970 From: George Dunlap Subject: Re: [PATCH v2 10/13] fuzz/x86_emulate: Make input more compact Date: Thu, 5 Oct 2017 16:04:44 +0100 Message-ID: <94e4d279-f3db-5db4-4fea-f209d140b17c@citrix.com> References: <20170925142648.25959-1-george.dunlap@citrix.com> <20170925142648.25959-10-george.dunlap@citrix.com> <59D4B74D0200007800181E60@prv-mh.provo.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta6.messagelabs.com ([193.109.254.103]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e07jD-0001Tp-3v for xen-devel@lists.xenproject.org; Thu, 05 Oct 2017 15:06:23 +0000 In-Reply-To: <59D4B74D0200007800181E60@prv-mh.provo.novell.com> Content-Language: en-US List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Jan Beulich Cc: Andrew Cooper , Wei Liu , xen-devel@lists.xenproject.org, Ian Jackson List-Id: xen-devel@lists.xenproject.org T24gMTAvMDQvMjAxNyAwOToyNiBBTSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4gT24gMjUuMDku MTcgYXQgMTY6MjYsIDxnZW9yZ2UuZHVubGFwQGNpdHJpeC5jb20+IHdyb3RlOgo+PiBAQCAtMjIs MTMgKzI1LDE3IEBAIGludCBtYWluKGludCBhcmdjLCBjaGFyICoqYXJndikKPj4gICAgICBzZXRi dWYoc3RkaW4sIE5VTEwpOwo+PiAgICAgIHNldGJ1ZihzdGRvdXQsIE5VTEwpOwo+PiAgCj4+ICsg ICAgb3B0X2NvbXBhY3QgPSB0cnVlOwo+IAo+IEhvdyBhYm91dCBnaXZpbmcgdGhlIHZhcmlhYmxl IGFuIGluaXRpYWxpemVyIGluc3RlYWQ/CgpBY3R1YWxseSwgaWYgd2Ugd2FudCBmdXp6LWVtdWwu YyB0byBiZSB1c2FibGUgYnkgaXRzZWxmIChlLmcuLCBmb3IgdGhlCkdvb2dsZSBvc3NmdXogcHJv amVjdCksIHdlICptdXN0KiB1c2UgYSBzdGF0aWMgaW5pdGlhbGl6ZXIgZnJvbSB3aXRoaW4KZnV6 ei1lbXVsLmMgZm9yIGl0IHRvIGhhdmUgdGhlIGNvcnJlY3QgZGVmYXVsdHMuICBJJ2xsIGNoYW5n ZSB0aGF0Li4uCgo+IAo+PiAtLS0gYS90b29scy9mdXp6L3g4Nl9pbnN0cnVjdGlvbl9lbXVsYXRv ci9mdXp6LWVtdWwuYwo+PiArKysgYi90b29scy9mdXp6L3g4Nl9pbnN0cnVjdGlvbl9lbXVsYXRv ci9mdXp6LWVtdWwuYwo+PiBAQCAtNTMsNiArNTMsMTUgQEAgc3RydWN0IGZ1enpfc3RhdGUKPj4g IH07Cj4+ICAjZGVmaW5lIERBVEFfT0ZGU0VUIG9mZnNldG9mKHN0cnVjdCBmdXp6X3N0YXRlLCBj b3JwdXMpCj4+ICAKPj4gK2Jvb2wgb3B0X2NvbXBhY3Q7Cj4+ICsKPj4gK3Vuc2lnbmVkIGludCBm dXp6X21pbmltYWxfaW5wdXRfc2l6ZSh2b2lkKQo+PiArewo+PiArICAgIGlmICggb3B0X2NvbXBh Y3QgKQo+PiArICAgICAgICByZXR1cm4gc2l6ZW9mKHVuc2lnbmVkIGxvbmcpICsgMTsKPiAKPiBX aGF0IGlzIHRoaXMgdmFsdWUgY2hvaWNlIGJhc2VkIG9uIC8gZGVyaXZlZCBmcm9tPyBPaCwganVk Z2luZyBmcm9tCj4gY29kZSBmdXJ0aGVyIGRvd24gaXQgbWF5IGJlIG9uZSBtb3JlIHRoYW4gdGhl IHNpemUgb2YgdGhlIG9wdGlvbnMKPiBmaWVsZCwgaW4gd2hpY2ggY2FzZSBpdCBzaG91bGQgYmUg c2l6ZW9mKC4uLi0+b3B0aW9ucykgaGVyZS4KCldoYXQgYWJvdXQgcmVuYW1pbmcgREFUQV9PRkZT RVQgdG8gREFUQV9TSVpFX0ZVTEwsIGFuZCBhZGRpbmcKREFUQV9TSVpFX0NPTVBBQ1Q/CgpUaGVu IGlzIGNvdWxkIGJlOgoKICAgIHJldHVybiAob3B0X2NvbXBhY3QgPyBEQVRBX1NJWkVfQ09NUEFD VCA6IERBVEFfU0laRV9GVUxMKSArIDE7Cgo+PiBAQCAtNjQ3LDkgKzY1Niw4MSBAQCBzdGF0aWMg dm9pZCBzZXR1cF9zdGF0ZShzdHJ1Y3QgeDg2X2VtdWxhdGVfY3R4dCAqY3R4dCkKPj4gIHsKPj4g ICAgICBzdHJ1Y3QgZnV6el9zdGF0ZSAqcyA9IGN0eHQtPmRhdGE7Cj4+ICAKPj4gLSAgICAvKiBG dXp6IGFsbCBvZiB0aGUgc3RhdGUgaW4gb25lIGdvICovCj4+IC0gICAgaWYgKCFpbnB1dF9yZWFk KHMsIHMsIERBVEFfT0ZGU0VUKSkKPj4gLSAgICAgICAgZXhpdCgtMSk7Cj4+ICsgICAgaWYgKCAh b3B0X2NvbXBhY3QgKQo+PiArICAgIHsKPj4gKyAgICAgICAgLyogRnV6eiBhbGwgb2YgdGhlIHN0 YXRlIGluIG9uZSBnbyAqLwo+PiArICAgICAgICBpZiAoIWlucHV0X3JlYWQocywgcywgREFUQV9P RkZTRVQpKQo+IAo+IE1pc3NpbmcgYmxhbmtzLgoKQWNrCgo+IAo+PiArICAgICAgICAgICAgZXhp dCgtMSk7Cj4+ICsgICAgICAgIHJldHVybjsKPj4gKyAgICB9Cj4+ICsKPj4gKyAgICAvKiBNb2Rp Znkgb25seSBzZWxlY3QgYml0cyBvZiBzdGF0ZSAqLwo+PiArCj4+ICsgICAgLyogQWx3YXlzIHJl YWQgJ29wdGlvbnMnICovCj4+ICsgICAgaWYgKCAhaW5wdXRfcmVhZChzLCAmcy0+b3B0aW9ucywg c2l6ZW9mKHMtPm9wdGlvbnMpKSApCj4+ICsgICAgICAgIHJldHVybjsKPj4gKyAgICAKPj4gKyAg ICB3aGlsZSgxKSB7Cj4gCj4gU3R5bGUuIEFuZCBmb3IgY29tcGF0aWJpbGl0eSAocmVhZDogbm8g d2FybmluZ3MpIHdpdGggYXMgd2lkZSBhIHJhbmdlCj4gb2YgY29tcGlsZXJzIGFzIHBvc3NpYmxl LCBnZW5lcmFsbHkgZm9yICggOyA7ICkgaXMgYmV0dGVyIHRvIHVzZS4KCkkgY2FuIGRvIHRoYXQ7 IGJ1dCB3b3VsZCB5b3UgbWluZCBleHBsYWluaW5nPyAgV2hhdCBraW5kcyBvZiBjb21waWxlcnMK ZG9uJ3QgbGlrZSB3aGlsZSgxKT8KCj4+ICsgICAgICAgIHVpbnQxNl90IG9mZnNldDsKPj4gKwo+ PiArICAgICAgICAvKiBSZWFkIDE2IGJpdHMgdG8gZGVjaWRlIHdoYXQgYml0IG9mIHN0YXRlIHRv IG1vZGlmeSAqLwo+PiArICAgICAgICBpZiAoICFpbnB1dF9yZWFkKHMsICZvZmZzZXQsIHNpemVv ZihvZmZzZXQpKSApCj4+ICsgICAgICAgICAgICByZXR1cm47Cj4gCj4gRG9lc24ndCB0aGlzIHN1 Z2dlc3QgbWluaW1hbCBpbnB1dCBzaXplIHdhbnRzIHRvIGJlIG9uZSBoaWdoZXIgdGhhbgo+IHdo YXQgeW91IGN1cnJlbnRseSBlbmZvcmNlPyBBbmQgaXNuJ3QgdGhlIHVzZSBvZiB1aW50MTZfdCBo ZXJlIGluCj4gY29uZmxpY3Qgd2l0aCB0aGUgZGVzY3JpcHRpb24gdGFsa2luZyBhYm91dCByZWFk aW5nIGEgYnl0ZSBldmVyeSB0aW1lPwoKSG1tLCBhY3R1YWxseSBpdCByYXRoZXIgaW1wbGllcyB0 aGF0IGl0IHNob3VsZCBiZSBvbmUgbGVzcy4uLiB3aXRoIHRoZQpuZXcgZm9ybWF0IHRoZXJlJ3Mg bm8gd2F5IHRvIGd1YXJhbnRlZSB0aGF0IHRoZSB2ZXJ5IGZpcnN0IGluc25fZmV0Y2gKd2lsbCBo YXZlIGFueSBkYXRhIHRvIHJlYWQuCgo+PiArICAgICAgICAvKiAKPj4gKyAgICAgICAgICogVGhl biBkZWNpZGUgaWYgaXQncyAicG9pbnRpbmcgdG8iIGRpZmZlcmVudCBiaXRzIG9mIHRoZQo+PiAr ICAgICAgICAgKiBzdGF0ZSAKPj4gKyAgICAgICAgICovCj4+ICsKPj4gKyAgICAgICAgLyogY3Jb XT8gKi8KPj4gKyAgICAgICAgaWYgKCBvZmZzZXQgPCA1ICkKPiAKPiBBUlJBWV9TSVpFKCkKCkFj awoKPj4gKyAgICAgICAgewo+PiArICAgICAgICAgICAgaWYgKCAhaW5wdXRfcmVhZChzLCBzLT5j ciArIG9mZnNldCwgc2l6ZW9mKCpzLT5jcikpICkKPj4gKyAgICAgICAgICAgICAgICByZXR1cm47 Cj4+ICsgICAgICAgICAgICBwcmludGYoIlNldHRpbmcgQ1IgJWQgdG8gJWx4XG4iLCBvZmZzZXQs IHMtPmNyW29mZnNldF0pOwo+PiArICAgICAgICAgICAgY29udGludWU7Cj4+ICsgICAgICAgIH0K Pj4gKyAgICAgICAgCj4+ICsgICAgICAgIG9mZnNldCAtPSA1Owo+IAo+IFNhbWUgaGVyZSB0aGVu Lgo+IAo+PiArICAgICAgICAvKiBtc3JbXT8gKi8KPj4gKyAgICAgICAgaWYgKCBvZmZzZXQgPCBN U1JfSU5ERVhfTUFYICkKPiAKPiBFdmVuIGhlcmUgKGFuZCBiZWxvdykgdXNlIG9mIEFSUkFZX1NJ WkUoKSBtYXkgYmUgYmV0dGVyLgo+IAo+PiArICAgICAgICB7Cj4+ICsgICAgICAgICAgICBpZiAo ICFpbnB1dF9yZWFkKHMsIHMtPm1zciArIG9mZnNldCwgc2l6ZW9mKCpzLT5tc3IpKSApCj4+ICsg ICAgICAgICAgICAgICAgcmV0dXJuOwo+PiArICAgICAgICAgICAgcHJpbnRmKCJTZXR0aW5nIE1T UiBpJWQgKCV4KSB0byAlbHhcbiIsIG9mZnNldCwKPj4gKyAgICAgICAgICAgICAgICAgICBtc3Jf aW5kZXhbb2Zmc2V0XSwgcy0+bXNyW29mZnNldF0pOwo+PiArICAgICAgICAgICAgY29udGludWU7 Cj4+ICsgICAgICAgIH0KPj4gKwo+PiArICAgICAgICBvZmZzZXQgLT0gTVNSX0lOREVYX01BWDsK Pj4gKwo+PiArICAgICAgICAvKiBzZWdtZW50c1tdPyAqLwo+PiArICAgICAgICBpZiAoIG9mZnNl dCA8IFNFR19OVU0gKQo+PiArICAgICAgICB7Cj4+ICsgICAgICAgICAgICBpZiAoICFpbnB1dF9y ZWFkKHMsIHMtPnNlZ21lbnRzICsgb2Zmc2V0LCBzaXplb2YoKnMtPnNlZ21lbnRzKSkgKQo+PiAr ICAgICAgICAgICAgICAgIHJldHVybjsKPj4gKyAgICAgICAgICAgIHByaW50ZigiU2V0dGluZyBT ZWdtZW50ICVkXG4iLCBvZmZzZXQpOwo+PiArICAgICAgICAgICAgY29udGludWU7Cj4+ICsgICAg ICAgICAgICAKPj4gKyAgICAgICAgfQo+PiArCj4+ICsgICAgICAgIG9mZnNldCAtPSBTRUdfTlVN Owo+PiArCj4+ICsgICAgICAgIC8qIHJlZ3M/ICovCj4+ICsgICAgICAgIGlmICggb2Zmc2V0IDwg c2l6ZW9mKHN0cnVjdCBjcHVfdXNlcl9yZWdzKQo+PiArICAgICAgICAgICAgICYmIG9mZnNldCAr IHNpemVvZih1aW50NjRfdCkgPD0gc2l6ZW9mKHN0cnVjdCBjcHVfdXNlcl9yZWdzKSApCj4+ICsg ICAgICAgIHsKPj4gKyAgICAgICAgICAgIGlmICggIWlucHV0X3JlYWQocywgKChjaGFyICopY3R4 dC0+cmVncykgKyBvZmZzZXQsIHNpemVvZih1aW50NjRfdCkpICkKPj4gKyAgICAgICAgICAgICAg ICByZXR1cm47Cj4+ICsgICAgICAgICAgICBwcmludGYoIlNldHRpbmcgY3B1X3VzZXJfcmVncyBv ZmZzZXQgJXhcbiIsIG9mZnNldCk7Cj4+ICsgICAgICAgICAgICBjb250aW51ZTsKPj4gKyAgICAg ICAgfQo+PiArCj4+ICsgICAgICAgIC8qIE5vbmUgb2YgdGhlIGFib3ZlIC0tIHRha2UgdGhhdCBh cyAic3RhcnQgZW11bGF0aW5nIiAqLwo+PiArICAgICAgICAKPj4gKyAgICAgICAgcmV0dXJuOwo+ PiArICAgIH0KPiAKPiBIYXZpbmcgY29tZSBoZXJlIEkgd29uZGVyIHdoZXRoZXIgdGhlIHVzZSBv ZiAiYnl0ZSIgaW4gdGhlIGRlc2NyaXB0aW9uCj4gaXMgcmlnaHQsIGFuZCB5b3UgbWVhbiAidWlu dDhfdCBvZmZzZXQiIGFib3ZlLCBhcyB5b3UncmUgZmFyIGZyb20KPiBjb25zdW1pbmcgdGhlIGVu dGlyZSAyNTYgdmFsdWUgcmFuZ2UuCgpJc24ndCBjcHVfdXNlcl9yZWdzIGxhcmdlciB0aGFuIDI1 NiBieXRlcz8gIEFuZCBpbiBhbnkgY2FzZSwgdGhlIG9mZnNldAp3aWxsIGJlY29tZSBsYXJnZXIg dGhhbiAyNTYgYnl0ZXMgb25lIHdlIGluY2x1ZGUgdGhlIEZQVSBzdGF0ZS4KCj4gQWRkaXRpb25h bGx5LCB3YXMgdGhlIG9yZGVyIG9mIGVsZW1lbnRzIGhlcmUgY2hvc2VuIGZvciBhbnkgc3BlY2lm aWMKPiByZWFzb24/IEl0IHdvdWxkIHNlZW0gdG8gbWUgdGhhdCBlbGVtZW50cyBoYXZpbmcgYSBt b3JlIHNpZ25pZmljYW50Cj4gZWZmZWN0IG9uIGVtdWxhdGlvbiBtYXkgYmUgd29ydGggZmlsbGlu ZyBmaXJzdCwgYW5kIEknbSBub3QgY29udmluY2VkCj4gdGhlICJhbGwgQ1JzLCBhbGwgTVNScywg YWxsIFNSRUdzLCBhbGwgR1BScyIgb3JkZXIgbWF0Y2hlcyB0aGF0LgoKSSdtIG5vdCBhd2FyZSBv ZiBhbnkgcGFydGljdWxhciBvcmRlcjsgaXQncyBwcm9iYWJseSBzb21lIGNvbWJpbmF0aW9uIG9m CiJ0aGUgb3JkZXIgdGhleSB3ZXJlIGluIHRoZSBjcHVfcmVncyBzdHJ1Y3QiIGFuZCAidGhlIG9y ZGVyIGluIHdoaWNoIEkKZm91bmQgaXQgdXNlZnVsIHRvIGFkZCB0aGVtIi4gIEdpdmVuIHRoYXQg dGhlIGlucHV0IHdpbGwgYmUgbW9yZSBvciBsZXNzCnJhbmRvbSwgSSBkb24ndCB0aGluayB0aGUg b3JkZXIgaW4gdGhlIHN0cnVjdCB3aWxsIGhhdmUgdG9vIG11Y2ggb2YgYW4KaW1wYWN0IG9uIHRo ZSBvcmRlciBpbiB3aGljaCBBRkwgZXhwbG9yZXMgdGhlbS4KCklmIHlvdSBoYXZlIGFuIGFsdGVy bmF0aXZlIHN1Z2dlc3Rpb24gZm9yIGFuIG9yZGVyIHlvdSB0aGluayB3b3VsZCBiZQptb3JlIGxv Z2ljYWwgSSdtIGhhcHB5IHRvIHJlYXJyYW5nZSB0aGUgc3RydWN0dXJlLgoKIC1HZW9yZ2UKCl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fClhlbi1kZXZlbCBt YWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbi5vcmcKaHR0cHM6Ly9saXN0cy54ZW4ub3Jn L3hlbi1kZXZlbAo=