llvm/test/Transforms/SCCP/ashr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=ipsccp -S < %s | FileCheck %s
   3
   4 define i8 @ashr_and(i8 %x) {
   5 ; CHECK-LABEL: @ashr_and(
   6 ; CHECK-NEXT:    [[PX:%.*]] = and i8 [[X:%.*]], 127
   7 ; CHECK-NEXT:    [[R:%.*]] = lshr i8 [[PX]], 1
   8 ; CHECK-NEXT:    ret i8 [[R]]
   9 ;
  10   %px = and i8 %x, 127
  11   %r = ashr i8 %px, 1
  12   ret i8 %r
  13 }
  14
  15 define i8 @ashr_const(i8 %x) {
  16 ; CHECK-LABEL: @ashr_const(
  17 ; CHECK-NEXT:    [[R:%.*]] = lshr i8 42, [[X:%.*]]
  18 ; CHECK-NEXT:    ret i8 [[R]]
  19 ;
  20   %r = ashr i8 42, %x
  21   ret i8 %r
  22 }
  23
  24 define i8 @ashr_zext(i7 %x, i8 %y) {
  25 ; CHECK-LABEL: @ashr_zext(
  26 ; CHECK-NEXT:    [[PX:%.*]] = zext i7 [[X:%.*]] to i8
  27 ; CHECK-NEXT:    [[R:%.*]] = lshr i8 [[PX]], [[Y:%.*]]
  28 ; CHECK-NEXT:    ret i8 [[R]]
  29 ;
  30   %px = zext i7 %x to i8
  31   %r = ashr i8 %px, %y
  32   ret i8 %r
  33 }
  34
  35 ; negative test
  36
  37 define i8 @ashr_not_nonneg(i7 %x, i8 %y) {
  38 ; CHECK-LABEL: @ashr_not_nonneg(
  39 ; CHECK-NEXT:    [[PX:%.*]] = sext i7 [[X:%.*]] to i8
  40 ; CHECK-NEXT:    [[R:%.*]] = ashr i8 [[PX]], [[Y:%.*]]
  41 ; CHECK-NEXT:    ret i8 [[R]]
  42 ;
  43   %px = sext i7 %x to i8
  44   %r = ashr i8 %px, %y
  45   ret i8 %r
  46 }
  47
  48 ; x is known non-negative in t block
  49
  50 define i32 @dominating_condition(i32 %x) {
  51 ; CHECK-LABEL: @dominating_condition(
  52 ; CHECK-NEXT:  entry:
  53 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
  54 ; CHECK-NEXT:    br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]
  55 ; CHECK:       t:
  56 ; CHECK-NEXT:    [[A:%.*]] = lshr i32 [[X]], 16
  57 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  58 ; CHECK:       f:
  59 ; CHECK-NEXT:    br label [[EXIT]]
  60 ; CHECK:       exit:
  61 ; CHECK-NEXT:    [[COND:%.*]] = phi i32 [ [[A]], [[T]] ], [ 42, [[F]] ]
  62 ; CHECK-NEXT:    ret i32 [[COND]]
  63 ;
  64 entry:
  65   %cmp = icmp sge i32 %x, 0
  66   br i1 %cmp, label %t, label %f
  67
  68 t:
  69   %a = ashr i32 %x, 16
  70   br label %exit
  71
  72 f:
  73   br label %exit
  74
  75 exit:
  76   %cond = phi i32 [ %a, %t ], [ 42, %f ]
  77   ret i32 %cond
  78 }
  79
  80 ; x is known non-negative in f block
  81
  82 define i32 @dominating_condition_alt(i32 %x, i32 %y) {
  83 ; CHECK-LABEL: @dominating_condition_alt(
  84 ; CHECK-NEXT:  entry:
  85 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], 2000000000
  86 ; CHECK-NEXT:    br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]
  87 ; CHECK:       t:
  88 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  89 ; CHECK:       f:
  90 ; CHECK-NEXT:    [[A:%.*]] = lshr i32 [[X]], [[Y:%.*]]
  91 ; CHECK-NEXT:    br label [[EXIT]]
  92 ; CHECK:       exit:
  93 ; CHECK-NEXT:    [[COND:%.*]] = phi i32 [ -42, [[T]] ], [ [[A]], [[F]] ]
  94 ; CHECK-NEXT:    ret i32 [[COND]]
  95 ;
  96 entry:
  97   %cmp = icmp ugt i32 %x, 2000000000
  98   br i1 %cmp, label %t, label %f
  99
 100 t:
 101   br label %exit
 102
 103 f:
 104   %a = ashr i32 %x, %y
 105   br label %exit
 106
 107 exit:
 108   %cond = phi i32 [ -42, %t ], [ %a, %f ]
 109   ret i32 %cond
 110 }