[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / CodeGenPrepare / X86 / pr35658.ll
blobbf6d02974757e7b08703103491ae78c02e2bf547
1 ; RUN: opt -S -codegenprepare -disable-complex-addr-modes=false -addr-sink-new-phis=true -addr-sink-new-select=true  %s | FileCheck %s
2 target datalayout =
3 "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
4 target triple = "x86_64-unknown-linux-gnu"
5 define void @f2() {
6 entry:
7   %arraydecay = getelementptr inbounds [2 x i16], [2 x i16]* undef, i16 0, i16 0
8   %arrayidx1 = getelementptr inbounds [2 x i16], [2 x i16]* undef, i16 0, i16 1
9   br label %for.body
11 for.body:                                         ; preds = %for.body, %entry
12   %e.03 = phi i16* [ %arraydecay, %entry ], [ %arrayidx1, %for.body ]
13   %tobool = icmp eq i16 undef, 0
14   br i1 undef, label %for.body, label %for.end
16 for.end:                                          ; preds = %for.body
17 ; CHECK: sunkaddr
18   %e.1.le = select i1 %tobool, i16* %arrayidx1, i16* %e.03
19   store i16 0, i16* %e.1.le, align 1
20   ret void