Chromium Code Reviews Chromium Code Reviews
Issue
1141213004:
Subzero: Fold icmp into br/select lowering. (Closed)
DescriptionSubzero: Fold icmp into br/select lowering.
Originally there was a peephole-style optimization in lowerIcmp() that looks ahead to see if the next instruction is a conditional branch with the right properties, and if so, folds the icmp and br into a single lowering sequence.
However, sometimes extra instructions come between the icmp and br instructions, disabling the folding even though it would still be possible.
One thought is to do the folding inside lowerBr() instead of lowerIcmp(), by looking backward for a suitable icmp instruction. The problem here is that the icmp lowering code may leave lowered instructions that can't easily be dead-code eliminated, e.g. instructions lacking a dest variable.
Instead, before lowering a basic block, we do a prepass on the block to identify folding candidates. For the icmp/br example, the prepass would tentatively delete the icmp instruction and then the br lowering would fold in the icmp.
This folding can also be extended to several producers:
icmp (i32 operands), icmp (i64 operands), fcmp, trunc .. to i1
and several consumers:
br, select, sext, zext
This CL starts with 2 combinations: icmp32 paired with br & select. Other combinations will be added in later CLs.
BUG= https://code.google.com/p/nativeclient/issues/detail?id=4162
BUG= https://code.google.com/p/nativeclient/issues/detail?id=4095
R=jvoung@chromium.org
Committed: https://gerrit.chromium.org/gerrit/gitweb?p=native_client/pnacl-subzero.git;a=commit;h=a59ae6ffa3d06baaedc25883615a8e8bce67e3fe
Patch Set 1 #Patch Set 2 : Comments and cleanup #
Total comments: 19
Patch Set 3 : Code review changes #Patch Set 4 : Remove unnecessary break statement #
Total comments: 1
Messages
Total messages: 6 (1 generated)
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
