mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 20:12:56 +02:00
0147c610be
I had already factored this analysis specifically to enable doing this, but hadn't actually committed the necessary wiring to get at this from the new pass manager. This also nicely shows how the separate cache object can be directly managed by the new pass manager. This analysis didn't have any direct tests and so I've added a printer pass and a boring test case. I chose to print the i1 value which is being assumed rather than the call to llvm.assume as that seems much more useful for testing... but suggestions on an even better printing strategy welcome. My main goal was to make sure things actually work. =] llvm-svn: 226868
23 lines
585 B
LLVM
23 lines
585 B
LLVM
; RUN: opt < %s -disable-output -passes='print<assumptions>' 2>&1 | FileCheck %s
|
|
|
|
target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
declare void @llvm.assume(i1)
|
|
|
|
define void @test1(i32 %a) {
|
|
; CHECK-LABEL: Cached assumptions for function: test1
|
|
; CHECK-NEXT: icmp ne i32 %{{.*}}, 0
|
|
; CHECK-NEXT: icmp slt i32 %{{.*}}, 0
|
|
; CHECK-NEXT: icmp sgt i32 %{{.*}}, 0
|
|
|
|
entry:
|
|
%cond1 = icmp ne i32 %a, 0
|
|
call void @llvm.assume(i1 %cond1)
|
|
%cond2 = icmp slt i32 %a, 0
|
|
call void @llvm.assume(i1 %cond2)
|
|
%cond3 = icmp sgt i32 %a, 0
|
|
call void @llvm.assume(i1 %cond3)
|
|
|
|
ret void
|
|
}
|