152 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S < %s | FileCheck %s3define <4 x i32> @load(ptr nocapture readonly %a0) !dbg !8 {4; CHECK-LABEL: define <4 x i32> @load(5; CHECK-SAME: ptr readonly captures(none) [[A0:%.*]]) !dbg [[DBG8:![0-9]+]] {6; CHECK-NEXT: [[ENTRY:.*:]]7; CHECK-NEXT: [[V0:%.*]] = call <4 x i32> @llvm.masked.load.v4i32.p0(ptr align 16 [[A0]], <4 x i1> <i1 true, i1 false, i1 false, i1 true>, <4 x i32> undef), !dbg [[DBG19:![0-9]+]], !tbaa [[CHAR_TBAA20:![0-9]+]]8; CHECK-NEXT: ret <4 x i32> [[V0]], !dbg [[DBG23:![0-9]+]]9;10entry:11 %v0 = call <4 x i32> @llvm.masked.load.v4i32.p0(ptr %a0, i32 16, <4 x i1> <i1 true, i1 false, i1 false, i1 true>, <4 x i32> undef), !dbg !19, !tbaa !2012 ret <4 x i32> %v0, !dbg !2313}14 15define void @store(<4 x i32> %a0, ptr nocapture %a1) !dbg !24 {16; CHECK-LABEL: define void @store(17; CHECK-SAME: <4 x i32> [[A0:%.*]], ptr captures(none) [[A1:%.*]]) !dbg [[DBG24:![0-9]+]] {18; CHECK-NEXT: [[ENTRY:.*:]]19; CHECK-NEXT: call void @llvm.masked.store.v4i32.p0(<4 x i32> [[A0]], ptr align 16 [[A1]], <4 x i1> <i1 false, i1 true, i1 false, i1 true>), !dbg [[DBG30:![0-9]+]], !tbaa [[CHAR_TBAA20]]20; CHECK-NEXT: ret void, !dbg [[DBG31:![0-9]+]]21;22entry:23 call void @llvm.masked.store.v4i32.p0(<4 x i32> %a0, ptr %a1, i32 16, <4 x i1> <i1 false, i1 true, i1 false, i1 true>), !dbg !30, !tbaa !2024 ret void, !dbg !3125}26 27define <4 x i32> @gather(<4 x ptr> %a0) !dbg !32 {28; CHECK-LABEL: define <4 x i32> @gather(29; CHECK-SAME: <4 x ptr> [[A0:%.*]]) !dbg [[DBG32:![0-9]+]] {30; CHECK-NEXT: [[ENTRY:.*:]]31; CHECK-NEXT: [[V0:%.*]] = call <4 x i32> @llvm.masked.gather.v4i32.v4p0(<4 x ptr> align 16 [[A0]], <4 x i1> <i1 true, i1 true, i1 true, i1 false>, <4 x i32> undef), !dbg [[DBG35:![0-9]+]], !tbaa [[CHAR_TBAA20]]32; CHECK-NEXT: ret <4 x i32> [[V0]], !dbg [[DBG36:![0-9]+]]33;34entry:35 %v0 = call <4 x i32> @llvm.masked.gather.v4i32.v4p0(<4 x ptr> %a0, i32 16, <4 x i1> <i1 true, i1 true, i1 true, i1 false>, <4 x i32> undef), !dbg !35, !tbaa !2036 ret <4 x i32> %v0, !dbg !3637}38 39define void @scatter(<4 x i32> %a0, <4 x ptr> %a1) !dbg !37 {40; CHECK-LABEL: define void @scatter(41; CHECK-SAME: <4 x i32> [[A0:%.*]], <4 x ptr> [[A1:%.*]]) !dbg [[DBG37:![0-9]+]] {42; CHECK-NEXT: [[ENTRY:.*:]]43; CHECK-NEXT: call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> [[A0]], <4 x ptr> align 16 [[A1]], <4 x i1> <i1 false, i1 true, i1 true, i1 true>), !dbg [[DBG41:![0-9]+]], !tbaa [[CHAR_TBAA20]]44; CHECK-NEXT: ret void, !dbg [[DBG42:![0-9]+]]45;46entry:47 call void @llvm.masked.scatter.v4i32.v4p0(<4 x i32> %a0, <4 x ptr> %a1, i32 16, <4 x i1> <i1 false, i1 true, i1 true, i1 true>), !dbg !41, !tbaa !2048 ret void, !dbg !4249}50 51define <4 x i32> @expandload(ptr nocapture readonly %a0) !dbg !43 {52; CHECK-LABEL: define <4 x i32> @expandload(53; CHECK-SAME: ptr readonly captures(none) [[A0:%.*]]) !dbg [[DBG43:![0-9]+]] {54; CHECK-NEXT: [[ENTRY:.*:]]55; CHECK-NEXT: [[V0:%.*]] = call <4 x i32> @llvm.masked.expandload.v4i32(ptr [[A0]], <4 x i1> <i1 true, i1 false, i1 true, i1 false>, <4 x i32> undef), !dbg [[DBG49:![0-9]+]], !tbaa [[INT_TBAA50:![0-9]+]]56; CHECK-NEXT: ret <4 x i32> [[V0]], !dbg [[DBG52:![0-9]+]]57;58entry:59 %v0 = call <4 x i32> @llvm.masked.expandload.v4i32(ptr %a0, <4 x i1> <i1 true, i1 false, i1 true, i1 false>, <4 x i32> undef), !dbg !49, !tbaa !5060 ret <4 x i32> %v0, !dbg !5261}62 63define void @compressstore(<4 x i32> %a0, ptr nocapture %a1) !dbg !53 {64; CHECK-LABEL: define void @compressstore(65; CHECK-SAME: <4 x i32> [[A0:%.*]], ptr captures(none) [[A1:%.*]]) !dbg [[DBG53:![0-9]+]] {66; CHECK-NEXT: [[ENTRY:.*:]]67; CHECK-NEXT: call void @llvm.masked.compressstore.v4i32(<4 x i32> [[A0]], ptr [[A1]], <4 x i1> <i1 false, i1 false, i1 true, i1 true>), !dbg [[DBG59:![0-9]+]], !tbaa [[INT_TBAA50]]68; CHECK-NEXT: ret void, !dbg [[DBG60:![0-9]+]]69;70entry:71 call void @llvm.masked.compressstore.v4i32(<4 x i32> %a0, ptr %a1, <4 x i1> <i1 false, i1 false, i1 true, i1 true>), !dbg !59, !tbaa !5072 ret void, !dbg !6073}74 75declare <4 x i32> @llvm.masked.load.v4i32.p0(ptr, i32 immarg, <4 x i1>, <4 x i32>) #076declare void @llvm.masked.store.v4i32.p0(<4 x i32>, ptr, i32 immarg, <4 x i1>) #177declare <4 x i32> @llvm.masked.gather.v4i32.v4p0(<4 x ptr>, i32 immarg, <4 x i1>, <4 x i32>) #278declare void @llvm.masked.scatter.v4i32.v4p0(<4 x i32>, <4 x ptr>, i32 immarg, <4 x i1>) #379declare <4 x i32> @llvm.masked.expandload.v4i32(ptr, <4 x i1>, <4 x i32>) #280declare void @llvm.masked.compressstore.v4i32(<4 x i32>, ptr, <4 x i1>) #181 82attributes #0 = { argmemonly nofree nosync nounwind readonly willreturn }83attributes #1 = { argmemonly nofree nosync nounwind willreturn writeonly }84attributes #2 = { nofree nosync nounwind readonly willreturn }85attributes #3 = { nofree nosync nounwind willreturn writeonly }86 87!llvm.dbg.cu = !{!0}88!llvm.module.flags = !{!3, !4, !5, !6}89!llvm.ident = !{!7}90 91!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 13.0.0 (https://github.com/llvm/llvm-project 985ab6e1fa575fc41ebfdafbba401e5787661584)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)92!1 = !DIFile(filename: "test.c", directory: "/test")93!2 = !{}94!3 = !{i32 7, !"Dwarf Version", i32 4}95!4 = !{i32 2, !"Debug Info Version", i32 3}96!5 = !{i32 1, !"wchar_size", i32 4}97!6 = !{i32 7, !"uwtable", i32 1}98!7 = !{!"clang version 13.0.0 (https://github.com/llvm/llvm-project 985ab6e1fa575fc41ebfdafbba401e5787661584)"}99!8 = distinct !DISubprogram(name: "load", scope: !1, file: !1, line: 3, type: !9, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !17)100!9 = !DISubroutineType(types: !10)101!10 = !{!11, !16}102!11 = !DIDerivedType(tag: DW_TAG_typedef, name: "v4i32", file: !1, line: 1, baseType: !12)103!12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 128, flags: DIFlagVector, elements: !14)104!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)105!14 = !{!15}106!15 = !DISubrange(count: 4)107!16 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)108!17 = !{!18}109!18 = !DILocalVariable(name: "a0", arg: 1, scope: !8, file: !1, line: 3, type: !16)110!19 = !DILocation(line: 4, column: 10, scope: !8)111!20 = !{!21, !21, i64 0}112!21 = !{!"omnipotent char", !22, i64 0}113!22 = !{!"Simple C/C++ TBAA"}114!23 = !DILocation(line: 4, column: 3, scope: !8)115!24 = distinct !DISubprogram(name: "store", scope: !1, file: !1, line: 7, type: !25, scopeLine: 7, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !27)116!25 = !DISubroutineType(types: !26)117!26 = !{null, !11, !16}118!27 = !{!28, !29}119!28 = !DILocalVariable(name: "a0", arg: 1, scope: !24, file: !1, line: 7, type: !11)120!29 = !DILocalVariable(name: "a1", arg: 2, scope: !24, file: !1, line: 7, type: !16)121!30 = !DILocation(line: 8, column: 7, scope: !24)122!31 = !DILocation(line: 9, column: 1, scope: !24)123!32 = distinct !DISubprogram(name: "gather", scope: !1, file: !1, line: 11, type: !9, scopeLine: 11, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !33)124!33 = !{!34}125!34 = !DILocalVariable(name: "a0", arg: 1, scope: !32, file: !1, line: 11, type: !16)126!35 = !DILocation(line: 12, column: 10, scope: !32)127!36 = !DILocation(line: 12, column: 3, scope: !32)128!37 = distinct !DISubprogram(name: "scatter", scope: !1, file: !1, line: 15, type: !25, scopeLine: 15, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !38)129!38 = !{!39, !40}130!39 = !DILocalVariable(name: "a0", arg: 1, scope: !37, file: !1, line: 15, type: !11)131!40 = !DILocalVariable(name: "a1", arg: 2, scope: !37, file: !1, line: 15, type: !16)132!41 = !DILocation(line: 16, column: 7, scope: !37)133!42 = !DILocation(line: 17, column: 1, scope: !37)134!43 = distinct !DISubprogram(name: "expandload", scope: !1, file: !1, line: 19, type: !44, scopeLine: 19, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !47)135!44 = !DISubroutineType(types: !45)136!45 = !{!11, !46}137!46 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64)138!47 = !{!48}139!48 = !DILocalVariable(name: "a0", arg: 1, scope: !43, file: !1, line: 19, type: !46)140!49 = !DILocation(line: 19, column: 40, scope: !43)141!50 = !{!51, !51, i64 0}142!51 = !{!"int", !21, i64 0}143!52 = !DILocation(line: 20, column: 3, scope: !43)144!53 = distinct !DISubprogram(name: "compressstore", scope: !1, file: !1, line: 23, type: !54, scopeLine: 23, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !56)145!54 = !DISubroutineType(types: !55)146!55 = !{null, !11, !46}147!56 = !{!57, !58}148!57 = !DILocalVariable(name: "a0", arg: 1, scope: !53, file: !1, line: 23, type: !11)149!58 = !DILocalVariable(name: "a1", arg: 2, scope: !53, file: !1, line: 23, type: !46)150!59 = !DILocation(line: 24, column: 7, scope: !53)151!60 = !DILocation(line: 25, column: 1, scope: !53)152