search for: t2movi

...0, 2, 14, _, implicit-def %cpsr, debug-location !32 t2IT 11, 28, implicit-def %itstate %r0 = tMOVi8 _, 1, 11, %cpsr, implicit %r0, implicit %itstate tPOP_RET 11, %cpsr, def %r4, def %r6, def %r7, def %pc, implicit %r0, implicit %r4, implicit killed %itstate, debug-location !44 %r1 = t2MOVi 2, 14, _, _ t2B %bb.3.for.body, 14, _ Note that a terminator tPOP_RET is before a non-terminator t2MOVi. The command line to produce this is as follows: llc -mtriple=thumbv7m-none-none-eabi -mcpu=cortex-m3 -O1 -stop-before=arm-cp-islands -o prime-factorize.mir prime-factorize.ll Attached are...

...Q5 %R9 %R7 %R8 %R10 %R5 %R11 Predecessors according to CFG: BB#52 8976B %R1<def> = t2LEApcrelJT <jt#2>, 2, pred:14, pred:%noreg 8992B %R1<def> = t2ADDrs %R1<kill>, %R10, 18, pred:14, pred:%noreg, opt:%noreg 9004B %LR<def> = t2MOVi 1, pred:14, pred:%noreg, opt:%noreg 9008B t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2 Shrink JT: t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2 addr: %R1<def> = t2ADDrs %R1<kill>, %R10, 18, pred:14, pred:%noreg, opt:%noreg lea: %R1&...

...sors according to CFG: BB#52**** > > 8976B %R1<def> = t2LEApcrelJT <jt#2>, 2, pred:14, pred:%noreg*** > * > > 8992B %R1<def> = t2ADDrs %R1<kill>, %R10, 18, pred:14, > pred:%noreg, opt:%noreg**** > > 9004B %LR<def> = t2MOVi 1, pred:14, pred:%noreg, opt:%noreg**** > > 9008B t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2**** > > ** ** > > Shrink JT: t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2**** > > addr: %R1<def> = t2ADDrs %R1<kill>, %R10, 1...

...Predecessors according to CFG: BB#52 > > 8976B %R1<def> = t2LEApcrelJT <jt#2>, 2, pred:14, pred:%noreg > > 8992B %R1<def> = t2ADDrs %R1<kill>, %R10, 18, pred:14, pred:%noreg, opt:%noreg > > 9004B %LR<def> = t2MOVi 1, pred:14, pred:%noreg, opt:%noreg > > 9008B t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2 > > > > Shrink JT: t2BR_JT %R1<kill>, %R10<kill>, <jt#2>, 2 > > addr: %R1<def> = t2ADDrs %R1<kill>, %R10, 18, pred:14,...

> The right way to update the CFG very much depends on how you're > transforming it. I would like to export the CFG for control flow checking. Theoretically, it should be possible for a compiler to know every target of every control flow instruction, except for computed targets that are not known at compile-time. When a machine basic block is split between two branches, as shown below: