test/Transforms/CorrelatedValuePropagation/icmp.ll

   1 ; RUN: opt -correlated-propagation -S %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.10.0"
   5
   6 ; Function Attrs: noreturn
   7 declare void @check1(i1) #1
   8
   9 ; Function Attrs: noreturn
  10 declare void @check2(i1) #1
  11
  12 ; Make sure we propagate the value of %tmp35 to the true/false cases
  13 ; CHECK-LABEL: @test1
  14 ; CHECK: call void @check1(i1 false)
  15 ; CHECK: call void @check2(i1 true)
  16 define void @test1(i64 %tmp35) {
  17 bb:
  18   %tmp36 = icmp sgt i64 %tmp35, 0
  19   br i1 %tmp36, label %bb_true, label %bb_false
  20
  21 bb_true:
  22   %tmp47 = icmp slt i64 %tmp35, 0
  23   tail call void @check1(i1 %tmp47) #4
  24   unreachable
  25
  26 bb_false:
  27   %tmp48 = icmp sle i64 %tmp35, 0
  28   tail call void @check2(i1 %tmp48) #4
  29   unreachable
  30 }
  31
  32 ; Function Attrs: noreturn
  33 ; This is the same as test1 but with a diamond to ensure we
  34 ; get %tmp36 from both true and false BBs.
  35 ; CHECK-LABEL: @test2
  36 ; CHECK: call void @check1(i1 false)
  37 ; CHECK: call void @check2(i1 true)
  38 define void @test2(i64 %tmp35, i1 %inner_cmp) {
  39 bb:
  40   %tmp36 = icmp sgt i64 %tmp35, 0
  41   br i1 %tmp36, label %bb_true, label %bb_false
  42
  43 bb_true:
  44   br i1 %inner_cmp, label %inner_true, label %inner_false
  45
  46 inner_true:
  47   br label %merge
  48
  49 inner_false:
  50   br label %merge
  51
  52 merge:
  53   %tmp47 = icmp slt i64 %tmp35, 0
  54   tail call void @check1(i1 %tmp47) #0
  55   unreachable
  56
  57 bb_false:
  58   %tmp48 = icmp sle i64 %tmp35, 0
  59   tail call void @check2(i1 %tmp48) #4
  60   unreachable
  61 }
  62
  63 attributes #4 = { noreturn }