llvm/test/CodeGen/Hexagon/opt-addr-mode-subreg-use.ll

   1 ; RUN: llc -march=hexagon < %s
   2 ; REQUIRES: asserts
   3
   4 target triple = "hexagon"
   5
   6 %s.0 = type { ptr, ptr, ptr }
   7 %s.1 = type { ptr, ptr, ptr }
   8 %s.2 = type { ptr, ptr, ptr, ptr, ptr, ptr }
   9 %s.3 = type { ptr, ptr, ptr }
  10 %s.4 = type { ptr, ptr, ptr }
  11 %s.5 = type { ptr, ptr, i32 }
  12
  13 ; Function Attrs: nounwind optsize
  14 declare zeroext i1 @f0(ptr) #0 align 2
  15
  16 ; Function Attrs: nounwind optsize
  17 declare zeroext i1 @f1(ptr) #0 align 2
  18
  19 ; Function Attrs: optsize
  20 declare hidden void @f2(ptr noalias nocapture sret(i32), i32) #1 align 2
  21
  22 ; Function Attrs: optsize
  23 declare hidden void @f3(ptr noalias nocapture sret(i32), i32) #1 align 2
  24
  25 ; Function Attrs: optsize
  26 declare hidden void @f4(ptr noalias nocapture sret(i32), i32) #1 align 2
  27
  28 ; Function Attrs: optsize
  29 declare hidden void @f5(ptr noalias nocapture sret(i32), i32) #1 align 2
  30
  31 ; Function Attrs: optsize
  32 declare hidden void @f6(ptr noalias nocapture sret(i32), i32) #1 align 2
  33
  34 ; Function Attrs: optsize
  35 declare hidden void @f7(ptr noalias nocapture sret(i32), i32) #1 align 2
  36
  37 ; Function Attrs: optsize
  38 declare zeroext i1 @f8(ptr, ptr, i64) #1 align 2
  39
  40 ; Function Attrs: nounwind optsize
  41 declare ptr @f9(ptr nocapture readonly) #0 align 2
  42
  43 ; Function Attrs: optsize
  44 define void @f10(ptr %a0, ptr dereferenceable(64) %a1) #1 align 2 {
  45 b0:
  46   %v0 = alloca %s.0, align 4
  47   %v1 = alloca %s.1, align 4
  48   %v2 = alloca %s.2, align 4
  49   %v3 = alloca %s.3, align 4
  50   %v4 = alloca %s.4, align 4
  51   %v5 = alloca %s.5, align 8
  52   br i1 undef, label %b34, label %b1
  53
  54 b1:                                               ; preds = %b0
  55   br i1 undef, label %b3, label %b2
  56
  57 b2:                                               ; preds = %b1
  58   %v6 = ptrtoint ptr %v0 to i32
  59   %v7 = zext i32 %v6 to i64
  60   %v8 = shl nuw i64 %v7, 32
  61   %f2.ext = zext i32 ptrtoint (ptr @f2 to i32) to i64
  62   %v9 = or i64 %v8, %f2.ext
  63   %v10 = ptrtoint ptr %v4 to i32
  64   %v11 = zext i32 %v10 to i64
  65   %v12 = shl nuw i64 %v11, 32
  66   %f5.ext = zext i32 ptrtoint (ptr @f5 to i32) to i64
  67   %v13 = or i64 %v12, %f5.ext
  68   %v14 = ptrtoint ptr %v5 to i32
  69   %v15 = zext i32 %v14 to i64
  70   %v16 = shl nuw i64 %v15, 32
  71   %f6.ext = zext i32 ptrtoint (ptr @f6 to i32) to i64
  72   %v17 = or i64 %v16, %f6.ext
  73   %v18 = ptrtoint ptr %v1 to i32
  74   %v19 = zext i32 %v18 to i64
  75   %v20 = shl nuw i64 %v19, 32
  76   %f3.ext = zext i32 ptrtoint (ptr @f3 to i32) to i64
  77   %v21 = or i64 %v20, %f3.ext
  78   %v22 = ptrtoint ptr %v2 to i32
  79   %v23 = zext i32 %v22 to i64
  80   %v24 = shl nuw i64 %v23, 32
  81   %f4.ext = zext i32 ptrtoint (ptr @f4 to i32) to i64
  82   %v25 = or i64 %v24, %f4.ext
  83   %v26 = ptrtoint ptr %v3 to i32
  84   %v27 = zext i32 %v26 to i64
  85   %v28 = shl nuw i64 %v27, 32
  86   %f7.ext = zext i32 ptrtoint (ptr @f7 to i32) to i64
  87   %v29 = or i64 %v28, %f7.ext
  88   %v30 = call ptr @f9(ptr nonnull null) #1
  89   br i1 undef, label %b5, label %b4
  90
  91 b3:                                               ; preds = %b1
  92   unreachable
  93
  94 b4:                                               ; preds = %b2
  95   store ptr null, ptr null, align 4
  96   %v31 = call zeroext i1 @f0(ptr null) #0
  97   br i1 %v31, label %b6, label %b32
  98
  99 b5:                                               ; preds = %b2
 100   unreachable
 101
 102 b6:                                               ; preds = %b4
 103   br i1 undef, label %b7, label %b32
 104
 105 b7:                                               ; preds = %b6
 106   br i1 undef, label %b8, label %b32
 107
 108 b8:                                               ; preds = %b7
 109   br i1 undef, label %b9, label %b32
 110
 111 b9:                                               ; preds = %b8
 112   br i1 undef, label %b10, label %b32
 113
 114 b10:                                              ; preds = %b9
 115   %v32 = call zeroext i1 @f1(ptr null) #0
 116   br i1 %v32, label %b11, label %b32
 117
 118 b11:                                              ; preds = %b10
 119   br i1 undef, label %b13, label %b12
 120
 121 b12:                                              ; preds = %b11
 122   unreachable
 123
 124 b13:                                              ; preds = %b11
 125   %v33 = call zeroext i1 @f0(ptr undef) #0
 126   br i1 %v33, label %b14, label %b32
 127
 128 b14:                                              ; preds = %b13
 129   br i1 undef, label %b16, label %b15
 130
 131 b15:                                              ; preds = %b14
 132   unreachable
 133
 134 b16:                                              ; preds = %b14
 135   %v34 = call zeroext i1 @f1(ptr null) #0
 136   br i1 %v34, label %b18, label %b17
 137
 138 b17:                                              ; preds = %b16
 139   unreachable
 140
 141 b18:                                              ; preds = %b16
 142   br i1 undef, label %b19, label %b32
 143
 144 b19:                                              ; preds = %b18
 145   br i1 undef, label %b26, label %b20
 146
 147 b20:                                              ; preds = %b19
 148   br i1 undef, label %b22, label %b21
 149
 150 b21:                                              ; preds = %b20
 151   br i1 undef, label %b23, label %b32
 152
 153 b22:                                              ; preds = %b20
 154   unreachable
 155
 156 b23:                                              ; preds = %b21
 157   br i1 undef, label %b24, label %b32
 158
 159 b24:                                              ; preds = %b23
 160   %v35 = call zeroext i1 @f8(ptr nonnull %a1, ptr undef, i64 undef) #1
 161   br i1 %v35, label %b25, label %b32
 162
 163 b25:                                              ; preds = %b24
 164   %v36 = call zeroext i1 @f8(ptr nonnull %a1, ptr undef, i64 %v9) #1
 165   unreachable
 166
 167 b26:                                              ; preds = %b19
 168   br i1 undef, label %b27, label %b32
 169
 170 b27:                                              ; preds = %b26
 171   br i1 undef, label %b28, label %b32
 172
 173 b28:                                              ; preds = %b27
 174   br i1 undef, label %b31, label %b29
 175
 176 b29:                                              ; preds = %b28
 177   %v37 = call zeroext i1 @f8(ptr nonnull %a1, ptr null, i64 %v21) #1
 178   %v38 = call zeroext i1 @f8(ptr nonnull %a1, ptr undef, i64 %v25) #1
 179   br i1 %v38, label %b30, label %b32
 180
 181 b30:                                              ; preds = %b29
 182   %v39 = call zeroext i1 @f8(ptr nonnull %a1, ptr undef, i64 %v29) #1
 183   unreachable
 184
 185 b31:                                              ; preds = %b28
 186   %v40 = call zeroext i1 @f8(ptr nonnull %a1, ptr null, i64 %v13) #1
 187   %v41 = call zeroext i1 @f8(ptr nonnull %a1, ptr undef, i64 %v17) #1
 188   br i1 %v41, label %b33, label %b32
 189
 190 b32:                                              ; preds = %b31, %b29, %b27, %b26, %b24, %b23, %b21, %b18, %b13, %b10, %b9, %b8, %b7, %b6, %b4
 191   unreachable
 192
 193 b33:                                              ; preds = %b31
 194   store ptr %a0, ptr undef, align 4
 195   unreachable
 196
 197 b34:                                              ; preds = %b0
 198   ret void
 199 }
 200
 201 attributes #0 = { nounwind optsize }
 202 attributes #1 = { optsize }