llvm/test/Transforms/CorrelatedValuePropagation/sitofp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
   3
   4 declare void @use.f32(float)
   5
   6 define void @test1(i32 %n) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1
  10 ; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
  11 ; CHECK:       bb:
  12 ; CHECK-NEXT:    [[EXT_WIDE:%.*]] = uitofp nneg i32 [[N]] to float
  13 ; CHECK-NEXT:    call void @use.f32(float [[EXT_WIDE]])
  14 ; CHECK-NEXT:    br label [[EXIT]]
  15 ; CHECK:       exit:
  16 ; CHECK-NEXT:    ret void
  17 ;
  18 entry:
  19   %cmp = icmp sgt i32 %n, -1
  20   br i1 %cmp, label %bb, label %exit
  21
  22 bb:
  23   %ext.wide = sitofp i32 %n to float
  24   call void @use.f32(float %ext.wide)
  25   br label %exit
  26
  27 exit:
  28   ret void
  29 }
  30
  31
  32 define void @test2_fail(i32 %n) {
  33 ; CHECK-LABEL: @test2_fail(
  34 ; CHECK-NEXT:  entry:
  35 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -2
  36 ; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
  37 ; CHECK:       bb:
  38 ; CHECK-NEXT:    [[EXT_WIDE:%.*]] = sitofp i32 [[N]] to float
  39 ; CHECK-NEXT:    call void @use.f32(float [[EXT_WIDE]])
  40 ; CHECK-NEXT:    br label [[EXIT]]
  41 ; CHECK:       exit:
  42 ; CHECK-NEXT:    ret void
  43 ;
  44 entry:
  45   %cmp = icmp sgt i32 %n, -2
  46   br i1 %cmp, label %bb, label %exit
  47
  48 bb:
  49   %ext.wide = sitofp i32 %n to float
  50   call void @use.f32(float %ext.wide)
  51   br label %exit
  52
  53 exit:
  54   ret void
  55 }
  56
  57 define float @may_including_undef(i1 %c.1, i1 %c.2) {
  58 ; CHECK-LABEL: @may_including_undef(
  59 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  60 ; CHECK:       true.1:
  61 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  62 ; CHECK:       true.2:
  63 ; CHECK-NEXT:    br label [[EXIT]]
  64 ; CHECK:       false:
  65 ; CHECK-NEXT:    br label [[EXIT]]
  66 ; CHECK:       exit:
  67 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
  68 ; CHECK-NEXT:    [[EXT:%.*]] = sitofp i32 [[P]] to float
  69 ; CHECK-NEXT:    ret float [[EXT]]
  70 ;
  71   br i1 %c.1, label %true.1, label %false
  72
  73 true.1:
  74   br i1 %c.2, label %true.2, label %exit
  75
  76 true.2:
  77   br label %exit
  78
  79 false:
  80   br label %exit
  81
  82 exit:
  83   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
  84   %ext = sitofp i32 %p to float
  85   ret float %ext
  86 }
  87
  88 define double @test_infer_at_use(i32 noundef %n) {
  89 ; CHECK-LABEL: @test_infer_at_use(
  90 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1
  91 ; CHECK-NEXT:    [[EXT:%.*]] = uitofp nneg i32 [[N]] to double
  92 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+00
  93 ; CHECK-NEXT:    ret double [[SELECT]]
  94 ;
  95   %cmp = icmp sgt i32 %n, -1
  96   %ext = sitofp i32 %n to double
  97   %select = select i1 %cmp, double %ext, double 0.0
  98   ret double %select
  99 }