1*9880d681SAndroid Build Coastguard Worker;; RUN: opt -S < %s -indvars | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker;; Check if IndVarSimplify understands !range metadata. 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdeclare void @abort() 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Workerdefine i1 @iterate(i32* nocapture readonly %buffer) { 8*9880d681SAndroid Build Coastguard Workerentry: 9*9880d681SAndroid Build Coastguard Worker %length = load i32, i32* %buffer, !range !0 10*9880d681SAndroid Build Coastguard Worker br label %loop.preheader 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerloop.preheader: 13*9880d681SAndroid Build Coastguard Worker br label %loop 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerloop: 16*9880d681SAndroid Build Coastguard Worker %idx = phi i32 [ %idx.inc, %loop.next ], [ 0, %loop.preheader ] 17*9880d681SAndroid Build Coastguard Worker %oob.pred = icmp slt i32 %idx, %length 18*9880d681SAndroid Build Coastguard Worker br i1 %oob.pred, label %loop.next, label %oob 19*9880d681SAndroid Build Coastguard Worker; CHECK: br i1 true, label %loop.next, label %oob 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Workerloop.next: 22*9880d681SAndroid Build Coastguard Worker %idx.inc = add i32 %idx, 1 23*9880d681SAndroid Build Coastguard Worker %exit.pred = icmp slt i32 %idx.inc, %length 24*9880d681SAndroid Build Coastguard Worker br i1 %exit.pred, label %loop, label %abort.loopexit 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Workerabort.loopexit: 27*9880d681SAndroid Build Coastguard Worker br label %abort 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerabort: 30*9880d681SAndroid Build Coastguard Worker ret i1 false 31*9880d681SAndroid Build Coastguard Worker 32*9880d681SAndroid Build Coastguard Workeroob: 33*9880d681SAndroid Build Coastguard Worker tail call void @abort() 34*9880d681SAndroid Build Coastguard Worker ret i1 false 35*9880d681SAndroid Build Coastguard Worker} 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Worker!0 = !{i32 1, i32 100} 38