; Test that llvm-reduce can remove uninteresting Global Variables as well as
; their direct uses (which in turn are replaced with 'undef').
;
; RUN: llvm-reduce --test %p/Inputs/remove-global-vars.py %s -o - | FileCheck %s
; REQUIRES: plugins

; CHECK: @interesting = global
@interesting = global i32 0, align 4
; CHECK-NOT: global
@uninteresting = global i32 1, align 4

define i32 @main() {
entry:
  ; CHECK-NOT: load i32, i32* @uninteresting, align 4
  %0 = load i32, i32* @uninteresting, align 4
  ; CHECK: store i32 undef, i32* @interesting, align 4
  store i32 %0, i32* @interesting, align 4

  ; CHECK: load i32, i32* @interesting, align 4
  %1 = load i32, i32* @interesting, align 4
  ; CHECK-NOT: store i32 %1, i32* @uninteresting, align 4
  store i32 %1, i32* @uninteresting, align 4

  ; CHECK: %inc = add nsw i32 undef, 1
  %inc = add nsw i32 %0, 1
  ; CHECK: store i32 %inc, i32* @interesting, align 4
  store i32 %inc, i32* @interesting, align 4
  ret i32 0
}