From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32444 invoked by alias); 28 Jun 2009 22:53:26 -0000 Received: (qmail 32435 invoked by uid 22791); 28 Jun 2009 22:53:26 -0000 X-SWARE-Spam-Status: No, hits=-1.3 required=5.0 tests=BAYES_00,MISSING_HEADERS X-Spam-Check-By: sourceware.org Received: from mail.uni-paderborn.de (HELO mail.uni-paderborn.de) (131.234.142.9) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sun, 28 Jun 2009 22:53:19 +0000 Received: from dslb-084-061-179-104.pools.arcor-ip.net ([84.61.179.104] helo=[192.168.178.111]) by mail.uni-paderborn.de with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.63 spheron) id 1ML3FL-0005sb-H3; Mon, 29 Jun 2009 00:53:16 +0200 Message-ID: <4A47F458.6090100@uni-paderborn.de> Date: Sun, 28 Jun 2009 23:01:00 -0000 From: Michael Kruse Reply-To: reply@meinersbur.de User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) MIME-Version: 1.0 CC: gcc@gcc.gnu.org, Sid.Touati@inria.fr, frederic.brault@inria.fr, Albert.Cohen@inria.fr Subject: Re: Register Pressure in Instruction Level Parallelism References: <4A47462E.1080402@uni-paderborn.de> <4A4759F6.7010808@gmail.com> In-Reply-To: <4A4759F6.7010808@gmail.com> Content-Type: multipart/signed; protocol="application/x-pkcs7-signature"; micalg=sha1; boundary="------------ms090004010604010307060404" X-IMT-Spam-Score: 0.0 () X-IMT-Authenticated-Sender: uid=meinert,ou=People,o=upb,c=de Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-06/txt/msg00659.txt.bz2 This is a cryptographically signed message in MIME format. --------------ms090004010604010307060404 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Content-length: 1771 [Posting this again because I noticed that I sent this to Dave Korn only] Hi Dave, Dave Korn wrote: > One of the major problems in gcc is the intertangling of instruction > selection with register allocation and spill generation. If these could be > separated it would almost certainly generate better code and be welcomed with > open arms! > The separation of these is one concern of the thesis. Although, it does not separate them completely. >> I'd prefer to implement this for the gcc, but my advisor wants me to do >> it for the university's own compiler. Therefore I could also need >> arguments why to do it for the GCC. >> > > Because destroying reload(*) would be an incalculable public service and > your name will be remembered in history as the one who slew the dragon? ;-) > Yeah, I already read the reload topic in the wiki ("...equivalent of Satan..." *g*). And it made me think about whether I really want do do that. But the good thing (for me) is that I don't have for change the reload pass for this as it is an additional pass, not a replacement. So I have to disappoint you here. That does not mean that this couldn't help in getting rid of the reload pass. After the modification of the ddg, the reload pass doesn't have to take care for optimization (very much) as this has already been done. Hence, this could greatly simplify the process. And I love your optimism :-) Btw, I guess my advisor doesn't accept your argument. The dragon on my dragon book is a very tough one *g*. And one of my advisor's arguments for not implementing it for the GCC is that their compiler would be less complicated. I can't confirm that since I don't have access to it yet. Regards, Michael Kruse -- Tardyzentrismus verboten! --------------ms090004010604010307060404 Content-Type: application/x-pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature Content-length: 5966 MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEH AQAAoIINjzCCAz8wggKooAMCAQICAQ0wDQYJKoZIhvcNAQEFBQAwgdExCzAJ BgNVBAYTAlpBMRUwEwYDVQQIEwxXZXN0ZXJuIENhcGUxEjAQBgNVBAcTCUNh cGUgVG93bjEaMBgGA1UEChMRVGhhd3RlIENvbnN1bHRpbmcxKDAmBgNVBAsT H0NlcnRpZmljYXRpb24gU2VydmljZXMgRGl2aXNpb24xJDAiBgNVBAMTG1Ro YXd0ZSBQZXJzb25hbCBGcmVlbWFpbCBDQTErMCkGCSqGSIb3DQEJARYccGVy c29uYWwtZnJlZW1haWxAdGhhd3RlLmNvbTAeFw0wMzA3MTcwMDAwMDBaFw0x MzA3MTYyMzU5NTlaMGIxCzAJBgNVBAYTAlpBMSUwIwYDVQQKExxUaGF3dGUg Q29uc3VsdGluZyAoUHR5KSBMdGQuMSwwKgYDVQQDEyNUaGF3dGUgUGVyc29u YWwgRnJlZW1haWwgSXNzdWluZyBDQTCBnzANBgkqhkiG9w0BAQEFAAOBjQAw gYkCgYEAxKY8VXNV+065yplaHmjAdQRwnd/p/6Me7L3N9VvyGna9fww6YfK/ Uc4B1OVQCjDXAmNaLIkVcI7dyfArhVqqP3FWy688Cwfn8R+RNiQqE88r1fOC dz0Dviv+uxg+B79AgAJk16emu59l0cUqVIUPSAR/p7bRPGEEQB5kGXJgt/sC AwEAAaOBlDCBkTASBgNVHRMBAf8ECDAGAQH/AgEAMEMGA1UdHwQ8MDowOKA2 oDSGMmh0dHA6Ly9jcmwudGhhd3RlLmNvbS9UaGF3dGVQZXJzb25hbEZyZWVt YWlsQ0EuY3JsMAsGA1UdDwQEAwIBBjApBgNVHREEIjAgpB4wHDEaMBgGA1UE AxMRUHJpdmF0ZUxhYmVsMi0xMzgwDQYJKoZIhvcNAQEFBQADgYEASIzRUIPq Cy7MDaNmrGcPf6+svsIXoUOWlJ1/TCG4+DYfqi2fNi/A9BxQIJNwPP2t4WFi w9k6GX6EsZkbAMUaC4J0niVQlGLH2ydxVyWN3amcOY6MIE9lX5Xa9/eH1sYI Tq726jTlEBpbNU1341YheILcIRk13iSx0x1G/11fZU8wggUiMIIEi6ADAgEC AhABlkfcqgBx7l/30QjQrmHwMA0GCSqGSIb3DQEBBQUAMGIxCzAJBgNVBAYT AlpBMSUwIwYDVQQKExxUaGF3dGUgQ29uc3VsdGluZyAoUHR5KSBMdGQuMSww KgYDVQQDEyNUaGF3dGUgUGVyc29uYWwgRnJlZW1haWwgSXNzdWluZyBDQTAe Fw0wODEyMTYyMzIyNThaFw0wOTEyMTYyMzIyNThaMIIBsjEOMAwGA1UEBBMF S3J1c2UxEDAOBgNVBCoTB01pY2hhZWwxFjAUBgNVBAMTDU1pY2hhZWwgS3J1 c2UxKTAnBgkqhkiG9w0BCQEWGk1pY2hhZWxLcnVzZUBNZWluZXJzYnVyLmRl MSIwIAYJKoZIhvcNAQkBFhNyZXBseUBtZWluZXJzYnVyLmRlMSIwIAYJKoZI hvcNAQkBFhNNaWNoYWVsS3J1c2VAV2ViLmRlMScwJQYJKoZIhvcNAQkBFhht ZWluZXJ0QHVuaS1wYWRlcmJvcm4uZGUxKDAmBgkqhkiG9w0BCQEWGW1laW5l cnNidXJAZ29vZ2xlbWFpbC5jb20xIzAhBgkqhkiG9w0BCQEWFE1laW5lcnNi dXJAZ21haWwuY29tMScwJQYJKoZIhvcNAQkBFhhNZWluZXJzYnVyQE1laW5l cnNidXIuZGUxITAfBgkqhkiG9w0BCQEWEm1rcnVzZUB1dGFzLmVkdS5hdTEd MBsGCSqGSIb3DQEJARYObWVpbmVydEB1cGIuZGUxIDAeBgkqhkiG9w0BCQEW EWJjY0BtZWluZXJzYnVyLmRlMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB CgKCAQEAt2ONiWmDiRnsU9pfSho6+6D1DG+egKhwPcofcdgl/MgriZUnZ7nk xeTP1FLZF7Io+Nm8vLB9O4HpDKhiOjXA6hPpWiq+YEsl2urEEEr4eiKccC+C mIf0UlGVnVWXrt5yH3ia8AH8EZrYQV5THtg0JV6maQwkdbh8iEJ8nYh20fzy Jg4vRHAcr1YNNYW9m3ODFvQNFzAAOU0Kv5HGZcMCEJQv/+DQLCPkizWXpl8l XOp2DhqK3vSPaQWu44oUk7Z8nFtCkNEREoKaYB9iivh+tFHT1+YfpYYzaoU3 N+gryqzrs63deKmiH0cdn+wDIgnWfpwgWH9iXYPypgxuf1azzwIDAQABo4IB ATCB/jCB7QYDVR0RBIHlMIHigRpNaWNoYWVsS3J1c2VATWVpbmVyc2J1ci5k ZYETcmVwbHlAbWVpbmVyc2J1ci5kZYETTWljaGFlbEtydXNlQFdlYi5kZYEY bWVpbmVydEB1bmktcGFkZXJib3JuLmRlgRltZWluZXJzYnVyQGdvb2dsZW1h aWwuY29tgRRNZWluZXJzYnVyQGdtYWlsLmNvbYEYTWVpbmVyc2J1ckBNZWlu ZXJzYnVyLmRlgRJta3J1c2VAdXRhcy5lZHUuYXWBDm1laW5lcnRAdXBiLmRl gRFiY2NAbWVpbmVyc2J1ci5kZTAMBgNVHRMBAf8EAjAAMA0GCSqGSIb3DQEB BQUAA4GBAAaqGNzCuVZPwrtax+FjxNV0Gvp+1mFysNcbXphD5aAmygKutey9 rIxSgYXSZeixBi93JzNAhY3XgFqDgLAgwJjsqmiI+m2HRDqn4f7WX+cC2Oy5 9teS93TH7mt1e8wd5zRXfnEvqkCf7gfBs80Ja2v0CxIpeWDWNRoqzfaiDEGt MIIFIjCCBIugAwIBAgIQAZZH3KoAce5f99EI0K5h8DANBgkqhkiG9w0BAQUF ADBiMQswCQYDVQQGEwJaQTElMCMGA1UEChMcVGhhd3RlIENvbnN1bHRpbmcg KFB0eSkgTHRkLjEsMCoGA1UEAxMjVGhhd3RlIFBlcnNvbmFsIEZyZWVtYWls IElzc3VpbmcgQ0EwHhcNMDgxMjE2MjMyMjU4WhcNMDkxMjE2MjMyMjU4WjCC AbIxDjAMBgNVBAQTBUtydXNlMRAwDgYDVQQqEwdNaWNoYWVsMRYwFAYDVQQD Ew1NaWNoYWVsIEtydXNlMSkwJwYJKoZIhvcNAQkBFhpNaWNoYWVsS3J1c2VA TWVpbmVyc2J1ci5kZTEiMCAGCSqGSIb3DQEJARYTcmVwbHlAbWVpbmVyc2J1 ci5kZTEiMCAGCSqGSIb3DQEJARYTTWljaGFlbEtydXNlQFdlYi5kZTEnMCUG CSqGSIb3DQEJARYYbWVpbmVydEB1bmktcGFkZXJib3JuLmRlMSgwJgYJKoZI hvcNAQkBFhltZWluZXJzYnVyQGdvb2dsZW1haWwuY29tMSMwIQYJKoZIhvcN AQkBFhRNZWluZXJzYnVyQGdtYWlsLmNvbTEnMCUGCSqGSIb3DQEJARYYTWVp bmVyc2J1ckBNZWluZXJzYnVyLmRlMSEwHwYJKoZIhvcNAQkBFhJta3J1c2VA dXRhcy5lZHUuYXUxHTAbBgkqhkiG9w0BCQEWDm1laW5lcnRAdXBiLmRlMSAw HgYJKoZIhvcNAQkBFhFiY2NAbWVpbmVyc2J1ci5kZTCCASIwDQYJKoZIhvcN AQEBBQADggEPADCCAQoCggEBALdjjYlpg4kZ7FPaX0oaOvug9QxvnoCocD3K H3HYJfzIK4mVJ2e55MXkz9RS2ReyKPjZvLywfTuB6QyoYjo1wOoT6VoqvmBL JdrqxBBK+HoinHAvgpiH9FJRlZ1Vl67ech94mvAB/BGa2EFeUx7YNCVepmkM JHW4fIhCfJ2IdtH88iYOL0RwHK9WDTWFvZtzgxb0DRcwADlNCr+RxmXDAhCU L//g0Cwj5Is1l6ZfJVzqdg4ait70j2kFruOKFJO2fJxbQpDRERKCmmAfYor4 frRR09fmH6WGM2qFNzfoK8qs67Ot3Xipoh9HHZ/sAyIJ1n6cIFh/Yl2D8qYM bn9Ws88CAwEAAaOCAQEwgf4wge0GA1UdEQSB5TCB4oEaTWljaGFlbEtydXNl QE1laW5lcnNidXIuZGWBE3JlcGx5QG1laW5lcnNidXIuZGWBE01pY2hhZWxL cnVzZUBXZWIuZGWBGG1laW5lcnRAdW5pLXBhZGVyYm9ybi5kZYEZbWVpbmVy c2J1ckBnb29nbGVtYWlsLmNvbYEUTWVpbmVyc2J1ckBnbWFpbC5jb22BGE1l aW5lcnNidXJATWVpbmVyc2J1ci5kZYESbWtydXNlQHV0YXMuZWR1LmF1gQ5t ZWluZXJ0QHVwYi5kZYERYmNjQG1laW5lcnNidXIuZGUwDAYDVR0TAQH/BAIw ADANBgkqhkiG9w0BAQUFAAOBgQAGqhjcwrlWT8K7WsfhY8TVdBr6ftZhcrDX G16YQ+WgJsoCrrXsvayMUoGF0mXosQYvdyczQIWN14Bag4CwIMCY7KpoiPpt h0Q6p+H+1l/nAtjsufbXkvd0x+5rdXvMHec0V35xL6pAn+4HwbPNCWtr9AsS KXlg1jUaKs32ogxBrTGCA2QwggNgAgEBMHYwYjELMAkGA1UEBhMCWkExJTAj BgNVBAoTHFRoYXd0ZSBDb25zdWx0aW5nIChQdHkpIEx0ZC4xLDAqBgNVBAMT I1RoYXd0ZSBQZXJzb25hbCBGcmVlbWFpbCBJc3N1aW5nIENBAhABlkfcqgBx 7l/30QjQrmHwMAkGBSsOAwIaBQCgggHDMBgGCSqGSIb3DQEJAzELBgkqhkiG 9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTA5MDYyODIyNTMxMlowIwYJKoZIhvcN AQkEMRYEFAPEShTZa9w8wpWy40hROmJTSd4PMFIGCSqGSIb3DQEJDzFFMEMw CgYIKoZIhvcNAwcwDgYIKoZIhvcNAwICAgCAMA0GCCqGSIb3DQMCAgFAMAcG BSsOAwIHMA0GCCqGSIb3DQMCAgEoMIGFBgkrBgEEAYI3EAQxeDB2MGIxCzAJ BgNVBAYTAlpBMSUwIwYDVQQKExxUaGF3dGUgQ29uc3VsdGluZyAoUHR5KSBM dGQuMSwwKgYDVQQDEyNUaGF3dGUgUGVyc29uYWwgRnJlZW1haWwgSXNzdWlu ZyBDQQIQAZZH3KoAce5f99EI0K5h8DCBhwYLKoZIhvcNAQkQAgsxeKB2MGIx CzAJBgNVBAYTAlpBMSUwIwYDVQQKExxUaGF3dGUgQ29uc3VsdGluZyAoUHR5 KSBMdGQuMSwwKgYDVQQDEyNUaGF3dGUgUGVyc29uYWwgRnJlZW1haWwgSXNz dWluZyBDQQIQAZZH3KoAce5f99EI0K5h8DANBgkqhkiG9w0BAQEFAASCAQBL ojQERRIw4rNkklccyIINoib2Y9oBqSuYXeF8QNSC2eeIJfTaMygYhI85AdGa BPMJQrTWGw5ZkWzb8pv534V5Qt0o08tBW5y84sLj+1iimi6pTFUZBIllX2o+ 3TFPT93euYKOqr+4mGJKOz1c12D6QAtUxllMJXq+lVxvYEK8byDianDm/zpO 2Sj1w9k77ptosdBT7WpycRfqW7wG1ugA4li7Lzsyl47yn9Mzcza37P7Y7JOD XcZw5jmbnDJEmNI6fCjx8nrmLY6BjXahY4T3blbINx9aKq94EswQ5TlF6NIW ij0yFOLq8O8QVYar8rrlMi+PRZ89YcBuiTWWURtNAAAAAAAA --------------ms090004010604010307060404--