llvm/test/Transforms/NewGVN/pr31613.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=newgvn -enable-store-refinement -S | FileCheck %s
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ;; Both of these tests are tests of phi nodes that end up all equivalent to each other
   6 ;; Without proper leader ordering, we will end up cycling the leader between all of them and never converge.
   7
   8 define void @foo() {
   9 ; CHECK-LABEL: @foo(
  10 ; CHECK-NEXT:  bb:
  11 ; CHECK-NEXT:    br label [[BB1:%.*]]
  12 ; CHECK:       bb1:
  13 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ 1, [[BB18:%.*]] ]
  14 ; CHECK-NEXT:    br label [[BB2:%.*]]
  15 ; CHECK:       bb2:
  16 ; CHECK-NEXT:    br label [[BB4:%.*]]
  17 ; CHECK:       bb4:
  18 ; CHECK-NEXT:    br i1 undef, label [[BB18]], label [[BB7:%.*]]
  19 ; CHECK:       bb7:
  20 ; CHECK-NEXT:    br label [[BB9:%.*]]
  21 ; CHECK:       bb9:
  22 ; CHECK-NEXT:    br i1 undef, label [[BB2]], label [[BB11:%.*]]
  23 ; CHECK:       bb11:
  24 ; CHECK-NEXT:    br i1 undef, label [[BB16:%.*]], label [[BB14:%.*]]
  25 ; CHECK:       bb14:
  26 ; CHECK-NEXT:    br label [[BB4]]
  27 ; CHECK:       bb16:
  28 ; CHECK-NEXT:    br label [[BB7]]
  29 ; CHECK:       bb18:
  30 ; CHECK-NEXT:    br label [[BB1]]
  31 ;
  32 bb:
  33   br label %bb1
  34
  35 bb1:                                              ; preds = %bb18, %bb
  36   %tmp = phi i32 [ 0, %bb ], [ 1, %bb18 ]
  37   br label %bb2
  38
  39 bb2:                                              ; preds = %bb9, %bb1
  40   %tmp3 = phi i32 [ %tmp, %bb1 ], [ %tmp8, %bb9 ]
  41   br label %bb4
  42
  43 bb4:                                              ; preds = %bb14, %bb2
  44   %tmp5 = phi i32 [ %tmp3, %bb2 ], [ %tmp15, %bb14 ]
  45   br i1 undef, label %bb18, label %bb7
  46
  47 bb7:                                              ; preds = %bb16, %bb4
  48   %tmp8 = phi i32 [ %tmp17, %bb16 ], [ %tmp5, %bb4 ]
  49   br label %bb9
  50
  51 bb9:                                              ; preds = %bb7
  52   br i1 undef, label %bb2, label %bb11
  53
  54 bb11:                                             ; preds = %bb9
  55   br i1 undef, label %bb16, label %bb14
  56
  57 bb14:                                             ; preds = %bb11
  58   %tmp15 = phi i32 [ %tmp8, %bb11 ]
  59   br label %bb4
  60
  61 bb16:                                             ; preds = %bb11
  62   %tmp17 = phi i32 [ %tmp8, %bb11 ]
  63   br label %bb7
  64
  65 bb18:                                             ; preds = %bb4
  66   br label %bb1
  67 }
  68
  69 %struct.a = type {}
  70 %struct.b = type {}
  71
  72 declare void @c.d.p(i64, ptr)
  73
  74 define void @e(i32 %a0, i32 %a1, ptr %p2) {
  75 ; CHECK-LABEL: @e(
  76 ; CHECK-NEXT:    [[F:%.*]] = alloca i32, align 4
  77 ; CHECK-NEXT:    store i32 [[A0:%.*]], ptr [[F]], align 4, !g !0
  78 ; CHECK-NEXT:    br label [[H:%.*]]
  79 ; CHECK:       h:
  80 ; CHECK-NEXT:    call void @c.d.p(i64 8, ptr undef)
  81 ; CHECK-NEXT:    [[I:%.*]] = load i32, ptr [[F]], align 4
  82 ; CHECK-NEXT:    [[J:%.*]] = load i32, ptr null, align 4
  83 ; CHECK-NEXT:    [[K:%.*]] = icmp eq i32 [[I]], [[J]]
  84 ; CHECK-NEXT:    br i1 [[K]], label [[L:%.*]], label [[Q:%.*]]
  85 ; CHECK:       l:
  86 ; CHECK-NEXT:    br label [[R:%.*]]
  87 ; CHECK:       q:
  88 ; CHECK-NEXT:    br label [[R]]
  89 ; CHECK:       r:
  90 ; CHECK-NEXT:    switch i32 undef, label [[N:%.*]] [
  91 ; CHECK-NEXT:    i32 0, label [[S:%.*]]
  92 ; CHECK-NEXT:    ]
  93 ; CHECK:       s:
  94 ; CHECK-NEXT:    store i32 [[A1:%.*]], ptr [[F]], align 4, !g !0
  95 ; CHECK-NEXT:    br label [[H]]
  96 ; CHECK:       n:
  97 ; CHECK-NEXT:    ret void
  98 ;
  99   %f = alloca i32
 100   store i32 %a0, ptr %f, !g !0
 101   br label %h
 102
 103 h:                                                ; preds = %s, %0
 104   call void @c.d.p(i64 8, ptr undef)
 105   %i = load i32, ptr %f
 106   %j = load i32, ptr null
 107   %k = icmp eq i32 %i, %j
 108   br i1 %k, label %l, label %q
 109
 110 l:                                                ; preds = %h
 111   br label %r
 112
 113 q:                                                ; preds = %h
 114   %m = load ptr, ptr null
 115   br label %r
 116
 117 r:                                                ; preds = %q, %l
 118   switch i32 undef, label %n [
 119   i32 0, label %s
 120   ]
 121
 122 s:                                                ; preds = %r
 123   store i32 %a1, ptr %f, !g !0
 124   br label %h
 125
 126 n:                                                ; preds = %r
 127   %o = load ptr, ptr %p2
 128   ret void
 129 }
 130
 131 !0 = !{}