llvm/test/Transforms/SCCP/sitofp.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 float @sitofp_and(i8 %x) {
   5 ; CHECK-LABEL: @sitofp_and(
   6 ; CHECK-NEXT:    [[PX:%.*]] = and i8 [[X:%.*]], 127
   7 ; CHECK-NEXT:    [[R:%.*]] = uitofp nneg i8 [[PX]] to float
   8 ; CHECK-NEXT:    ret float [[R]]
   9 ;
  10   %px = and i8 %x, 127
  11   %r = sitofp i8 %px to float
  12   ret float %r
  13 }
  14
  15 define half @sitofp_const(i8 %x) {
  16 ; CHECK-LABEL: @sitofp_const(
  17 ; CHECK-NEXT:    ret half 0xH5140
  18 ;
  19   %r = sitofp i8 42 to half
  20   ret half %r
  21 }
  22
  23 define double @sitofp_zext(i7 %x) {
  24 ; CHECK-LABEL: @sitofp_zext(
  25 ; CHECK-NEXT:    [[PX:%.*]] = zext i7 [[X:%.*]] to i8
  26 ; CHECK-NEXT:    [[R:%.*]] = uitofp nneg i8 [[PX]] to double
  27 ; CHECK-NEXT:    ret double [[R]]
  28 ;
  29   %px = zext i7 %x to i8
  30   %r = sitofp i8 %px to double
  31   ret double %r
  32 }
  33
  34 ; negative test
  35
  36 define double @sitofp_not_nonneg(i7 %x) {
  37 ; CHECK-LABEL: @sitofp_not_nonneg(
  38 ; CHECK-NEXT:    [[PX:%.*]] = sext i7 [[X:%.*]] to i8
  39 ; CHECK-NEXT:    [[R:%.*]] = sitofp i8 [[PX]] to double
  40 ; CHECK-NEXT:    ret double [[R]]
  41 ;
  42   %px = sext i7 %x to i8
  43   %r = sitofp i8 %px to double
  44   ret double %r
  45 }
  46
  47 ; x is known non-negative in t block
  48
  49 define float @dominating_condition(i32 %x) {
  50 ; CHECK-LABEL: @dominating_condition(
  51 ; CHECK-NEXT:  entry:
  52 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
  53 ; CHECK-NEXT:    br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]
  54 ; CHECK:       t:
  55 ; CHECK-NEXT:    [[A:%.*]] = uitofp nneg i32 [[X]] to float
  56 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  57 ; CHECK:       f:
  58 ; CHECK-NEXT:    br label [[EXIT]]
  59 ; CHECK:       exit:
  60 ; CHECK-NEXT:    [[COND:%.*]] = phi float [ [[A]], [[T]] ], [ 4.200000e+01, [[F]] ]
  61 ; CHECK-NEXT:    ret float [[COND]]
  62 ;
  63 entry:
  64   %cmp = icmp sge i32 %x, 0
  65   br i1 %cmp, label %t, label %f
  66
  67 t:
  68   %a = sitofp i32 %x to float
  69   br label %exit
  70
  71 f:
  72   br label %exit
  73
  74 exit:
  75   %cond = phi float [ %a, %t ], [ 42.0, %f ]
  76   ret float %cond
  77 }
  78
  79 ; x is known non-negative in f block
  80
  81 define float @dominating_condition_alt(i32 %x) {
  82 ; CHECK-LABEL: @dominating_condition_alt(
  83 ; CHECK-NEXT:  entry:
  84 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt i32 [[X:%.*]], 2000000000
  85 ; CHECK-NEXT:    br i1 [[CMP]], label [[T:%.*]], label [[F:%.*]]
  86 ; CHECK:       t:
  87 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  88 ; CHECK:       f:
  89 ; CHECK-NEXT:    [[A:%.*]] = uitofp nneg i32 [[X]] to float
  90 ; CHECK-NEXT:    br label [[EXIT]]
  91 ; CHECK:       exit:
  92 ; CHECK-NEXT:    [[COND:%.*]] = phi float [ -4.200000e+01, [[T]] ], [ [[A]], [[F]] ]
  93 ; CHECK-NEXT:    ret float [[COND]]
  94 ;
  95 entry:
  96   %cmp = icmp ugt i32 %x, 2000000000
  97   br i1 %cmp, label %t, label %f
  98
  99 t:
 100   br label %exit
 101
 102 f:
 103   %a = sitofp i32 %x to float
 104   br label %exit
 105
 106 exit:
 107   %cond = phi float [ -42.0, %t ], [ %a, %f ]
 108   ret float %cond
 109 }