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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=ipsccp -S %s -o -| FileCheck %s
   3
   4 define i64 @test1(i32 %x) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i32 [[X:%.*]], 0
   7 ; CHECK-NEXT:    br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
   8 ; CHECK:       true:
   9 ; CHECK-NEXT:    [[EXT_1:%.*]] = sext i32 [[X]] to i64
  10 ; CHECK-NEXT:    ret i64 [[EXT_1]]
  11 ; CHECK:       false:
  12 ; CHECK-NEXT:    [[EXT_2:%.*]] = sext i32 [[X]] to i64
  13 ; CHECK-NEXT:    ret i64 [[EXT_2]]
  14 ;
  15   %c = icmp sgt i32 %x, 0
  16   br i1 %c, label %true, label %false
  17
  18 true:
  19   %ext.1 = sext i32 %x to i64
  20   ret i64 %ext.1
  21
  22 false:
  23   %ext.2 = sext i32 %x to i64
  24   ret i64 %ext.2
  25 }
  26
  27 define i64 @test2(i32 %x) {
  28 ; CHECK-LABEL: @test2(
  29 ; CHECK-NEXT:    [[C:%.*]] = icmp sge i32 [[X:%.*]], 0
  30 ; CHECK-NEXT:    br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
  31 ; CHECK:       true:
  32 ; CHECK-NEXT:    [[EXT_1:%.*]] = sext i32 [[X]] to i64
  33 ; CHECK-NEXT:    ret i64 [[EXT_1]]
  34 ; CHECK:       false:
  35 ; CHECK-NEXT:    [[EXT_2:%.*]] = sext i32 [[X]] to i64
  36 ; CHECK-NEXT:    ret i64 [[EXT_2]]
  37 ;
  38   %c = icmp sge i32 %x, 0
  39   br i1 %c, label %true, label %false
  40
  41 true:
  42   %ext.1 = sext i32 %x to i64
  43   ret i64 %ext.1
  44
  45 false:
  46   %ext.2 = sext i32 %x to i64
  47   ret i64 %ext.2
  48 }
  49
  50
  51 define i64 @test3(i32 %x) {
  52 ; CHECK-LABEL: @test3(
  53 ; CHECK-NEXT:    [[C:%.*]] = icmp sge i32 [[X:%.*]], -1
  54 ; CHECK-NEXT:    br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
  55 ; CHECK:       true:
  56 ; CHECK-NEXT:    [[EXT_1:%.*]] = sext i32 [[X]] to i64
  57 ; CHECK-NEXT:    ret i64 [[EXT_1]]
  58 ; CHECK:       false:
  59 ; CHECK-NEXT:    [[EXT_2:%.*]] = sext i32 [[X]] to i64
  60 ; CHECK-NEXT:    ret i64 [[EXT_2]]
  61 ;
  62   %c = icmp sge i32 %x, -1
  63   br i1 %c, label %true, label %false
  64
  65 true:
  66   %ext.1 = sext i32 %x to i64
  67   ret i64 %ext.1
  68
  69 false:
  70   %ext.2 = sext i32 %x to i64
  71   ret i64 %ext.2
  72 }
  73
  74 define i64 @test4_sext_op_can_be_undef(i1 %c.1, i1 %c.2) {
  75 ; CHECK-LABEL: @test4_sext_op_can_be_undef(
  76 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  77 ; CHECK:       true.1:
  78 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  79 ; CHECK:       true.2:
  80 ; CHECK-NEXT:    br label [[EXIT]]
  81 ; CHECK:       false:
  82 ; CHECK-NEXT:    br label [[EXIT]]
  83 ; CHECK:       exit:
  84 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
  85 ; CHECK-NEXT:    [[EXT:%.*]] = sext i32 [[P]] to i64
  86 ; CHECK-NEXT:    ret i64 [[EXT]]
  87 ;
  88   br i1 %c.1, label %true.1, label %false
  89
  90 true.1:
  91   br i1 %c.2, label %true.2, label %exit
  92
  93 true.2:
  94   br label %exit
  95
  96 false:
  97   br label %exit
  98
  99 exit:
 100   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
 101   %ext = sext i32 %p to i64
 102   ret i64 %ext
 103 }
 104
 105 define i64 @test5(i32 %x) {
 106 ; CHECK-LABEL: @test5(
 107 ; CHECK-NEXT:    [[P:%.*]] = and i32 [[X:%.*]], 15
 108 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i32 [[P]] to i64
 109 ; CHECK-NEXT:    ret i64 [[TMP1]]
 110 ;
 111   %p = and i32 %x, 15
 112   %ext = sext i32 %p to i64
 113   ret i64 %ext
 114 }
 115
 116 ; sext is constant folded before sext -> zext conversion.
 117 define i64 @test6(i32 %x) {
 118 ; CHECK-LABEL: @test6(
 119 ; CHECK-NEXT:    ret i64 10
 120 ;
 121   %ext = sext i32 10 to i64
 122   ret i64 %ext
 123 }
 124
 125 ; sext that can be converted to zext feeds another sext.
 126 define i64 @test7(i16 %x) {
 127 ; CHECK-LABEL: @test7(
 128 ; CHECK-NEXT:    [[P:%.*]] = and i16 [[X:%.*]], 15
 129 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i16 [[P]] to i32
 130 ; CHECK-NEXT:    [[EXT_2:%.*]] = sext i32 [[TMP1]] to i64
 131 ; CHECK-NEXT:    ret i64 [[EXT_2]]
 132 ;
 133   %p = and i16 %x, 15
 134   %ext.1 = sext i16 %p to i32
 135   %ext.2 = sext i32 %ext.1 to i64
 136   ret i64 %ext.2
 137 }