llvm/test/tools/llvm-reduce/ifunc-alias.ll

   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
  30 define 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
  47 define 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
  58 define 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