29 lines · plain
1; Test to make sure unused llvm.invariant.start calls are not trivially eliminated2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @g(ptr)5declare void @g_addr1(ptr addrspace(1))6 7declare ptr @llvm.invariant.start.p0(i64, ptr nocapture) nounwind readonly8declare ptr @llvm.invariant.start.p1(i64, ptr addrspace(1) nocapture) nounwind readonly9 10define i8 @f() {11 %a = alloca i8 ; <ptr> [#uses=4]12 store i8 0, ptr %a13 %i = call ptr @llvm.invariant.start.p0(i64 1, ptr %a) ; <ptr> [#uses=0]14 ; CHECK: call ptr @llvm.invariant.start.p015 call void @g(ptr %a)16 %r = load i8, ptr %a ; <i8> [#uses=1]17 ret i8 %r18}19 20; make sure llvm.invariant.call in non-default addrspace are also not eliminated.21define i8 @f_addrspace1(ptr addrspace(1) %a) {22 store i8 0, ptr addrspace(1) %a23 %i = call ptr @llvm.invariant.start.p1(i64 1, ptr addrspace(1) %a) ; <ptr> [#uses=0]24 ; CHECK: call ptr @llvm.invariant.start.p125 call void @g_addr1(ptr addrspace(1) %a)26 %r = load i8, ptr addrspace(1) %a ; <i8> [#uses=1]27 ret i8 %r28}29