98 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes='require<opt-remark-emit>,loop-mssa(licm)' -S %s | FileCheck %s2; RUN: opt -S -passes=licm -verify-memoryssa < %s | FileCheck %s3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6declare void @f() nounwind7 8; Don't hoist load past nounwind call.9define i32 @test1(ptr noalias nocapture readonly %a) nounwind uwtable {10; CHECK-LABEL: @test1(11entry:12 br label %for.body13 14; CHECK: tail call void @f()15; CHECK-NEXT: load i3216for.body:17 %i.06 = phi i32 [ 0, %entry ], [ %inc, %for.body ]18 %x.05 = phi i32 [ 0, %entry ], [ %add, %for.body ]19 tail call void @f() nounwind20 %i1 = load i32, ptr %a, align 421 %add = add nsw i32 %i1, %x.0522 %inc = add nuw nsw i32 %i.06, 123 %exitcond = icmp eq i32 %inc, 100024 br i1 %exitcond, label %for.cond.cleanup, label %for.body25 26for.cond.cleanup:27 ret i32 %add28}29 30; Don't hoist division past nounwind call.31define i32 @test2(i32 %N, i32 %c) nounwind uwtable {32; CHECK-LABEL: @test2(33entry:34 %cmp4 = icmp sgt i32 %N, 035 br i1 %cmp4, label %for.body, label %for.cond.cleanup36 37; CHECK: tail call void @f()38; CHECK-NEXT: sdiv i3239for.body:40 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]41 tail call void @f() nounwind42 %div = sdiv i32 5, %c43 %add = add i32 %i.05, 144 %inc = add i32 %add, %div45 %cmp = icmp slt i32 %inc, %N46 br i1 %cmp, label %for.body, label %for.cond.cleanup47 48for.cond.cleanup:49 ret i32 050}51 52; Hoist a non-volatile load past volatile load.53define i32 @test3(ptr noalias nocapture readonly %a, ptr %v) nounwind uwtable {54; CHECK-LABEL: @test3(55entry:56 br label %for.body57 58; CHECK: load i3259; CHECK: for.body:60; CHECK: load volatile i3261; CHECK-NOT: load62for.body:63 %i.06 = phi i32 [ 0, %entry ], [ %inc, %for.body ]64 %x.05 = phi i32 [ 0, %entry ], [ %add, %for.body ]65 %xxx = load volatile i32, ptr %v, align 466 %i1 = load i32, ptr %a, align 467 %add = add nsw i32 %i1, %x.0568 %inc = add nuw nsw i32 %i.06, 169 %exitcond = icmp eq i32 %inc, 100070 br i1 %exitcond, label %for.cond.cleanup, label %for.body71 72for.cond.cleanup:73 ret i32 %add74}75 76; Don't a volatile load past volatile load.77define i32 @test4(ptr noalias nocapture readonly %a, ptr %v) nounwind uwtable {78; CHECK-LABEL: @test4(79entry:80 br label %for.body81 82; CHECK: for.body:83; CHECK: load volatile i3284; CHECK-NEXT: load volatile i3285for.body:86 %i.06 = phi i32 [ 0, %entry ], [ %inc, %for.body ]87 %x.05 = phi i32 [ 0, %entry ], [ %add, %for.body ]88 %xxx = load volatile i32, ptr %v, align 489 %i1 = load volatile i32, ptr %a, align 490 %add = add nsw i32 %i1, %x.0591 %inc = add nuw nsw i32 %i.06, 192 %exitcond = icmp eq i32 %inc, 100093 br i1 %exitcond, label %for.cond.cleanup, label %for.body94 95for.cond.cleanup:96 ret i32 %add97}98