1*9880d681SAndroid Build Coastguard Worker; RUN: opt -basicaa -memdep -mldst-motion -S < %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; RUN: opt -aa-pipeline=basic-aa -passes='require<memdep>',mldst-motion \ 3*9880d681SAndroid Build Coastguard Worker; RUN: -S < %s | FileCheck %s 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-unknown-linux-gnu" 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Worker@r = common global i32 0, align 4 9*9880d681SAndroid Build Coastguard Worker@s = common global i32 0, align 4 10*9880d681SAndroid Build Coastguard Worker 11*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @test1( 12*9880d681SAndroid Build Coastguard Workerdefine void @test1(i1 %cmp, i32* noalias %p) { 13*9880d681SAndroid Build Coastguard Workerentry: 14*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %if.then, label %if.else 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 17*9880d681SAndroid Build Coastguard Worker call void @may_exit() nounwind 18*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %p, i64 1 19*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx, align 4 20*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* @r, align 4 21*9880d681SAndroid Build Coastguard Worker br label %if.end 22*9880d681SAndroid Build Coastguard Worker; CHECK: call void @may_exit() 23*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %[[gep:.*]] = getelementptr inbounds i32, i32* %p, i64 1 24*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: %[[load:.*]] = load i32, i32* %[[gep]], align 4 25*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: store i32 %[[load]], i32* @r, align 4 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerif.else: ; preds = %entry 28*9880d681SAndroid Build Coastguard Worker %arrayidx1 = getelementptr inbounds i32, i32* %p, i64 1 29*9880d681SAndroid Build Coastguard Worker %1 = load i32, i32* %arrayidx1, align 4 30*9880d681SAndroid Build Coastguard Worker store i32 %1, i32* @s, align 4 31*9880d681SAndroid Build Coastguard Worker br label %if.end 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %if.else, %if.then 34*9880d681SAndroid Build Coastguard Worker ret void 35*9880d681SAndroid Build Coastguard Worker} 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @test2( 38*9880d681SAndroid Build Coastguard Workerdefine void @test2(i1 %cmp, i32* noalias %p) { 39*9880d681SAndroid Build Coastguard Workerentry: 40*9880d681SAndroid Build Coastguard Worker br i1 %cmp, label %if.then, label %if.else 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workerif.then: ; preds = %entry 43*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %p, i64 1 44*9880d681SAndroid Build Coastguard Worker store i32 1, i32* %arrayidx, align 4 45*9880d681SAndroid Build Coastguard Worker call void @may_throw() 46*9880d681SAndroid Build Coastguard Worker; CHECK: %[[gep:.*]] = getelementptr inbounds i32, i32* %p, i64 1 47*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: store i32 1, i32* %[[gep]], align 4 48*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: call void @may_throw() 49*9880d681SAndroid Build Coastguard Worker br label %if.end 50*9880d681SAndroid Build Coastguard Worker 51*9880d681SAndroid Build Coastguard Workerif.else: ; preds = %entry 52*9880d681SAndroid Build Coastguard Worker %arrayidx1 = getelementptr inbounds i32, i32* %p, i64 1 53*9880d681SAndroid Build Coastguard Worker store i32 2, i32* %arrayidx1, align 4 54*9880d681SAndroid Build Coastguard Worker br label %if.end 55*9880d681SAndroid Build Coastguard Worker 56*9880d681SAndroid Build Coastguard Workerif.end: ; preds = %if.else, %if.then 57*9880d681SAndroid Build Coastguard Worker ret void 58*9880d681SAndroid Build Coastguard Worker} 59*9880d681SAndroid Build Coastguard Worker 60*9880d681SAndroid Build Coastguard Workerdeclare void @may_throw() 61*9880d681SAndroid Build Coastguard Workerdeclare void @may_exit() nounwind 62