1; RUN: opt -aa-pipeline=basic-aa -passes='require<opt-remark-emit>,loop-mssa(licm)' -S %s | FileCheck %s 2; RUN: opt -S -passes=licm -verify-memoryssa < %s | FileCheck %s 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4target triple = "x86_64-unknown-linux-gnu" 5 6declare void @f() nounwind 7 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.body 13 14; CHECK: tail call void @f() 15; CHECK-NEXT: load i32 16for.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() nounwind 20 %i1 = load i32, ptr %a, align 4 21 %add = add nsw i32 %i1, %x.05 22 %inc = add nuw nsw i32 %i.06, 1 23 %exitcond = icmp eq i32 %inc, 1000 24 br i1 %exitcond, label %for.cond.cleanup, label %for.body 25 26for.cond.cleanup: 27 ret i32 %add 28} 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, 0 35 br i1 %cmp4, label %for.body, label %for.cond.cleanup 36 37; CHECK: tail call void @f() 38; CHECK-NEXT: sdiv i32 39for.body: 40 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ] 41 tail call void @f() nounwind 42 %div = sdiv i32 5, %c 43 %add = add i32 %i.05, 1 44 %inc = add i32 %add, %div 45 %cmp = icmp slt i32 %inc, %N 46 br i1 %cmp, label %for.body, label %for.cond.cleanup 47 48for.cond.cleanup: 49 ret i32 0 50} 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.body 57 58; CHECK: load i32 59; CHECK: for.body: 60; CHECK: load volatile i32 61; CHECK-NOT: load 62for.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 4 66 %i1 = load i32, ptr %a, align 4 67 %add = add nsw i32 %i1, %x.05 68 %inc = add nuw nsw i32 %i.06, 1 69 %exitcond = icmp eq i32 %inc, 1000 70 br i1 %exitcond, label %for.cond.cleanup, label %for.body 71 72for.cond.cleanup: 73 ret i32 %add 74} 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.body 81 82; CHECK: for.body: 83; CHECK: load volatile i32 84; CHECK-NEXT: load volatile i32 85for.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 4 89 %i1 = load volatile i32, ptr %a, align 4 90 %add = add nsw i32 %i1, %x.05 91 %inc = add nuw nsw i32 %i.06, 1 92 %exitcond = icmp eq i32 %inc, 1000 93 br i1 %exitcond, label %for.cond.cleanup, label %for.body 94 95for.cond.cleanup: 96 ret i32 %add 97} 98