test/Transforms/InstCombine/fold-intophi.ll

   1 ; RUN: opt -instcombine -S <%s | FileCheck %s
   2 ; PR5262
   3 ; Make sure the PHI node gets put in a place where all of its operands dominate it
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 @tmp2 = global i64 0                              ; <i64*> [#uses=1]
   8
   9 declare void @use(i64) nounwind
  10
  11 define void @foo(i1) nounwind align 2 {
  12 ; <label>:1
  13   br i1 %0, label %2, label %3
  14
  15 ; <label>:2                                       ; preds = %1
  16   br label %3
  17
  18 ; <label>:3                                       ; preds = %2, %1
  19 ; CHECK: <label>:3
  20 ; CHECK-NEXT: %v4 = phi i1 [ false, %2 ], [ true, %1 ]
  21 ; CHECK-NEXT: %v4_ =  phi i1 [ true, %2 ], [ false, %1 ]
  22 ; CHECK-NEXT: br label %l8
  23   %v4 = phi i8 [ 1, %2 ], [ 0, %1 ]                ; <i8> [#uses=1]
  24   %v4_ = phi i8 [ 0, %2 ], [ 1, %1 ]                ; <i8> [#uses=1]
  25   %v5 = icmp eq i8 %v4, 0                           ; <i1> [#uses=1]
  26   %v5_ = icmp eq i8 %v4_, 0                           ; <i1> [#uses=1]
  27   %v6 = load i64* @tmp2, align 8                   ; <i64> [#uses=1]
  28   %v7 = select i1 %v5, i64 0, i64 %v6                ; <i64> [#uses=1]
  29   br label %l8
  30
  31 l8:
  32   %v9 = load i64* @tmp2, align 8
  33   call void @use(i64 %v7)
  34   br label %l10
  35 l10:
  36   %v11 = select i1 %v5_, i64 0, i64 %v9                ; <i64> [#uses=1]
  37   call void @use(i64 %v11)
  38   br label %l11
  39 l11:
  40   %v12 = load i64* @tmp2, align 8
  41   %v13 = select i1 %v5_, i64 0, i64 %v12                ; <i64> [#uses=1]
  42   call void @use(i64 %v13)
  43   br i1 %0, label %l12, label %l13
  44 l12:
  45   br label %l13
  46 l13:
  47 ;CHECK: l13:
  48 ;CHECK-NEXT: %v14 = phi i64 [ %v12, %l12 ], [ 0, %l11 ]
  49 ;CHECK-NEXT: call void @use(i64 %v14)
  50   %v14 = phi i1 [0, %l12], [1, %l11]
  51   %v16 = select i1 %v14, i64 0, i64 %v12                ; <i64> [#uses=1]
  52   call void @use(i64 %v16)
  53   ret void
  54 }