From d158fa7c9d45425c593fab7fddb16769e920aa43 Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Mon, 20 Jun 2016 19:04:44 +0000 Subject: [PATCH] InstCombine: Don't strip convergent from intrinsic callsites Specific instances of intrinsic calls may want to be convergent, such as certain register reads but the intrinsic declaration is not. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@273188 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/InstCombine/InstCombineCalls.cpp | 3 ++- test/Transforms/InstCombine/convergent.ll | 11 +++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/lib/Transforms/InstCombine/InstCombineCalls.cpp b/lib/Transforms/InstCombine/InstCombineCalls.cpp index 1aa4b87bb92..c2cf21d5221 100644 --- a/lib/Transforms/InstCombine/InstCombineCalls.cpp +++ b/lib/Transforms/InstCombine/InstCombineCalls.cpp @@ -2507,7 +2507,8 @@ Instruction *InstCombiner::visitCallSite(CallSite CS) { if (Function *CalleeF = dyn_cast(Callee)) { // Remove the convergent attr on calls when the callee is not convergent. - if (CS.isConvergent() && !CalleeF->isConvergent()) { + if (CS.isConvergent() && !CalleeF->isConvergent() && + !CalleeF->isIntrinsic()) { DEBUG(dbgs() << "Removing convergent attr from instr " << CS.getInstruction() << "\n"); CS.setNotConvergent(); diff --git a/test/Transforms/InstCombine/convergent.ll b/test/Transforms/InstCombine/convergent.ll index 4ed40d81bad..d4484cf4567 100644 --- a/test/Transforms/InstCombine/convergent.ll +++ b/test/Transforms/InstCombine/convergent.ll @@ -3,6 +3,8 @@ declare i32 @k() convergent declare i32 @f() +declare i64 @llvm.read_register.i64(metadata) nounwind + define i32 @extern() { ; Convergent attr shouldn't be removed here; k is convergent. ; CHECK: call i32 @k() [[CONVERGENT_ATTR:#[0-9]+]] @@ -30,4 +32,13 @@ define i32 @indirect_call(i32 ()* %f) { ret i32 %a } +; do not remove from convergent intrinsic call sites +; CHECK-LABEL: @convergent_intrinsic_call( +; CHECK: call i64 @llvm.read_register.i64(metadata !0) [[CONVERGENT_ATTR]] +define i64 @convergent_intrinsic_call() { + %val = call i64 @llvm.read_register.i64(metadata !0) convergent + ret i64 %val +} + ; CHECK: [[CONVERGENT_ATTR]] = { convergent } +!0 = !{!"foo"} -- 2.11.0