diff options
| author | Daniel Jasper <djasper@google.com> | 2016-12-19 08:32:13 +0000 |
|---|---|---|
| committer | Daniel Jasper <djasper@google.com> | 2016-12-19 08:32:13 +0000 |
| commit | f5123fecfee995ff76874bb7ea15a3bc2d3d531f (patch) | |
| tree | d774e3da681335142a8a4d7871714222786e9f95 /llvm/test | |
| parent | aec2fa352f533d230ab50b6c3002a1a664c9d6c2 (diff) | |
| download | bcm5719-llvm-f5123fecfee995ff76874bb7ea15a3bc2d3d531f.tar.gz bcm5719-llvm-f5123fecfee995ff76874bb7ea15a3bc2d3d531f.zip | |
Add files I seem to have dropped in my revert (r290086).
Sorry!
llvm-svn: 290087
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Analysis/AssumptionCache/basic.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/llvm/test/Analysis/AssumptionCache/basic.ll b/llvm/test/Analysis/AssumptionCache/basic.ll new file mode 100644 index 00000000000..bd4e7b6449f --- /dev/null +++ b/llvm/test/Analysis/AssumptionCache/basic.ll @@ -0,0 +1,22 @@ +; 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 +} |
