mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-08-10 02:25:47 +00:00
1523db7c64
doing Load PRE" This commit updates the failing test in Analysis/TypeBasedAliasAnalysis/gvn-nonlocal-type-mismatch.ll The failing test is sensitive to the order in which we process loads. This version turns on the RPO traversal instead of the while DT traversal in GVN. The new test code is functionally same just the order of loads that are eliminated is swapped. This new version also fixes an issue where GVN splits a critical edge and potentially invalidate the RPO/DT iterator. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222039 91177308-0d34-0410-b5e6-96231b3b80d8
50 lines
1.7 KiB
LLVM
50 lines
1.7 KiB
LLVM
; RUN: opt < %s -basicaa -gvn -enable-load-pre -S | FileCheck %s
|
|
target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
|
|
target triple = "aarch64--linux-gnu"
|
|
|
|
define double @foo(i32 %stat, i32 %i, double** %p) {
|
|
; CHECK-LABEL: @foo(
|
|
entry:
|
|
switch i32 %stat, label %sw.default [
|
|
i32 0, label %sw.bb
|
|
i32 1, label %sw.bb
|
|
i32 2, label %sw.bb2
|
|
]
|
|
|
|
sw.bb: ; preds = %entry, %entry
|
|
%idxprom = sext i32 %i to i64
|
|
%arrayidx = getelementptr inbounds double** %p, i64 0
|
|
%0 = load double** %arrayidx, align 8
|
|
%arrayidx1 = getelementptr inbounds double* %0, i64 %idxprom
|
|
%1 = load double* %arrayidx1, align 8
|
|
%sub = fsub double %1, 1.000000e+00
|
|
%cmp = fcmp olt double %sub, 0.000000e+00
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %sw.bb
|
|
br label %return
|
|
|
|
if.end: ; preds = %sw.bb
|
|
br label %sw.bb2
|
|
|
|
sw.bb2: ; preds = %if.end, %entry
|
|
%idxprom3 = sext i32 %i to i64
|
|
%arrayidx4 = getelementptr inbounds double** %p, i64 0
|
|
%2 = load double** %arrayidx4, align 8
|
|
%arrayidx5 = getelementptr inbounds double* %2, i64 %idxprom3
|
|
%3 = load double* %arrayidx5, align 8
|
|
; CHECK: sw.bb2:
|
|
; CHECK-NEXT-NOT: sext
|
|
; CHECK-NEXT: phi double [
|
|
; CHECK-NOT: load
|
|
%sub6 = fsub double 3.000000e+00, %3
|
|
br label %return
|
|
|
|
sw.default: ; preds = %entry
|
|
br label %return
|
|
|
|
return: ; preds = %sw.default, %sw.bb2, %if.then
|
|
%retval.0 = phi double [ 0.000000e+00, %sw.default ], [ %sub6, %sw.bb2 ], [ %sub, %if.then ]
|
|
ret double %retval.0
|
|
}
|