test/Transforms/SROA/phi-with-duplicate-pred.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -sroa -S | FileCheck %s
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-n8:16:32:64"
   4
   5 @a = external global i16, align 1
   6
   7 define void @f2() {
   8 ; CHECK-LABEL: @f2(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br i1 undef, label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]
  11 ; CHECK:       if.then:
  12 ; CHECK-NEXT:    br label [[CLEANUP:%.*]]
  13 ; CHECK:       cleanup:
  14 ; CHECK-NEXT:    [[G_0_SROA_SPECULATE_LOAD_CLEANUP:%.*]] = load i16, i16* @a, align 1
  15 ; CHECK-NEXT:    switch i32 2, label [[CLEANUP7:%.*]] [
  16 ; CHECK-NEXT:    i32 0, label [[LBL1:%.*]]
  17 ; CHECK-NEXT:    i32 2, label [[LBL1]]
  18 ; CHECK-NEXT:    ]
  19 ; CHECK:       if.else:
  20 ; CHECK-NEXT:    br label [[LBL1]]
  21 ; CHECK:       lbl1:
  22 ; CHECK-NEXT:    [[G_0_SROA_SPECULATED:%.*]] = phi i16 [ [[G_0_SROA_SPECULATE_LOAD_CLEANUP]], [[CLEANUP]] ], [ [[G_0_SROA_SPECULATE_LOAD_CLEANUP]], [[CLEANUP]] ], [ undef, [[IF_ELSE]] ]
  23 ; CHECK-NEXT:    unreachable
  24 ; CHECK:       cleanup7:
  25 ; CHECK-NEXT:    ret void
  26 ;
  27 entry:
  28   %e = alloca i16, align 1
  29   br i1 undef, label %if.then, label %if.else
  30
  31 if.then:                                          ; preds = %entry
  32   br label %cleanup
  33
  34 cleanup:                                          ; preds = %if.then
  35   switch i32 2, label %cleanup7 [
  36   i32 0, label %lbl1
  37   i32 2, label %lbl1
  38   ]
  39
  40 if.else:                                          ; preds = %entry
  41   br label %lbl1
  42
  43 lbl1:                                             ; preds = %if.else, %cleanup, %cleanup
  44   %g.0 = phi i16* [ @a, %cleanup ], [ @a, %cleanup ], [ %e, %if.else ]
  45   %0 = load i16, i16* %g.0, align 1
  46   unreachable
  47
  48 cleanup7:                                         ; preds = %cleanup
  49   ret void
  50 }
  51