llvm/test/tools/llvm-reduce/remove-ifunc-program-addrspace.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
   2 ; RUN: FileCheck -implicit-check-not=ifunc_remove --check-prefixes=CHECK-FINAL --input-file=%t %s
   3
   4 target datalayout = "P1-G2"
   5
   6 define void @existing_ctor() addrspace(1) {
   7   ret void
   8 }
   9
  10 ; Currently don't support expanding these uses.
  11 ; CHECK-FINAL: @constant_init_user_addrspace1 = global ptr addrspace(1) @ifunc_remove_used_in_constantinit_as1
  12 ; CHECK-FINAL: @constant_init_user_addrspace1_cast = global ptr addrspace(1) addrspacecast (ptr @ifunc_remove_used_in_constantinit_as1_cast to ptr addrspace(1))
  13 ; CHECK-FINAL: @constant_init_user_addrspace0_cast = global ptr addrspacecast (ptr addrspace(1) @ifunc_remove_used_in_constantinit_as0_cast to ptr)
  14
  15
  16 ; CHECK-FINAL: [[TABLE:@[0-9]+]] = internal addrspace(2) global [6 x ptr addrspace(1)] poison, align 8
  17
  18 ; CHECK-FINAL: @llvm.global_ctors = appending addrspace(2) global [2 x { i32, ptr addrspace(1), ptr }] [{ i32, ptr addrspace(1), ptr } { i32 0, ptr addrspace(1) @existing_ctor, ptr null }, { i32, ptr addrspace(1), ptr } { i32 10, ptr addrspace(1) [[TABLE_CTOR:@[0-9]+]], ptr null }]
  19 @llvm.global_ctors = appending global [1 x { i32, ptr addrspace(1), ptr }] [{ i32, ptr addrspace(1), ptr } { i32 0, ptr addrspace(1) @existing_ctor, ptr null }]
  20
  21
  22
  23 ; CHECK-FINAL: @ifunc_remove_used_in_constantinit_as1 = ifunc i32 (double), ptr addrspace(1) @resolver1_in_1
  24 ; CHECK-FINAL: @ifunc_remove_used_in_constantinit_as1_cast = ifunc i32 (double), ptr @resolver1_in_0
  25 ; CHECK-FINAL: @ifunc_remove_used_in_constantinit_as0_cast = ifunc i32 (double), ptr addrspace(1) @resolver0_in_1
  26
  27 @ifunc_remove_used_in_constantinit_as1 = ifunc i32 (double), ptr addrspace(1) @resolver1_in_1
  28 @constant_init_user_addrspace1 = global ptr addrspace(1) @ifunc_remove_used_in_constantinit_as1
  29
  30 @ifunc_remove_used_in_constantinit_as1_cast = ifunc i32 (double), ptr @resolver1_in_0
  31 @constant_init_user_addrspace1_cast = global ptr addrspace(1) addrspacecast (ptr @ifunc_remove_used_in_constantinit_as1_cast to ptr addrspace(1))
  32
  33 @ifunc_remove_used_in_constantinit_as0_cast = ifunc i32 (double), ptr addrspace(1) @resolver0_in_1
  34 @constant_init_user_addrspace0_cast = global ptr addrspacecast (ptr addrspace(1) @ifunc_remove_used_in_constantinit_as0_cast to ptr)
  35
  36
  37 ; CHECK-INTERESTINGNESS: @ifunc_keep_as1_resolver_in_0
  38 ; CHECK-FINAL: @ifunc_keep_as1_resolver_in_0 = ifunc void (), ptr @resolver1_in_0
  39 @ifunc_keep_as1_resolver_in_0 = ifunc void (), ptr @resolver1_in_0
  40 @ifunc_remove_as1_resolver_in_0 = ifunc void (), ptr @resolver1_in_0
  41
  42 ; CHECK-INTERESTINGNESS: @ifunc_keep_as1_resolver_in_1
  43 ; CHECK-FINAL: @ifunc_keep_as1_resolver_in_1 = ifunc void (), ptr addrspace(1) @resolver1_in_1
  44 @ifunc_keep_as1_resolver_in_1 = ifunc void (), ptr addrspace(1) @resolver1_in_1
  45 @ifunc_remove_as1_resolver_in_1 = ifunc void (), ptr addrspace(1) @resolver1_in_1
  46
  47 ; CHECK-INTERESTINGNESS: @ifunc_keep_as1_resolver_casted_in_1
  48 ; CHECK-FINAL: @ifunc_keep_as1_resolver_casted_in_1 = ifunc void (), addrspacecast (ptr @resolver1_in_0 to ptr addrspace(1))
  49 @ifunc_keep_as1_resolver_casted_in_1 = ifunc void (), ptr addrspace(1) addrspacecast (ptr @resolver1_in_0 to ptr addrspace(1))
  50 @ifunc_remove_as1_resolver_casted_in_1 = ifunc void (), ptr addrspace(1) addrspacecast (ptr @resolver1_in_0 to ptr addrspace(1))
  51
  52
  53 define ptr addrspace(1) @resolver1_in_0() addrspace(0) {
  54   ret ptr addrspace(1) inttoptr (i64 123 to ptr addrspace(1))
  55 }
  56
  57 define ptr addrspace(1) @resolver1_in_1() addrspace(1) {
  58   ret ptr addrspace(1) inttoptr (i64 456 to ptr addrspace(1))
  59 }
  60
  61 define ptr addrspace(0) @resolver0_in_1() addrspace(1) {
  62   ret ptr addrspace(0) inttoptr (i64 789 to ptr addrspace(0))
  63 }
  64
  65 define void @call_removed() addrspace(0) {
  66   ; CHECK-FINAL-LABEL: @call_removed(
  67   ; CHECK-FINAL-NEXT: %1 = load ptr addrspace(1), ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 3), align 8
  68   ; CHECK-FINAL-NEXT: %2 = addrspacecast ptr addrspace(1) %1 to ptr
  69   ; CHECK-FINAL-NEXT: call addrspace(0) void %2()
  70   ; CHECK-FINAL-NEXT: %3 = load ptr addrspace(1), ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 4), align 8
  71   ; CHECK-FINAL-NEXT: call addrspace(1) void %3()
  72   ; CHECK-FINAL-NEXT: %4 = load ptr addrspace(1), ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 5), align 8
  73   ; CHECK-FINAL-NEXT: call addrspace(1) void %4()
  74   ; CHECK-FINAL-NEXT: ret void
  75   call addrspace(0) void @ifunc_remove_as1_resolver_in_0()
  76   call addrspace(1) void @ifunc_remove_as1_resolver_in_1()
  77   call addrspace(1) void @ifunc_remove_as1_resolver_casted_in_1()
  78   ret void
  79 }
  80
  81 define void @load_removed() addrspace(0) {
  82   ; CHECK-FINAL-LABEL: define void @load_removed(
  83   ; CHECK-FINAL-NEXT: %load0 = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1, align 8
  84   ; CHECK-FINAL-NEXT: %load1 = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1_cast, align 8
  85   ; CHECK-FINAL-NEXT: %load2 = load volatile ptr, ptr @constant_init_user_addrspace0_cast, align 8
  86   ; CHECK-FINAL-NEXT: ret void
  87   %load0 = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1
  88   %load1 = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1_cast
  89   %load2 = load volatile ptr, ptr @constant_init_user_addrspace0_cast
  90   ret void
  91 }
  92
  93 ; CHECK-FINAL: define internal void [[TABLE_CTOR]]() addrspace(1) {
  94 ; CHECK-FINAL-NEXT: %1 = call addrspace(1) ptr addrspace(1) @resolver1_in_1()
  95 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %1, ptr addrspace(2) [[TABLE]], align 8
  96 ; CHECK-FINAL-NEXT: %2 = call addrspace(0) ptr addrspace(1) @resolver1_in_0()
  97 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %2, ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 1), align 8
  98 ; CHECK-FINAL-NEXT: %3 = call addrspace(1) ptr @resolver0_in_1()
  99 ; CHECK-FINAL-NEXT: %4 = addrspacecast ptr %3 to ptr addrspace(1)
 100 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %4, ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 2), align 8
 101 ; CHECK-FINAL-NEXT: %5 = call addrspace(0) ptr addrspace(1) @resolver1_in_0()
 102 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %5, ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 3), align 8
 103 ; CHECK-FINAL-NEXT: %6 = call addrspace(1) ptr addrspace(1) @resolver1_in_1()
 104 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %6, ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 4), align 8
 105 ; CHECK-FINAL-NEXT: %7 = call addrspace(0) ptr addrspace(1) @resolver1_in_0()
 106 ; CHECK-FINAL-NEXT: store ptr addrspace(1) %7, ptr addrspace(2) getelementptr inbounds ([6 x ptr addrspace(1)], ptr addrspace(2) [[TABLE]], i32 0, i32 5), align 8
 107 ; CHECK-FINAL-NEXT: ret void