Hi Chris, On 14 August 2017 at 18:23, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Mon, Aug 14, 2017 at 1:11 PM, Dibyendu Majumdar > <mobile@xxxxxxxxxxxxxxx> wrote: >> The push approach has the benefit that it makes clear what arguments >> are being passed in a call. Previously this information was not >> revealed in the Sparse linearized dump. It would be a shame to lose >> that information - perhaps you could still dump the arguments along >> with a call? > > Are you sure? > Here is what I have for RC5: > ./test-linearize cse.c > > .L414: > load.64 %r1052 <- 0[insn] > call.64 %r1053 <- try_to_cse, %arg1, %r1044(last), %r1052 > store.64 %r1053 -> 0[insn] > phisrc.64 %phi474 <- %r1053 > br .L413 > > You can see exactly what is the calling arguments. There is an pseudo_list > for the arguments. > Ah okay - I don't see that in dmrC output. It must have been removed as part of the push change. Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
