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 4target datalayout = "P1-G2" 5 6define 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 53define ptr addrspace(1) @resolver1_in_0() addrspace(0) { 54 ret ptr addrspace(1) inttoptr (i64 123 to ptr addrspace(1)) 55} 56 57define ptr addrspace(1) @resolver1_in_1() addrspace(1) { 58 ret ptr addrspace(1) inttoptr (i64 456 to ptr addrspace(1)) 59} 60 61define ptr addrspace(0) @resolver0_in_1() addrspace(1) { 62 ret ptr addrspace(0) inttoptr (i64 789 to ptr addrspace(0)) 63} 64 65define 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 81define 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 108