reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22

; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s

define void @foo([7 x i8]* %a) {
; CHECK-LABEL: @foo
entry:
	br label %bb

bb:
	%idx = phi i64 [ 0, %entry ], [ %idx.incr, %bb ]
	%i = udiv i64 %idx, 7
	%j = urem i64 %idx, 7
	%a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j
; CHECK: %a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j
; CHECK-NEXT: -->  {%a,+,1}<nw><%bb>
	%val = load i8, i8* %a.ptr
	%idx.incr = add i64 %idx, 1
	%test = icmp ne i64 %idx.incr, 35
	br i1 %test, label %bb, label %exit

exit:
	ret void
}