1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S %s -scalarize-masked-mem-intrin -mtriple=aarch64-linux-gnu | FileCheck %s 3; RUN: opt -S %s -scalarize-masked-mem-intrin -mtriple=aarch64-linux-gnu -mattr=+sve | FileCheck %s 4 5define void @scalarize_v2i64(<2 x i64>* %p, <2 x i1> %mask, <2 x i64> %data) { 6; CHECK-LABEL: @scalarize_v2i64( 7; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x i64>* [[P:%.*]] to i64* 8; CHECK-NEXT: [[SCALAR_MASK:%.*]] = bitcast <2 x i1> [[MASK:%.*]] to i2 9; CHECK-NEXT: [[TMP2:%.*]] = and i2 [[SCALAR_MASK]], 1 10; CHECK-NEXT: [[TMP3:%.*]] = icmp ne i2 [[TMP2]], 0 11; CHECK-NEXT: br i1 [[TMP3]], label [[COND_STORE:%.*]], label [[ELSE:%.*]] 12; CHECK: cond.store: 13; CHECK-NEXT: [[TMP4:%.*]] = extractelement <2 x i64> [[DATA:%.*]], i64 0 14; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds i64, i64* [[TMP1]], i32 0 15; CHECK-NEXT: store i64 [[TMP4]], i64* [[TMP5]], align 8 16; CHECK-NEXT: br label [[ELSE]] 17; CHECK: else: 18; CHECK-NEXT: [[TMP6:%.*]] = and i2 [[SCALAR_MASK]], -2 19; CHECK-NEXT: [[TMP7:%.*]] = icmp ne i2 [[TMP6]], 0 20; CHECK-NEXT: br i1 [[TMP7]], label [[COND_STORE1:%.*]], label [[ELSE2:%.*]] 21; CHECK: cond.store1: 22; CHECK-NEXT: [[TMP8:%.*]] = extractelement <2 x i64> [[DATA]], i64 1 23; CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds i64, i64* [[TMP1]], i32 1 24; CHECK-NEXT: store i64 [[TMP8]], i64* [[TMP9]], align 8 25; CHECK-NEXT: br label [[ELSE2]] 26; CHECK: else2: 27; CHECK-NEXT: ret void 28; 29 call void @llvm.masked.store.v2i64.p0v2i64(<2 x i64> %data, <2 x i64>* %p, i32 128, <2 x i1> %mask) 30 ret void 31} 32 33define void @scalarize_v2i64_ones_mask(<2 x i64>* %p, <2 x i64> %data) { 34; CHECK-LABEL: @scalarize_v2i64_ones_mask( 35; CHECK-NEXT: store <2 x i64> [[DATA:%.*]], <2 x i64>* [[P:%.*]], align 8 36; CHECK-NEXT: ret void 37; 38 call void @llvm.masked.store.v2i64.p0v2i64(<2 x i64> %data, <2 x i64>* %p, i32 8, <2 x i1> <i1 true, i1 true>) 39 ret void 40} 41 42define void @scalarize_v2i64_zero_mask(<2 x i64>* %p, <2 x i64> %data) { 43; CHECK-LABEL: @scalarize_v2i64_zero_mask( 44; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x i64>* [[P:%.*]] to i64* 45; CHECK-NEXT: ret void 46; 47 call void @llvm.masked.store.v2i64.p0v2i64(<2 x i64> %data, <2 x i64>* %p, i32 8, <2 x i1> <i1 false, i1 false>) 48 ret void 49} 50 51define void @scalarize_v2i64_const_mask(<2 x i64>* %p, <2 x i64> %data) { 52; CHECK-LABEL: @scalarize_v2i64_const_mask( 53; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x i64>* [[P:%.*]] to i64* 54; CHECK-NEXT: [[TMP2:%.*]] = extractelement <2 x i64> [[DATA:%.*]], i64 1 55; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds i64, i64* [[TMP1]], i32 1 56; CHECK-NEXT: store i64 [[TMP2]], i64* [[TMP3]], align 8 57; CHECK-NEXT: ret void 58; 59 call void @llvm.masked.store.v2i64.p0v2i64(<2 x i64> %data, <2 x i64>* %p, i32 8, <2 x i1> <i1 false, i1 true>) 60 ret void 61} 62 63declare void @llvm.masked.store.v2i64.p0v2i64(<2 x i64>, <2 x i64>*, i32, <2 x i1>) 64