llvm/test/Transforms/SCCP/ranges-sext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=sccp -S %s -o -| FileCheck %s
   3
   4 define i64 @test1_sext_op_can_be_undef(i1 %c.1, i1 %c.2) {
   5 ; CHECK-LABEL: @test1_sext_op_can_be_undef(
   6 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
   7 ; CHECK:       true.1:
   8 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
   9 ; CHECK:       true.2:
  10 ; CHECK-NEXT:    br label [[EXIT]]
  11 ; CHECK:       false:
  12 ; CHECK-NEXT:    br label [[EXIT]]
  13 ; CHECK:       exit:
  14 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
  15 ; CHECK-NEXT:    [[EXT:%.*]] = sext i32 [[P]] to i64
  16 ; CHECK-NEXT:    ret i64 [[EXT]]
  17 ;
  18   br i1 %c.1, label %true.1, label %false
  19
  20 true.1:
  21   br i1 %c.2, label %true.2, label %exit
  22
  23 true.2:
  24   br label %exit
  25
  26 false:
  27   br label %exit
  28
  29 exit:
  30   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
  31   %ext = sext i32 %p to i64
  32   ret i64 %ext
  33 }
  34
  35 define i64 @test1_sext_op_can_be_undef_but_frozen(i1 %c.1, i1 %c.2) {
  36 ; CHECK-LABEL: @test1_sext_op_can_be_undef_but_frozen(
  37 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  38 ; CHECK:       true.1:
  39 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  40 ; CHECK:       true.2:
  41 ; CHECK-NEXT:    br label [[EXIT]]
  42 ; CHECK:       false:
  43 ; CHECK-NEXT:    br label [[EXIT]]
  44 ; CHECK:       exit:
  45 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
  46 ; CHECK-NEXT:    [[P_FR:%.*]] = freeze i32 [[P]]
  47 ; CHECK-NEXT:    [[EXT:%.*]] = sext i32 [[P_FR]] to i64
  48 ; CHECK-NEXT:    ret i64 [[EXT]]
  49 ;
  50   br i1 %c.1, label %true.1, label %false
  51
  52 true.1:
  53   br i1 %c.2, label %true.2, label %exit
  54
  55 true.2:
  56   br label %exit
  57
  58 false:
  59   br label %exit
  60
  61 exit:
  62   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
  63   %p.fr = freeze i32 %p
  64   %ext = sext i32 %p.fr to i64
  65   ret i64 %ext
  66 }
  67
  68 define i64 @test2(i32 %x) {
  69 ; CHECK-LABEL: @test2(
  70 ; CHECK-NEXT:    [[P:%.*]] = and i32 [[X:%.*]], 15
  71 ; CHECK-NEXT:    [[EXT:%.*]] = zext nneg i32 [[P]] to i64
  72 ; CHECK-NEXT:    ret i64 [[EXT]]
  73 ;
  74   %p = and i32 %x, 15
  75   %ext = sext i32 %p to i64
  76   ret i64 %ext
  77 }
  78
  79 define i64 @test3(i1 %c.1, i1 %c.2) {
  80 ; CHECK-LABEL: @test3(
  81 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  82 ; CHECK:       true.1:
  83 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  84 ; CHECK:       true.2:
  85 ; CHECK-NEXT:    br label [[EXIT]]
  86 ; CHECK:       false:
  87 ; CHECK-NEXT:    br label [[EXIT]]
  88 ; CHECK:       exit:
  89 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ 3, [[FALSE]] ]
  90 ; CHECK-NEXT:    [[EXT:%.*]] = zext nneg i32 [[P]] to i64
  91 ; CHECK-NEXT:    ret i64 [[EXT]]
  92 ;
  93   br i1 %c.1, label %true.1, label %false
  94
  95 true.1:
  96   br i1 %c.2, label %true.2, label %exit
  97
  98 true.2:
  99   br label %exit
 100
 101 false:
 102   br label %exit
 103
 104 exit:
 105   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ 3, %false ]
 106   %ext = sext i32 %p to i64
 107   ret i64 %ext
 108 }