| ; RUN: llc -march=hexagon -hexagon-loop-range=0 < %s | FileCheck %s | |
| ; Test that the loop start address operand uses a constant extender | |
| ; if the offset is out of range. | |
| ; CHECK: loop0(##.LBB | |
| ; CHECK: endloop0 | |
| @g = external global i32, align 4 | |
| define void @test(i32* nocapture %a, i32* nocapture readonly %b, i32 %n) #0 { | |
| entry: | |
| %cmp6 = icmp slt i32 %n, 1 | |
| br i1 %cmp6, label %for.end, label %for.body.preheader | |
| for.body.preheader: | |
| br label %for.body | |
| for.body: | |
| %i.07 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ] | |
| %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.07 | |
| %0 = load i32, i32* %arrayidx, align 4 | |
| %1 = load i32, i32* @g, align 4 | |
| %mul = mul nsw i32 %1, %0 | |
| %arrayidx1 = getelementptr inbounds i32, i32* %a, i32 %i.07 | |
| store i32 %mul, i32* %arrayidx1, align 4 | |
| %inc = add nuw nsw i32 %i.07, 1 | |
| %exitcond = icmp eq i32 %inc, %n | |
| br i1 %exitcond, label %for.end.loopexit, label %for.body | |
| for.end.loopexit: | |
| br label %for.end | |
| for.end: | |
| ret void | |
| } |