search for: rematerialiable

...414 ori 3, 3, 27470 sldi 3, 3, 32 oris 3, 3, 35809 ori 30, 3, 20615 ... .LBB0_1: # %for.body mr 3, 30 bl foo ... There is a sequence of instructions used to materialize the constant, the first one (the lis) is trivially rematerialiable, and the others depend only on that one, and have no side effects. If we otherwise needed to spill the constant, we might wish to move the entire set of instructions that compute the value into the loop body. (Many thanks to Hal Finkel for this example and head start) We are following very old but...