126 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -available-load-scan-limit=2 -S < %s | FileCheck %s3 4%struct.nonbonded = type { [2 x ptr], [2 x ptr], [2 x ptr], [2 x ptr], [2 x ptr], [2 x i32], %class.Vector, ptr, ptr, ptr, ptr, i32, i32, double, double, i32, i32, i32, i32 }5%struct.CompAtomExt = type { i32 }6%struct.CompAtom = type { %class.Vector, float, i16, i8, i8 }7%class.Vector = type { double, double, double }8%class.ComputeNonbondedWorkArrays = type { %class.ResizeArray, %class.ResizeArray.0, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray, %class.ResizeArray.2, %class.ResizeArray.2 }9%class.ResizeArray.0 = type { ptr, ptr }10%class.ResizeArrayRaw.1 = type <{ ptr, ptr, i32, i32, i32, float, i32, [4 x i8] }>11%class.ResizeArray = type { ptr, ptr }12%class.ResizeArrayRaw = type <{ ptr, ptr, i32, i32, i32, float, i32, [4 x i8] }>13%class.ResizeArray.2 = type { ptr, ptr }14%class.ResizeArrayRaw.3 = type <{ ptr, ptr, i32, i32, i32, float, i32, [4 x i8] }>15%class.Pairlists = type { ptr, i32, i32 }16 17;; Check the minPart4 and minPart assignments are merged.18define dso_local void @merge(ptr nocapture readonly %params) local_unnamed_addr align 2 {19; CHECK-LABEL: @merge(20; CHECK-NEXT: entry:21; CHECK-NEXT: [[SAVEPAIRLISTS3:%.*]] = getelementptr inbounds nuw i8, ptr [[PARAMS:%.*]], i64 14422; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[SAVEPAIRLISTS3]], align 823; CHECK-NEXT: [[USEPAIRLISTS4:%.*]] = getelementptr inbounds nuw i8, ptr [[PARAMS]], i64 14824; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[USEPAIRLISTS4]], align 425; CHECK-NEXT: [[TOBOOL54_NOT:%.*]] = icmp eq i32 [[TMP0]], 026; CHECK-NEXT: br i1 [[TOBOOL54_NOT]], label [[LOR_LHS_FALSE55:%.*]], label [[IF_END109:%.*]]27; CHECK: lor.lhs.false55:28; CHECK-NEXT: [[TOBOOL56_NOT:%.*]] = icmp eq i32 [[TMP1]], 029; CHECK-NEXT: br i1 [[TOBOOL56_NOT]], label [[IF_END109]], label [[IF_END109_THREAD:%.*]]30; CHECK: if.end109.thread:31; CHECK-NEXT: call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 2, i32 0, i64 -1)32; CHECK-NEXT: br label [[IF_THEN138:%.*]]33; CHECK: if.end109:34; CHECK-NEXT: call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 3, i32 0, i64 -1)35; CHECK-NEXT: [[TOBOOL116_NOT:%.*]] = icmp eq i32 [[TMP1]], 036; CHECK-NEXT: br i1 [[TOBOOL116_NOT]], label [[IF_THEN117:%.*]], label [[IF_THEN138]]37; CHECK: if.then117:38; CHECK-NEXT: ret void39; CHECK: if.then138:40; CHECK-NEXT: [[DOTIN:%.*]] = getelementptr inbounds nuw i8, ptr [[PARAMS]], i64 17241; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[DOTIN]], align 442; CHECK-NEXT: [[TOBOOL139_NOT:%.*]] = icmp eq i32 [[TMP2]], 043; CHECK-NEXT: br i1 [[TOBOOL139_NOT]], label [[IF_ELSE147:%.*]], label [[IF_THEN140:%.*]]44; CHECK: if.then140:45; CHECK-NEXT: ret void46; CHECK: if.else147:47; CHECK-NEXT: ret void48;49entry:50 %savePairlists3 = getelementptr inbounds %struct.nonbonded, ptr %params, i64 0, i32 1151 %0 = load i32, ptr %savePairlists3, align 852 %usePairlists4 = getelementptr inbounds %struct.nonbonded, ptr %params, i64 0, i32 1253 %1 = load i32, ptr %usePairlists4, align 454 %tobool54.not = icmp eq i32 %0, 055 br i1 %tobool54.not, label %lor.lhs.false55, label %if.end10956 57lor.lhs.false55: ; preds = %entry58 %tobool56.not = icmp eq i32 %1, 059 br i1 %tobool56.not, label %if.end109, label %if.end109.thread60 61if.end109.thread: ; preds = %lor.lhs.false5562 %minPart4 = getelementptr inbounds %struct.nonbonded, ptr %params, i64 0, i32 1663 %2 = load i32, ptr %minPart4, align 464 call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 2, i32 0, i64 -1)65 br label %if.then13866 67if.end109: ; preds = %lor.lhs.false55, %entry68 %minPart = getelementptr inbounds %struct.nonbonded, ptr %params, i64 0, i32 1669 %3 = load i32, ptr %minPart, align 470 call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 3, i32 0, i64 -1)71 %tobool116.not = icmp eq i32 %1, 072 br i1 %tobool116.not, label %if.then117, label %if.then13873 74if.then117: ; preds = %if.end10975 ret void76 77if.then138: ; preds = %if.end109.thread, %if.end10978 %4 = phi i32 [ %2, %if.end109.thread ], [ %3, %if.end109 ]79 %tobool139.not = icmp eq i32 %4, 080 br i1 %tobool139.not, label %if.else147, label %if.then14081 82if.then140: ; preds = %if.then13883 ret void84 85if.else147: ; preds = %if.then13886 ret void87}88 89;; Check the last store is deleted.90define i32 @load(ptr nocapture %a, ptr nocapture %b) {91; CHECK-LABEL: @load(92; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds nuw i8, ptr [[A:%.*]], i64 493; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[TMP1]], align 894; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds nuw i8, ptr [[B:%.*]], i64 495; CHECK-NEXT: store i32 [[TMP2]], ptr [[TMP3]], align 896; CHECK-NEXT: call void @llvm.pseudoprobe(i64 5116412291814990879, i64 1, i32 0, i64 -1)97; CHECK-NEXT: ret i32 [[TMP2]]98;99 %1 = getelementptr inbounds i32, ptr %a, i32 1100 %2 = load i32, ptr %1, align 8101 %3 = getelementptr inbounds i32, ptr %b, i32 1102 store i32 %2, ptr %3, align 8103 %4 = getelementptr inbounds i32, ptr %b, i32 1104 call void @llvm.pseudoprobe(i64 5116412291814990879, i64 1, i32 0, i64 -1)105 %5 = load i32, ptr %4, align 8106 ret i32 %5107}108 109;; Check the first store is deleted.110define void @dse(ptr %p) {111; CHECK-LABEL: @dse(112; CHECK-NEXT: call void @llvm.pseudoprobe(i64 5116412291814990879, i64 1, i32 0, i64 -1)113; CHECK-NEXT: store i32 0, ptr [[P:%.*]], align 4114; CHECK-NEXT: ret void115;116 store i32 0, ptr %p117 call void @llvm.pseudoprobe(i64 5116412291814990879, i64 1, i32 0, i64 -1)118 store i32 0, ptr %p119 ret void120}121 122; Function Attrs: inaccessiblememonly nounwind willreturn123declare void @llvm.pseudoprobe(i64, i64, i32, i64) #0124 125attributes #0 = { inaccessiblememonly nounwind willreturn }126