133 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S %s | FileCheck %s3 4define void @redundant_unstrided_load(ptr %src) {5; CHECK-LABEL: define void @redundant_unstrided_load(6; CHECK-SAME: ptr [[SRC:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: [[SRC_OFFSET:%.*]] = getelementptr inbounds double, ptr [[SRC]], i32 89; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC_OFFSET]], i32 4, i1 false, i32 4, i32 2)10; CHECK-NEXT: call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> [[L]], ptr [[SRC]], i32 4, i1 false, i32 4, i32 2)11; CHECK-NEXT: call void @use(<8 x double> [[L]])12; CHECK-NEXT: call void @use(<8 x double> [[L]])13; CHECK-NEXT: ret void14;15entry:16 %src.offset = getelementptr inbounds double, ptr %src, i32 817 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 4, i1 false, i32 4, i32 2)18 call void @llvm.matrix.column.major.store.v8f64(<8 x double> %l, ptr %src, i32 4, i1 false, i32 4, i32 2)19 %l.2 = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 4, i1 false, i32 4, i32 2)20 call void @use(<8 x double> %l)21 call void @use(<8 x double> %l.2)22 ret void23}24 25define void @redundant_unstrided_load_non_matrix_store(ptr %src) {26; CHECK-LABEL: define void @redundant_unstrided_load_non_matrix_store(27; CHECK-SAME: ptr [[SRC:%.*]]) {28; CHECK-NEXT: [[ENTRY:.*:]]29; CHECK-NEXT: [[SRC_OFFSET:%.*]] = getelementptr inbounds double, ptr [[SRC]], i32 130; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC_OFFSET]], i32 4, i1 false, i32 4, i32 2)31; CHECK-NEXT: store double 4.200000e+01, ptr [[SRC]], align 832; CHECK-NEXT: call void @use(<8 x double> [[L]])33; CHECK-NEXT: call void @use(<8 x double> [[L]])34; CHECK-NEXT: ret void35;36entry:37 %src.offset = getelementptr inbounds double, ptr %src, i32 138 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 4, i1 false, i32 4, i32 2)39 store double 42.0, ptr %src40 %l.2 = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 4, i1 false, i32 4, i32 2)41 call void @use(<8 x double> %l)42 call void @use(<8 x double> %l.2)43 ret void44}45 46define void @redundant_strided_load(ptr %src) {47; CHECK-LABEL: define void @redundant_strided_load(48; CHECK-SAME: ptr [[SRC:%.*]]) {49; CHECK-NEXT: [[ENTRY:.*:]]50; CHECK-NEXT: [[SRC_OFFSET:%.*]] = getelementptr inbounds double, ptr [[SRC]], i32 1651; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC_OFFSET]], i32 8, i1 false, i32 4, i32 2)52; CHECK-NEXT: call void @llvm.matrix.column.major.store.v8f64.i32(<8 x double> [[L]], ptr [[SRC]], i32 8, i1 false, i32 4, i32 2)53; CHECK-NEXT: call void @use(<8 x double> [[L]])54; CHECK-NEXT: call void @use(<8 x double> [[L]])55; CHECK-NEXT: ret void56;57entry:58 %src.offset = getelementptr inbounds double, ptr %src, i32 1659 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2)60 call void @llvm.matrix.column.major.store.v8f64(<8 x double> %l, ptr %src, i32 8, i1 false, i32 4, i32 2)61 %l.2 = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2)62 call void @use(<8 x double> %l)63 call void @use(<8 x double> %l.2)64 ret void65 66}67 68define void @redundant_strided_load_non_matrix_store(ptr %src) {69; CHECK-LABEL: define void @redundant_strided_load_non_matrix_store(70; CHECK-SAME: ptr [[SRC:%.*]]) {71; CHECK-NEXT: [[ENTRY:.*:]]72; CHECK-NEXT: [[SRC_OFFSET:%.*]] = getelementptr inbounds double, ptr [[SRC]], i32 1673; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC_OFFSET]], i32 8, i1 false, i32 4, i32 2)74; CHECK-NEXT: store double 4.200000e+01, ptr [[SRC]], align 875; CHECK-NEXT: call void @use(<8 x double> [[L]])76; CHECK-NEXT: call void @use(<8 x double> [[L]])77; CHECK-NEXT: ret void78;79entry:80 %src.offset = getelementptr inbounds double, ptr %src, i32 1681 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2)82 store double 42.0, ptr %src83 %l.2 = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src.offset, i32 8, i1 false, i32 4, i32 2)84 call void @use(<8 x double> %l)85 call void @use(<8 x double> %l.2)86 ret void87}88 89define void @repeat_load_dimension_change_project(ptr %src) {90; CHECK-LABEL: define void @repeat_load_dimension_change_project(91; CHECK-SAME: ptr [[SRC:%.*]]) {92; CHECK-NEXT: [[ENTRY:.*:]]93; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC]], i32 4, i1 false, i32 4, i32 2)94; CHECK-NEXT: [[L_2:%.*]] = call <9 x double> @llvm.matrix.column.major.load.v9f64.i32(ptr [[SRC]], i32 3, i1 false, i32 3, i32 3)95; CHECK-NEXT: [[L_3:%.*]] = shufflevector <9 x double> [[L_2]], <9 x double> zeroinitializer, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>96; CHECK-NEXT: call void @use(<8 x double> [[L]])97; CHECK-NEXT: call void @use(<8 x double> [[L_3]])98; CHECK-NEXT: ret void99;100entry:101 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src, i32 4, i1 false, i32 4, i32 2)102 %l.2 = call <9 x double> @llvm.matrix.column.major.load.v9f64.i32(ptr %src, i32 3, i1 false, i32 3, i32 3)103 %l.3 = shufflevector <9 x double> %l.2, <9 x double> zeroinitializer, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>104 call void @use(<8 x double> %l)105 call void @use(<8 x double> %l.3)106 ret void107}108 109define void @repeat_load_dimension_change_shuffle(ptr %src) {110; CHECK-LABEL: define void @repeat_load_dimension_change_shuffle(111; CHECK-SAME: ptr [[SRC:%.*]]) {112; CHECK-NEXT: [[ENTRY:.*:]]113; CHECK-NEXT: [[L:%.*]] = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr [[SRC]], i32 4, i1 false, i32 4, i32 2)114; CHECK-NEXT: [[L_2:%.*]] = call <9 x double> @llvm.matrix.column.major.load.v9f64.i32(ptr [[SRC]], i32 3, i1 false, i32 3, i32 3)115; CHECK-NEXT: [[L_3:%.*]] = shufflevector <9 x double> [[L_2]], <9 x double> zeroinitializer, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>116; CHECK-NEXT: call void @use(<8 x double> [[L]])117; CHECK-NEXT: call void @use(<8 x double> [[L_3]])118; CHECK-NEXT: ret void119;120entry:121 %l = call <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr %src, i32 4, i1 false, i32 4, i32 2)122 %l.2 = call <9 x double> @llvm.matrix.column.major.load.v9f64.i32(ptr %src, i32 3, i1 false, i32 3, i32 3)123 %l.3 = shufflevector <9 x double> %l.2, <9 x double> zeroinitializer, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>124 call void @use(<8 x double> %l)125 call void @use(<8 x double> %l.3)126 ret void127}128 129declare <8 x double> @llvm.matrix.column.major.load.v8f64.i32(ptr, i32, i1, i32, i32)130declare <9 x double> @llvm.matrix.column.major.load.v9f64.i32(ptr, i32, i1, i32, i32)131declare void @llvm.matrix.column.major.store.v8f64.i32(<8 x double>, ptr, i32, i1, i32, i32)132declare void @use(<8 x double>)133