; RUN: opt < %s -S -passes=licm | FileCheck %s | |
; Check that we do not hoist convergent functions out of loop | |
; CHECK: define i32 @test | |
; CHECK: loop: | |
; CHECK: call i32 @f | |
define i32 @test(ptr nocapture noalias %x, ptr nocapture %y) { | |
entry: | |
br label %loop | |
loop: | |
%a = call i32 @f() nounwind readnone convergent | |
%exitcond = icmp ne i32 %a, 0 | |
br i1 %exitcond, label %end, label %loop | |
end: | |
ret i32 %a | |
} | |
declare i32 @f() nounwind readnone convergent |