| ; RUN: llvm-reduce %s -o %t --abort-on-invalid-reduction --delta-passes=arguments --test FileCheck --test-arg %s --test-arg --check-prefix=INTERESTING --test-arg --input-file |
| ; RUN: FileCheck %s --input-file %t --check-prefix=REDUCED |
| |
| @gv = global i32 0 |
| |
| ; INTERESTING-LABEL: void @func( |
| ; INTERESTING-SAME: i32 %other.keep |
| |
| ; REDUCED: define x86_intrcc void @func(ptr byval(i32) %k, i32 %other.keep) |
| define x86_intrcc void @func(ptr byval(i32) %k, i32 %other.keep, i32 %other.drop) { |
| store i32 %other.keep, ptr @gv |
| ret void |
| } |
| |
| ; INTERESTING-LABEL: void @extern_decl( |
| ; INTERESTING-SAME: i32 |
| |
| ; REDUCED: declare x86_intrcc void @extern_decl(ptr byval(i32)) |
| declare x86_intrcc void @extern_decl(ptr byval(i32), i32, i32) |
| |
| ; INTERESTING-LABEL: void @callsite( |
| ; INTERESTING: call |
| ; REDUCED: call x86_intrcc void @func(ptr %k, i32 %other.keep) |
| define void @callsite(ptr %k, i32 %other.keep, i32 %other.drop) { |
| call x86_intrcc void @func(ptr byval(i32) %k, i32 %other.keep, i32 %other.drop) |
| ret void |
| } |
| |
| ; INTERESTING-LABEL: void @keep_none( |
| ; REDUCED-LABEL: define x86_intrcc void @keep_none() |
| define x86_intrcc void @keep_none(ptr byval(i32) %k, i32 %other0, float %other1) { |
| store i32 %other0, ptr @gv |
| store float %other1, ptr @gv |
| ret void |
| } |