1; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=ifuncs --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t.0 2; RUN: FileCheck --check-prefixes=CHECK-FINAL-IFUNCS,ALL --input-file=%t.0 %s 3 4; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=aliases,ifuncs --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t.1 5; RUN: FileCheck --check-prefixes=CHECK-FINAL-BOTH,ALL --input-file=%t.1 %s 6 7; Check interaction of reductions between aliases and ifuncs 8 9; Test ifunc to alias 10; CHECK-INTERESTINGNESS: @ifunc0_kept = 11 12 13; ALL: [[TABLE:@[0-9]+]] = internal global [2 x ptr] poison 14; ALL: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr [[CONSTRUCTOR:@[0-9]+]], ptr null }] 15 16 17; CHECK-FINAL-IFUNCS: @resolver_alias = alias ptr (), ptr @resolver 18; CHECK-FINAL-IFUNCS: @ifunc_alias = alias ptr (), ptr @resolver_alias 19; CHECK-FINAL-IFUNCS: @alias_of_ifunc = alias float (i64), ptr @ifunc_def 20 21; CHECK-FINAL-IFUNCS: @ifunc0_kept = ifunc float (i64), ptr @resolver_alias 22; CHECK-FINAL-IFUNCS: @ifunc_def = ifunc float (i64), ptr @resolver 23 24 25; CHECK-FINAL-BOTH-NOT: _alias 26; CHECK-FINAL-BOTH-NOT: @ifunc 27; CHECK-FINAL-BOTH: @ifunc0_kept = ifunc float (i64), ptr @resolver 28; CHECK-FINAL-BOTH-NOT: _alias 29; CHECK-FINAL-BOTH-NOT: @ifunc 30define ptr @resolver() { 31 ret ptr inttoptr (i64 333 to ptr) 32} 33 34@resolver_alias = alias ptr (), ptr @resolver 35@ifunc_alias = alias ptr (), ptr @resolver_alias 36 37@ifunc0_kept = ifunc float (i64), ptr @resolver_alias 38@ifunc1_removed = ifunc float (i64), ptr @resolver_alias 39 40@ifunc_def = ifunc float (i64), ptr @resolver 41@alias_of_ifunc = alias float (i64), ptr @ifunc_def 42 43; ALL-LABEL: define float @call_ifunc_aliasee(i64 %arg) { 44; ALL: %1 = load ptr, ptr [[TABLE]], align 8 45; ALL: %call = call float %1(i64 %arg) 46; ALL: ret float %call 47define float @call_ifunc_aliasee(i64 %arg) { 48 %call = call float @ifunc1_removed(i64 %arg) 49 ret float %call 50} 51 52; ALL-LABEL: @call_alias_of_ifunc( 53; CHECK-FINAL-IFUNCS: call float @alias_of_ifunc( 54 55; CHECK-FINAL-BOTH-NEXT: %1 = load ptr, ptr getelementptr inbounds ([2 x ptr], ptr [[TABLE]], i32 0, i32 1), align 8 56; CHECK-FINAL-BOTH-NEXT: %call = call float %1(i64 %arg) 57; CHECK-FINAL-BOTH-NEXT: ret float %call 58define float @call_alias_of_ifunc(i64 %arg) { 59 %call = call float @alias_of_ifunc(i64 %arg) 60 ret float %call 61} 62 63; CHECK-FINAL-BOTH: define internal void [[CONSTRUCTOR]]() { 64; CHECK-FINAL-BOTH-NEXT: %1 = call ptr @resolver() 65; CHECK-FINAL-BOTH-NEXT: store ptr %1, ptr [[TABLE]], align 8 66; CHECK-FINAL-BOTH-NEXT: %2 = call ptr @resolver() 67; CHECK-FINAL-BOTH-NEXT: store ptr %2, ptr getelementptr inbounds ([2 x ptr], ptr [[TABLE]], i32 0, i32 1), align 8 68; CHECK-FINAL-BOTH-NEXT: ret void 69