[ARM] Split large truncating MVE stores
[llvm-complete.git] / test / Analysis / ValueTracking / known-signbit-shift.ll
blob7e9f1c2e70cd7655cac292f6208b66c5788479be
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; Result of left shifting a non-negative integer
5 ; with nsw flag should also be non-negative
6 define i1 @test_shift_nonnegative(i32 %a) {
7 ; CHECK-LABEL: @test_shift_nonnegative(
8 ; CHECK-NEXT:    ret i1 true
10   %b = lshr i32 %a, 2
11   %shift = shl nsw i32 %b, 3
12   %cmp = icmp sge i32 %shift, 0
13   ret i1 %cmp
16 ; Result of left shifting a negative integer with
17 ; nsw flag should also be negative
18 define i1 @test_shift_negative(i32 %a, i32 %b) {
19 ; CHECK-LABEL: @test_shift_negative(
20 ; CHECK-NEXT:    ret i1 true
22   %c = or i32 %a, -2147483648
23   %d = and i32 %b, 7
24   %shift = shl nsw i32 %c, %d
25   %cmp = icmp slt i32 %shift, 0
26   ret i1 %cmp
29 ; If sign bit is a known zero, it cannot be a known one.
30 ; This test should not crash opt. The shift produces poison.
31 define i32 @test_no_sign_bit_conflict1(i1 %b) {
32 ; CHECK-LABEL: @test_no_sign_bit_conflict1(
33 ; CHECK-NEXT:    ret i32 0
35   %sel = select i1 %b, i32 8193, i32 8192
36   %mul = shl nsw i32 %sel, 18
37   ret i32 %mul
40 ; If sign bit is a known one, it cannot be a known zero.
41 ; This test should not crash opt. The shift produces poison.
42 define i32 @test_no_sign_bit_conflict2(i1 %b) {
43 ; CHECK-LABEL: @test_no_sign_bit_conflict2(
44 ; CHECK-NEXT:    ret i32 0
46   %sel = select i1 %b, i32 -8193, i32 -8194
47   %mul = shl nsw i32 %sel, 18
48   ret i32 %mul