40 lines · plain
1; Test that invalid reductions are not introduced by stripping the2; required appending linkage from intrinsic global variables.3;4; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=global-values --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t5; RUN: FileCheck --check-prefix=CHECK-FINAL %s < %t6 7; CHECK-INTERESTINGNESS: @llvm.global_ctors8; CHECK-INTERESTINGNESS: @llvm.global_dtors9; CHECK-INTERESTINGNESS: @llvm.used10 11; CHECK-INTERESTINGNESS: define12; CHECK-INTERESTINGNESS-SAME: void @f13 14; CHECK-FINAL: define void @f()15 16 17@llvm.global_ctors = appending global [2 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @f, ptr null }, { i32, ptr, ptr } { i32 1, ptr @g, ptr null }]18@llvm.global_dtors = appending global [2 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @f, ptr null }, { i32, ptr, ptr } { i32 1, ptr @g, ptr null }]19@llvm.used = appending global [1 x ptr] [ptr @h], section "llvm.metadata"20 21define void @f() {22 ret void23}24 25; CHECK-INTERESTINGNESS: define26; CHECK-INTERESTINGNESS-SAME: void @g27 28; CHECK-FINAL: define void @g()29 30define internal void @g() {31 ret void32}33 34; CHECK-INTERESTINGNESS: define35; CHECK-INTERESTINGNESS-SAME: void @h36 37define internal void @h() {38 ret void39}40