From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752494AbdF3SQL (ORCPT ); Fri, 30 Jun 2017 14:16:11 -0400 Received: from mx0b-00082601.pphosted.com ([67.231.153.30]:37538 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751874AbdF3SQH (ORCPT ); Fri, 30 Jun 2017 14:16:07 -0400 Authentication-Results: lists.iovisor.org; dkim=none (message not signed) header.d=none;lists.iovisor.org; dmarc=none action=none header.from=fb.com; Subject: Re: [PATCH v3 net-next 00/12] bpf: rewrite value tracking in verifier To: Edward Cree , Alexei Starovoitov , Daniel Borkmann References: <5953B436.6030506@iogearbox.net> <788035e1-1974-b48e-3008-d294194a8b05@solarflare.com> <595413AA.40502@iogearbox.net> <20170628213701.32krfuipzngsmt4k@ast-mbp> <91267d15-652a-16d9-4ee9-42958bd842aa@solarflare.com> CC: , , , iovisor-dev From: Alexei Starovoitov Message-ID: Date: Fri, 30 Jun 2017 11:15:39 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <91267d15-652a-16d9-4ee9-42958bd842aa@solarflare.com> Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [2620:10d:c090:180::1:86b2] X-ClientProxiedBy: BN6PR18CA0019.namprd18.prod.outlook.com (2603:10b6:404:121::29) To BL2PR15MB0962.namprd15.prod.outlook.com (2603:10b6:201:15::24) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 46b5d92b-579d-4407-1ae1-08d4bfe40661 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(300000500095)(300135000095)(300000501095)(300135300095)(22001)(300000502095)(300135100095)(300000503095)(300135400095)(201703131423075)(201703031133081)(300000504095)(300135200095)(300000505095)(300135600095)(300000506095)(300135500095);SRVR:BL2PR15MB0962; X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;3:fclfg3Wd16313zrTYOJOLmK1OuW/IiePdGeovdgvsd069qMLn/OEAl0/A4X268EFt1oynxluUZIgFeKF8EiAIATl2inj+wQg0DVnRIbarRbUBxqnjFZrrfbAMRPzbpuTUyDnHtsqv1dyVgyCc1Q91akPhTiqkxFZ4xVe14veBZ3QnZSgF0pe1rNYsFpb211l2qm0llMrntbn2qz+jpouZIOijIrLiJ5xX07VVqz8K3XSjJVadhNLIh4IQsDfg0QWhOsrRvJhbuR96djX9gXyX2BB1eNWunPCxddtJpBZjQYmSE/T1yLdryQcuXE6gJsUJYUUTCgwHWGVa4iQ5/65VBqeO0ucnZj1nOujWEz2CGITjyMSiiWC0AtTLdO/tu2CSwiB9ppred1zs79pQPlAfSoOsYCEqMWfTXyodo9PumFqt12QHTcQR0hemY6+CkhuJIhTBgb3/iQujnUJwN5AHu/NC0EuZpN4CUKgKVGMocGlgwat6x9ME/n/lagtLYeb1HmVDUQ6WyRIlbfpxz4/+qiGXU3bZ3Q0A/s3AP/vm56v1FEItGECXE9gyx8rgO1CP4tUxCsV+tar//mq7grkID1skE1M9Yndg60GVH4Ya0d11mVZLXk7QDkUBBwxGoUSfhM1mPasH7kS/QkTJVqdW9TlBwUNrbGPZnYUe0/EPwTIR1IYF9sU742VtxpWam/aqUwl53pn36BfaWscrU14Vv+LTSWLwbjOdzryIQVgmFw= X-MS-TrafficTypeDiagnostic: BL2PR15MB0962: X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;25:13iD9Wj+VURHUkGE2zXuVd3etpGrlrawAmWpOVD2UHSJWtsjjdy663UQlhw01wf+AGZAh+17+lGlVJlws3d4LE0torLzWcsurDz/UF02M4FHcukxt3LskQU1atcHOwDn9c7zWIM/P2Zt3sqbi9WI17dVtr1I5nb+2XgRqFdS/ZfCjCM6Bs20c+fO2y4nZkWYTVezchBM838Y0NsbKjs7ALQPzhpKE4BkkRe9hBCyo7SFZq0kNWbP6jys11Qd6JbgXbvoCSXk7VYIqnl9Q/u9/5JB00eY/H0geOcYd1JotcT+/3uh8v2CUoUnq9pOdJ9QkkY10TcZdd3TwXpwHATMChr7i977HSbBphskSI8K3pRO5t0g06DxlsW4FmiNu4yTz4iKGI3vu0ALuQ/x7CQxoC9mn/Cg7muF7ZDQ6cXVEK18cEEmbB5WZzJawNVJsEIMC1gjkRfd8hJ58zdfO6LzRafP8mv2lSpijBMrolg0yRk/dXTEYwli0yXZEy9PK8tGgBPsBLgZaZwNfRymAzICAMAN8euHtiiR1/iCsVlPQwIevONkHsbvHpPndxvJtcNYgaosmrK1+p1lTgX9G6YEJ4Zn8Crm9M6+V2XUIZvQjOwFS+CpxzDyqZPppDKY0SkurnXXCoOSmlS2p1mxcNqZQMSSgNp0WZV6h+KCTT1MfG5yZI7kXTTI3kl8/rLAfQ2ZYVKJkXMIP7JxpONXtxlMT9SkrREwP4KZ56jOwJDYQ0uEyD+2C3UI9LXQSGO7KsDqeyFxgnIN+oFO5WKo/Mz/+oKXx17Z/RZwj06FmvnWC9MEDoiUyi4so9J1fUc8FtUMNa+akKbEozSipvE9b+JAiJ1UOWUHcFhLPfCH0FqXkuTPA5K01FHyUb68GTpV9UqVmp4namw0e4wpvls58l2C2uSxQdqY2QXJ0z2M9jaAqu8= X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;31:lEw7pe0lcGAawnT4O+aux7e+akm2eOq1IKkUd1N2mn/fpgNQ9HgPIvhsKpkUMnRSONMor3y+VA0c5q6OxrtV9zrQJHGteraQngQp1P9q4j9P7ui88eIfH/Wz7JiWA7FrvMMkLFfUxhAPXr3q3b8qmUGYvlPh7lzdWWGL4KgzONYlxSdVIXhMITeI+1a+lyYauv47YkGa6nxyz62Xu6bR9urFKQw+fXEcxg7KKnmG9ck9AQ5RkybAf7yjzzVVQINrnU4HO4CiaMvbE4w8G4T7MQjtUQiYTFmmgLdztOz5fqveNEf1yx1RSznWkyaNq+y3X8vaeNJ7tlbhTbnK7MPdnuMnlIXKid7zZ0y0Ac+314RSyUXwu89GonJ5N1KGU9TUJ5aY9+AMtjHYfbwaliHFTVWRWPcWOzv39Q0cweihrrbFWDFHVBdW+6w+H5ovonFMuFvBEIXCDlYMvAqL+DAJF1z4jqAPOJEyPe2CdO1XZzST5KjCmgzeHlZxhbQwrAa+OVAzLoJYx846DMpbj05R3IO3pj/bbOBSSHdOBzXE2ahWZg+sXTjVNTZdBPGN2tcdU+shF0UFQMA8LzHnHZUnxsFQXZ2djLyCa4gEAyDTshMiz3lIOxuJWre5RBlR4R3g1vtpSr3YZZlUcNj86znkd6nyruE6IM2035+cgzLiXXFrjiwHmJcF75ekVQ8Zxw6U X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;20:7EACJg8+BUR9cB8MvzWvtg4sZ2vHjgpRqyvP+B4S9tAFxY/UvMx8O7vjXbOFrQkNUYsh6YM2JyelqQvcP8jpyYH0YCKD+ccXbHfjtFxGN+LbjkC8qYgF17X9dRy9dH2MXWKrDkasrUibDITw1F/ZA4tpSl2jA7Oeuyb8GzoWZeS8ygFmeYl83kYdvCWC3ZcTMH3ghRAU1unDZDdYYb16SNkul4yWEjHjridlgCaIY4CQ0QRvYUXbkN6GWOzddabwfgT3eDwOTEQfE5zPV3/Vx7BdXNBtYUzwAT4WR+ysdla13VrPcKTgnuzAnd4cqv0iXugNxsXfMZuak5XI9UUSIzyoMVXslC0xJ/2sU84W48h4lFk3TaulWZLpPoSP5AQQOnobCDHVnut6ikkAdqIe0TypdWh0nEDJFXs4Xvkw8NF5poPo+sRbvltNvox8tc75w8iXSc7P63snoOAtiGiIKBVX/EFxtMIocnDl7LkXkC+e50zh0jZSjhc9jHWMNd47 X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(158342451672863)(236129657087228); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(100000700101)(100105000095)(100000701101)(100105300095)(100000702101)(100105100095)(6040450)(601004)(2401047)(5005006)(8121501046)(3002001)(100000703101)(100105400095)(10201501046)(93006095)(93001095)(6041248)(20161123560025)(20161123562025)(20161123564025)(20161123558100)(20161123555025)(201703131423075)(201702281528075)(201703061421075)(201703061406153)(6072148)(100000704101)(100105200095)(100000705101)(100105500095);SRVR:BL2PR15MB0962;BCL:0;PCL:0;RULEID:(100000800101)(100110000095)(100000801101)(100110300095)(100000802101)(100110100095)(100000803101)(100110400095)(100000804101)(100110200095)(100000805101)(100110500095);SRVR:BL2PR15MB0962; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCTDJQUjE1TUIwOTYyOzQ6d0dQL3RqN0xKT3MxMTJrV0g3S0V5eDZ3WHpo?= =?utf-8?B?WjkxOXNMOFZINE5QemVsb0t6UVJBYWZWSFZySDVBeVZVRkFzRk1ySHVUVEhj?= =?utf-8?B?MmQ2b21aQkZaSVdhaTBjOXUyaEZ0c1NmYnZlMmZ5d2pydFBFSys4UGY4UTBG?= =?utf-8?B?Nm5ZMkw3R3ZkVjBMVkJFTUtDdzhXZTRSMEEyRTlBM2t1RVFxOFJEL01MRTdE?= =?utf-8?B?QWxxc3BuWjJVL1ZobFBaeURGMXQ0ZlBYWUlsSXIydGVlUytaZGdIRnpjNHhm?= =?utf-8?B?cVJ0Q0J4ZmJmOEZYWktFSFpwcWhkVGNWd0JMMHdMSWpIeE5VSFk5RHhPdTdq?= =?utf-8?B?RFZBTnliSFJyZlBCWDE2QmMvS2dhSjh3dExTRnNHWnY2YnNEbUVHcE9ZMHA3?= =?utf-8?B?WVQzYUNTNWV5aExBNWwxNjl6YUhBYUVlb2toeWd1S1Vkd3RVME1xai9LRS9t?= =?utf-8?B?ci95RlpmRnpodXB5MXJPVFhwV1VhRmF3NjllaXNrWFdlaFNlYkhLRTErUDg0?= =?utf-8?B?WXluNjVGT0VSZkVzWmkyVjBnUXhPbk5VOFJlQ1Evbm5MTmN2V2NlQlJwbHJD?= =?utf-8?B?blBWZUxQcVdJMldHREw2THRUbHVkV3cxNExNYmI2VFZ5UVVuWlVWb1krbWNL?= =?utf-8?B?NUtUcktUc3pzTFBHdGEyZEdLRGF0bU96MDBxSlVuZklPYS9haWJZZEJrMGN2?= =?utf-8?B?YTlkcUQ3YWxUcVVieEU2ZSs5bEZxWWl1UkEyZUZQaHlrZWR3Mm5ldzU2NFNo?= =?utf-8?B?MUgzYVhJaTY4c3dWM0ovZ3ZYOXA5cG1ZSUlSRmZzeHloZGZDWHRqSlg2MHdU?= =?utf-8?B?VkJVMU9kRzFXZTlpeWtqUUlraWcveWtmT1JjRjV3Z04xTmVSQXExRUtBKytY?= =?utf-8?B?NnlpbTAvM3dTZWNEMFU0WU4yYnlnYU5MQWNjN1lYQ0I2b01HZCt4STU3NHhR?= =?utf-8?B?UWVTTEtTNzUrSGI0YVU1UVpRc2JrU1doT3pNd1cxMDM0UXpQeHoxZUdLSDRK?= =?utf-8?B?ZjZZRXQ3ek8vSGQ2WjUyalJzMTR6aXB3bTRzS1hnMWpBTDkyeEkwV0RBa1Uy?= =?utf-8?B?cnZQMTg1U3FnbzQvMXJ5VGlhTmlwOFp4VS8zaExodUdPS3h5bCtVY294VWpK?= =?utf-8?B?RDlaWGVPTTFnVGVUeXRndDdpTGFMeUxhdjNKM0ZJMW81dEhkRHJzZHp6aEJz?= =?utf-8?B?UU9vbXZTV0hhTWxLYzBFZ3kzK1djZ3E1bnZoUmkreEsvVEFEd0pSZGhCVTdz?= =?utf-8?B?TkxVNEJKbEtMTDhEWTRvK0pTeVFyMkVDWFhvbk5SZUtTb0VqaEZ6VnlnMnBY?= =?utf-8?B?T0JXTzh0b2NEWVRVWFRtWXNadXU4YWppNGVSczN4MVdCZUVEUEgyUWl1bVJi?= =?utf-8?B?aS8yVzN3d3I4TkwzQWRkeXpQK1V1LzRWdkdNZWFhb2RuV3k2eTEvNS9ZbEtY?= =?utf-8?B?UHhyV01GNUlrdVRQREJtRXdxcEhqSXArVDlna0tqOEhodjJrSTRYcHVURXN1?= =?utf-8?B?c3VrL1N6alpFUjRXZGl3UlpLOGVDWWxoaEVjeXYrZjNhSjNjSUpCVHdWcWls?= =?utf-8?B?RGRCeFhod0hHQzVLOVJ6Si9oUnBKdzREZEk2aGFMY0cxUDR4dHlQQ3pvczFK?= =?utf-8?B?TFl2bVljMmRlakxlRzhKa1pNcG9YenRtTW93aVozVEdDdklaVVVFYWc9PQ==?= X-Forefront-PRVS: 0354B4BED2 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(4630300001)(6009001)(39850400002)(39840400002)(39410400002)(39400400002)(377454003)(24454002)(31696002)(6246003)(86362001)(2950100002)(6666003)(5660300001)(47776003)(65956001)(6116002)(7736002)(93886004)(65806001)(38730400002)(230700001)(305945005)(65826007)(23676002)(81166006)(42186005)(8676002)(54356999)(31686004)(189998001)(50986999)(53546010)(36756003)(83506001)(2906002)(76176999)(33646002)(25786009)(53936002)(4326008)(229853002)(6486002)(4001350100001)(50466002)(478600001)(42262002);DIR:OUT;SFP:1102;SCL:1;SRVR:BL2PR15MB0962;H:[IPv6:2620:10d:c081:1110::129a];FPR:;SPF:None;MLV:sfv;LANG:en; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCTDJQUjE1TUIwOTYyOzIzOm9jK1NiYzAzVS82S3VwVGFrNkRaWUZrdHYz?= =?utf-8?B?RW9YZi9MaUNhOVBrOUJDNmp2RXhBd3hFMWFnbmdvVWJqTG05cktxMDlVRHRk?= =?utf-8?B?VUNuQnZ6V1oydWJpWm9wVUJNcFN5TDVTM0w0K2N4TDd3aVVxdEovYml0NnU0?= =?utf-8?B?bHJBM09LcWd6VGVRU3V3ZThwcXNZV0lhbGVGZFVuUElnMkRmVlBiaHIvajIw?= =?utf-8?B?QWlnOHdpMXdjVUxTTksxZXNYbS9IZm1HOG01Q2N6N053ZjhKcTl6SkVDZVhJ?= =?utf-8?B?TURpTEVsL1pBNnFXMk01UXBtQjBkamR5MXNSd3ZFakxJM2x5UWM5QVNWYVFO?= =?utf-8?B?MGpEL0pwSncrQWlYTktlMm5vTlpuR2NPWlNGMFR2MVlidDZsVStLNHVvaFBo?= =?utf-8?B?bjhnUVkzU3pBM1Nqd1BYeGcwK0RUK1hlVW5DK2RaU05qMHgxYUpFa3drWkhj?= =?utf-8?B?TWMzWWdUVXg1dlBIUlNJVUROdGR3VjkzU3NUci9BSFVJRG5pL3VSOG9uWTA2?= =?utf-8?B?YldwTFA1dWFMY3VpYTdsSmkzTzIyR003QmtZaW9HOUxNcXQ3UEJRdi93cHRu?= =?utf-8?B?cU41U3JaNWVsc25PbDZnTnhTc2xjYmRBN3FxYTE1YjRmSklYbnZ2NUZoakc5?= =?utf-8?B?MXNkd0gvSlhWOFZoNHpjdXV2UWthUVBXbng4dURnVHZDNEU0Z0FLMGdhVFJV?= =?utf-8?B?ZmZnQ2ZSZnJYSjBWQk9PSitxN2VzakZNNzF5Y3RiWEVwUEIxcTZVZExHSVpj?= =?utf-8?B?NWpQSVhmT1VxRDFTV28xVEtiMDV0QjRCSVRsR2VGWkp1V2NsZUUvYmJrMmE4?= =?utf-8?B?amVOaFg1dWsvekNWM01sTnFRWDJCUG5qOStQZ1lqK1hpQzRGY21BN3JNdVda?= =?utf-8?B?ai9HTUY1WlFBbGxDblBBa0RDa05QcjdZSGpNQVFCZnRWVlJ6Yk9PaE9uTXdG?= =?utf-8?B?bWFJVlF1eUxYREtwbk1LZGZybzRENG9QMXI5TUQ1YTZsWnpzYlRVNXRKVm5P?= =?utf-8?B?QkhxUzh6U0NZcXRZLzhHVENubzZUVmgwRUd5VExkbEQxZnR0UTdYN2hzOGp0?= =?utf-8?B?aW9tSjFPWldROTRVMU5nVENhaUc5cXBxc0Q4NEFZUllNeUQ0YmxsdHl3Ykpu?= =?utf-8?B?eGxWZ1ZoaDVPODVZYVNsditFaVBvTEhRaWY4M2MxT2hnejAzTUNrbDcwQUNT?= =?utf-8?B?QzdoWTJQelA0bjBWZ2hIcmE5aU1XRDVQd285dnRZSytNbk9XWEc1UTR5SzlD?= =?utf-8?B?Y2JKL1lzbFJSTVUwdjdOYWZaVFlOb2haL2M0VFFoRnYxVUREN2txTFJrYmpx?= =?utf-8?B?VDJCUktta0FuVjV1clFvVmp4LzdZVTI2QmxjWVhhRi9vT1ZRTnVxMmpzNGN0?= =?utf-8?B?TjFSZGJOcmVzV05hQjdFS1R0amNwYlR4UkljWlZoQlpTcjRKRk5GT2wydC9k?= =?utf-8?B?WGkya010eTRsdVZkNEZtbkxSVjJWSzhyK1ZiRHVoMW80d044Z1I5T2xlMzV0?= =?utf-8?B?UWt6Y2VHN1ZPNXNvTmNyTzdaMk9vZXd2d1JuN1doSTF0ZGtRZ1hQVVlFWEVJ?= =?utf-8?Q?Hi9Iim24Hobk7ZgoIbgEuv2vxp3Ac2/+JfnTniBQvO3w=3D?= X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtCTDJQUjE1TUIwOTYyOzY6blByQlNidUNyLzl5cUM3M3Q5Q2JPd1lOWTRa?= =?utf-8?B?dHl2dEc0ck1XM014dVhORHh1eEQzMWo1LzNSZTUxamxLVHh6YVU4K1k4RmFo?= =?utf-8?B?dDVtQ1NWTWFhY2cxMVU4Y0VZNWs5ME95cFFCWUJpY0J1WTlTd0xjdGNTMk1D?= =?utf-8?B?THV4bkJvVGRrVVovekVad1ptOTQveXVYTGZabWJtREozeXJJdDJqOTBXQVhp?= =?utf-8?B?azJrdmdPajdHNHdHUEJQN0dBQzg5WFpsNWNDQk1oOTFEd2VpdFlQNEdZSldG?= =?utf-8?B?VFA1ZE95bmZ4L0c1dDJ3RXV0cTNRNmx4cXlBVnlhTjNqdkI2T1ZoVTNua2di?= =?utf-8?B?SHMyM0w4MWs3M0ZRYUZRMXN2UURqaTVRajJpMnNITWNMVmc3SDBZQ25IZEIw?= =?utf-8?B?RXRiMElkK1NqeStMNkxveDBpeElGTjVFK3Zjc0dVSXF5cEFzK3BFN05wOUFq?= =?utf-8?B?N3BjTEpCd3FLT3FzN0lNNEc4M0dnY0pTWWlnMHdZSlhua3B1K1g0dHRkZUwx?= =?utf-8?B?anU3aDBwcGtrR254dElURkE4U3pHVTYwV0JpM3VjL2xoRGkrUjF3U2lvaWsy?= =?utf-8?B?WEJRbkgwazFxZ1lYa3hlYVRoaTR3WnhhYjFmQVQ0Ync4c3U1dEx2TWtVSzUv?= =?utf-8?B?dFZGdGJyVEhKOW5RUkRLdUdYT3A1Z0FvRHVCSW40a1Q4SjR1YVowUlZwWFYx?= =?utf-8?B?MGVFd2VEaExFSjNkM2dQZmlGNzhieVdGald4Qzhjbm5nYTRVSHgzMzEzbGlR?= =?utf-8?B?Zit1amlCK3l5cGNJSUhzS2VDQnhtQ2xMRExLQnJ4TS9VdVFkZTRORjQ2R3Vp?= =?utf-8?B?MGtnR2thcXhqNnF5ZHoxYjduS0NaU1BWdEtSa0Ixenk0cGM2dU5lSVpGYWd0?= =?utf-8?B?QWRqQ3F3VmZuQmRvbG1BeFpNa1RMa0g0Q0tlbUpIc1Npa1FSaDBRMmRtZ29E?= =?utf-8?B?Z1ZJSTJ2Z1NkMXAwQnEzZGhKbTRJWXJNQ1JXZXU3czZKRENQbmgwdHZnbWls?= =?utf-8?B?MUJFOGxUdU5TblZzajZQYkxoNi80K1EvcElYL2d4NEtxQ3NCbzJQTDdvWi9H?= =?utf-8?B?NDFxSGFrU3hIUGxQSEtWZWN4S1ExUkJ5dkRac0w1cFVrbmVpZm1zU2w5OUlo?= =?utf-8?B?NUoraXJ4Q3FwVGJhVWFrdEJpSGt1SWYvMWhXWGlsTDB2SUlDOTVtM1NwMlNS?= =?utf-8?B?U2UwekZDK0tMdWc2MHZ4Tjh3Y2JxVFQrUWRoSGFRTERLdVJVU1JscHZKNHJz?= =?utf-8?B?bDY4eHNwMDJTWXgwR3oyMTdya2VNRWJGNFJSaXRJQW9lZEk3TU9rdUxUS3pL?= =?utf-8?Q?bNYuvbcVeQKFw603EMEF0UvyGhg3rU8=3D?= X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;5:Ss7xUBzB3t/NfaAQuVK2pZC8Wcyt+p7Dd+wmH0TSDACvGZFtkAuMUvrmDDJJy4JIMimivZYG7MKgQxs4u6YJRnxjbX3iq1EofdY3geDN4liQ9dZYYXHeNZnPxLFkOIdYE2ReYs6guUVqMrajoE8xRTY7JlFqybhJNfi9fa9oEpVzTsf0ydzFXNHSA3x56NjhDLy0Xxe/dQxCb/TD+Y+lBq4Dyhoq8xIm7FPFKRZInyea4y9MwMsHXAqBeXUEcI3qxgHXoZSj9KarDXzEgWg6vD0lQ0fo3I8+uwH90ovDP5DRwq6CdMrotijao1tQOyj6oDEuVHMsUhEqXpe56t+Cb3s07eLzE6f6Cncft160eyEym7JIcQfRelP50fzCC/CqUpbEZBMD3JuR94OdUXKxN/X4J7xtWjmd4cPvaBx8R+l+8p/6qS+NHFcM/6RBrstOo1jCsb280rBGQBvIhinX8USoZbBLSj857lFC9WHLfA4jfuBZ2Eef+WEgsjwlOsWN;24:8LI8ZQw4r4CotGZWxoqPTc4jZOAgry7O4vnXHuG2+QP/L9SIBYaixENRvGvyf+w0MlQlIiu4wC4moqC1HX+68rK9sFYzWSB4PX92R93caIw= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;7:0UCdGyiGUoxYhhwcvJ9YjXdngT1adzwCViYs1n5Hilcu3GAHDHhpUDKMnBfQM/DQzs7+7h+BRiY2ECOrWTi8fXTzlKVv/a6UJirx8kAraJ2WJsNoQubiNyJqEQXMCY2ynnCMj6Nmy38Bk3quY0k+98BFiN+SNnenEP4Kf2JNbNrD5lBbaMR6J7KCmxCxyUcCCKFRBzGV0dRpbvt0NgNis6UczKbWo6Jh+MUAr/V5yPtToqnfIIwu8/YrsZn3Ql69IhhNqbouQ/9av9XPzbujjN/vj9bPuQjChcNbxznXC2oCVYE5mL/Rd/omEmlVxhk9Ywkjw5z5XJlTkRzBvgv7xBQj0IkFBTNk5joicd6OhCMjRU0HSXexcjLBadIZ+JaYe1zIUfD7wSnwO5eTc4VrGrz0AAnEL3HR6VseKOIywF6UmtkCZUIENV/uZ9EqL1NIywy8qy7h0pMhO+C3bp+YimkKlVTlGHCrjTWc7GDFNs3XkXFL7TwbG/UuMwzb8rLvViu2JrPIikj6mwEj7ClQ7hYGuk4rHbumOY1lV528DASQkouVrQYtJ0hNgO+KCINwJnSKhB5CqqLg3Y4pnSS001oE4sm5+RVG9En99MreId+VKsD4DRdPttVllIdHn6eUIKXYv+dMhfAmv7TedsYUtRJc51BfqzUDhp59UNE54T09d+ID2FN2+nyr/XafuFsjiUVREmlYYxWOfAzrtqn3MeqP88vQjuLI2Inq1xnQtTdAJeyHTi+HXDJ6LCNKnNJAw3cqLHTZwATEYeHSsZVH89RwVn43f/sCxQO41I/5Fgc= X-Microsoft-Exchange-Diagnostics: 1;BL2PR15MB0962;20:aGlWsQHT2OhrKuNs/1Yv+VJ6k6Aphw2sH+XKzL+dVP0ce38ODrNKi8tyKzYZ5bw5eOhtVkl9TJd1MPsghIJEizG1Dzdemmbg6Cp3RTiYKxRw222iXlo13lRiTC2I4z+Opp6i/nFZ9KGIeQb+tftxa/HGp4GGdAikijY9MrVqjmM= X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 Jun 2017 18:15:43.5151 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL2PR15MB0962 X-OriginatorOrg: fb.com X-Proofpoint-Spam-Reason: safe X-FB-Internal: Safe X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-06-30_12:,, signatures=0 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 6/30/17 9:44 AM, Edward Cree wrote: > I haven't measured the test_progs ones, because I *still* haven't gotten > around to actually setting up a BPF toolchain (it doesn't help that I'm > building everything on a test server that gets reimaged every night to > run our nightly tests...). then you're missing a lot of tests then... installing llvm is trivial. On x86 there are plenty of pre-built packages that you can apt-get or yum. Dave had to compile llvm and gcc from source on sparc, so volatile test server isn't really an excuse to miss all these tests ;) especially for such large verifier change. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alexei Starovoitov via iovisor-dev Subject: Re: [PATCH v3 net-next 00/12] bpf: rewrite value tracking in verifier Date: Fri, 30 Jun 2017 11:15:39 -0700 Message-ID: References: <5953B436.6030506@iogearbox.net> <788035e1-1974-b48e-3008-d294194a8b05@solarflare.com> <595413AA.40502@iogearbox.net> <20170628213701.32krfuipzngsmt4k@ast-mbp> <91267d15-652a-16d9-4ee9-42958bd842aa@solarflare.com> Reply-To: Alexei Starovoitov Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Cc: netdev-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, iovisor-dev , davem-fT/PcQaiUtIeIZ0/mPfg9Q@public.gmane.org, linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: Edward Cree , Alexei Starovoitov , Daniel Borkmann Return-path: In-Reply-To: <91267d15-652a-16d9-4ee9-42958bd842aa-s/n/eUQHGBpZroRs9YW3xA@public.gmane.org> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: iovisor-dev-bounces-9jONkmmOlFHEE9lA1F8Ukti2O/JbrIOy@public.gmane.org Errors-To: iovisor-dev-bounces-9jONkmmOlFHEE9lA1F8Ukti2O/JbrIOy@public.gmane.org List-Id: netdev.vger.kernel.org On 6/30/17 9:44 AM, Edward Cree wrote: > I haven't measured the test_progs ones, because I *still* haven't gotten > around to actually setting up a BPF toolchain (it doesn't help that I'm > building everything on a test server that gets reimaged every night to > run our nightly tests...). then you're missing a lot of tests then... installing llvm is trivial. On x86 there are plenty of pre-built packages that you can apt-get or yum. Dave had to compile llvm and gcc from source on sparc, so volatile test server isn't really an excuse to miss all these tests ;) especially for such large verifier change.