forked from OSchip/llvm-project
47 lines
1.7 KiB
LLVM
47 lines
1.7 KiB
LLVM
; RUN: llc -O3 < %s | FileCheck %s
|
|
; RUN: llc -O3 -addr-sink-using-gep=1 < %s | FileCheck %s
|
|
; Test case for a DAG combiner bug where we combined an indexed load
|
|
; with an extension (sext, zext, or any) into a regular extended load,
|
|
; i.e., dropping the indexed value.
|
|
; <rdar://problem/16389332>
|
|
|
|
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
|
target triple = "arm64-apple-ios"
|
|
|
|
%class.A = type { i64, i64 }
|
|
%class.C = type { i64 }
|
|
|
|
; CHECK-LABEL: XX:
|
|
; CHECK: ldr
|
|
define i32 @XX(%class.A* %K, i1 %tst, i32* %addr, %class.C** %ppC, %class.C* %pC) {
|
|
entry:
|
|
br i1 %tst, label %if.then, label %lor.rhs.i
|
|
|
|
lor.rhs.i: ; preds = %entry
|
|
%tmp = load i32* %addr, align 4
|
|
%y.i.i.i = getelementptr inbounds %class.A* %K, i64 0, i32 1
|
|
%tmp1 = load i64* %y.i.i.i, align 8
|
|
%U.sroa.3.8.extract.trunc.i = trunc i64 %tmp1 to i32
|
|
%div11.i = sdiv i32 %U.sroa.3.8.extract.trunc.i, 17
|
|
%add12.i = add nsw i32 0, %div11.i
|
|
%U.sroa.3.12.extract.shift.i = lshr i64 %tmp1, 32
|
|
%U.sroa.3.12.extract.trunc.i = trunc i64 %U.sroa.3.12.extract.shift.i to i32
|
|
%div15.i = sdiv i32 %U.sroa.3.12.extract.trunc.i, 13
|
|
%add16.i = add nsw i32 %add12.i, %div15.i
|
|
%rem.i.i = srem i32 %add16.i, %tmp
|
|
%idxprom = sext i32 %rem.i.i to i64
|
|
%arrayidx = getelementptr inbounds %class.C** %ppC, i64 %idxprom
|
|
%tobool533 = icmp eq %class.C* %pC, null
|
|
br i1 %tobool533, label %while.end, label %while.body
|
|
|
|
if.then: ; preds = %entry
|
|
ret i32 42
|
|
|
|
while.body: ; preds = %lor.rhs.i
|
|
ret i32 5
|
|
|
|
while.end: ; preds = %lor.rhs.i
|
|
%tmp3 = load %class.C** %arrayidx, align 8
|
|
ret i32 50
|
|
}
|