1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3 4@g0 = global <4 x i32> zeroinitializer, align 16 5 6define inreg <4 x i32> @mload1(ptr nocapture readonly %a0) #0 { 7; CHECK-LABEL: @mload1( 8; CHECK-NEXT: b0: 9; CHECK-NEXT: [[UNMASKEDLOAD:%.*]] = load <4 x i32>, ptr [[A0:%.*]], align 16, !tbaa [[TBAA0:![0-9]+]] 10; CHECK-NEXT: ret <4 x i32> [[UNMASKEDLOAD]] 11; 12b0: 13 %v0 = call <4 x i32> @llvm.masked.load.v4i1.p0(ptr %a0, i32 16, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i32> undef), !tbaa !0 14 ret <4 x i32> %v0 15} 16 17define inreg <4 x i32> @mload2() #0 { 18; CHECK-LABEL: @mload2( 19; CHECK-NEXT: b0: 20; CHECK-NEXT: [[UNMASKEDLOAD:%.*]] = load <4 x i32>, ptr @g0, align 16, !tbaa [[TBAA0]] 21; CHECK-NEXT: [[V01:%.*]] = insertelement <4 x i32> [[UNMASKEDLOAD]], i32 0, i64 0 22; CHECK-NEXT: ret <4 x i32> [[V01]] 23; 24b0: 25 %v0 = call <4 x i32> @llvm.masked.load.v4i1.p0(ptr @g0, i32 16, <4 x i1> <i1 false, i1 true, i1 true, i1 true>, <4 x i32> zeroinitializer), !tbaa !0 26 ret <4 x i32> %v0 27} 28 29define void @mstore(<4 x i32> %a0, ptr nocapture readonly %a1) #0 { 30; CHECK-LABEL: @mstore( 31; CHECK-NEXT: b0: 32; CHECK-NEXT: store <4 x i32> [[A0:%.*]], ptr [[A1:%.*]], align 16, !tbaa [[TBAA0]] 33; CHECK-NEXT: ret void 34; 35b0: 36 call void @llvm.masked.store.v4i1.p0(<4 x i32> %a0, ptr %a1, i32 16, <4 x i1> <i1 true, i1 true, i1 true, i1 true>), !tbaa !0 37 ret void 38} 39 40attributes #0 = { norecurse nounwind } 41 42declare <4 x i32> @llvm.masked.load.v4i1.p0(ptr, i32, <4 x i1>, <4 x i32>) 43declare void @llvm.masked.store.v4i1.p0(<4 x i32>, ptr, i32, <4 x i1>) 44 45!0 = !{!1, !1, i64 0} 46!1 = !{!"omnipotent char", !2, i64 0} 47!2 = !{!"Simple C/C++ TBAA"} 48 49