1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -S -basicaa -licm | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; RUN: opt -aa-pipeline=basic-aa -passes='lcssa,require<aa>,require<targetir>,require<scalar-evolution>,loop(licm)' < %s -S | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker; This fixes PR22460 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 6*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-pc-windows-msvc" 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Worker@in = internal unnamed_addr global i32* null, align 8 9*9880d681SAndroid Build Coastguard Worker@out = internal unnamed_addr global i32* null, align 8 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @bar 12*9880d681SAndroid Build Coastguard Worker; CHECK: entry: 13*9880d681SAndroid Build Coastguard Worker; CHECK: load i64, i64* bitcast (i32** @in to i64*) 14*9880d681SAndroid Build Coastguard Worker; CHECK: do.body: 15*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: load 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Workerdefine i64 @bar(i32 %N) { 18*9880d681SAndroid Build Coastguard Workerentry: 19*9880d681SAndroid Build Coastguard Worker br label %do.body 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Workerdo.body: ; preds = %l2, %entry 22*9880d681SAndroid Build Coastguard Worker %i.0 = phi i32 [ 0, %entry ], [ %inc, %l2 ] 23*9880d681SAndroid Build Coastguard Worker %total = phi i64 [ 0, %entry ], [ %next, %l2 ] 24*9880d681SAndroid Build Coastguard Worker %c = icmp eq i32 %N, 6 25*9880d681SAndroid Build Coastguard Worker br i1 %c, label %l1, label %do.body.l2_crit_edge 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerdo.body.l2_crit_edge: ; preds = %do.body 28*9880d681SAndroid Build Coastguard Worker %inval.pre = load i32*, i32** @in, align 8 29*9880d681SAndroid Build Coastguard Worker br label %l2 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workerl1: ; preds = %do.body 32*9880d681SAndroid Build Coastguard Worker %v1 = load i64, i64* bitcast (i32** @in to i64*), align 8 33*9880d681SAndroid Build Coastguard Worker store i64 %v1, i64* bitcast (i32** @out to i64*), align 8 34*9880d681SAndroid Build Coastguard Worker %0 = inttoptr i64 %v1 to i32* 35*9880d681SAndroid Build Coastguard Worker br label %l2 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Workerl2: ; preds = %do.body.l2_crit_edge, %l1 38*9880d681SAndroid Build Coastguard Worker %inval = phi i32* [ %inval.pre, %do.body.l2_crit_edge ], [ %0, %l1 ] 39*9880d681SAndroid Build Coastguard Worker %int = ptrtoint i32* %inval to i64 40*9880d681SAndroid Build Coastguard Worker %next = add i64 %total, %int 41*9880d681SAndroid Build Coastguard Worker %inc = add nsw i32 %i.0, 1 42*9880d681SAndroid Build Coastguard Worker %cmp = icmp slt i32 %inc, %N 43*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %do.body, label %do.end 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerdo.end: ; preds = %l2 46*9880d681SAndroid Build Coastguard Worker ret i64 %total 47*9880d681SAndroid Build Coastguard Worker} 48