1f5123fecSDaniel Jasper; RUN: opt < %s -disable-output -passes='print<assumptions>' 2>&1 | FileCheck %s 2f5123fecSDaniel Jasper 3f5123fecSDaniel Jaspertarget datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" 4f5123fecSDaniel Jasper 5f5123fecSDaniel Jasperdeclare void @llvm.assume(i1) 6f5123fecSDaniel Jasper 7f5123fecSDaniel Jasperdefine void @test1(i32 %a) { 8f5123fecSDaniel Jasper; CHECK-LABEL: Cached assumptions for function: test1 9*606aa622SMichael Kruse; CHECK-NEXT: icmp ne i32 %{{.*}}, 0 10*606aa622SMichael Kruse; CHECK-NEXT: icmp slt i32 %{{.*}}, 0 11*606aa622SMichael Kruse; CHECK-NEXT: icmp sgt i32 %{{.*}}, 0 12f5123fecSDaniel Jasper 13f5123fecSDaniel Jasperentry: 14f5123fecSDaniel Jasper %cond1 = icmp ne i32 %a, 0 15f5123fecSDaniel Jasper call void @llvm.assume(i1 %cond1) 16f5123fecSDaniel Jasper %cond2 = icmp slt i32 %a, 0 17f5123fecSDaniel Jasper call void @llvm.assume(i1 %cond2) 18f5123fecSDaniel Jasper %cond3 = icmp sgt i32 %a, 0 19f5123fecSDaniel Jasper call void @llvm.assume(i1 %cond3) 20f5123fecSDaniel Jasper 21f5123fecSDaniel Jasper ret void 22f5123fecSDaniel Jasper} 23