RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-14 01:20:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[LICM] Add tests highlighting missing hoists for intrinsics [NFC]

Browse Source 
llvm-svn: 339054
This commit is contained in:
Philip Reames 2018-08-06 21:06:15 +00:00
parent d42ceaba64
commit 2991bf0f1a
3 changed files with 49 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/Transforms/LICM/assume.ll
View File

@ -35,8 +35,10 @@ for.end104:
define void @f_1(i1 %cond, i32* %ptr) {
; CHECK-LABEL: @f_1(
; CHECK-LABEL: entry:
; CHECK: %val = load i32, i32* %ptr
; CHECK-NEXT: br label %loop
; CHECK-LABEL: loop:
; CHECK: call void @llvm.assume(i1 %cond)
entry:
br label %loop

23
test/Transforms/LICM/guards.ll Normal file
View File

@ -0,0 +1,23 @@
; RUN: opt -licm -basicaa < %s -S | FileCheck %s
; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<targetir>,require<scalar-evolution>,require<opt-remark-emit>,loop(licm)' < %s -S | FileCheck %s
; TODO: should be able to hoist both guard and load
define void @test1(i1 %cond, i32* %ptr) {
; CHECK-LABEL: @test1(
; CHECK-LABEL: entry:
; CHECK-LABEL: loop:
; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %cond)
; CHECK: %val = load i32, i32* %ptr
entry:
br label %loop
loop:
%x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]
call void (i1, ...) @llvm.experimental.guard(i1 %cond) ["deopt" (i32 0)]
%val = load i32, i32* %ptr
%x.inc = add i32 %x, %val
br label %loop
}
declare void @llvm.experimental.guard(i1, ...)

23
test/Transforms/LICM/invariant.start.ll Normal file
View File

@ -0,0 +1,23 @@
; RUN: opt -licm -basicaa < %s -S | FileCheck %s
; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<targetir>,require<scalar-evolution>,require<opt-remark-emit>,loop(licm)' < %s -S | FileCheck %s
; TODO: should be able to hoist both load and invariant.start
define void @test1(i1 %cond, i32* %ptr) {
; CHECK-LABEL: @test1(
; CHECK-LABEL: entry:
; CHECK-LABEL: loop:
; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
; CHECK: %val = load i32, i32* %ptr
entry:
br label %loop
loop:
%x = phi i32 [ 0, %entry ], [ %x.inc, %loop ]
call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
%val = load i32, i32* %ptr
%x.inc = add i32 %x, %val
br label %loop
}
declare {}* @llvm.invariant.start.p0i32(i64, i32*)