[llvm] [VPlan] Implement printing VPIRMetadata. (PR #168385)
David Sherwood via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 25 04:58:51 PST 2025
================
@@ -40,9 +45,13 @@ define void @test_intrinsic_with_metadata(ptr noalias %A, ptr noalias %B, i32 %n
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
; CHECK: <x1> vector loop: {
; CHECK: vector.body:
-; CHECK: WIDEN ir<%lv> = load vp<{{.*}}>
-; CHECK: WIDEN-INTRINSIC ir<%sqrt> = call llvm.sqrt(ir<%lv>)
-; CHECK: WIDEN store vp<{{.*}}>, ir<%sqrt>
+; CHECK: WIDEN ir<%lv> = load vp<{{.*}}> (!tbaa ![[TBAA2:[0-9]+]])
+; CHECK: WIDEN-INTRINSIC ir<%sqrt> = call llvm.sqrt(ir<%lv>) (!fpmath ![[FPMATH2:[0-9]+]])
+; CHECK: WIDEN store vp<{{.*}}>, ir<%sqrt> (!tbaa ![[TBAA2]])
+; CHECK: ir-bb<loop>:
+; CHECK: IR %lv = load float, ptr %gep.A, align 4, !tbaa ![[TBAA2]]
+; CHECK: IR %sqrt = call float @llvm.sqrt.f32(float %lv), !fpmath ![[FPMATH2]]
+; CHECK: IR store float %sqrt, ptr %gep.B, align 4, !tbaa ![[TBAA2]]
----------------
david-arm wrote:
Is it worth also dumping the CHECK lines for TBAA2 at the bottom of the file by adding the global attributes?
https://github.com/llvm/llvm-project/pull/168385
More information about the llvm-commits
mailing list