23 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2 3; InstCombine should preserve the call to @llvm.assume.4define i32 @icmp(i32 %a, i32 %b) {5; CHECK-LABEL: @icmp(6 %sum = add i32 %a, %b7 %1 = icmp sge i32 %sum, 08 call void @llvm.assume(i1 %1)9; CHECK: call void @llvm.assume10 ret i32 %sum11}12 13define float @fcmp(float %a, float %b) {14; CHECK-LABEL: @fcmp(15 %sum = fadd float %a, %b16 %1 = fcmp oge float %sum, 0.017 call void @llvm.assume(i1 %1)18; CHECK: call void @llvm.assume19 ret float %sum20}21 22declare void @llvm.assume(i1)23