mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 13:33:37 +02:00
b786938370
runnig LCSSA over them prior to running the loop pipeline. This also teaches the loop PM to verify that LCSSA form is preserved throughout the pipeline's run across the loop nest. Most of the test updates just leverage this new functionality. One has to be relaxed with the new PM as IVUsers is less powerful when it sees LCSSA input. Differential Revision: https://reviews.llvm.org/D28743 llvm-svn: 292241
73 lines
2.0 KiB
LLVM
73 lines
2.0 KiB
LLVM
; RUN: opt -S -basicaa -licm < %s | FileCheck %s
|
|
; RUN: opt -aa-pipeline=basic-aa -passes='require<opt-remark-emit>,loop(licm)' -S %s | FileCheck %s
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
declare void @f() nounwind
|
|
|
|
; Don't hoist load past nounwind call.
|
|
define i32 @test1(i32* noalias nocapture readonly %a) nounwind uwtable {
|
|
; CHECK-LABEL: @test1(
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: tail call void @f()
|
|
; CHECK-NEXT: load i32
|
|
for.body:
|
|
%i.06 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
|
|
%x.05 = phi i32 [ 0, %entry ], [ %add, %for.body ]
|
|
tail call void @f() nounwind
|
|
%i1 = load i32, i32* %a, align 4
|
|
%add = add nsw i32 %i1, %x.05
|
|
%inc = add nuw nsw i32 %i.06, 1
|
|
%exitcond = icmp eq i32 %inc, 1000
|
|
br i1 %exitcond, label %for.cond.cleanup, label %for.body
|
|
|
|
for.cond.cleanup:
|
|
ret i32 %add
|
|
}
|
|
|
|
; Don't hoist division past nounwind call.
|
|
define i32 @test2(i32 %N, i32 %c) nounwind uwtable {
|
|
; CHECK-LABEL: @test2(
|
|
entry:
|
|
%cmp4 = icmp sgt i32 %N, 0
|
|
br i1 %cmp4, label %for.body, label %for.cond.cleanup
|
|
|
|
; CHECK: tail call void @f()
|
|
; CHECK-NEXT: sdiv i32
|
|
for.body:
|
|
%i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
|
|
tail call void @f() nounwind
|
|
%div = sdiv i32 5, %c
|
|
%add = add i32 %i.05, 1
|
|
%inc = add i32 %add, %div
|
|
%cmp = icmp slt i32 %inc, %N
|
|
br i1 %cmp, label %for.body, label %for.cond.cleanup
|
|
|
|
for.cond.cleanup:
|
|
ret i32 0
|
|
}
|
|
|
|
; Don't hoist load past volatile load.
|
|
define i32 @test3(i32* noalias nocapture readonly %a, i32* %v) nounwind uwtable {
|
|
; CHECK-LABEL: @test3(
|
|
entry:
|
|
br label %for.body
|
|
|
|
; CHECK: load volatile i32
|
|
; CHECK-NEXT: load i32
|
|
for.body:
|
|
%i.06 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
|
|
%x.05 = phi i32 [ 0, %entry ], [ %add, %for.body ]
|
|
%xxx = load volatile i32, i32* %v, align 4
|
|
%i1 = load i32, i32* %a, align 4
|
|
%add = add nsw i32 %i1, %x.05
|
|
%inc = add nuw nsw i32 %i.06, 1
|
|
%exitcond = icmp eq i32 %inc, 1000
|
|
br i1 %exitcond, label %for.cond.cleanup, label %for.body
|
|
|
|
for.cond.cleanup:
|
|
ret i32 %add
|
|
}
|