2019-08-16 06:54:09 +08:00
|
|
|
; Test that llvm-reduce can remove uninteresting Global Variables as well as
|
|
|
|
; their direct uses (which in turn are replaced with 'undef').
|
|
|
|
;
|
2019-09-17 07:56:26 +08:00
|
|
|
; RUN: rm -rf %t
|
2019-09-17 07:41:19 +08:00
|
|
|
; RUN: llvm-reduce --test %python --test-arg %p/Inputs/remove-global-vars.py %s -o %t
|
|
|
|
; RUN: cat %t | FileCheck -implicit-check-not=uninteresting %s
|
2019-08-16 06:54:09 +08:00
|
|
|
|
|
|
|
; CHECK: @interesting = global
|
|
|
|
@interesting = global i32 0, align 4
|
|
|
|
@uninteresting = global i32 1, align 4
|
|
|
|
|
|
|
|
define i32 @main() {
|
|
|
|
entry:
|
|
|
|
%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
|
|
|
|
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
|
|
|
|
}
|