test work

Author: arsenm

llvm/test/tools/llvm-reduce/reduce-values-to-return-args.ll

@@ -1,26 +1,27 @@
 ; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=arguments-to-return --test FileCheck --test-arg --check-prefixes=INTERESTING --test-arg %s --test-arg --input-file %s -o %t
 ; RUN: FileCheck --check-prefixes=RESULT %s < %t
 
+@gv = global i32 0
 
-; INTERESTING-LABEL: @move_entry_block_use_argument_to_return(i32 %arg, ptr %ptr) {
-; INTERESTING: %arg
+; INTERESTING-LABEL: @move_entry_block_use_argument_to_return(i32 %arg) {
+; INTERESTING: i32 %arg
 
 ; RESULT-LABEL: define i32 @move_entry_block_use_argument_to_return(
 ; RESULT-NEXT: ret i32 %arg
 ; RESULT-NEXT: }
-define void @move_entry_block_use_argument_to_return(i32 %arg, ptr %ptr) {
-  store i32 %arg, ptr %ptr
+define void @move_entry_block_use_argument_to_return(i32 %arg) {
+  store i32 %arg, ptr @gv
   ret void
 }
 
-; INTERESTING-LABEL: @move_entry_block_use_argument_to_return_existing_ret(i32 %arg, ptr %ptr) {
+; INTERESTING-LABEL: @move_entry_block_use_argument_to_return_existing_ret(i32 %arg) {
 ; INTERESTING: %arg
 
 ; RESULT-LABEL: define i32 @move_entry_block_use_argument_to_return_existing_ret(
 ; RESULT-NEXT: ret i32 %arg
 ; RESULT-NEXT: }
-define i32 @move_entry_block_use_argument_to_return_existing_ret(i32 %arg, ptr %ptr) {
-  store i32 %arg, ptr %ptr
+define i32 @move_entry_block_use_argument_to_return_existing_ret(i32 %arg) {
+  store i32 %arg, ptr @gv
   ret i32 0
 }
 
@@ -47,6 +48,17 @@ bb2:
   ret void
 }
 
+; INTERESTING-LABEL: define {{.*}} @keep_first_arg(i32 %arg0, ptr %arg1) {
+; INTERESTING: %arg0
+
+; RESULT-LABEL: define i32 @keep_first_arg(
+; RESULT-NEXT: ret i32 %arg0
+; RESULT-NEXT: }
+define void @keep_first_arg(i32 %arg0, ptr %arg1) {
+  store i32 %arg0, ptr %arg1
+  ret void
+}
+
 ; INTERESTING-LABEL: define {{.*}} @keep_second_arg(i32 %arg0, ptr %arg1) {
 ; INTERESTING: %arg1