llvm/test/Analysis/ScalarEvolution/add-like-or.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt < %s -S -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
   3
   4 define i8 @or-of-constant-with-no-common-bits-set(i8 %x, i8 %y) {
   5 ; CHECK-LABEL: 'or-of-constant-with-no-common-bits-set'
   6 ; CHECK-NEXT:  Classifying expressions for: @or-of-constant-with-no-common-bits-set
   7 ; CHECK-NEXT:    %t0 = shl i8 %x, 2
   8 ; CHECK-NEXT:    --> (4 * %x) U: [0,-3) S: [-128,125)
   9 ; CHECK-NEXT:    %r = or disjoint i8 %t0, 3
  10 ; CHECK-NEXT:    --> (3 + (4 * %x))<nuw><nsw> U: [3,0) S: [-125,-128)
  11 ; CHECK-NEXT:  Determining loop execution counts for: @or-of-constant-with-no-common-bits-set
  12 ;
  13   %t0 = shl i8 %x, 2
  14   %r = or disjoint i8 %t0, 3
  15   ret i8 %r
  16 }
  17
  18 define i8 @or-disjoint(i8 %x, i8 %y) {
  19 ; CHECK-LABEL: 'or-disjoint'
  20 ; CHECK-NEXT:  Classifying expressions for: @or-disjoint
  21 ; CHECK-NEXT:    %or = or disjoint i8 %x, %y
  22 ; CHECK-NEXT:    --> (%x + %y) U: full-set S: full-set
  23 ; CHECK-NEXT:  Determining loop execution counts for: @or-disjoint
  24 ;
  25   %or = or disjoint i8 %x, %y
  26   ret i8 %or
  27 }
  28
  29 define i8 @or-no-disjoint(i8 %x, i8 %y) {
  30 ; CHECK-LABEL: 'or-no-disjoint'
  31 ; CHECK-NEXT:  Classifying expressions for: @or-no-disjoint
  32 ; CHECK-NEXT:    %or = or i8 %x, %y
  33 ; CHECK-NEXT:    --> %or U: full-set S: full-set
  34 ; CHECK-NEXT:  Determining loop execution counts for: @or-no-disjoint
  35 ;
  36   %or = or i8 %x, %y
  37   ret i8 %or
  38 }
  39
  40 ; FIXME: We could add nuw nsw flags here.
  41 define noundef i8 @or-disjoint-transfer-flags(i8 %x, i8 %y) {
  42 ; CHECK-LABEL: 'or-disjoint-transfer-flags'
  43 ; CHECK-NEXT:  Classifying expressions for: @or-disjoint-transfer-flags
  44 ; CHECK-NEXT:    %or = or disjoint i8 %x, %y
  45 ; CHECK-NEXT:    --> (%x + %y) U: full-set S: full-set
  46 ; CHECK-NEXT:  Determining loop execution counts for: @or-disjoint-transfer-flags
  47 ;
  48   %or = or disjoint i8 %x, %y
  49   ret i8 %or
  50 }
  51
  52 define void @mask-high(i64 %arg, ptr dereferenceable(4) %arg1) {
  53 ; CHECK-LABEL: 'mask-high'
  54 ; CHECK-NEXT:  Classifying expressions for: @mask-high
  55 ; CHECK-NEXT:    %i = load i32, ptr %arg1, align 4
  56 ; CHECK-NEXT:    --> %i U: full-set S: full-set
  57 ; CHECK-NEXT:    %i2 = sext i32 %i to i64
  58 ; CHECK-NEXT:    --> (sext i32 %i to i64) U: [-2147483648,2147483648) S: [-2147483648,2147483648)
  59 ; CHECK-NEXT:    %i3 = and i64 %arg, -16
  60 ; CHECK-NEXT:    --> (16 * (%arg /u 16))<nuw> U: [0,-15) S: [-9223372036854775808,9223372036854775793)
  61 ; CHECK-NEXT:    %i4 = or disjoint i64 1, %i3
  62 ; CHECK-NEXT:    --> (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw> U: [1,-14) S: [-9223372036854775807,9223372036854775794)
  63 ; CHECK-NEXT:    %i7 = phi i64 [ %i4, %bb ], [ %i8, %bb6 ]
  64 ; CHECK-NEXT:    --> {(1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>,+,1}<%bb6> U: full-set S: full-set Exits: ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>) LoopDispositions: { %bb6: Computable }
  65 ; CHECK-NEXT:    %i8 = add i64 %i7, 1
  66 ; CHECK-NEXT:    --> {(2 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>,+,1}<%bb6> U: full-set S: full-set Exits: (1 + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))<nsw> LoopDispositions: { %bb6: Computable }
  67 ; CHECK-NEXT:  Determining loop execution counts for: @mask-high
  68 ; CHECK-NEXT:  Loop %bb6: backedge-taken count is (-1 + (-16 * (%arg /u 16)) + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))
  69 ; CHECK-NEXT:  Loop %bb6: constant max backedge-taken count is -9223372034707292162
  70 ; CHECK-NEXT:  Loop %bb6: symbolic max backedge-taken count is (-1 + (-16 * (%arg /u 16)) + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))
  71 ; CHECK-NEXT:  Loop %bb6: Predicated backedge-taken count is (-1 + (-16 * (%arg /u 16)) + ((sext i32 %i to i64) smax (1 + (16 * (%arg /u 16))<nuw>)<nuw><nsw>))
  72 ; CHECK-NEXT:   Predicates:
  73 ; CHECK-NEXT:  Loop %bb6: Trip multiple is 1
  74 ;
  75 bb:
  76   %i = load i32, ptr %arg1, align 4
  77   %i2 = sext i32 %i to i64
  78   %i3 = and i64 %arg, -16
  79   %i4 = or disjoint i64 1, %i3
  80   %i5 = icmp sgt i64 %i4, %i2
  81   br i1 %i5, label %bb10, label %bb6
  82
  83 bb6:                                              ; preds = %bb6, %bb
  84   %i7 = phi i64 [ %i4, %bb ], [ %i8, %bb6 ]
  85   %i8 = add i64 %i7, 1
  86   %i9 = icmp slt i64 %i7, %i2
  87   br i1 %i9, label %bb6, label %bb10
  88
  89 bb10:                                             ; preds = %bb6, %bb
  90   ret void
  91 }