[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LICM / pr32129.ll
blob2618afe463224092d0e74f4711eed6518ace0d2d
1 ; RUN: opt -S -licm -loop-unswitch -licm < %s | FileCheck %s
3 declare void @llvm.experimental.guard(i1, ...)
5 define void @test() {
6 ; CHECK-LABEL: @test(
7 ; CHECK-NOT: guard
8 entry:
9   br label %header
11 header:
12   br label %loop
14 loop:
15   %0 = icmp ult i32 0, 400
16   call void (i1, ...) @llvm.experimental.guard(i1 %0, i32 9) [ "deopt"() ]
17   br i1 undef, label %header, label %loop