test/CodeGen/Hexagon/packetize-impdef-1.ll

   1 ; RUN: llc -march=hexagon -hexagon-initial-cfg-cleanup=0 < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; Test that the compiler doesn't assert because IMPLICIT_DEF instructions are
   5 ; are added to the same packet as a use. This test case asserts if the
   6 ; IMPLICIT_DEFs are not handled properly.
   7 ;
   8 ; r0 = IMPLICIT_DEF
   9 ; r1 = IMPLICIT_DEF
  10 ; S2_storerd_io r29, 0, d0
  11
  12 ; CHECK: memd(r29+#0) = r{{[0-9]+}}:{{[0-9]+}}
  13 ; CHECK: memd(r29+#0) = r{{[0-9]+}}:{{[0-9]+}}
  14
  15 define i8** @f0(i8* %a0) local_unnamed_addr {
  16 b0:
  17   %v0 = tail call i8* @f1(i32 0)
  18   %v1 = tail call i8* @f1(i32 8)
  19   %v2 = bitcast i8* %v1 to i8**
  20   %v3 = load i32, i32* undef, align 4
  21   %v4 = tail call i8* @f4(i8* %a0, i32 0, i32 %v3)
  22   %v5 = sub nsw i32 %v3, 0
  23   br label %b1
  24
  25 b1:                                               ; preds = %b0
  26   switch i8 undef, label %b3 [
  27     i8 0, label %b4
  28     i8 92, label %b2
  29     i8 44, label %b4
  30   ]
  31
  32 b2:                                               ; preds = %b1
  33   unreachable
  34
  35 b3:                                               ; preds = %b1
  36   unreachable
  37
  38 b4:                                               ; preds = %b1, %b1
  39   br label %b5
  40
  41 b5:                                               ; preds = %b4
  42   br i1 undef, label %b27, label %b6
  43
  44 b6:                                               ; preds = %b5
  45   %v6 = ptrtoint i8* %v4 to i32
  46   %v7 = sub i32 0, %v6
  47   %v8 = call i8* @f4(i8* nonnull %v4, i32 0, i32 %v7)
  48   %v9 = call i8* @f4(i8* nonnull %v4, i32 undef, i32 %v5)
  49   br label %b7
  50
  51 b7:                                               ; preds = %b6
  52   br i1 undef, label %b8, label %b9
  53
  54 b8:                                               ; preds = %b7
  55   br label %b9
  56
  57 b9:                                               ; preds = %b8, %b7
  58   %v10 = phi i32 [ 2, %b8 ], [ 0, %b7 ]
  59   %v11 = load i8, i8* %v9, align 1
  60   switch i8 %v11, label %b12 [
  61     i8 43, label %b10
  62     i8 45, label %b10
  63   ]
  64
  65 b10:                                              ; preds = %b9, %b9
  66   br i1 undef, label %b11, label %b12
  67
  68 b11:                                              ; preds = %b10
  69   %v12 = call i64 @f6(i8* nonnull %v9, i8** nonnull undef, i32 10)
  70   %v13 = load i8*, i8** undef, align 4
  71   %v14 = ptrtoint i8* %v13 to i32
  72   br label %b15
  73
  74 b12:                                              ; preds = %b10, %b9
  75   switch i8 undef, label %b14 [
  76     i8 0, label %b13
  77     i8 46, label %b13
  78   ]
  79
  80 b13:                                              ; preds = %b12, %b12
  81   br label %b15
  82
  83 b14:                                              ; preds = %b12
  84   unreachable
  85
  86 b15:                                              ; preds = %b13, %b11
  87   %v15 = phi i32 [ undef, %b13 ], [ %v14, %b11 ]
  88   %v16 = phi i32 [ 2, %b13 ], [ 1, %b11 ]
  89   %v17 = phi i64 [ undef, %b13 ], [ %v12, %b11 ]
  90   %v18 = call i32* @f5()
  91   br label %b16
  92
  93 b16:                                              ; preds = %b15
  94   %v19 = icmp ne i32 %v10, %v16
  95   %v20 = or i1 undef, %v19
  96   br i1 %v20, label %b17, label %b18
  97
  98 b17:                                              ; preds = %b16
  99   call void @f2(i8* %v8)
 100   br label %b27
 101
 102 b18:                                              ; preds = %b16
 103   br i1 undef, label %b19, label %b20
 104
 105 b19:                                              ; preds = %b18
 106   br label %b24
 107
 108 b20:                                              ; preds = %b18
 109   %v21 = add i32 %v5, -2
 110   %v22 = sub i32 %v21, %v7
 111   %v23 = add i32 %v22, %v15
 112   %v24 = sub i32 %v23, 0
 113   br label %b21
 114
 115 b21:                                              ; preds = %b20
 116   %v25 = icmp ne i32 %v24, 2
 117   %v26 = and i1 %v25, undef
 118   br i1 %v26, label %b22, label %b23
 119
 120 b22:                                              ; preds = %b21
 121   unreachable
 122
 123 b23:                                              ; preds = %b21
 124   br label %b24
 125
 126 b24:                                              ; preds = %b23, %b19
 127   %v27 = phi i64 [ 0, %b19 ], [ %v17, %b23 ]
 128   br label %b25
 129
 130 b25:                                              ; preds = %b24
 131   %v28 = icmp sgt i64 undef, %v27
 132   br i1 %v28, label %b28, label %b26
 133
 134 b26:                                              ; preds = %b25
 135   unreachable
 136
 137 b27:                                              ; preds = %b17, %b5
 138   call void @f2(i8* %v4)
 139   call void @f2(i8* %v0)
 140   %v29 = call i8* @f3(i8* undef, i8* nonnull %a0)
 141   ret i8** %v2
 142
 143 b28:                                              ; preds = %b25
 144   call void @f2(i8* %v9)
 145   unreachable
 146 }
 147
 148 declare i8* @f1(i32) local_unnamed_addr
 149
 150 declare void @f2(i8* nocapture) local_unnamed_addr
 151
 152 declare i8* @f3(i8*, i8* nocapture readonly) local_unnamed_addr
 153
 154 declare i8* @f4(i8*, i32, i32) local_unnamed_addr
 155
 156 declare i32* @f5() local_unnamed_addr
 157
 158 declare i64 @f6(i8*, i8**, i32) local_unnamed_addr