<div dir="ltr">Hi,<div><br></div><div>Hexagon has a MIR pass for detecting loops that map onto hardware support. I think a similar approach would be viable for my target but am put off by the complexity of determining whether a given loop is legal to transform.</div><div><br></div><div>Instead, I would like to pass the responsibility for determining legality onto the C programmer who is assumed sufficiently familiar with the architecture.</div><div><br></div><div>I think this would require a pair of intrinsics to denote the start and end of the loop. Is there a reasonable way to model this in llvm?</div><div><br></div><div>If not, would anyone suggest a compiler programmer friendly, even if application programmer hostile, way to target a loop instruction with many constraints on validity.</div><div><br></div><div>Thanks!</div><div><br></div><div>Jon</div></div>