llvm/test/Transforms/CorrelatedValuePropagation/uitofp.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 = uitofp 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 define void @test2_fail(i32 %n) {
  32 ; CHECK-LABEL: @test2_fail(
  33 ; CHECK-NEXT:  entry:
  34 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -2
  35 ; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
  36 ; CHECK:       bb:
  37 ; CHECK-NEXT:    [[EXT_WIDE:%.*]] = uitofp i32 [[N]] to float
  38 ; CHECK-NEXT:    call void @use.f32(float [[EXT_WIDE]])
  39 ; CHECK-NEXT:    br label [[EXIT]]
  40 ; CHECK:       exit:
  41 ; CHECK-NEXT:    ret void
  42 ;
  43 entry:
  44   %cmp = icmp sgt i32 %n, -2
  45   br i1 %cmp, label %bb, label %exit
  46
  47 bb:
  48   %ext.wide = uitofp i32 %n to float
  49   call void @use.f32(float %ext.wide)
  50   br label %exit
  51
  52 exit:
  53   ret void
  54 }
  55
  56 define float @may_including_undef(i1 %c.1, i1 %c.2) {
  57 ; CHECK-LABEL: @may_including_undef(
  58 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
  59 ; CHECK:       true.1:
  60 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
  61 ; CHECK:       true.2:
  62 ; CHECK-NEXT:    br label [[EXIT]]
  63 ; CHECK:       false:
  64 ; CHECK-NEXT:    br label [[EXIT]]
  65 ; CHECK:       exit:
  66 ; CHECK-NEXT:    [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
  67 ; CHECK-NEXT:    [[EXT:%.*]] = uitofp i32 [[P]] to float
  68 ; CHECK-NEXT:    ret float [[EXT]]
  69 ;
  70   br i1 %c.1, label %true.1, label %false
  71
  72 true.1:
  73   br i1 %c.2, label %true.2, label %exit
  74
  75 true.2:
  76   br label %exit
  77
  78 false:
  79   br label %exit
  80
  81 exit:
  82   %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
  83   %ext = uitofp i32 %p to float
  84   ret float %ext
  85 }
  86
  87 define double @test_infer_at_use(i32 noundef %n) {
  88 ; CHECK-LABEL: @test_infer_at_use(
  89 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[N:%.*]], -1
  90 ; CHECK-NEXT:    [[EXT:%.*]] = uitofp nneg i32 [[N]] to double
  91 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], double [[EXT]], double 0.000000e+00
  92 ; CHECK-NEXT:    ret double [[SELECT]]
  93 ;
  94   %cmp = icmp sgt i32 %n, -1
  95   %ext = uitofp i32 %n to double
  96   %select = select i1 %cmp, double %ext, double 0.0
  97   ret double %select
  98 }