[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr21651.ll
blobbc8fe61772622ac114b17911fe12e0206fbc9bc9
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; Provide legal integer types.
5 target datalayout = "n8:16:32:64"
7 define void @PR21651() {
8 ; CHECK-LABEL: @PR21651(
9 ; CHECK-NEXT:    switch i1 false, label %out [
10 ; CHECK-NEXT:    i1 false, label %out
11 ; CHECK-NEXT:    i1 true, label %out
12 ; CHECK-NEXT:    ]
13 ; CHECK:       out:
14 ; CHECK-NEXT:    ret void
16   switch i2 0, label %out [
17   i2 0, label %out
18   i2 1, label %out
19   ]
21 out:
22   ret void