; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
; RUN: opt -passes='print<scalar-evolution>' < %s -disable-output 2>&1 | FileCheck %s

define i32 @basic(i32 %x, i32 %y) {
; CHECK-LABEL: 'basic'
; CHECK-NEXT:  Classifying expressions for: @basic
; CHECK-NEXT:    %r = add i32 %x, %y
; CHECK-NEXT:    --> (%x + %y) U: full-set S: full-set
; CHECK-NEXT:  Determining loop execution counts for: @basic
;
  %r = add i32 %x, %y
  ret i32 %r
}