Lines Matching full:convergent
3 declare i32 @k() convergent
9 ; Convergent attr shouldn't be removed here; k is convergent.
11 %a = call i32 @k() convergent
16 ; Convergent attr shouldn't be added here, even though k is convergent.
23 ; Convergent should be removed here, as the target is convergent.
25 %a = call i32 @f() convergent
31 %a = call i32 %f() convergent
35 ; do not remove from convergent intrinsic call sites
39 %val = call i64 @llvm.read_register.i64(metadata !0) convergent
43 ; CHECK: [[CONVERGENT_ATTR]] = { convergent }
