[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LICM / pr35342.ll
blobd6af208e2f2d8923ccd6da4e077809091107b416
1 ; RUN: opt -licm -S < %s | FileCheck %s
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
4 target triple = "x86_64-unknown-linux-gnu"
6 ; CHECK-LABEL: @f1
7 ; CHECK-LABEL: bci_524:
8 ; CHECK: add i32 undef, undef
9 define void @f1(i32 %v) {
10 not_zero.lr.ph:
11   br label %not_zero
13 not_zero:
14   br i1 undef, label %bci_748 ,  label %bci_314
16 bci_314:
17   %0 = select i1 undef, i32 undef, i32 undef
18   br label %not_zero
20 bci_524:                   ; No predecessors!
21   %add = add i32 %0, %0
22   br label %bci_748
24 bci_748:
25   ret void