22 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir -split-input-file %s | FileCheck %s2 3#tbaa_root_0 = #llvm.tbaa_root<>4#tbaa_type_desc_1 = #llvm.tbaa_type_desc<id = "omnipotent char", members = {<#tbaa_root_0, 0>}>5#tbaa_type_desc_2 = #llvm.tbaa_type_desc<id = "long long", members = {<#tbaa_type_desc_1, 0>}>6#tbaa_tag_3 = #llvm.tbaa_tag<access_type = #tbaa_type_desc_2, base_type = #tbaa_type_desc_2, offset = 0>7 8// CHECK: define void @tbaa_anonymous_root(ptr %{{.*}}) {9// CHECK: %{{.*}} = load i64, ptr %{{.*}}, align 4, !tbaa ![[TAG:[0-9]+]]10// CHECK: ret void11// CHECK: }12// CHECK: !llvm.module.flags = !{![[FLAGS:[0-9]+]]}13// CHECK: ![[FLAGS]] = !{i32 2, !"Debug Info Version", i32 3}14// CHECK: ![[TAG]] = !{![[TYPE:[0-9]+]], ![[TYPE]], i64 0}15// CHECK: ![[TYPE]] = !{!"long long", ![[BASE:[0-9]+]], i64 0}16// CHECK: ![[BASE]] = !{!"omnipotent char", ![[ROOT:[0-9]+]], i64 0}17// CHECK: ![[ROOT]] = distinct !{![[ROOT]]}18llvm.func @tbaa_anonymous_root(%arg0: !llvm.ptr) {19 %0 = llvm.load %arg0 {tbaa = [#tbaa_tag_3]} : !llvm.ptr -> i6420 llvm.return21}22