<br><br>2016年12月22日星期四，Tom Stellard <<a href="mailto:tom@stellard.net">tom@stellard.net</a>> 写道：<br>> On Wed, Dec 21, 2016 at 10:31:57AM -0500, Matt Arsenault wrote:<br>>><br>>> > On Dec 21, 2016, at 10:26, Ruiling Song <<a href="mailto:ruiling.song83@gmail.com">ruiling.song83@gmail.com</a>> wrote:<br>>> ><br>>> ><br>>> ><br>>> > 2016-12-20 22:14 GMT+08:00 Tom Stellard <<a href="mailto:tom@stellard.net">tom@stellard.net</a> <mailto:<a href="mailto:tom@stellard.net">tom@stellard.net</a>>>:<br>>> > ><br>>> > > On Tue, Dec 20, 2016 at 11:00:09AM +0800, Ruiling Song wrote:<br>>> > > > Hi,<br>>> > > ><br>>> > > > I am working on a new LLVM target for Intel GPU, which also has same kind<br>>> > > > of scalar/vector register classes used in AMDGPU target. Like for a i32<br>>> > > > virtual register, it will be held in scalar register if its value is<br>>> > > > uniform across a wavefront/warp, otherwise it will be in a vector register.<br>>> > > > Does AMDGPU already done this? I read the code, but I didn't figure out how<br>>> > > > to do this. Anybody has idea on this?<br>>> > > ><br>>> > ><br>>> > > In the AMDGPU backend we select everything we can to scalar<br>>> > > instructions, and then after instruction selection, we move<br>>> > > non-uniform values to the vector ALU.  This is done by<br>>> > > the SIFixSGPRCopiesPass, which relies heavily on<br>>> > > SIInstrInfo::moveToVALU().<br>>> ><br>>> > Hi Tom,<br>>> ><br>>> > I take a look at the code, it looks like a good idea. It really helps me a lot. Thanks Tom! I have a question for the code, why it only pass copy-like instructions as TopInst to moveToALU()? Is there any special reason to do like this? I thought that iterating through all the MIs and fix regClass if needed would be ok. Am I thinking it too simple?<br>>> ><br>>> > - Ruiling<br>>> > ><br>>> > > -Tom<br>>> > ><br>>> > > > - Ruiling<br>>> ><br>>> ><br>>> ><br>>> ><br>>> > --<br>>> > - Ruiling<br>>> ><br>>><br>>> The instruction selector will insert these copies to satisfy the register operand constraints, so by finding all users (and users of users) of the illegal copies you find the same thing. The instruction set is different, so we’re really replacing the instructions and not exactly just changing the register classes.<br>>><br>>> I think this process logically makes sense, moving things to vector as forced. However I’m uncertain if this is the best approach. I’ve debated going the other direction and selecting everything to vector instruction, and having an optimization pass move parts to scalars. This is what the AMD compiler does. There are different trade offs, but one advantage is you immediately have something resembling a legal program to begin with.<br>>><br>><br>> I'm not sure how far along you are in the backend, but the new<br>> GlobalISel solves this problem pretty well by assigning register<br>> banks to instructions before instruction selection.<br>Hi Tom,<br><br>I am still at early stage, I will take a look at GlobalISel. Thanks for pointing out this.<br><br>- Ruiling<br>><br>> If you're just getting started you may want to look at using GlobalISel<br>> from the start I think it will make things much easier for you.<br>><br>> -Tom<br>><br><br>-- <br><div dir="ltr">- Ruiling</div><br>