Commit f18c0739 authored by Samuel's avatar Samuel Committed by Arthur Eubanks
Browse files

[llvm-reduce] Add reduce operands pass 

Add reduction to set operands to default values

Reviewed By: aeubanks

Differential Revision: https://reviews.llvm.org/D108903
parent c5fafc1e

llvm/test/tools/llvm-reduce/no-replace-intrinsic-callee-with-undef.ll

+2 −2
Original line number Diff line number Diff line
@@ -3,11 +3,11 @@ 
; not replaced. The whole call instruction can be removed by instruction

; reduction instead.



; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2> %t.log

; RUN: llvm-reduce --delta-passes=functions,instructions --test FileCheck --test-arg --check-prefixes=ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2> %t.log

; RUN: FileCheck -implicit-check-not=uninteresting --check-prefixes=ALL,CHECK-FINAL %s < %t



; Check that the call is removed by instruction reduction passes

; RUN: llvm-reduce --test FileCheck --test-arg --check-prefix=ALL --test-arg %s --test-arg --input-file %s -o %t

; RUN: llvm-reduce --delta-passes=functions,instructions --test FileCheck --test-arg --check-prefix=ALL --test-arg %s --test-arg --input-file %s -o %t

; RUN: FileCheck -implicit-check-not=uninteresting --check-prefixes=ALL,CHECK-NOCALL %s < %t

llvm/test/tools/llvm-reduce/remove-all-of-multiple-args.ll

+1 −1
Original line number Diff line number Diff line 
; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: llvm-reduce --delta-passes=arguments --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s



define i32 @t(i32 %a0, i32 %a1, i32 %a2) {

llvm/test/tools/llvm-reduce/remove-args-2.ll

+1 −1
Original line number Diff line number Diff line 
; Test that llvm-reduce can remove uninteresting function arguments from function definitions as well as their calls.

; This test checks that functions with different argument types are handled correctly

;

; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: llvm-reduce --delta-passes=arguments --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s --input-file %t



%struct.foo = type { %struct.foo*, i32, i32, i8* }

llvm/test/tools/llvm-reduce/remove-args-used-by-ret.ll

+1 −1
Original line number Diff line number Diff line 
; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: llvm-reduce --delta-passes=arguments --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t

; RUN: cat %t | FileCheck --check-prefixes=CHECK-ALL,CHECK-FINAL %s



; We can't drop arguments if they are used by terminator instructions.

llvm/test/tools/llvm-reduce/remove-args.ll

+1 −1
Original line number Diff line number Diff line 
; Test that llvm-reduce can remove uninteresting function arguments from function definitions as well as their calls.

;

; RUN: llvm-reduce --test %python --test-arg %p/Inputs/remove-args.py %s -o %t

; RUN: llvm-reduce -delta-passes=arguments --test %python --test-arg %p/Inputs/remove-args.py %s -o %t

; RUN: cat %t | FileCheck -implicit-check-not=uninteresting %s



; CHECK: @interesting(i32 %interesting)