xref: /aosp_15_r20/external/llvm/test/Analysis/AssumptionCache/basic.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -disable-output -passes='print<assumptions>' 2>&1 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.assume(i1)
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Workerdefine void @test1(i32 %a) {
8*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Cached assumptions for function: test1
9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: icmp ne i32 %{{.*}}, 0
10*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: icmp slt i32 %{{.*}}, 0
11*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: icmp sgt i32 %{{.*}}, 0
12*9880d681SAndroid Build Coastguard Worker
13*9880d681SAndroid Build Coastguard Workerentry:
14*9880d681SAndroid Build Coastguard Worker  %cond1 = icmp ne i32 %a, 0
15*9880d681SAndroid Build Coastguard Worker  call void @llvm.assume(i1 %cond1)
16*9880d681SAndroid Build Coastguard Worker  %cond2 = icmp slt i32 %a, 0
17*9880d681SAndroid Build Coastguard Worker  call void @llvm.assume(i1 %cond2)
18*9880d681SAndroid Build Coastguard Worker  %cond3 = icmp sgt i32 %a, 0
19*9880d681SAndroid Build Coastguard Worker  call void @llvm.assume(i1 %cond3)
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Worker  ret void
22*9880d681SAndroid Build Coastguard Worker}
23