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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -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 @test2(i32 %x) {
  36 ; CHECK-LABEL: @test2(
  37 ; CHECK-NEXT:    [[P:%.*]] = and i32 [[X:%.*]], 15
  38 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i32 [[P]] to i64
  39 ; CHECK-NEXT:    ret i64 [[TMP1]]
  40 ;
  41   %p = and i32 %x, 15
  42   %ext = sext i32 %p to i64
  43   ret i64 %ext
  44 }
  45
  46 define i64 @test3(i1 %c.1, i1 %c.2) {
  47 ; CHECK-LABEL: @test3(
  48 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  49 ; CHECK:       true.1:
  50 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  51 ; CHECK:       true.2:
  52 ; CHECK-NEXT:    br label [[EXIT]]
  53 ; CHECK:       false:
  54 ; CHECK-NEXT:    br label [[EXIT]]
  55 ; CHECK:       exit:
  56 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ 3, [[FALSE]] ]
  57 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i32 [[P]] to i64
  58 ; CHECK-NEXT:    ret i64 [[TMP1]]
  59 ;
  60   br i1 %c.1, label %true.1, label %false
  61
  62 true.1:
  63   br i1 %c.2, label %true.2, label %exit
  64
  65 true.2:
  66   br label %exit
  67
  68 false:
  69   br label %exit
  70
  71 exit:
  72   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ 3, %false ]
  73   %ext = sext i32 %p to i64
  74   ret i64 %ext
  75 }