1*9880d681SAndroid Build Coastguard Worker; RUN: opt -basicaa -load-combine -instcombine -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.assume(i1) nounwind 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker; 'load' before the 'call' gets optimized: 8*9880d681SAndroid Build Coastguard Workerdefine i64 @test1(i32* nocapture readonly %a, i1 %b) { 9*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: load i64, i64* %1, align 4 12*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: tail call void @llvm.assume(i1 %b) 13*9880d681SAndroid Build Coastguard Worker; CHECK: ret i64 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Worker %load1 = load i32, i32* %a, align 4 16*9880d681SAndroid Build Coastguard Worker %conv = zext i32 %load1 to i64 17*9880d681SAndroid Build Coastguard Worker %arrayidx1 = getelementptr inbounds i32, i32* %a, i64 1 18*9880d681SAndroid Build Coastguard Worker %load2 = load i32, i32* %arrayidx1, align 4 19*9880d681SAndroid Build Coastguard Worker tail call void @llvm.assume(i1 %b) 20*9880d681SAndroid Build Coastguard Worker %conv2 = zext i32 %load2 to i64 21*9880d681SAndroid Build Coastguard Worker %shl = shl nuw i64 %conv2, 32 22*9880d681SAndroid Build Coastguard Worker %add = or i64 %shl, %conv 23*9880d681SAndroid Build Coastguard Worker ret i64 %add 24*9880d681SAndroid Build Coastguard Worker} 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Worker; 'call' before the 'load' doesn't get optimized: 27*9880d681SAndroid Build Coastguard Workerdefine i64 @test2(i32* nocapture readonly %a, i1 %b) { 28*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: load i64, i64* %1, align 4 31*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: tail call void @llvm.assume(i1 %b) 32*9880d681SAndroid Build Coastguard Worker; CHECK: ret i64 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Worker %load1 = load i32, i32* %a, align 4 35*9880d681SAndroid Build Coastguard Worker %conv = zext i32 %load1 to i64 36*9880d681SAndroid Build Coastguard Worker %arrayidx1 = getelementptr inbounds i32, i32* %a, i64 1 37*9880d681SAndroid Build Coastguard Worker tail call void @llvm.assume(i1 %b) 38*9880d681SAndroid Build Coastguard Worker %load2 = load i32, i32* %arrayidx1, align 4 39*9880d681SAndroid Build Coastguard Worker %conv2 = zext i32 %load2 to i64 40*9880d681SAndroid Build Coastguard Worker %shl = shl nuw i64 %conv2, 32 41*9880d681SAndroid Build Coastguard Worker %add = or i64 %shl, %conv 42*9880d681SAndroid Build Coastguard Worker ret i64 %add 43*9880d681SAndroid Build Coastguard Worker} 44*9880d681SAndroid Build Coastguard Worker 45