67 lines
3.8 KiB
LLVM
67 lines
3.8 KiB
LLVM
; RUN: opt -passes=instcombine -S < %s | FileCheck %s
|
|
|
|
%struct.nonbonded = type { [2 x %struct.CompAtom*], [2 x %struct.CompAtomExt*], [2 x %struct.CompAtom*], [2 x %class.Vector*], [2 x %class.Vector*], [2 x i32], %class.Vector, double*, double*, %class.ComputeNonbondedWorkArrays*, %class.Pairlists*, i32, i32, double, double, i32, i32, i32, i32 }
|
|
%struct.CompAtomExt = type { i32 }
|
|
%struct.CompAtom = type { %class.Vector, float, i16, i8, i8 }
|
|
%class.Vector = type { double, double, double }
|
|
%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 }
|
|
%class.ResizeArray.0 = type { i32 (...)**, %class.ResizeArrayRaw.1* }
|
|
%class.ResizeArrayRaw.1 = type <{ double*, i8*, i32, i32, i32, float, i32, [4 x i8] }>
|
|
%class.ResizeArray = type { i32 (...)**, %class.ResizeArrayRaw* }
|
|
%class.ResizeArrayRaw = type <{ i16*, i8*, i32, i32, i32, float, i32, [4 x i8] }>
|
|
%class.ResizeArray.2 = type { i32 (...)**, %class.ResizeArrayRaw.3* }
|
|
%class.ResizeArrayRaw.3 = type <{ %class.Vector*, i8*, i32, i32, i32, float, i32, [4 x i8] }>
|
|
%class.Pairlists = type { i16*, i32, i32 }
|
|
|
|
;; Check the minPart4 and minPart assignments are merged.
|
|
; CHECK-COUNT-1: getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 16
|
|
; CHECK-NOT: getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 16
|
|
|
|
define dso_local void @_ZN20ComputeNonbondedUtil9calc_pairEP9nonbonded(%struct.nonbonded* nocapture readonly %params) local_unnamed_addr align 2 {
|
|
entry:
|
|
%savePairlists3 = getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 11
|
|
%0 = load i32, i32* %savePairlists3, align 8
|
|
%usePairlists4 = getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 12
|
|
%1 = load i32, i32* %usePairlists4, align 4
|
|
%tobool54.not = icmp eq i32 %0, 0
|
|
br i1 %tobool54.not, label %lor.lhs.false55, label %if.end109
|
|
|
|
lor.lhs.false55: ; preds = %entry
|
|
%tobool56.not = icmp eq i32 %1, 0
|
|
br i1 %tobool56.not, label %if.end109, label %if.end109.thread
|
|
|
|
if.end109.thread: ; preds = %lor.lhs.false55
|
|
%minPart4 = getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 16
|
|
%2 = load i32, i32* %minPart4, align 4
|
|
call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 2, i32 0, i64 -1)
|
|
br label %if.then138
|
|
|
|
if.end109: ; preds = %lor.lhs.false55, %entry
|
|
%minPart = getelementptr inbounds %struct.nonbonded, %struct.nonbonded* %params, i64 0, i32 16
|
|
%3 = load i32, i32* %minPart, align 4
|
|
call void @llvm.pseudoprobe(i64 -6172701105289426098, i64 3, i32 0, i64 -1)
|
|
%tobool116.not = icmp eq i32 %1, 0
|
|
br i1 %tobool116.not, label %if.then117, label %if.then138
|
|
|
|
if.then117: ; preds = %if.end109
|
|
ret void
|
|
|
|
if.then138: ; preds = %if.end109.thread, %if.end109
|
|
%4 = phi i32 [ %2, %if.end109.thread ], [ %3, %if.end109 ]
|
|
%tobool139.not = icmp eq i32 %4, 0
|
|
br i1 %tobool139.not, label %if.else147, label %if.then140
|
|
|
|
if.then140: ; preds = %if.then138
|
|
ret void
|
|
|
|
if.else147: ; preds = %if.then138
|
|
ret void
|
|
}
|
|
|
|
declare dso_local void @_ZN9Pairlists8addIndexEv() align 2
|
|
|
|
; Function Attrs: inaccessiblememonly nounwind willreturn
|
|
declare void @llvm.pseudoprobe(i64, i64, i32, i64) #0
|
|
|
|
attributes #0 = { inaccessiblememonly nounwind willreturn }
|