mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-04-03 08:11:52 +00:00
1b3c98cfd0
Summary: This pass tries to remove Global Variables, as well as their derived uses. For example if a variable `@x` is used by `%call1` and `%call2`, both these uses and the definition of `@x` are deleted. Moreover if `%call1` or `%call2` are used elsewhere those uses are also deleted, and so on recursively. I'm still uncertain if this pass should remove derived uses, I'm open to suggestions. Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D64176 llvm-svn: 368918
31 lines
991 B
LLVM
31 lines
991 B
LLVM
; 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
|
|
; RUN: cat reduced.ll | 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
|
|
}
|