llvm/test/CodeGen/RISCV/inline-asm-mem-constraint.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -verify-machineinstrs -no-integrated-as < %s \
   3 ; RUN:   | FileCheck -check-prefixes=RV32I %s
   4 ; RUN: llc -mtriple=riscv64 -verify-machineinstrs -no-integrated-as < %s \
   5 ; RUN:   | FileCheck -check-prefixes=RV64I %s
   6 ; RUN: llc -mtriple=riscv32 -code-model=medium -verify-machineinstrs -no-integrated-as < %s \
   7 ; RUN:   | FileCheck -check-prefixes=RV32I-MEDIUM %s
   8 ; RUN: llc -mtriple=riscv64 -code-model=medium -verify-machineinstrs -no-integrated-as < %s \
   9 ; RUN:   | FileCheck -check-prefixes=RV64I-MEDIUM %s
  10
  11 @eg = external global [4000 x i32], align 4
  12 @ewg = extern_weak global [4000 x i32], align 4
  13
  14 define void @constraint_m_1(ptr %a) nounwind {
  15 ; RV32I-LABEL: constraint_m_1:
  16 ; RV32I:       # %bb.0:
  17 ; RV32I-NEXT:    #APP
  18 ; RV32I-NEXT:    #NO_APP
  19 ; RV32I-NEXT:    ret
  20 ;
  21 ; RV64I-LABEL: constraint_m_1:
  22 ; RV64I:       # %bb.0:
  23 ; RV64I-NEXT:    #APP
  24 ; RV64I-NEXT:    #NO_APP
  25 ; RV64I-NEXT:    ret
  26 ;
  27 ; RV32I-MEDIUM-LABEL: constraint_m_1:
  28 ; RV32I-MEDIUM:       # %bb.0:
  29 ; RV32I-MEDIUM-NEXT:    #APP
  30 ; RV32I-MEDIUM-NEXT:    #NO_APP
  31 ; RV32I-MEDIUM-NEXT:    ret
  32 ;
  33 ; RV64I-MEDIUM-LABEL: constraint_m_1:
  34 ; RV64I-MEDIUM:       # %bb.0:
  35 ; RV64I-MEDIUM-NEXT:    #APP
  36 ; RV64I-MEDIUM-NEXT:    #NO_APP
  37 ; RV64I-MEDIUM-NEXT:    ret
  38   call void asm sideeffect "", "=*m"(ptr elementtype(i32) %a)
  39   ret void
  40 }
  41
  42 define i32 @constraint_m_2(ptr %a) nounwind {
  43 ; RV32I-LABEL: constraint_m_2:
  44 ; RV32I:       # %bb.0:
  45 ; RV32I-NEXT:    #APP
  46 ; RV32I-NEXT:    lw a0, 0(a0)
  47 ; RV32I-NEXT:    #NO_APP
  48 ; RV32I-NEXT:    ret
  49 ;
  50 ; RV64I-LABEL: constraint_m_2:
  51 ; RV64I:       # %bb.0:
  52 ; RV64I-NEXT:    #APP
  53 ; RV64I-NEXT:    lw a0, 0(a0)
  54 ; RV64I-NEXT:    #NO_APP
  55 ; RV64I-NEXT:    ret
  56 ;
  57 ; RV32I-MEDIUM-LABEL: constraint_m_2:
  58 ; RV32I-MEDIUM:       # %bb.0:
  59 ; RV32I-MEDIUM-NEXT:    #APP
  60 ; RV32I-MEDIUM-NEXT:    lw a0, 0(a0)
  61 ; RV32I-MEDIUM-NEXT:    #NO_APP
  62 ; RV32I-MEDIUM-NEXT:    ret
  63 ;
  64 ; RV64I-MEDIUM-LABEL: constraint_m_2:
  65 ; RV64I-MEDIUM:       # %bb.0:
  66 ; RV64I-MEDIUM-NEXT:    #APP
  67 ; RV64I-MEDIUM-NEXT:    lw a0, 0(a0)
  68 ; RV64I-MEDIUM-NEXT:    #NO_APP
  69 ; RV64I-MEDIUM-NEXT:    ret
  70   %1 = tail call i32 asm "lw $0, $1", "=r,*m"(ptr elementtype(i32) %a)
  71   ret i32 %1
  72 }
  73
  74 define i32 @constraint_m_with_offset(ptr %a) nounwind {
  75 ; RV32I-LABEL: constraint_m_with_offset:
  76 ; RV32I:       # %bb.0:
  77 ; RV32I-NEXT:    #APP
  78 ; RV32I-NEXT:    lw a0, 4(a0)
  79 ; RV32I-NEXT:    #NO_APP
  80 ; RV32I-NEXT:    ret
  81 ;
  82 ; RV64I-LABEL: constraint_m_with_offset:
  83 ; RV64I:       # %bb.0:
  84 ; RV64I-NEXT:    #APP
  85 ; RV64I-NEXT:    lw a0, 4(a0)
  86 ; RV64I-NEXT:    #NO_APP
  87 ; RV64I-NEXT:    ret
  88 ;
  89 ; RV32I-MEDIUM-LABEL: constraint_m_with_offset:
  90 ; RV32I-MEDIUM:       # %bb.0:
  91 ; RV32I-MEDIUM-NEXT:    #APP
  92 ; RV32I-MEDIUM-NEXT:    lw a0, 4(a0)
  93 ; RV32I-MEDIUM-NEXT:    #NO_APP
  94 ; RV32I-MEDIUM-NEXT:    ret
  95 ;
  96 ; RV64I-MEDIUM-LABEL: constraint_m_with_offset:
  97 ; RV64I-MEDIUM:       # %bb.0:
  98 ; RV64I-MEDIUM-NEXT:    #APP
  99 ; RV64I-MEDIUM-NEXT:    lw a0, 4(a0)
 100 ; RV64I-MEDIUM-NEXT:    #NO_APP
 101 ; RV64I-MEDIUM-NEXT:    ret
 102   %1 = getelementptr i32, ptr %a, i32 1
 103   %2 = tail call i32 asm "lw $0, $1", "=r,*m"(ptr elementtype(i32) %1)
 104   ret i32 %2
 105 }
 106
 107 define void @constraint_m_with_global_1() nounwind {
 108 ; RV32I-LABEL: constraint_m_with_global_1:
 109 ; RV32I:       # %bb.0:
 110 ; RV32I-NEXT:    lui a0, %hi(eg)
 111 ; RV32I-NEXT:    #APP
 112 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
 113 ; RV32I-NEXT:    #NO_APP
 114 ; RV32I-NEXT:    ret
 115 ;
 116 ; RV64I-LABEL: constraint_m_with_global_1:
 117 ; RV64I:       # %bb.0:
 118 ; RV64I-NEXT:    lui a0, %hi(eg)
 119 ; RV64I-NEXT:    #APP
 120 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
 121 ; RV64I-NEXT:    #NO_APP
 122 ; RV64I-NEXT:    ret
 123 ;
 124 ; RV32I-MEDIUM-LABEL: constraint_m_with_global_1:
 125 ; RV32I-MEDIUM:       # %bb.0:
 126 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi0:
 127 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 128 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi0)
 129 ; RV32I-MEDIUM-NEXT:    #APP
 130 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 131 ; RV32I-MEDIUM-NEXT:    #NO_APP
 132 ; RV32I-MEDIUM-NEXT:    ret
 133 ;
 134 ; RV64I-MEDIUM-LABEL: constraint_m_with_global_1:
 135 ; RV64I-MEDIUM:       # %bb.0:
 136 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi0:
 137 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 138 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi0)
 139 ; RV64I-MEDIUM-NEXT:    #APP
 140 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 141 ; RV64I-MEDIUM-NEXT:    #NO_APP
 142 ; RV64I-MEDIUM-NEXT:    ret
 143   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) @eg)
 144   ret void
 145 }
 146
 147 define void @constraint_m_with_global_2() nounwind {
 148 ; RV32I-LABEL: constraint_m_with_global_2:
 149 ; RV32I:       # %bb.0:
 150 ; RV32I-NEXT:    lui a0, %hi(eg)
 151 ; RV32I-NEXT:    addi a0, a0, %lo(eg)
 152 ; RV32I-NEXT:    #APP
 153 ; RV32I-NEXT:    sw zero, 4(a0)
 154 ; RV32I-NEXT:    #NO_APP
 155 ; RV32I-NEXT:    ret
 156 ;
 157 ; RV64I-LABEL: constraint_m_with_global_2:
 158 ; RV64I:       # %bb.0:
 159 ; RV64I-NEXT:    lui a0, %hi(eg)
 160 ; RV64I-NEXT:    addi a0, a0, %lo(eg)
 161 ; RV64I-NEXT:    #APP
 162 ; RV64I-NEXT:    sw zero, 4(a0)
 163 ; RV64I-NEXT:    #NO_APP
 164 ; RV64I-NEXT:    ret
 165 ;
 166 ; RV32I-MEDIUM-LABEL: constraint_m_with_global_2:
 167 ; RV32I-MEDIUM:       # %bb.0:
 168 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi1:
 169 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 170 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi1)
 171 ; RV32I-MEDIUM-NEXT:    #APP
 172 ; RV32I-MEDIUM-NEXT:    sw zero, 4(a0)
 173 ; RV32I-MEDIUM-NEXT:    #NO_APP
 174 ; RV32I-MEDIUM-NEXT:    ret
 175 ;
 176 ; RV64I-MEDIUM-LABEL: constraint_m_with_global_2:
 177 ; RV64I-MEDIUM:       # %bb.0:
 178 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi1:
 179 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 180 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi1)
 181 ; RV64I-MEDIUM-NEXT:    #APP
 182 ; RV64I-MEDIUM-NEXT:    sw zero, 4(a0)
 183 ; RV64I-MEDIUM-NEXT:    #NO_APP
 184 ; RV64I-MEDIUM-NEXT:    ret
 185   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 1))
 186   ret void
 187 }
 188
 189 define void @constraint_m_with_global_3() nounwind {
 190 ; RV32I-LABEL: constraint_m_with_global_3:
 191 ; RV32I:       # %bb.0:
 192 ; RV32I-NEXT:    lui a0, %hi(eg+8000)
 193 ; RV32I-NEXT:    addi a0, a0, %lo(eg+8000)
 194 ; RV32I-NEXT:    #APP
 195 ; RV32I-NEXT:    sw zero, 0(a0)
 196 ; RV32I-NEXT:    #NO_APP
 197 ; RV32I-NEXT:    ret
 198 ;
 199 ; RV64I-LABEL: constraint_m_with_global_3:
 200 ; RV64I:       # %bb.0:
 201 ; RV64I-NEXT:    lui a0, %hi(eg+8000)
 202 ; RV64I-NEXT:    addi a0, a0, %lo(eg+8000)
 203 ; RV64I-NEXT:    #APP
 204 ; RV64I-NEXT:    sw zero, 0(a0)
 205 ; RV64I-NEXT:    #NO_APP
 206 ; RV64I-NEXT:    ret
 207 ;
 208 ; RV32I-MEDIUM-LABEL: constraint_m_with_global_3:
 209 ; RV32I-MEDIUM:       # %bb.0:
 210 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi2:
 211 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
 212 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi2)
 213 ; RV32I-MEDIUM-NEXT:    #APP
 214 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 215 ; RV32I-MEDIUM-NEXT:    #NO_APP
 216 ; RV32I-MEDIUM-NEXT:    ret
 217 ;
 218 ; RV64I-MEDIUM-LABEL: constraint_m_with_global_3:
 219 ; RV64I-MEDIUM:       # %bb.0:
 220 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi2:
 221 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
 222 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi2)
 223 ; RV64I-MEDIUM-NEXT:    #APP
 224 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 225 ; RV64I-MEDIUM-NEXT:    #NO_APP
 226 ; RV64I-MEDIUM-NEXT:    ret
 227   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 2000))
 228   ret void
 229 }
 230
 231 define void @constraint_m_with_extern_weak_global_1() nounwind {
 232 ; RV32I-LABEL: constraint_m_with_extern_weak_global_1:
 233 ; RV32I:       # %bb.0:
 234 ; RV32I-NEXT:    lui a0, %hi(ewg)
 235 ; RV32I-NEXT:    #APP
 236 ; RV32I-NEXT:    sw zero, %lo(ewg)(a0)
 237 ; RV32I-NEXT:    #NO_APP
 238 ; RV32I-NEXT:    ret
 239 ;
 240 ; RV64I-LABEL: constraint_m_with_extern_weak_global_1:
 241 ; RV64I:       # %bb.0:
 242 ; RV64I-NEXT:    lui a0, %hi(ewg)
 243 ; RV64I-NEXT:    #APP
 244 ; RV64I-NEXT:    sw zero, %lo(ewg)(a0)
 245 ; RV64I-NEXT:    #NO_APP
 246 ; RV64I-NEXT:    ret
 247 ;
 248 ; RV32I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_1:
 249 ; RV32I-MEDIUM:       # %bb.0:
 250 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi3:
 251 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 252 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi3)(a0)
 253 ; RV32I-MEDIUM-NEXT:    #APP
 254 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 255 ; RV32I-MEDIUM-NEXT:    #NO_APP
 256 ; RV32I-MEDIUM-NEXT:    ret
 257 ;
 258 ; RV64I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_1:
 259 ; RV64I-MEDIUM:       # %bb.0:
 260 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi3:
 261 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 262 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi3)(a0)
 263 ; RV64I-MEDIUM-NEXT:    #APP
 264 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 265 ; RV64I-MEDIUM-NEXT:    #NO_APP
 266 ; RV64I-MEDIUM-NEXT:    ret
 267   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) @ewg)
 268   ret void
 269 }
 270
 271 define void @constraint_m_with_extern_weak_global_2() nounwind {
 272 ; RV32I-LABEL: constraint_m_with_extern_weak_global_2:
 273 ; RV32I:       # %bb.0:
 274 ; RV32I-NEXT:    lui a0, %hi(ewg)
 275 ; RV32I-NEXT:    addi a0, a0, %lo(ewg)
 276 ; RV32I-NEXT:    #APP
 277 ; RV32I-NEXT:    sw zero, 4(a0)
 278 ; RV32I-NEXT:    #NO_APP
 279 ; RV32I-NEXT:    ret
 280 ;
 281 ; RV64I-LABEL: constraint_m_with_extern_weak_global_2:
 282 ; RV64I:       # %bb.0:
 283 ; RV64I-NEXT:    lui a0, %hi(ewg)
 284 ; RV64I-NEXT:    addi a0, a0, %lo(ewg)
 285 ; RV64I-NEXT:    #APP
 286 ; RV64I-NEXT:    sw zero, 4(a0)
 287 ; RV64I-NEXT:    #NO_APP
 288 ; RV64I-NEXT:    ret
 289 ;
 290 ; RV32I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_2:
 291 ; RV32I-MEDIUM:       # %bb.0:
 292 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi4:
 293 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 294 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi4)(a0)
 295 ; RV32I-MEDIUM-NEXT:    #APP
 296 ; RV32I-MEDIUM-NEXT:    sw zero, 4(a0)
 297 ; RV32I-MEDIUM-NEXT:    #NO_APP
 298 ; RV32I-MEDIUM-NEXT:    ret
 299 ;
 300 ; RV64I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_2:
 301 ; RV64I-MEDIUM:       # %bb.0:
 302 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi4:
 303 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 304 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi4)(a0)
 305 ; RV64I-MEDIUM-NEXT:    #APP
 306 ; RV64I-MEDIUM-NEXT:    sw zero, 4(a0)
 307 ; RV64I-MEDIUM-NEXT:    #NO_APP
 308 ; RV64I-MEDIUM-NEXT:    ret
 309   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 1))
 310   ret void
 311 }
 312
 313 define void @constraint_m_with_extern_weak_global_3() nounwind {
 314 ; RV32I-LABEL: constraint_m_with_extern_weak_global_3:
 315 ; RV32I:       # %bb.0:
 316 ; RV32I-NEXT:    lui a0, %hi(ewg+8000)
 317 ; RV32I-NEXT:    addi a0, a0, %lo(ewg+8000)
 318 ; RV32I-NEXT:    #APP
 319 ; RV32I-NEXT:    sw zero, 0(a0)
 320 ; RV32I-NEXT:    #NO_APP
 321 ; RV32I-NEXT:    ret
 322 ;
 323 ; RV64I-LABEL: constraint_m_with_extern_weak_global_3:
 324 ; RV64I:       # %bb.0:
 325 ; RV64I-NEXT:    lui a0, %hi(ewg+8000)
 326 ; RV64I-NEXT:    addi a0, a0, %lo(ewg+8000)
 327 ; RV64I-NEXT:    #APP
 328 ; RV64I-NEXT:    sw zero, 0(a0)
 329 ; RV64I-NEXT:    #NO_APP
 330 ; RV64I-NEXT:    ret
 331 ;
 332 ; RV32I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_3:
 333 ; RV32I-MEDIUM:       # %bb.0:
 334 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi5:
 335 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 336 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi5)(a0)
 337 ; RV32I-MEDIUM-NEXT:    lui a1, 2
 338 ; RV32I-MEDIUM-NEXT:    addi a1, a1, -192
 339 ; RV32I-MEDIUM-NEXT:    add a0, a0, a1
 340 ; RV32I-MEDIUM-NEXT:    #APP
 341 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 342 ; RV32I-MEDIUM-NEXT:    #NO_APP
 343 ; RV32I-MEDIUM-NEXT:    ret
 344 ;
 345 ; RV64I-MEDIUM-LABEL: constraint_m_with_extern_weak_global_3:
 346 ; RV64I-MEDIUM:       # %bb.0:
 347 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi5:
 348 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
 349 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi5)(a0)
 350 ; RV64I-MEDIUM-NEXT:    lui a1, 2
 351 ; RV64I-MEDIUM-NEXT:    addiw a1, a1, -192
 352 ; RV64I-MEDIUM-NEXT:    add a0, a0, a1
 353 ; RV64I-MEDIUM-NEXT:    #APP
 354 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 355 ; RV64I-MEDIUM-NEXT:    #NO_APP
 356 ; RV64I-MEDIUM-NEXT:    ret
 357   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 2000))
 358   ret void
 359 }
 360
 361 define void @constraint_m_with_local_1() nounwind {
 362 ; RV32I-LABEL: constraint_m_with_local_1:
 363 ; RV32I:       # %bb.0: # %entry
 364 ; RV32I-NEXT:  .Ltmp0: # Block address taken
 365 ; RV32I-NEXT:  # %bb.1: # %label
 366 ; RV32I-NEXT:    lui a0, %hi(.Ltmp0)
 367 ; RV32I-NEXT:    #APP
 368 ; RV32I-NEXT:    lw zero, %lo(.Ltmp0)(a0)
 369 ; RV32I-NEXT:    #NO_APP
 370 ; RV32I-NEXT:    ret
 371 ;
 372 ; RV64I-LABEL: constraint_m_with_local_1:
 373 ; RV64I:       # %bb.0: # %entry
 374 ; RV64I-NEXT:  .Ltmp0: # Block address taken
 375 ; RV64I-NEXT:  # %bb.1: # %label
 376 ; RV64I-NEXT:    lui a0, %hi(.Ltmp0)
 377 ; RV64I-NEXT:    #APP
 378 ; RV64I-NEXT:    lw zero, %lo(.Ltmp0)(a0)
 379 ; RV64I-NEXT:    #NO_APP
 380 ; RV64I-NEXT:    ret
 381 ;
 382 ; RV32I-MEDIUM-LABEL: constraint_m_with_local_1:
 383 ; RV32I-MEDIUM:       # %bb.0: # %entry
 384 ; RV32I-MEDIUM-NEXT:  .Ltmp0: # Block address taken
 385 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
 386 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi6:
 387 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp0)
 388 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi6)
 389 ; RV32I-MEDIUM-NEXT:    #APP
 390 ; RV32I-MEDIUM-NEXT:    lw zero, 0(a0)
 391 ; RV32I-MEDIUM-NEXT:    #NO_APP
 392 ; RV32I-MEDIUM-NEXT:    ret
 393 ;
 394 ; RV64I-MEDIUM-LABEL: constraint_m_with_local_1:
 395 ; RV64I-MEDIUM:       # %bb.0: # %entry
 396 ; RV64I-MEDIUM-NEXT:  .Ltmp0: # Block address taken
 397 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
 398 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi6:
 399 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp0)
 400 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi6)
 401 ; RV64I-MEDIUM-NEXT:    #APP
 402 ; RV64I-MEDIUM-NEXT:    lw zero, 0(a0)
 403 ; RV64I-MEDIUM-NEXT:    #NO_APP
 404 ; RV64I-MEDIUM-NEXT:    ret
 405 entry:
 406   br label %label
 407
 408 label:
 409   tail call void asm sideeffect "lw zero, $0", "*m"(ptr elementtype(ptr) blockaddress(@constraint_m_with_local_1, %label))
 410   ret void
 411 }
 412
 413 define void @constraint_m_with_local_2() nounwind {
 414 ; RV32I-LABEL: constraint_m_with_local_2:
 415 ; RV32I:       # %bb.0: # %entry
 416 ; RV32I-NEXT:  .Ltmp1: # Block address taken
 417 ; RV32I-NEXT:  # %bb.1: # %label
 418 ; RV32I-NEXT:    lui a0, %hi(.Ltmp1)
 419 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp1)
 420 ; RV32I-NEXT:    #APP
 421 ; RV32I-NEXT:    lw zero, 4(a0)
 422 ; RV32I-NEXT:    #NO_APP
 423 ; RV32I-NEXT:    ret
 424 ;
 425 ; RV64I-LABEL: constraint_m_with_local_2:
 426 ; RV64I:       # %bb.0: # %entry
 427 ; RV64I-NEXT:  .Ltmp1: # Block address taken
 428 ; RV64I-NEXT:  # %bb.1: # %label
 429 ; RV64I-NEXT:    lui a0, %hi(.Ltmp1)
 430 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp1)
 431 ; RV64I-NEXT:    #APP
 432 ; RV64I-NEXT:    lw zero, 4(a0)
 433 ; RV64I-NEXT:    #NO_APP
 434 ; RV64I-NEXT:    ret
 435 ;
 436 ; RV32I-MEDIUM-LABEL: constraint_m_with_local_2:
 437 ; RV32I-MEDIUM:       # %bb.0: # %entry
 438 ; RV32I-MEDIUM-NEXT:  .Ltmp1: # Block address taken
 439 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
 440 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi7:
 441 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp1)
 442 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi7)
 443 ; RV32I-MEDIUM-NEXT:    #APP
 444 ; RV32I-MEDIUM-NEXT:    lw zero, 4(a0)
 445 ; RV32I-MEDIUM-NEXT:    #NO_APP
 446 ; RV32I-MEDIUM-NEXT:    ret
 447 ;
 448 ; RV64I-MEDIUM-LABEL: constraint_m_with_local_2:
 449 ; RV64I-MEDIUM:       # %bb.0: # %entry
 450 ; RV64I-MEDIUM-NEXT:  .Ltmp1: # Block address taken
 451 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
 452 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi7:
 453 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp1)
 454 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi7)
 455 ; RV64I-MEDIUM-NEXT:    #APP
 456 ; RV64I-MEDIUM-NEXT:    lw zero, 4(a0)
 457 ; RV64I-MEDIUM-NEXT:    #NO_APP
 458 ; RV64I-MEDIUM-NEXT:    ret
 459 entry:
 460   br label %label
 461
 462 label:
 463   call void asm "lw zero, $0", "*m"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_m_with_local_2, %label), i32 4))
 464   ret void
 465 }
 466
 467 define void @constraint_m_with_local_3() nounwind {
 468 ; RV32I-LABEL: constraint_m_with_local_3:
 469 ; RV32I:       # %bb.0: # %entry
 470 ; RV32I-NEXT:  .Ltmp2: # Block address taken
 471 ; RV32I-NEXT:  # %bb.1: # %label
 472 ; RV32I-NEXT:    lui a0, %hi(.Ltmp2)
 473 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp2)
 474 ; RV32I-NEXT:    #APP
 475 ; RV32I-NEXT:    lw zero, 2000(a0)
 476 ; RV32I-NEXT:    #NO_APP
 477 ; RV32I-NEXT:    ret
 478 ;
 479 ; RV64I-LABEL: constraint_m_with_local_3:
 480 ; RV64I:       # %bb.0: # %entry
 481 ; RV64I-NEXT:  .Ltmp2: # Block address taken
 482 ; RV64I-NEXT:  # %bb.1: # %label
 483 ; RV64I-NEXT:    lui a0, %hi(.Ltmp2)
 484 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp2)
 485 ; RV64I-NEXT:    #APP
 486 ; RV64I-NEXT:    lw zero, 2000(a0)
 487 ; RV64I-NEXT:    #NO_APP
 488 ; RV64I-NEXT:    ret
 489 ;
 490 ; RV32I-MEDIUM-LABEL: constraint_m_with_local_3:
 491 ; RV32I-MEDIUM:       # %bb.0: # %entry
 492 ; RV32I-MEDIUM-NEXT:  .Ltmp2: # Block address taken
 493 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
 494 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi8:
 495 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp2)
 496 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi8)
 497 ; RV32I-MEDIUM-NEXT:    #APP
 498 ; RV32I-MEDIUM-NEXT:    lw zero, 2000(a0)
 499 ; RV32I-MEDIUM-NEXT:    #NO_APP
 500 ; RV32I-MEDIUM-NEXT:    ret
 501 ;
 502 ; RV64I-MEDIUM-LABEL: constraint_m_with_local_3:
 503 ; RV64I-MEDIUM:       # %bb.0: # %entry
 504 ; RV64I-MEDIUM-NEXT:  .Ltmp2: # Block address taken
 505 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
 506 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi8:
 507 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp2)
 508 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi8)
 509 ; RV64I-MEDIUM-NEXT:    #APP
 510 ; RV64I-MEDIUM-NEXT:    lw zero, 2000(a0)
 511 ; RV64I-MEDIUM-NEXT:    #NO_APP
 512 ; RV64I-MEDIUM-NEXT:    ret
 513 entry:
 514   br label %label
 515
 516 label:
 517   call void asm "lw zero, $0", "*m"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_m_with_local_3, %label), i32 2000))
 518   ret void
 519 }
 520
 521 define void @constraint_m_with_multi_operands() nounwind {
 522 ; RV32I-LABEL: constraint_m_with_multi_operands:
 523 ; RV32I:       # %bb.0:
 524 ; RV32I-NEXT:    lui a0, %hi(eg)
 525 ; RV32I-NEXT:    #APP
 526 ; RV32I-NEXT:    sw zero, %lo(eg)(a0); sw zero, %lo(eg)(a0)
 527 ; RV32I-NEXT:    #NO_APP
 528 ; RV32I-NEXT:    ret
 529 ;
 530 ; RV64I-LABEL: constraint_m_with_multi_operands:
 531 ; RV64I:       # %bb.0:
 532 ; RV64I-NEXT:    lui a0, %hi(eg)
 533 ; RV64I-NEXT:    #APP
 534 ; RV64I-NEXT:    sw zero, %lo(eg)(a0); sw zero, %lo(eg)(a0)
 535 ; RV64I-NEXT:    #NO_APP
 536 ; RV64I-NEXT:    ret
 537 ;
 538 ; RV32I-MEDIUM-LABEL: constraint_m_with_multi_operands:
 539 ; RV32I-MEDIUM:       # %bb.0:
 540 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi9:
 541 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 542 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi9)
 543 ; RV32I-MEDIUM-NEXT:    #APP
 544 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0); sw zero, 0(a0)
 545 ; RV32I-MEDIUM-NEXT:    #NO_APP
 546 ; RV32I-MEDIUM-NEXT:    ret
 547 ;
 548 ; RV64I-MEDIUM-LABEL: constraint_m_with_multi_operands:
 549 ; RV64I-MEDIUM:       # %bb.0:
 550 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi9:
 551 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 552 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi9)
 553 ; RV64I-MEDIUM-NEXT:    #APP
 554 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0); sw zero, 0(a0)
 555 ; RV64I-MEDIUM-NEXT:    #NO_APP
 556 ; RV64I-MEDIUM-NEXT:    ret
 557   call void asm "sw zero, $0; sw zero, $1", "=*m,=*m"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg)
 558   ret void
 559 }
 560
 561 define void @constraint_m_with_multi_asm() nounwind {
 562 ; RV32I-LABEL: constraint_m_with_multi_asm:
 563 ; RV32I:       # %bb.0:
 564 ; RV32I-NEXT:    lui a0, %hi(eg)
 565 ; RV32I-NEXT:    #APP
 566 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
 567 ; RV32I-NEXT:    #NO_APP
 568 ; RV32I-NEXT:    #APP
 569 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
 570 ; RV32I-NEXT:    #NO_APP
 571 ; RV32I-NEXT:    ret
 572 ;
 573 ; RV64I-LABEL: constraint_m_with_multi_asm:
 574 ; RV64I:       # %bb.0:
 575 ; RV64I-NEXT:    lui a0, %hi(eg)
 576 ; RV64I-NEXT:    #APP
 577 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
 578 ; RV64I-NEXT:    #NO_APP
 579 ; RV64I-NEXT:    #APP
 580 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
 581 ; RV64I-NEXT:    #NO_APP
 582 ; RV64I-NEXT:    ret
 583 ;
 584 ; RV32I-MEDIUM-LABEL: constraint_m_with_multi_asm:
 585 ; RV32I-MEDIUM:       # %bb.0:
 586 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi10:
 587 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 588 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi10)
 589 ; RV32I-MEDIUM-NEXT:    #APP
 590 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 591 ; RV32I-MEDIUM-NEXT:    #NO_APP
 592 ; RV32I-MEDIUM-NEXT:    #APP
 593 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 594 ; RV32I-MEDIUM-NEXT:    #NO_APP
 595 ; RV32I-MEDIUM-NEXT:    ret
 596 ;
 597 ; RV64I-MEDIUM-LABEL: constraint_m_with_multi_asm:
 598 ; RV64I-MEDIUM:       # %bb.0:
 599 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi10:
 600 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 601 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi10)
 602 ; RV64I-MEDIUM-NEXT:    #APP
 603 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 604 ; RV64I-MEDIUM-NEXT:    #NO_APP
 605 ; RV64I-MEDIUM-NEXT:    #APP
 606 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 607 ; RV64I-MEDIUM-NEXT:    #NO_APP
 608 ; RV64I-MEDIUM-NEXT:    ret
 609   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) @eg)
 610   call void asm "sw zero, $0", "=*m"(ptr elementtype(i32) @eg)
 611   ret void
 612 }
 613
 614 define i32 @constraint_m_with_callbr_multi_operands(i32 %a) {
 615 ; RV32I-LABEL: constraint_m_with_callbr_multi_operands:
 616 ; RV32I:       # %bb.0: # %entry
 617 ; RV32I-NEXT:    lui a1, %hi(eg)
 618 ; RV32I-NEXT:    #APP
 619 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); sw zero, %lo(eg)(a1); beqz a0, .LBB14_2
 620 ; RV32I-NEXT:    #NO_APP
 621 ; RV32I-NEXT:  # %bb.1: # %normal
 622 ; RV32I-NEXT:    li a0, 0
 623 ; RV32I-NEXT:    ret
 624 ; RV32I-NEXT:  .LBB14_2: # Block address taken
 625 ; RV32I-NEXT:    # %fail
 626 ; RV32I-NEXT:    # Label of block must be emitted
 627 ; RV32I-NEXT:    li a0, 1
 628 ; RV32I-NEXT:    ret
 629 ;
 630 ; RV64I-LABEL: constraint_m_with_callbr_multi_operands:
 631 ; RV64I:       # %bb.0: # %entry
 632 ; RV64I-NEXT:    lui a1, %hi(eg)
 633 ; RV64I-NEXT:    #APP
 634 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); sw zero, %lo(eg)(a1); beqz a0, .LBB14_2
 635 ; RV64I-NEXT:    #NO_APP
 636 ; RV64I-NEXT:  # %bb.1: # %normal
 637 ; RV64I-NEXT:    li a0, 0
 638 ; RV64I-NEXT:    ret
 639 ; RV64I-NEXT:  .LBB14_2: # Block address taken
 640 ; RV64I-NEXT:    # %fail
 641 ; RV64I-NEXT:    # Label of block must be emitted
 642 ; RV64I-NEXT:    li a0, 1
 643 ; RV64I-NEXT:    ret
 644 ;
 645 ; RV32I-MEDIUM-LABEL: constraint_m_with_callbr_multi_operands:
 646 ; RV32I-MEDIUM:       # %bb.0: # %entry
 647 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi11:
 648 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
 649 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi11)
 650 ; RV32I-MEDIUM-NEXT:    #APP
 651 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB14_2
 652 ; RV32I-MEDIUM-NEXT:    #NO_APP
 653 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal
 654 ; RV32I-MEDIUM-NEXT:    li a0, 0
 655 ; RV32I-MEDIUM-NEXT:    ret
 656 ; RV32I-MEDIUM-NEXT:  .LBB14_2: # Block address taken
 657 ; RV32I-MEDIUM-NEXT:    # %fail
 658 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
 659 ; RV32I-MEDIUM-NEXT:    li a0, 1
 660 ; RV32I-MEDIUM-NEXT:    ret
 661 ;
 662 ; RV64I-MEDIUM-LABEL: constraint_m_with_callbr_multi_operands:
 663 ; RV64I-MEDIUM:       # %bb.0: # %entry
 664 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi11:
 665 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
 666 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi11)
 667 ; RV64I-MEDIUM-NEXT:    #APP
 668 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB14_2
 669 ; RV64I-MEDIUM-NEXT:    #NO_APP
 670 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal
 671 ; RV64I-MEDIUM-NEXT:    li a0, 0
 672 ; RV64I-MEDIUM-NEXT:    ret
 673 ; RV64I-MEDIUM-NEXT:  .LBB14_2: # Block address taken
 674 ; RV64I-MEDIUM-NEXT:    # %fail
 675 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
 676 ; RV64I-MEDIUM-NEXT:    li a0, 1
 677 ; RV64I-MEDIUM-NEXT:    ret
 678 entry:
 679   callbr void asm "sw zero, $0; sw zero, $1; beqz $2, $3", "=*m,=*m,r,!i"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg, i32 %a) to label %normal [label %fail]
 680
 681 normal:
 682   ret i32 0
 683
 684 fail:
 685   ret i32 1
 686 }
 687
 688 define i32 @constraint_m_with_multi_callbr_asm(i32 %a) {
 689 ; RV32I-LABEL: constraint_m_with_multi_callbr_asm:
 690 ; RV32I:       # %bb.0: # %entry
 691 ; RV32I-NEXT:    lui a1, %hi(eg)
 692 ; RV32I-NEXT:    #APP
 693 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB15_3
 694 ; RV32I-NEXT:    #NO_APP
 695 ; RV32I-NEXT:  # %bb.1: # %normal0
 696 ; RV32I-NEXT:    #APP
 697 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB15_3
 698 ; RV32I-NEXT:    #NO_APP
 699 ; RV32I-NEXT:  # %bb.2: # %normal1
 700 ; RV32I-NEXT:    li a0, 0
 701 ; RV32I-NEXT:    ret
 702 ; RV32I-NEXT:  .LBB15_3: # Block address taken
 703 ; RV32I-NEXT:    # %fail
 704 ; RV32I-NEXT:    # Label of block must be emitted
 705 ; RV32I-NEXT:    li a0, 1
 706 ; RV32I-NEXT:    ret
 707 ;
 708 ; RV64I-LABEL: constraint_m_with_multi_callbr_asm:
 709 ; RV64I:       # %bb.0: # %entry
 710 ; RV64I-NEXT:    lui a1, %hi(eg)
 711 ; RV64I-NEXT:    #APP
 712 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB15_3
 713 ; RV64I-NEXT:    #NO_APP
 714 ; RV64I-NEXT:  # %bb.1: # %normal0
 715 ; RV64I-NEXT:    #APP
 716 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB15_3
 717 ; RV64I-NEXT:    #NO_APP
 718 ; RV64I-NEXT:  # %bb.2: # %normal1
 719 ; RV64I-NEXT:    li a0, 0
 720 ; RV64I-NEXT:    ret
 721 ; RV64I-NEXT:  .LBB15_3: # Block address taken
 722 ; RV64I-NEXT:    # %fail
 723 ; RV64I-NEXT:    # Label of block must be emitted
 724 ; RV64I-NEXT:    li a0, 1
 725 ; RV64I-NEXT:    ret
 726 ;
 727 ; RV32I-MEDIUM-LABEL: constraint_m_with_multi_callbr_asm:
 728 ; RV32I-MEDIUM:       # %bb.0: # %entry
 729 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi12:
 730 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
 731 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi12)
 732 ; RV32I-MEDIUM-NEXT:    #APP
 733 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB15_3
 734 ; RV32I-MEDIUM-NEXT:    #NO_APP
 735 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal0
 736 ; RV32I-MEDIUM-NEXT:    #APP
 737 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB15_3
 738 ; RV32I-MEDIUM-NEXT:    #NO_APP
 739 ; RV32I-MEDIUM-NEXT:  # %bb.2: # %normal1
 740 ; RV32I-MEDIUM-NEXT:    li a0, 0
 741 ; RV32I-MEDIUM-NEXT:    ret
 742 ; RV32I-MEDIUM-NEXT:  .LBB15_3: # Block address taken
 743 ; RV32I-MEDIUM-NEXT:    # %fail
 744 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
 745 ; RV32I-MEDIUM-NEXT:    li a0, 1
 746 ; RV32I-MEDIUM-NEXT:    ret
 747 ;
 748 ; RV64I-MEDIUM-LABEL: constraint_m_with_multi_callbr_asm:
 749 ; RV64I-MEDIUM:       # %bb.0: # %entry
 750 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi12:
 751 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
 752 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi12)
 753 ; RV64I-MEDIUM-NEXT:    #APP
 754 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB15_3
 755 ; RV64I-MEDIUM-NEXT:    #NO_APP
 756 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal0
 757 ; RV64I-MEDIUM-NEXT:    #APP
 758 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB15_3
 759 ; RV64I-MEDIUM-NEXT:    #NO_APP
 760 ; RV64I-MEDIUM-NEXT:  # %bb.2: # %normal1
 761 ; RV64I-MEDIUM-NEXT:    li a0, 0
 762 ; RV64I-MEDIUM-NEXT:    ret
 763 ; RV64I-MEDIUM-NEXT:  .LBB15_3: # Block address taken
 764 ; RV64I-MEDIUM-NEXT:    # %fail
 765 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
 766 ; RV64I-MEDIUM-NEXT:    li a0, 1
 767 ; RV64I-MEDIUM-NEXT:    ret
 768 entry:
 769   callbr void asm "sw zero, $0; beqz $1, $2", "=*m,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal0 [label %fail]
 770
 771 normal0:
 772   callbr void asm "sw zero, $0; beqz $1, $2", "=*m,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal1 [label %fail]
 773
 774 normal1:
 775   ret i32 0
 776
 777 fail:
 778   ret i32 1
 779 }
 780
 781 define void @constraint_o_1(ptr %a) nounwind {
 782 ; RV32I-LABEL: constraint_o_1:
 783 ; RV32I:       # %bb.0:
 784 ; RV32I-NEXT:    #APP
 785 ; RV32I-NEXT:    #NO_APP
 786 ; RV32I-NEXT:    ret
 787 ;
 788 ; RV64I-LABEL: constraint_o_1:
 789 ; RV64I:       # %bb.0:
 790 ; RV64I-NEXT:    #APP
 791 ; RV64I-NEXT:    #NO_APP
 792 ; RV64I-NEXT:    ret
 793 ;
 794 ; RV32I-MEDIUM-LABEL: constraint_o_1:
 795 ; RV32I-MEDIUM:       # %bb.0:
 796 ; RV32I-MEDIUM-NEXT:    #APP
 797 ; RV32I-MEDIUM-NEXT:    #NO_APP
 798 ; RV32I-MEDIUM-NEXT:    ret
 799 ;
 800 ; RV64I-MEDIUM-LABEL: constraint_o_1:
 801 ; RV64I-MEDIUM:       # %bb.0:
 802 ; RV64I-MEDIUM-NEXT:    #APP
 803 ; RV64I-MEDIUM-NEXT:    #NO_APP
 804 ; RV64I-MEDIUM-NEXT:    ret
 805   call void asm sideeffect "", "=*o"(ptr elementtype(i32) %a)
 806   ret void
 807 }
 808
 809 define i32 @constraint_o_2(ptr %a) nounwind {
 810 ; RV32I-LABEL: constraint_o_2:
 811 ; RV32I:       # %bb.0:
 812 ; RV32I-NEXT:    #APP
 813 ; RV32I-NEXT:    lw a0, 0(a0)
 814 ; RV32I-NEXT:    #NO_APP
 815 ; RV32I-NEXT:    ret
 816 ;
 817 ; RV64I-LABEL: constraint_o_2:
 818 ; RV64I:       # %bb.0:
 819 ; RV64I-NEXT:    #APP
 820 ; RV64I-NEXT:    lw a0, 0(a0)
 821 ; RV64I-NEXT:    #NO_APP
 822 ; RV64I-NEXT:    ret
 823 ;
 824 ; RV32I-MEDIUM-LABEL: constraint_o_2:
 825 ; RV32I-MEDIUM:       # %bb.0:
 826 ; RV32I-MEDIUM-NEXT:    #APP
 827 ; RV32I-MEDIUM-NEXT:    lw a0, 0(a0)
 828 ; RV32I-MEDIUM-NEXT:    #NO_APP
 829 ; RV32I-MEDIUM-NEXT:    ret
 830 ;
 831 ; RV64I-MEDIUM-LABEL: constraint_o_2:
 832 ; RV64I-MEDIUM:       # %bb.0:
 833 ; RV64I-MEDIUM-NEXT:    #APP
 834 ; RV64I-MEDIUM-NEXT:    lw a0, 0(a0)
 835 ; RV64I-MEDIUM-NEXT:    #NO_APP
 836 ; RV64I-MEDIUM-NEXT:    ret
 837   %1 = tail call i32 asm "lw $0, $1", "=r,*o"(ptr elementtype(i32) %a)
 838   ret i32 %1
 839 }
 840
 841 define i32 @constraint_o_with_offset(ptr %a) nounwind {
 842 ; RV32I-LABEL: constraint_o_with_offset:
 843 ; RV32I:       # %bb.0:
 844 ; RV32I-NEXT:    #APP
 845 ; RV32I-NEXT:    lw a0, 4(a0)
 846 ; RV32I-NEXT:    #NO_APP
 847 ; RV32I-NEXT:    ret
 848 ;
 849 ; RV64I-LABEL: constraint_o_with_offset:
 850 ; RV64I:       # %bb.0:
 851 ; RV64I-NEXT:    #APP
 852 ; RV64I-NEXT:    lw a0, 4(a0)
 853 ; RV64I-NEXT:    #NO_APP
 854 ; RV64I-NEXT:    ret
 855 ;
 856 ; RV32I-MEDIUM-LABEL: constraint_o_with_offset:
 857 ; RV32I-MEDIUM:       # %bb.0:
 858 ; RV32I-MEDIUM-NEXT:    #APP
 859 ; RV32I-MEDIUM-NEXT:    lw a0, 4(a0)
 860 ; RV32I-MEDIUM-NEXT:    #NO_APP
 861 ; RV32I-MEDIUM-NEXT:    ret
 862 ;
 863 ; RV64I-MEDIUM-LABEL: constraint_o_with_offset:
 864 ; RV64I-MEDIUM:       # %bb.0:
 865 ; RV64I-MEDIUM-NEXT:    #APP
 866 ; RV64I-MEDIUM-NEXT:    lw a0, 4(a0)
 867 ; RV64I-MEDIUM-NEXT:    #NO_APP
 868 ; RV64I-MEDIUM-NEXT:    ret
 869   %1 = getelementptr i32, ptr %a, i32 1
 870   %2 = tail call i32 asm "lw $0, $1", "=r,*o"(ptr elementtype(i32) %1)
 871   ret i32 %2
 872 }
 873
 874 define void @constraint_o_with_global_1() nounwind {
 875 ; RV32I-LABEL: constraint_o_with_global_1:
 876 ; RV32I:       # %bb.0:
 877 ; RV32I-NEXT:    lui a0, %hi(eg)
 878 ; RV32I-NEXT:    #APP
 879 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
 880 ; RV32I-NEXT:    #NO_APP
 881 ; RV32I-NEXT:    ret
 882 ;
 883 ; RV64I-LABEL: constraint_o_with_global_1:
 884 ; RV64I:       # %bb.0:
 885 ; RV64I-NEXT:    lui a0, %hi(eg)
 886 ; RV64I-NEXT:    #APP
 887 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
 888 ; RV64I-NEXT:    #NO_APP
 889 ; RV64I-NEXT:    ret
 890 ;
 891 ; RV32I-MEDIUM-LABEL: constraint_o_with_global_1:
 892 ; RV32I-MEDIUM:       # %bb.0:
 893 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi13:
 894 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 895 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi13)
 896 ; RV32I-MEDIUM-NEXT:    #APP
 897 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 898 ; RV32I-MEDIUM-NEXT:    #NO_APP
 899 ; RV32I-MEDIUM-NEXT:    ret
 900 ;
 901 ; RV64I-MEDIUM-LABEL: constraint_o_with_global_1:
 902 ; RV64I-MEDIUM:       # %bb.0:
 903 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi13:
 904 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 905 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi13)
 906 ; RV64I-MEDIUM-NEXT:    #APP
 907 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 908 ; RV64I-MEDIUM-NEXT:    #NO_APP
 909 ; RV64I-MEDIUM-NEXT:    ret
 910   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) @eg)
 911   ret void
 912 }
 913
 914 define void @constraint_o_with_global_2() nounwind {
 915 ; RV32I-LABEL: constraint_o_with_global_2:
 916 ; RV32I:       # %bb.0:
 917 ; RV32I-NEXT:    lui a0, %hi(eg)
 918 ; RV32I-NEXT:    addi a0, a0, %lo(eg)
 919 ; RV32I-NEXT:    #APP
 920 ; RV32I-NEXT:    sw zero, 4(a0)
 921 ; RV32I-NEXT:    #NO_APP
 922 ; RV32I-NEXT:    ret
 923 ;
 924 ; RV64I-LABEL: constraint_o_with_global_2:
 925 ; RV64I:       # %bb.0:
 926 ; RV64I-NEXT:    lui a0, %hi(eg)
 927 ; RV64I-NEXT:    addi a0, a0, %lo(eg)
 928 ; RV64I-NEXT:    #APP
 929 ; RV64I-NEXT:    sw zero, 4(a0)
 930 ; RV64I-NEXT:    #NO_APP
 931 ; RV64I-NEXT:    ret
 932 ;
 933 ; RV32I-MEDIUM-LABEL: constraint_o_with_global_2:
 934 ; RV32I-MEDIUM:       # %bb.0:
 935 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi14:
 936 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 937 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi14)
 938 ; RV32I-MEDIUM-NEXT:    #APP
 939 ; RV32I-MEDIUM-NEXT:    sw zero, 4(a0)
 940 ; RV32I-MEDIUM-NEXT:    #NO_APP
 941 ; RV32I-MEDIUM-NEXT:    ret
 942 ;
 943 ; RV64I-MEDIUM-LABEL: constraint_o_with_global_2:
 944 ; RV64I-MEDIUM:       # %bb.0:
 945 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi14:
 946 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
 947 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi14)
 948 ; RV64I-MEDIUM-NEXT:    #APP
 949 ; RV64I-MEDIUM-NEXT:    sw zero, 4(a0)
 950 ; RV64I-MEDIUM-NEXT:    #NO_APP
 951 ; RV64I-MEDIUM-NEXT:    ret
 952   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 1))
 953   ret void
 954 }
 955
 956 define void @constraint_o_with_global_3() nounwind {
 957 ; RV32I-LABEL: constraint_o_with_global_3:
 958 ; RV32I:       # %bb.0:
 959 ; RV32I-NEXT:    lui a0, %hi(eg+8000)
 960 ; RV32I-NEXT:    addi a0, a0, %lo(eg+8000)
 961 ; RV32I-NEXT:    #APP
 962 ; RV32I-NEXT:    sw zero, 0(a0)
 963 ; RV32I-NEXT:    #NO_APP
 964 ; RV32I-NEXT:    ret
 965 ;
 966 ; RV64I-LABEL: constraint_o_with_global_3:
 967 ; RV64I:       # %bb.0:
 968 ; RV64I-NEXT:    lui a0, %hi(eg+8000)
 969 ; RV64I-NEXT:    addi a0, a0, %lo(eg+8000)
 970 ; RV64I-NEXT:    #APP
 971 ; RV64I-NEXT:    sw zero, 0(a0)
 972 ; RV64I-NEXT:    #NO_APP
 973 ; RV64I-NEXT:    ret
 974 ;
 975 ; RV32I-MEDIUM-LABEL: constraint_o_with_global_3:
 976 ; RV32I-MEDIUM:       # %bb.0:
 977 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi15:
 978 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
 979 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi15)
 980 ; RV32I-MEDIUM-NEXT:    #APP
 981 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
 982 ; RV32I-MEDIUM-NEXT:    #NO_APP
 983 ; RV32I-MEDIUM-NEXT:    ret
 984 ;
 985 ; RV64I-MEDIUM-LABEL: constraint_o_with_global_3:
 986 ; RV64I-MEDIUM:       # %bb.0:
 987 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi15:
 988 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
 989 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi15)
 990 ; RV64I-MEDIUM-NEXT:    #APP
 991 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
 992 ; RV64I-MEDIUM-NEXT:    #NO_APP
 993 ; RV64I-MEDIUM-NEXT:    ret
 994   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 2000))
 995   ret void
 996 }
 997
 998 define void @constraint_o_with_extern_weak_global_1() nounwind {
 999 ; RV32I-LABEL: constraint_o_with_extern_weak_global_1:
1000 ; RV32I:       # %bb.0:
1001 ; RV32I-NEXT:    lui a0, %hi(ewg)
1002 ; RV32I-NEXT:    #APP
1003 ; RV32I-NEXT:    sw zero, %lo(ewg)(a0)
1004 ; RV32I-NEXT:    #NO_APP
1005 ; RV32I-NEXT:    ret
1006 ;
1007 ; RV64I-LABEL: constraint_o_with_extern_weak_global_1:
1008 ; RV64I:       # %bb.0:
1009 ; RV64I-NEXT:    lui a0, %hi(ewg)
1010 ; RV64I-NEXT:    #APP
1011 ; RV64I-NEXT:    sw zero, %lo(ewg)(a0)
1012 ; RV64I-NEXT:    #NO_APP
1013 ; RV64I-NEXT:    ret
1014 ;
1015 ; RV32I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_1:
1016 ; RV32I-MEDIUM:       # %bb.0:
1017 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi16:
1018 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1019 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi16)(a0)
1020 ; RV32I-MEDIUM-NEXT:    #APP
1021 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1022 ; RV32I-MEDIUM-NEXT:    #NO_APP
1023 ; RV32I-MEDIUM-NEXT:    ret
1024 ;
1025 ; RV64I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_1:
1026 ; RV64I-MEDIUM:       # %bb.0:
1027 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi16:
1028 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1029 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi16)(a0)
1030 ; RV64I-MEDIUM-NEXT:    #APP
1031 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1032 ; RV64I-MEDIUM-NEXT:    #NO_APP
1033 ; RV64I-MEDIUM-NEXT:    ret
1034   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) @ewg)
1035   ret void
1036 }
1037
1038 define void @constraint_o_with_extern_weak_global_2() nounwind {
1039 ; RV32I-LABEL: constraint_o_with_extern_weak_global_2:
1040 ; RV32I:       # %bb.0:
1041 ; RV32I-NEXT:    lui a0, %hi(ewg)
1042 ; RV32I-NEXT:    addi a0, a0, %lo(ewg)
1043 ; RV32I-NEXT:    #APP
1044 ; RV32I-NEXT:    sw zero, 4(a0)
1045 ; RV32I-NEXT:    #NO_APP
1046 ; RV32I-NEXT:    ret
1047 ;
1048 ; RV64I-LABEL: constraint_o_with_extern_weak_global_2:
1049 ; RV64I:       # %bb.0:
1050 ; RV64I-NEXT:    lui a0, %hi(ewg)
1051 ; RV64I-NEXT:    addi a0, a0, %lo(ewg)
1052 ; RV64I-NEXT:    #APP
1053 ; RV64I-NEXT:    sw zero, 4(a0)
1054 ; RV64I-NEXT:    #NO_APP
1055 ; RV64I-NEXT:    ret
1056 ;
1057 ; RV32I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_2:
1058 ; RV32I-MEDIUM:       # %bb.0:
1059 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi17:
1060 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1061 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi17)(a0)
1062 ; RV32I-MEDIUM-NEXT:    #APP
1063 ; RV32I-MEDIUM-NEXT:    sw zero, 4(a0)
1064 ; RV32I-MEDIUM-NEXT:    #NO_APP
1065 ; RV32I-MEDIUM-NEXT:    ret
1066 ;
1067 ; RV64I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_2:
1068 ; RV64I-MEDIUM:       # %bb.0:
1069 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi17:
1070 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1071 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi17)(a0)
1072 ; RV64I-MEDIUM-NEXT:    #APP
1073 ; RV64I-MEDIUM-NEXT:    sw zero, 4(a0)
1074 ; RV64I-MEDIUM-NEXT:    #NO_APP
1075 ; RV64I-MEDIUM-NEXT:    ret
1076   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 1))
1077   ret void
1078 }
1079
1080 define void @constraint_o_with_extern_weak_global_3() nounwind {
1081 ; RV32I-LABEL: constraint_o_with_extern_weak_global_3:
1082 ; RV32I:       # %bb.0:
1083 ; RV32I-NEXT:    lui a0, %hi(ewg+8000)
1084 ; RV32I-NEXT:    addi a0, a0, %lo(ewg+8000)
1085 ; RV32I-NEXT:    #APP
1086 ; RV32I-NEXT:    sw zero, 0(a0)
1087 ; RV32I-NEXT:    #NO_APP
1088 ; RV32I-NEXT:    ret
1089 ;
1090 ; RV64I-LABEL: constraint_o_with_extern_weak_global_3:
1091 ; RV64I:       # %bb.0:
1092 ; RV64I-NEXT:    lui a0, %hi(ewg+8000)
1093 ; RV64I-NEXT:    addi a0, a0, %lo(ewg+8000)
1094 ; RV64I-NEXT:    #APP
1095 ; RV64I-NEXT:    sw zero, 0(a0)
1096 ; RV64I-NEXT:    #NO_APP
1097 ; RV64I-NEXT:    ret
1098 ;
1099 ; RV32I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_3:
1100 ; RV32I-MEDIUM:       # %bb.0:
1101 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi18:
1102 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1103 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi18)(a0)
1104 ; RV32I-MEDIUM-NEXT:    lui a1, 2
1105 ; RV32I-MEDIUM-NEXT:    addi a1, a1, -192
1106 ; RV32I-MEDIUM-NEXT:    add a0, a0, a1
1107 ; RV32I-MEDIUM-NEXT:    #APP
1108 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1109 ; RV32I-MEDIUM-NEXT:    #NO_APP
1110 ; RV32I-MEDIUM-NEXT:    ret
1111 ;
1112 ; RV64I-MEDIUM-LABEL: constraint_o_with_extern_weak_global_3:
1113 ; RV64I-MEDIUM:       # %bb.0:
1114 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi18:
1115 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1116 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi18)(a0)
1117 ; RV64I-MEDIUM-NEXT:    lui a1, 2
1118 ; RV64I-MEDIUM-NEXT:    addiw a1, a1, -192
1119 ; RV64I-MEDIUM-NEXT:    add a0, a0, a1
1120 ; RV64I-MEDIUM-NEXT:    #APP
1121 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1122 ; RV64I-MEDIUM-NEXT:    #NO_APP
1123 ; RV64I-MEDIUM-NEXT:    ret
1124   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 2000))
1125   ret void
1126 }
1127
1128 define void @constraint_o_with_multi_operands() nounwind {
1129 ; RV32I-LABEL: constraint_o_with_multi_operands:
1130 ; RV32I:       # %bb.0:
1131 ; RV32I-NEXT:    lui a0, %hi(eg)
1132 ; RV32I-NEXT:    #APP
1133 ; RV32I-NEXT:    sw zero, %lo(eg)(a0) \n sw zero, %lo(eg)(a0)
1134 ; RV32I-NEXT:    #NO_APP
1135 ; RV32I-NEXT:    ret
1136 ;
1137 ; RV64I-LABEL: constraint_o_with_multi_operands:
1138 ; RV64I:       # %bb.0:
1139 ; RV64I-NEXT:    lui a0, %hi(eg)
1140 ; RV64I-NEXT:    #APP
1141 ; RV64I-NEXT:    sw zero, %lo(eg)(a0) \n sw zero, %lo(eg)(a0)
1142 ; RV64I-NEXT:    #NO_APP
1143 ; RV64I-NEXT:    ret
1144 ;
1145 ; RV32I-MEDIUM-LABEL: constraint_o_with_multi_operands:
1146 ; RV32I-MEDIUM:       # %bb.0:
1147 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi19:
1148 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1149 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi19)
1150 ; RV32I-MEDIUM-NEXT:    #APP
1151 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1152 ; RV32I-MEDIUM-NEXT:    #NO_APP
1153 ; RV32I-MEDIUM-NEXT:    ret
1154 ;
1155 ; RV64I-MEDIUM-LABEL: constraint_o_with_multi_operands:
1156 ; RV64I-MEDIUM:       # %bb.0:
1157 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi19:
1158 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1159 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi19)
1160 ; RV64I-MEDIUM-NEXT:    #APP
1161 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1162 ; RV64I-MEDIUM-NEXT:    #NO_APP
1163 ; RV64I-MEDIUM-NEXT:    ret
1164   call void asm "sw zero, $0 \n sw zero, $1", "=*o,=*o"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg)
1165   ret void
1166 }
1167
1168 define void @constraint_o_with_multi_asm() nounwind {
1169 ; RV32I-LABEL: constraint_o_with_multi_asm:
1170 ; RV32I:       # %bb.0:
1171 ; RV32I-NEXT:    lui a0, %hi(eg)
1172 ; RV32I-NEXT:    #APP
1173 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
1174 ; RV32I-NEXT:    #NO_APP
1175 ; RV32I-NEXT:    #APP
1176 ; RV32I-NEXT:    sw zero, %lo(eg)(a0)
1177 ; RV32I-NEXT:    #NO_APP
1178 ; RV32I-NEXT:    ret
1179 ;
1180 ; RV64I-LABEL: constraint_o_with_multi_asm:
1181 ; RV64I:       # %bb.0:
1182 ; RV64I-NEXT:    lui a0, %hi(eg)
1183 ; RV64I-NEXT:    #APP
1184 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
1185 ; RV64I-NEXT:    #NO_APP
1186 ; RV64I-NEXT:    #APP
1187 ; RV64I-NEXT:    sw zero, %lo(eg)(a0)
1188 ; RV64I-NEXT:    #NO_APP
1189 ; RV64I-NEXT:    ret
1190 ;
1191 ; RV32I-MEDIUM-LABEL: constraint_o_with_multi_asm:
1192 ; RV32I-MEDIUM:       # %bb.0:
1193 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi20:
1194 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1195 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi20)
1196 ; RV32I-MEDIUM-NEXT:    #APP
1197 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1198 ; RV32I-MEDIUM-NEXT:    #NO_APP
1199 ; RV32I-MEDIUM-NEXT:    #APP
1200 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1201 ; RV32I-MEDIUM-NEXT:    #NO_APP
1202 ; RV32I-MEDIUM-NEXT:    ret
1203 ;
1204 ; RV64I-MEDIUM-LABEL: constraint_o_with_multi_asm:
1205 ; RV64I-MEDIUM:       # %bb.0:
1206 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi20:
1207 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1208 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi20)
1209 ; RV64I-MEDIUM-NEXT:    #APP
1210 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1211 ; RV64I-MEDIUM-NEXT:    #NO_APP
1212 ; RV64I-MEDIUM-NEXT:    #APP
1213 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1214 ; RV64I-MEDIUM-NEXT:    #NO_APP
1215 ; RV64I-MEDIUM-NEXT:    ret
1216   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) @eg)
1217   call void asm "sw zero, $0", "=*o"(ptr elementtype(i32) @eg)
1218   ret void
1219 }
1220
1221 define i32 @constraint_o_with_callbr_multi_operands(i32 %a) {
1222 ; RV32I-LABEL: constraint_o_with_callbr_multi_operands:
1223 ; RV32I:       # %bb.0: # %entry
1224 ; RV32I-NEXT:    lui a1, %hi(eg)
1225 ; RV32I-NEXT:    #APP
1226 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); sw zero, %lo(eg)(a1); beqz a0, .LBB27_2
1227 ; RV32I-NEXT:    #NO_APP
1228 ; RV32I-NEXT:  # %bb.1: # %normal
1229 ; RV32I-NEXT:    li a0, 0
1230 ; RV32I-NEXT:    ret
1231 ; RV32I-NEXT:  .LBB27_2: # Block address taken
1232 ; RV32I-NEXT:    # %fail
1233 ; RV32I-NEXT:    # Label of block must be emitted
1234 ; RV32I-NEXT:    li a0, 1
1235 ; RV32I-NEXT:    ret
1236 ;
1237 ; RV64I-LABEL: constraint_o_with_callbr_multi_operands:
1238 ; RV64I:       # %bb.0: # %entry
1239 ; RV64I-NEXT:    lui a1, %hi(eg)
1240 ; RV64I-NEXT:    #APP
1241 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); sw zero, %lo(eg)(a1); beqz a0, .LBB27_2
1242 ; RV64I-NEXT:    #NO_APP
1243 ; RV64I-NEXT:  # %bb.1: # %normal
1244 ; RV64I-NEXT:    li a0, 0
1245 ; RV64I-NEXT:    ret
1246 ; RV64I-NEXT:  .LBB27_2: # Block address taken
1247 ; RV64I-NEXT:    # %fail
1248 ; RV64I-NEXT:    # Label of block must be emitted
1249 ; RV64I-NEXT:    li a0, 1
1250 ; RV64I-NEXT:    ret
1251 ;
1252 ; RV32I-MEDIUM-LABEL: constraint_o_with_callbr_multi_operands:
1253 ; RV32I-MEDIUM:       # %bb.0: # %entry
1254 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi21:
1255 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
1256 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi21)
1257 ; RV32I-MEDIUM-NEXT:    #APP
1258 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB27_2
1259 ; RV32I-MEDIUM-NEXT:    #NO_APP
1260 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal
1261 ; RV32I-MEDIUM-NEXT:    li a0, 0
1262 ; RV32I-MEDIUM-NEXT:    ret
1263 ; RV32I-MEDIUM-NEXT:  .LBB27_2: # Block address taken
1264 ; RV32I-MEDIUM-NEXT:    # %fail
1265 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
1266 ; RV32I-MEDIUM-NEXT:    li a0, 1
1267 ; RV32I-MEDIUM-NEXT:    ret
1268 ;
1269 ; RV64I-MEDIUM-LABEL: constraint_o_with_callbr_multi_operands:
1270 ; RV64I-MEDIUM:       # %bb.0: # %entry
1271 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi21:
1272 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
1273 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi21)
1274 ; RV64I-MEDIUM-NEXT:    #APP
1275 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB27_2
1276 ; RV64I-MEDIUM-NEXT:    #NO_APP
1277 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal
1278 ; RV64I-MEDIUM-NEXT:    li a0, 0
1279 ; RV64I-MEDIUM-NEXT:    ret
1280 ; RV64I-MEDIUM-NEXT:  .LBB27_2: # Block address taken
1281 ; RV64I-MEDIUM-NEXT:    # %fail
1282 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
1283 ; RV64I-MEDIUM-NEXT:    li a0, 1
1284 ; RV64I-MEDIUM-NEXT:    ret
1285 entry:
1286   callbr void asm "sw zero, $0; sw zero, $1; beqz $2, $3", "=*m,=*m,r,!i"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg, i32 %a) to label %normal [label %fail]
1287
1288 normal:
1289   ret i32 0
1290
1291 fail:
1292   ret i32 1
1293 }
1294
1295 define i32 @constraint_o_with_multi_callbr_asm(i32 %a) {
1296 ; RV32I-LABEL: constraint_o_with_multi_callbr_asm:
1297 ; RV32I:       # %bb.0: # %entry
1298 ; RV32I-NEXT:    lui a1, %hi(eg)
1299 ; RV32I-NEXT:    #APP
1300 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB28_3
1301 ; RV32I-NEXT:    #NO_APP
1302 ; RV32I-NEXT:  # %bb.1: # %normal0
1303 ; RV32I-NEXT:    #APP
1304 ; RV32I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB28_3
1305 ; RV32I-NEXT:    #NO_APP
1306 ; RV32I-NEXT:  # %bb.2: # %normal1
1307 ; RV32I-NEXT:    li a0, 0
1308 ; RV32I-NEXT:    ret
1309 ; RV32I-NEXT:  .LBB28_3: # Block address taken
1310 ; RV32I-NEXT:    # %fail
1311 ; RV32I-NEXT:    # Label of block must be emitted
1312 ; RV32I-NEXT:    li a0, 1
1313 ; RV32I-NEXT:    ret
1314 ;
1315 ; RV64I-LABEL: constraint_o_with_multi_callbr_asm:
1316 ; RV64I:       # %bb.0: # %entry
1317 ; RV64I-NEXT:    lui a1, %hi(eg)
1318 ; RV64I-NEXT:    #APP
1319 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB28_3
1320 ; RV64I-NEXT:    #NO_APP
1321 ; RV64I-NEXT:  # %bb.1: # %normal0
1322 ; RV64I-NEXT:    #APP
1323 ; RV64I-NEXT:    sw zero, %lo(eg)(a1); beqz a0, .LBB28_3
1324 ; RV64I-NEXT:    #NO_APP
1325 ; RV64I-NEXT:  # %bb.2: # %normal1
1326 ; RV64I-NEXT:    li a0, 0
1327 ; RV64I-NEXT:    ret
1328 ; RV64I-NEXT:  .LBB28_3: # Block address taken
1329 ; RV64I-NEXT:    # %fail
1330 ; RV64I-NEXT:    # Label of block must be emitted
1331 ; RV64I-NEXT:    li a0, 1
1332 ; RV64I-NEXT:    ret
1333 ;
1334 ; RV32I-MEDIUM-LABEL: constraint_o_with_multi_callbr_asm:
1335 ; RV32I-MEDIUM:       # %bb.0: # %entry
1336 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi22:
1337 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
1338 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi22)
1339 ; RV32I-MEDIUM-NEXT:    #APP
1340 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB28_3
1341 ; RV32I-MEDIUM-NEXT:    #NO_APP
1342 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal0
1343 ; RV32I-MEDIUM-NEXT:    #APP
1344 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB28_3
1345 ; RV32I-MEDIUM-NEXT:    #NO_APP
1346 ; RV32I-MEDIUM-NEXT:  # %bb.2: # %normal1
1347 ; RV32I-MEDIUM-NEXT:    li a0, 0
1348 ; RV32I-MEDIUM-NEXT:    ret
1349 ; RV32I-MEDIUM-NEXT:  .LBB28_3: # Block address taken
1350 ; RV32I-MEDIUM-NEXT:    # %fail
1351 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
1352 ; RV32I-MEDIUM-NEXT:    li a0, 1
1353 ; RV32I-MEDIUM-NEXT:    ret
1354 ;
1355 ; RV64I-MEDIUM-LABEL: constraint_o_with_multi_callbr_asm:
1356 ; RV64I-MEDIUM:       # %bb.0: # %entry
1357 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi22:
1358 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
1359 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi22)
1360 ; RV64I-MEDIUM-NEXT:    #APP
1361 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB28_3
1362 ; RV64I-MEDIUM-NEXT:    #NO_APP
1363 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal0
1364 ; RV64I-MEDIUM-NEXT:    #APP
1365 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB28_3
1366 ; RV64I-MEDIUM-NEXT:    #NO_APP
1367 ; RV64I-MEDIUM-NEXT:  # %bb.2: # %normal1
1368 ; RV64I-MEDIUM-NEXT:    li a0, 0
1369 ; RV64I-MEDIUM-NEXT:    ret
1370 ; RV64I-MEDIUM-NEXT:  .LBB28_3: # Block address taken
1371 ; RV64I-MEDIUM-NEXT:    # %fail
1372 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
1373 ; RV64I-MEDIUM-NEXT:    li a0, 1
1374 ; RV64I-MEDIUM-NEXT:    ret
1375 entry:
1376   callbr void asm "sw zero, $0; beqz $1, $2", "=*o,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal0 [label %fail]
1377
1378 normal0:
1379   callbr void asm "sw zero, $0; beqz $1, $2", "=*o,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal1 [label %fail]
1380
1381 normal1:
1382   ret i32 0
1383
1384 fail:
1385   ret i32 1
1386 }
1387
1388 define void @constraint_o_with_local_1() nounwind {
1389 ; RV32I-LABEL: constraint_o_with_local_1:
1390 ; RV32I:       # %bb.0: # %entry
1391 ; RV32I-NEXT:  .Ltmp3: # Block address taken
1392 ; RV32I-NEXT:  # %bb.1: # %label
1393 ; RV32I-NEXT:    lui a0, %hi(.Ltmp3)
1394 ; RV32I-NEXT:    #APP
1395 ; RV32I-NEXT:    lw zero, %lo(.Ltmp3)(a0)
1396 ; RV32I-NEXT:    #NO_APP
1397 ; RV32I-NEXT:    ret
1398 ;
1399 ; RV64I-LABEL: constraint_o_with_local_1:
1400 ; RV64I:       # %bb.0: # %entry
1401 ; RV64I-NEXT:  .Ltmp3: # Block address taken
1402 ; RV64I-NEXT:  # %bb.1: # %label
1403 ; RV64I-NEXT:    lui a0, %hi(.Ltmp3)
1404 ; RV64I-NEXT:    #APP
1405 ; RV64I-NEXT:    lw zero, %lo(.Ltmp3)(a0)
1406 ; RV64I-NEXT:    #NO_APP
1407 ; RV64I-NEXT:    ret
1408 ;
1409 ; RV32I-MEDIUM-LABEL: constraint_o_with_local_1:
1410 ; RV32I-MEDIUM:       # %bb.0: # %entry
1411 ; RV32I-MEDIUM-NEXT:  .Ltmp3: # Block address taken
1412 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
1413 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi23:
1414 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp3)
1415 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi23)
1416 ; RV32I-MEDIUM-NEXT:    #APP
1417 ; RV32I-MEDIUM-NEXT:    lw zero, 0(a0)
1418 ; RV32I-MEDIUM-NEXT:    #NO_APP
1419 ; RV32I-MEDIUM-NEXT:    ret
1420 ;
1421 ; RV64I-MEDIUM-LABEL: constraint_o_with_local_1:
1422 ; RV64I-MEDIUM:       # %bb.0: # %entry
1423 ; RV64I-MEDIUM-NEXT:  .Ltmp3: # Block address taken
1424 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
1425 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi23:
1426 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp3)
1427 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi23)
1428 ; RV64I-MEDIUM-NEXT:    #APP
1429 ; RV64I-MEDIUM-NEXT:    lw zero, 0(a0)
1430 ; RV64I-MEDIUM-NEXT:    #NO_APP
1431 ; RV64I-MEDIUM-NEXT:    ret
1432 entry:
1433   br label %label
1434
1435 label:
1436   tail call void asm sideeffect "lw zero, $0", "*o"(ptr elementtype(ptr) blockaddress(@constraint_o_with_local_1, %label))
1437   ret void
1438 }
1439
1440 define void @constraint_o_with_local_2() nounwind {
1441 ; RV32I-LABEL: constraint_o_with_local_2:
1442 ; RV32I:       # %bb.0: # %entry
1443 ; RV32I-NEXT:  .Ltmp4: # Block address taken
1444 ; RV32I-NEXT:  # %bb.1: # %label
1445 ; RV32I-NEXT:    lui a0, %hi(.Ltmp4)
1446 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp4)
1447 ; RV32I-NEXT:    #APP
1448 ; RV32I-NEXT:    lw zero, 4(a0)
1449 ; RV32I-NEXT:    #NO_APP
1450 ; RV32I-NEXT:    ret
1451 ;
1452 ; RV64I-LABEL: constraint_o_with_local_2:
1453 ; RV64I:       # %bb.0: # %entry
1454 ; RV64I-NEXT:  .Ltmp4: # Block address taken
1455 ; RV64I-NEXT:  # %bb.1: # %label
1456 ; RV64I-NEXT:    lui a0, %hi(.Ltmp4)
1457 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp4)
1458 ; RV64I-NEXT:    #APP
1459 ; RV64I-NEXT:    lw zero, 4(a0)
1460 ; RV64I-NEXT:    #NO_APP
1461 ; RV64I-NEXT:    ret
1462 ;
1463 ; RV32I-MEDIUM-LABEL: constraint_o_with_local_2:
1464 ; RV32I-MEDIUM:       # %bb.0: # %entry
1465 ; RV32I-MEDIUM-NEXT:  .Ltmp4: # Block address taken
1466 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
1467 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi24:
1468 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp4)
1469 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi24)
1470 ; RV32I-MEDIUM-NEXT:    #APP
1471 ; RV32I-MEDIUM-NEXT:    lw zero, 4(a0)
1472 ; RV32I-MEDIUM-NEXT:    #NO_APP
1473 ; RV32I-MEDIUM-NEXT:    ret
1474 ;
1475 ; RV64I-MEDIUM-LABEL: constraint_o_with_local_2:
1476 ; RV64I-MEDIUM:       # %bb.0: # %entry
1477 ; RV64I-MEDIUM-NEXT:  .Ltmp4: # Block address taken
1478 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
1479 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi24:
1480 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp4)
1481 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi24)
1482 ; RV64I-MEDIUM-NEXT:    #APP
1483 ; RV64I-MEDIUM-NEXT:    lw zero, 4(a0)
1484 ; RV64I-MEDIUM-NEXT:    #NO_APP
1485 ; RV64I-MEDIUM-NEXT:    ret
1486 entry:
1487   br label %label
1488
1489 label:
1490   call void asm "lw zero, $0", "*o"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_o_with_local_2, %label), i32 4))
1491   ret void
1492 }
1493
1494 define void @constraint_o_with_local_3() nounwind {
1495 ; RV32I-LABEL: constraint_o_with_local_3:
1496 ; RV32I:       # %bb.0: # %entry
1497 ; RV32I-NEXT:  .Ltmp5: # Block address taken
1498 ; RV32I-NEXT:  # %bb.1: # %label
1499 ; RV32I-NEXT:    lui a0, %hi(.Ltmp5)
1500 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp5)
1501 ; RV32I-NEXT:    #APP
1502 ; RV32I-NEXT:    lw zero, 2000(a0)
1503 ; RV32I-NEXT:    #NO_APP
1504 ; RV32I-NEXT:    ret
1505 ;
1506 ; RV64I-LABEL: constraint_o_with_local_3:
1507 ; RV64I:       # %bb.0: # %entry
1508 ; RV64I-NEXT:  .Ltmp5: # Block address taken
1509 ; RV64I-NEXT:  # %bb.1: # %label
1510 ; RV64I-NEXT:    lui a0, %hi(.Ltmp5)
1511 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp5)
1512 ; RV64I-NEXT:    #APP
1513 ; RV64I-NEXT:    lw zero, 2000(a0)
1514 ; RV64I-NEXT:    #NO_APP
1515 ; RV64I-NEXT:    ret
1516 ;
1517 ; RV32I-MEDIUM-LABEL: constraint_o_with_local_3:
1518 ; RV32I-MEDIUM:       # %bb.0: # %entry
1519 ; RV32I-MEDIUM-NEXT:  .Ltmp5: # Block address taken
1520 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
1521 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi25:
1522 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp5)
1523 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi25)
1524 ; RV32I-MEDIUM-NEXT:    #APP
1525 ; RV32I-MEDIUM-NEXT:    lw zero, 2000(a0)
1526 ; RV32I-MEDIUM-NEXT:    #NO_APP
1527 ; RV32I-MEDIUM-NEXT:    ret
1528 ;
1529 ; RV64I-MEDIUM-LABEL: constraint_o_with_local_3:
1530 ; RV64I-MEDIUM:       # %bb.0: # %entry
1531 ; RV64I-MEDIUM-NEXT:  .Ltmp5: # Block address taken
1532 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
1533 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi25:
1534 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp5)
1535 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi25)
1536 ; RV64I-MEDIUM-NEXT:    #APP
1537 ; RV64I-MEDIUM-NEXT:    lw zero, 2000(a0)
1538 ; RV64I-MEDIUM-NEXT:    #NO_APP
1539 ; RV64I-MEDIUM-NEXT:    ret
1540 entry:
1541   br label %label
1542
1543 label:
1544   call void asm "lw zero, $0", "*o"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_o_with_local_3, %label), i32 2000))
1545   ret void
1546 }
1547
1548 define void @constraint_A(ptr %a) nounwind {
1549 ; RV32I-LABEL: constraint_A:
1550 ; RV32I:       # %bb.0:
1551 ; RV32I-NEXT:    #APP
1552 ; RV32I-NEXT:    sb s0, 0(a0)
1553 ; RV32I-NEXT:    #NO_APP
1554 ; RV32I-NEXT:    #APP
1555 ; RV32I-NEXT:    lb s1, 0(a0)
1556 ; RV32I-NEXT:    #NO_APP
1557 ; RV32I-NEXT:    ret
1558 ;
1559 ; RV64I-LABEL: constraint_A:
1560 ; RV64I:       # %bb.0:
1561 ; RV64I-NEXT:    #APP
1562 ; RV64I-NEXT:    sb s0, 0(a0)
1563 ; RV64I-NEXT:    #NO_APP
1564 ; RV64I-NEXT:    #APP
1565 ; RV64I-NEXT:    lb s1, 0(a0)
1566 ; RV64I-NEXT:    #NO_APP
1567 ; RV64I-NEXT:    ret
1568 ;
1569 ; RV32I-MEDIUM-LABEL: constraint_A:
1570 ; RV32I-MEDIUM:       # %bb.0:
1571 ; RV32I-MEDIUM-NEXT:    #APP
1572 ; RV32I-MEDIUM-NEXT:    sb s0, 0(a0)
1573 ; RV32I-MEDIUM-NEXT:    #NO_APP
1574 ; RV32I-MEDIUM-NEXT:    #APP
1575 ; RV32I-MEDIUM-NEXT:    lb s1, 0(a0)
1576 ; RV32I-MEDIUM-NEXT:    #NO_APP
1577 ; RV32I-MEDIUM-NEXT:    ret
1578 ;
1579 ; RV64I-MEDIUM-LABEL: constraint_A:
1580 ; RV64I-MEDIUM:       # %bb.0:
1581 ; RV64I-MEDIUM-NEXT:    #APP
1582 ; RV64I-MEDIUM-NEXT:    sb s0, 0(a0)
1583 ; RV64I-MEDIUM-NEXT:    #NO_APP
1584 ; RV64I-MEDIUM-NEXT:    #APP
1585 ; RV64I-MEDIUM-NEXT:    lb s1, 0(a0)
1586 ; RV64I-MEDIUM-NEXT:    #NO_APP
1587 ; RV64I-MEDIUM-NEXT:    ret
1588   tail call void asm sideeffect "sb s0, $0", "*A"(ptr elementtype(i8) %a)
1589   tail call void asm sideeffect "lb s1, $0", "*A"(ptr elementtype(i8) %a)
1590   ret void
1591 }
1592
1593 define i32 @constraint_A_with_offset(ptr %a) nounwind {
1594 ; RV32I-LABEL: constraint_A_with_offset:
1595 ; RV32I:       # %bb.0:
1596 ; RV32I-NEXT:    addi a0, a0, 4
1597 ; RV32I-NEXT:    #APP
1598 ; RV32I-NEXT:    lw a0, 0(a0)
1599 ; RV32I-NEXT:    #NO_APP
1600 ; RV32I-NEXT:    ret
1601 ;
1602 ; RV64I-LABEL: constraint_A_with_offset:
1603 ; RV64I:       # %bb.0:
1604 ; RV64I-NEXT:    addi a0, a0, 4
1605 ; RV64I-NEXT:    #APP
1606 ; RV64I-NEXT:    lw a0, 0(a0)
1607 ; RV64I-NEXT:    #NO_APP
1608 ; RV64I-NEXT:    ret
1609 ;
1610 ; RV32I-MEDIUM-LABEL: constraint_A_with_offset:
1611 ; RV32I-MEDIUM:       # %bb.0:
1612 ; RV32I-MEDIUM-NEXT:    addi a0, a0, 4
1613 ; RV32I-MEDIUM-NEXT:    #APP
1614 ; RV32I-MEDIUM-NEXT:    lw a0, 0(a0)
1615 ; RV32I-MEDIUM-NEXT:    #NO_APP
1616 ; RV32I-MEDIUM-NEXT:    ret
1617 ;
1618 ; RV64I-MEDIUM-LABEL: constraint_A_with_offset:
1619 ; RV64I-MEDIUM:       # %bb.0:
1620 ; RV64I-MEDIUM-NEXT:    addi a0, a0, 4
1621 ; RV64I-MEDIUM-NEXT:    #APP
1622 ; RV64I-MEDIUM-NEXT:    lw a0, 0(a0)
1623 ; RV64I-MEDIUM-NEXT:    #NO_APP
1624 ; RV64I-MEDIUM-NEXT:    ret
1625   %1 = getelementptr i32, ptr %a, i32 1
1626   %2 = tail call i32 asm "lw $0, $1", "=r,*A"(ptr elementtype(i32) %1)
1627   ret i32 %2
1628 }
1629
1630 define void @constraint_A_with_global_1() nounwind {
1631 ; RV32I-LABEL: constraint_A_with_global_1:
1632 ; RV32I:       # %bb.0:
1633 ; RV32I-NEXT:    lui a0, %hi(eg)
1634 ; RV32I-NEXT:    addi a0, a0, %lo(eg)
1635 ; RV32I-NEXT:    #APP
1636 ; RV32I-NEXT:    sw zero, 0(a0)
1637 ; RV32I-NEXT:    #NO_APP
1638 ; RV32I-NEXT:    ret
1639 ;
1640 ; RV64I-LABEL: constraint_A_with_global_1:
1641 ; RV64I:       # %bb.0:
1642 ; RV64I-NEXT:    lui a0, %hi(eg)
1643 ; RV64I-NEXT:    addi a0, a0, %lo(eg)
1644 ; RV64I-NEXT:    #APP
1645 ; RV64I-NEXT:    sw zero, 0(a0)
1646 ; RV64I-NEXT:    #NO_APP
1647 ; RV64I-NEXT:    ret
1648 ;
1649 ; RV32I-MEDIUM-LABEL: constraint_A_with_global_1:
1650 ; RV32I-MEDIUM:       # %bb.0:
1651 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi26:
1652 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1653 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi26)
1654 ; RV32I-MEDIUM-NEXT:    #APP
1655 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1656 ; RV32I-MEDIUM-NEXT:    #NO_APP
1657 ; RV32I-MEDIUM-NEXT:    ret
1658 ;
1659 ; RV64I-MEDIUM-LABEL: constraint_A_with_global_1:
1660 ; RV64I-MEDIUM:       # %bb.0:
1661 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi26:
1662 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1663 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi26)
1664 ; RV64I-MEDIUM-NEXT:    #APP
1665 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1666 ; RV64I-MEDIUM-NEXT:    #NO_APP
1667 ; RV64I-MEDIUM-NEXT:    ret
1668   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) @eg)
1669   ret void
1670 }
1671
1672 define void @constraint_A_with_global_2() nounwind {
1673 ; RV32I-LABEL: constraint_A_with_global_2:
1674 ; RV32I:       # %bb.0:
1675 ; RV32I-NEXT:    lui a0, %hi(eg+4)
1676 ; RV32I-NEXT:    addi a0, a0, %lo(eg+4)
1677 ; RV32I-NEXT:    #APP
1678 ; RV32I-NEXT:    sw zero, 0(a0)
1679 ; RV32I-NEXT:    #NO_APP
1680 ; RV32I-NEXT:    ret
1681 ;
1682 ; RV64I-LABEL: constraint_A_with_global_2:
1683 ; RV64I:       # %bb.0:
1684 ; RV64I-NEXT:    lui a0, %hi(eg+4)
1685 ; RV64I-NEXT:    addi a0, a0, %lo(eg+4)
1686 ; RV64I-NEXT:    #APP
1687 ; RV64I-NEXT:    sw zero, 0(a0)
1688 ; RV64I-NEXT:    #NO_APP
1689 ; RV64I-NEXT:    ret
1690 ;
1691 ; RV32I-MEDIUM-LABEL: constraint_A_with_global_2:
1692 ; RV32I-MEDIUM:       # %bb.0:
1693 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi27:
1694 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+4)
1695 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi27)
1696 ; RV32I-MEDIUM-NEXT:    #APP
1697 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1698 ; RV32I-MEDIUM-NEXT:    #NO_APP
1699 ; RV32I-MEDIUM-NEXT:    ret
1700 ;
1701 ; RV64I-MEDIUM-LABEL: constraint_A_with_global_2:
1702 ; RV64I-MEDIUM:       # %bb.0:
1703 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi27:
1704 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+4)
1705 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi27)
1706 ; RV64I-MEDIUM-NEXT:    #APP
1707 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1708 ; RV64I-MEDIUM-NEXT:    #NO_APP
1709 ; RV64I-MEDIUM-NEXT:    ret
1710   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 1))
1711   ret void
1712 }
1713
1714 define void @constraint_A_with_global_3() nounwind {
1715 ; RV32I-LABEL: constraint_A_with_global_3:
1716 ; RV32I:       # %bb.0:
1717 ; RV32I-NEXT:    lui a0, %hi(eg+8000)
1718 ; RV32I-NEXT:    addi a0, a0, %lo(eg+8000)
1719 ; RV32I-NEXT:    #APP
1720 ; RV32I-NEXT:    sw zero, 0(a0)
1721 ; RV32I-NEXT:    #NO_APP
1722 ; RV32I-NEXT:    ret
1723 ;
1724 ; RV64I-LABEL: constraint_A_with_global_3:
1725 ; RV64I:       # %bb.0:
1726 ; RV64I-NEXT:    lui a0, %hi(eg+8000)
1727 ; RV64I-NEXT:    addi a0, a0, %lo(eg+8000)
1728 ; RV64I-NEXT:    #APP
1729 ; RV64I-NEXT:    sw zero, 0(a0)
1730 ; RV64I-NEXT:    #NO_APP
1731 ; RV64I-NEXT:    ret
1732 ;
1733 ; RV32I-MEDIUM-LABEL: constraint_A_with_global_3:
1734 ; RV32I-MEDIUM:       # %bb.0:
1735 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi28:
1736 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
1737 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi28)
1738 ; RV32I-MEDIUM-NEXT:    #APP
1739 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1740 ; RV32I-MEDIUM-NEXT:    #NO_APP
1741 ; RV32I-MEDIUM-NEXT:    ret
1742 ;
1743 ; RV64I-MEDIUM-LABEL: constraint_A_with_global_3:
1744 ; RV64I-MEDIUM:       # %bb.0:
1745 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi28:
1746 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg+8000)
1747 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi28)
1748 ; RV64I-MEDIUM-NEXT:    #APP
1749 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1750 ; RV64I-MEDIUM-NEXT:    #NO_APP
1751 ; RV64I-MEDIUM-NEXT:    ret
1752   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @eg, i32 0, i32 2000))
1753   ret void
1754 }
1755
1756 define void @constraint_A_with_extern_weak_global_1() nounwind {
1757 ; RV32I-LABEL: constraint_A_with_extern_weak_global_1:
1758 ; RV32I:       # %bb.0:
1759 ; RV32I-NEXT:    lui a0, %hi(ewg)
1760 ; RV32I-NEXT:    addi a0, a0, %lo(ewg)
1761 ; RV32I-NEXT:    #APP
1762 ; RV32I-NEXT:    sw zero, 0(a0)
1763 ; RV32I-NEXT:    #NO_APP
1764 ; RV32I-NEXT:    ret
1765 ;
1766 ; RV64I-LABEL: constraint_A_with_extern_weak_global_1:
1767 ; RV64I:       # %bb.0:
1768 ; RV64I-NEXT:    lui a0, %hi(ewg)
1769 ; RV64I-NEXT:    addi a0, a0, %lo(ewg)
1770 ; RV64I-NEXT:    #APP
1771 ; RV64I-NEXT:    sw zero, 0(a0)
1772 ; RV64I-NEXT:    #NO_APP
1773 ; RV64I-NEXT:    ret
1774 ;
1775 ; RV32I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_1:
1776 ; RV32I-MEDIUM:       # %bb.0:
1777 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi29:
1778 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1779 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi29)(a0)
1780 ; RV32I-MEDIUM-NEXT:    #APP
1781 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1782 ; RV32I-MEDIUM-NEXT:    #NO_APP
1783 ; RV32I-MEDIUM-NEXT:    ret
1784 ;
1785 ; RV64I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_1:
1786 ; RV64I-MEDIUM:       # %bb.0:
1787 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi29:
1788 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1789 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi29)(a0)
1790 ; RV64I-MEDIUM-NEXT:    #APP
1791 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1792 ; RV64I-MEDIUM-NEXT:    #NO_APP
1793 ; RV64I-MEDIUM-NEXT:    ret
1794   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) @ewg)
1795   ret void
1796 }
1797
1798 define void @constraint_A_with_extern_weak_global_2() nounwind {
1799 ; RV32I-LABEL: constraint_A_with_extern_weak_global_2:
1800 ; RV32I:       # %bb.0:
1801 ; RV32I-NEXT:    lui a0, %hi(ewg+4)
1802 ; RV32I-NEXT:    addi a0, a0, %lo(ewg+4)
1803 ; RV32I-NEXT:    #APP
1804 ; RV32I-NEXT:    sw zero, 0(a0)
1805 ; RV32I-NEXT:    #NO_APP
1806 ; RV32I-NEXT:    ret
1807 ;
1808 ; RV64I-LABEL: constraint_A_with_extern_weak_global_2:
1809 ; RV64I:       # %bb.0:
1810 ; RV64I-NEXT:    lui a0, %hi(ewg+4)
1811 ; RV64I-NEXT:    addi a0, a0, %lo(ewg+4)
1812 ; RV64I-NEXT:    #APP
1813 ; RV64I-NEXT:    sw zero, 0(a0)
1814 ; RV64I-NEXT:    #NO_APP
1815 ; RV64I-NEXT:    ret
1816 ;
1817 ; RV32I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_2:
1818 ; RV32I-MEDIUM:       # %bb.0:
1819 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi30:
1820 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1821 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi30)(a0)
1822 ; RV32I-MEDIUM-NEXT:    addi a0, a0, 4
1823 ; RV32I-MEDIUM-NEXT:    #APP
1824 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1825 ; RV32I-MEDIUM-NEXT:    #NO_APP
1826 ; RV32I-MEDIUM-NEXT:    ret
1827 ;
1828 ; RV64I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_2:
1829 ; RV64I-MEDIUM:       # %bb.0:
1830 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi30:
1831 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1832 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi30)(a0)
1833 ; RV64I-MEDIUM-NEXT:    addi a0, a0, 4
1834 ; RV64I-MEDIUM-NEXT:    #APP
1835 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1836 ; RV64I-MEDIUM-NEXT:    #NO_APP
1837 ; RV64I-MEDIUM-NEXT:    ret
1838   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 1))
1839   ret void
1840 }
1841
1842 define void @constraint_A_with_extern_weak_global_3() nounwind {
1843 ; RV32I-LABEL: constraint_A_with_extern_weak_global_3:
1844 ; RV32I:       # %bb.0:
1845 ; RV32I-NEXT:    lui a0, %hi(ewg+8000)
1846 ; RV32I-NEXT:    addi a0, a0, %lo(ewg+8000)
1847 ; RV32I-NEXT:    #APP
1848 ; RV32I-NEXT:    sw zero, 0(a0)
1849 ; RV32I-NEXT:    #NO_APP
1850 ; RV32I-NEXT:    ret
1851 ;
1852 ; RV64I-LABEL: constraint_A_with_extern_weak_global_3:
1853 ; RV64I:       # %bb.0:
1854 ; RV64I-NEXT:    lui a0, %hi(ewg+8000)
1855 ; RV64I-NEXT:    addi a0, a0, %lo(ewg+8000)
1856 ; RV64I-NEXT:    #APP
1857 ; RV64I-NEXT:    sw zero, 0(a0)
1858 ; RV64I-NEXT:    #NO_APP
1859 ; RV64I-NEXT:    ret
1860 ;
1861 ; RV32I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_3:
1862 ; RV32I-MEDIUM:       # %bb.0:
1863 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi31:
1864 ; RV32I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1865 ; RV32I-MEDIUM-NEXT:    lw a0, %pcrel_lo(.Lpcrel_hi31)(a0)
1866 ; RV32I-MEDIUM-NEXT:    lui a1, 2
1867 ; RV32I-MEDIUM-NEXT:    addi a1, a1, -192
1868 ; RV32I-MEDIUM-NEXT:    add a0, a0, a1
1869 ; RV32I-MEDIUM-NEXT:    #APP
1870 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1871 ; RV32I-MEDIUM-NEXT:    #NO_APP
1872 ; RV32I-MEDIUM-NEXT:    ret
1873 ;
1874 ; RV64I-MEDIUM-LABEL: constraint_A_with_extern_weak_global_3:
1875 ; RV64I-MEDIUM:       # %bb.0:
1876 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi31:
1877 ; RV64I-MEDIUM-NEXT:    auipc a0, %got_pcrel_hi(ewg)
1878 ; RV64I-MEDIUM-NEXT:    ld a0, %pcrel_lo(.Lpcrel_hi31)(a0)
1879 ; RV64I-MEDIUM-NEXT:    lui a1, 2
1880 ; RV64I-MEDIUM-NEXT:    addiw a1, a1, -192
1881 ; RV64I-MEDIUM-NEXT:    add a0, a0, a1
1882 ; RV64I-MEDIUM-NEXT:    #APP
1883 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1884 ; RV64I-MEDIUM-NEXT:    #NO_APP
1885 ; RV64I-MEDIUM-NEXT:    ret
1886   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) getelementptr ([400000 x i32], ptr @ewg, i32 0, i32 2000))
1887   ret void
1888 }
1889
1890 define void @constraint_A_with_multi_operands() nounwind {
1891 ; RV32I-LABEL: constraint_A_with_multi_operands:
1892 ; RV32I:       # %bb.0:
1893 ; RV32I-NEXT:    lui a0, %hi(eg)
1894 ; RV32I-NEXT:    addi a0, a0, %lo(eg)
1895 ; RV32I-NEXT:    #APP
1896 ; RV32I-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1897 ; RV32I-NEXT:    #NO_APP
1898 ; RV32I-NEXT:    ret
1899 ;
1900 ; RV64I-LABEL: constraint_A_with_multi_operands:
1901 ; RV64I:       # %bb.0:
1902 ; RV64I-NEXT:    lui a0, %hi(eg)
1903 ; RV64I-NEXT:    addi a0, a0, %lo(eg)
1904 ; RV64I-NEXT:    #APP
1905 ; RV64I-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1906 ; RV64I-NEXT:    #NO_APP
1907 ; RV64I-NEXT:    ret
1908 ;
1909 ; RV32I-MEDIUM-LABEL: constraint_A_with_multi_operands:
1910 ; RV32I-MEDIUM:       # %bb.0:
1911 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi32:
1912 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1913 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi32)
1914 ; RV32I-MEDIUM-NEXT:    #APP
1915 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1916 ; RV32I-MEDIUM-NEXT:    #NO_APP
1917 ; RV32I-MEDIUM-NEXT:    ret
1918 ;
1919 ; RV64I-MEDIUM-LABEL: constraint_A_with_multi_operands:
1920 ; RV64I-MEDIUM:       # %bb.0:
1921 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi32:
1922 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1923 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi32)
1924 ; RV64I-MEDIUM-NEXT:    #APP
1925 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0) \n sw zero, 0(a0)
1926 ; RV64I-MEDIUM-NEXT:    #NO_APP
1927 ; RV64I-MEDIUM-NEXT:    ret
1928   call void asm "sw zero, $0 \n sw zero, $1", "=*A,=*A"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg)
1929   ret void
1930 }
1931
1932 define void @constraint_A_with_multi_asm() nounwind {
1933 ; RV32I-LABEL: constraint_A_with_multi_asm:
1934 ; RV32I:       # %bb.0:
1935 ; RV32I-NEXT:    lui a0, %hi(eg)
1936 ; RV32I-NEXT:    addi a0, a0, %lo(eg)
1937 ; RV32I-NEXT:    #APP
1938 ; RV32I-NEXT:    sw zero, 0(a0)
1939 ; RV32I-NEXT:    #NO_APP
1940 ; RV32I-NEXT:    #APP
1941 ; RV32I-NEXT:    sw zero, 0(a0)
1942 ; RV32I-NEXT:    #NO_APP
1943 ; RV32I-NEXT:    ret
1944 ;
1945 ; RV64I-LABEL: constraint_A_with_multi_asm:
1946 ; RV64I:       # %bb.0:
1947 ; RV64I-NEXT:    lui a0, %hi(eg)
1948 ; RV64I-NEXT:    addi a0, a0, %lo(eg)
1949 ; RV64I-NEXT:    #APP
1950 ; RV64I-NEXT:    sw zero, 0(a0)
1951 ; RV64I-NEXT:    #NO_APP
1952 ; RV64I-NEXT:    #APP
1953 ; RV64I-NEXT:    sw zero, 0(a0)
1954 ; RV64I-NEXT:    #NO_APP
1955 ; RV64I-NEXT:    ret
1956 ;
1957 ; RV32I-MEDIUM-LABEL: constraint_A_with_multi_asm:
1958 ; RV32I-MEDIUM:       # %bb.0:
1959 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi33:
1960 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1961 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi33)
1962 ; RV32I-MEDIUM-NEXT:    #APP
1963 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1964 ; RV32I-MEDIUM-NEXT:    #NO_APP
1965 ; RV32I-MEDIUM-NEXT:    #APP
1966 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a0)
1967 ; RV32I-MEDIUM-NEXT:    #NO_APP
1968 ; RV32I-MEDIUM-NEXT:    ret
1969 ;
1970 ; RV64I-MEDIUM-LABEL: constraint_A_with_multi_asm:
1971 ; RV64I-MEDIUM:       # %bb.0:
1972 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi33:
1973 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(eg)
1974 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi33)
1975 ; RV64I-MEDIUM-NEXT:    #APP
1976 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1977 ; RV64I-MEDIUM-NEXT:    #NO_APP
1978 ; RV64I-MEDIUM-NEXT:    #APP
1979 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a0)
1980 ; RV64I-MEDIUM-NEXT:    #NO_APP
1981 ; RV64I-MEDIUM-NEXT:    ret
1982   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) @eg)
1983   call void asm "sw zero, $0", "=*A"(ptr elementtype(i32) @eg)
1984   ret void
1985 }
1986
1987 define i32 @constraint_A_with_callbr_multi_operands(i32 %a) {
1988 ; RV32I-LABEL: constraint_A_with_callbr_multi_operands:
1989 ; RV32I:       # %bb.0: # %entry
1990 ; RV32I-NEXT:    lui a1, %hi(eg)
1991 ; RV32I-NEXT:    addi a1, a1, %lo(eg)
1992 ; RV32I-NEXT:    #APP
1993 ; RV32I-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB42_2
1994 ; RV32I-NEXT:    #NO_APP
1995 ; RV32I-NEXT:  # %bb.1: # %normal
1996 ; RV32I-NEXT:    li a0, 0
1997 ; RV32I-NEXT:    ret
1998 ; RV32I-NEXT:  .LBB42_2: # Block address taken
1999 ; RV32I-NEXT:    # %fail
2000 ; RV32I-NEXT:    # Label of block must be emitted
2001 ; RV32I-NEXT:    li a0, 1
2002 ; RV32I-NEXT:    ret
2003 ;
2004 ; RV64I-LABEL: constraint_A_with_callbr_multi_operands:
2005 ; RV64I:       # %bb.0: # %entry
2006 ; RV64I-NEXT:    lui a1, %hi(eg)
2007 ; RV64I-NEXT:    addi a1, a1, %lo(eg)
2008 ; RV64I-NEXT:    #APP
2009 ; RV64I-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB42_2
2010 ; RV64I-NEXT:    #NO_APP
2011 ; RV64I-NEXT:  # %bb.1: # %normal
2012 ; RV64I-NEXT:    li a0, 0
2013 ; RV64I-NEXT:    ret
2014 ; RV64I-NEXT:  .LBB42_2: # Block address taken
2015 ; RV64I-NEXT:    # %fail
2016 ; RV64I-NEXT:    # Label of block must be emitted
2017 ; RV64I-NEXT:    li a0, 1
2018 ; RV64I-NEXT:    ret
2019 ;
2020 ; RV32I-MEDIUM-LABEL: constraint_A_with_callbr_multi_operands:
2021 ; RV32I-MEDIUM:       # %bb.0: # %entry
2022 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi34:
2023 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
2024 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi34)
2025 ; RV32I-MEDIUM-NEXT:    #APP
2026 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB42_2
2027 ; RV32I-MEDIUM-NEXT:    #NO_APP
2028 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal
2029 ; RV32I-MEDIUM-NEXT:    li a0, 0
2030 ; RV32I-MEDIUM-NEXT:    ret
2031 ; RV32I-MEDIUM-NEXT:  .LBB42_2: # Block address taken
2032 ; RV32I-MEDIUM-NEXT:    # %fail
2033 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
2034 ; RV32I-MEDIUM-NEXT:    li a0, 1
2035 ; RV32I-MEDIUM-NEXT:    ret
2036 ;
2037 ; RV64I-MEDIUM-LABEL: constraint_A_with_callbr_multi_operands:
2038 ; RV64I-MEDIUM:       # %bb.0: # %entry
2039 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi34:
2040 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
2041 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi34)
2042 ; RV64I-MEDIUM-NEXT:    #APP
2043 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); sw zero, 0(a1); beqz a0, .LBB42_2
2044 ; RV64I-MEDIUM-NEXT:    #NO_APP
2045 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal
2046 ; RV64I-MEDIUM-NEXT:    li a0, 0
2047 ; RV64I-MEDIUM-NEXT:    ret
2048 ; RV64I-MEDIUM-NEXT:  .LBB42_2: # Block address taken
2049 ; RV64I-MEDIUM-NEXT:    # %fail
2050 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
2051 ; RV64I-MEDIUM-NEXT:    li a0, 1
2052 ; RV64I-MEDIUM-NEXT:    ret
2053 entry:
2054   callbr void asm "sw zero, $0; sw zero, $1; beqz $2, $3", "*A,*A,r,!i"(ptr elementtype(i32) @eg, ptr elementtype(i32) @eg, i32 %a) to label %normal [label %fail]
2055
2056 normal:
2057   ret i32 0
2058
2059 fail:
2060   ret i32 1
2061 }
2062
2063 define i32 @constraint_A_with_multi_callbr_asm(i32 %a) {
2064 ; RV32I-LABEL: constraint_A_with_multi_callbr_asm:
2065 ; RV32I:       # %bb.0: # %entry
2066 ; RV32I-NEXT:    lui a1, %hi(eg)
2067 ; RV32I-NEXT:    addi a1, a1, %lo(eg)
2068 ; RV32I-NEXT:    #APP
2069 ; RV32I-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2070 ; RV32I-NEXT:    #NO_APP
2071 ; RV32I-NEXT:  # %bb.1: # %normal0
2072 ; RV32I-NEXT:    #APP
2073 ; RV32I-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2074 ; RV32I-NEXT:    #NO_APP
2075 ; RV32I-NEXT:  # %bb.2: # %normal1
2076 ; RV32I-NEXT:    li a0, 0
2077 ; RV32I-NEXT:    ret
2078 ; RV32I-NEXT:  .LBB43_3: # Block address taken
2079 ; RV32I-NEXT:    # %fail
2080 ; RV32I-NEXT:    # Label of block must be emitted
2081 ; RV32I-NEXT:    li a0, 1
2082 ; RV32I-NEXT:    ret
2083 ;
2084 ; RV64I-LABEL: constraint_A_with_multi_callbr_asm:
2085 ; RV64I:       # %bb.0: # %entry
2086 ; RV64I-NEXT:    lui a1, %hi(eg)
2087 ; RV64I-NEXT:    addi a1, a1, %lo(eg)
2088 ; RV64I-NEXT:    #APP
2089 ; RV64I-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2090 ; RV64I-NEXT:    #NO_APP
2091 ; RV64I-NEXT:  # %bb.1: # %normal0
2092 ; RV64I-NEXT:    #APP
2093 ; RV64I-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2094 ; RV64I-NEXT:    #NO_APP
2095 ; RV64I-NEXT:  # %bb.2: # %normal1
2096 ; RV64I-NEXT:    li a0, 0
2097 ; RV64I-NEXT:    ret
2098 ; RV64I-NEXT:  .LBB43_3: # Block address taken
2099 ; RV64I-NEXT:    # %fail
2100 ; RV64I-NEXT:    # Label of block must be emitted
2101 ; RV64I-NEXT:    li a0, 1
2102 ; RV64I-NEXT:    ret
2103 ;
2104 ; RV32I-MEDIUM-LABEL: constraint_A_with_multi_callbr_asm:
2105 ; RV32I-MEDIUM:       # %bb.0: # %entry
2106 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi35:
2107 ; RV32I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
2108 ; RV32I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi35)
2109 ; RV32I-MEDIUM-NEXT:    #APP
2110 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2111 ; RV32I-MEDIUM-NEXT:    #NO_APP
2112 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %normal0
2113 ; RV32I-MEDIUM-NEXT:    #APP
2114 ; RV32I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2115 ; RV32I-MEDIUM-NEXT:    #NO_APP
2116 ; RV32I-MEDIUM-NEXT:  # %bb.2: # %normal1
2117 ; RV32I-MEDIUM-NEXT:    li a0, 0
2118 ; RV32I-MEDIUM-NEXT:    ret
2119 ; RV32I-MEDIUM-NEXT:  .LBB43_3: # Block address taken
2120 ; RV32I-MEDIUM-NEXT:    # %fail
2121 ; RV32I-MEDIUM-NEXT:    # Label of block must be emitted
2122 ; RV32I-MEDIUM-NEXT:    li a0, 1
2123 ; RV32I-MEDIUM-NEXT:    ret
2124 ;
2125 ; RV64I-MEDIUM-LABEL: constraint_A_with_multi_callbr_asm:
2126 ; RV64I-MEDIUM:       # %bb.0: # %entry
2127 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi35:
2128 ; RV64I-MEDIUM-NEXT:    auipc a1, %pcrel_hi(eg)
2129 ; RV64I-MEDIUM-NEXT:    addi a1, a1, %pcrel_lo(.Lpcrel_hi35)
2130 ; RV64I-MEDIUM-NEXT:    #APP
2131 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2132 ; RV64I-MEDIUM-NEXT:    #NO_APP
2133 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %normal0
2134 ; RV64I-MEDIUM-NEXT:    #APP
2135 ; RV64I-MEDIUM-NEXT:    sw zero, 0(a1); beqz a0, .LBB43_3
2136 ; RV64I-MEDIUM-NEXT:    #NO_APP
2137 ; RV64I-MEDIUM-NEXT:  # %bb.2: # %normal1
2138 ; RV64I-MEDIUM-NEXT:    li a0, 0
2139 ; RV64I-MEDIUM-NEXT:    ret
2140 ; RV64I-MEDIUM-NEXT:  .LBB43_3: # Block address taken
2141 ; RV64I-MEDIUM-NEXT:    # %fail
2142 ; RV64I-MEDIUM-NEXT:    # Label of block must be emitted
2143 ; RV64I-MEDIUM-NEXT:    li a0, 1
2144 ; RV64I-MEDIUM-NEXT:    ret
2145 entry:
2146   callbr void asm "sw zero, $0; beqz $1, $2", "=*A,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal0 [label %fail]
2147
2148 normal0:
2149   callbr void asm "sw zero, $0; beqz $1, $2", "=*A,r,!i"(ptr elementtype(i32) @eg, i32 %a) to label %normal1 [label %fail]
2150
2151 normal1:
2152   ret i32 0
2153
2154 fail:
2155   ret i32 1
2156 }
2157
2158 define void @constraint_A_with_local_1() nounwind {
2159 ; RV32I-LABEL: constraint_A_with_local_1:
2160 ; RV32I:       # %bb.0: # %entry
2161 ; RV32I-NEXT:  .Ltmp6: # Block address taken
2162 ; RV32I-NEXT:  # %bb.1: # %label
2163 ; RV32I-NEXT:    lui a0, %hi(.Ltmp6)
2164 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp6)
2165 ; RV32I-NEXT:    #APP
2166 ; RV32I-NEXT:    lw zero, 0(a0)
2167 ; RV32I-NEXT:    #NO_APP
2168 ; RV32I-NEXT:    ret
2169 ;
2170 ; RV64I-LABEL: constraint_A_with_local_1:
2171 ; RV64I:       # %bb.0: # %entry
2172 ; RV64I-NEXT:  .Ltmp6: # Block address taken
2173 ; RV64I-NEXT:  # %bb.1: # %label
2174 ; RV64I-NEXT:    lui a0, %hi(.Ltmp6)
2175 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp6)
2176 ; RV64I-NEXT:    #APP
2177 ; RV64I-NEXT:    lw zero, 0(a0)
2178 ; RV64I-NEXT:    #NO_APP
2179 ; RV64I-NEXT:    ret
2180 ;
2181 ; RV32I-MEDIUM-LABEL: constraint_A_with_local_1:
2182 ; RV32I-MEDIUM:       # %bb.0: # %entry
2183 ; RV32I-MEDIUM-NEXT:  .Ltmp6: # Block address taken
2184 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
2185 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi36:
2186 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp6)
2187 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi36)
2188 ; RV32I-MEDIUM-NEXT:    #APP
2189 ; RV32I-MEDIUM-NEXT:    lw zero, 0(a0)
2190 ; RV32I-MEDIUM-NEXT:    #NO_APP
2191 ; RV32I-MEDIUM-NEXT:    ret
2192 ;
2193 ; RV64I-MEDIUM-LABEL: constraint_A_with_local_1:
2194 ; RV64I-MEDIUM:       # %bb.0: # %entry
2195 ; RV64I-MEDIUM-NEXT:  .Ltmp6: # Block address taken
2196 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
2197 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi36:
2198 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp6)
2199 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi36)
2200 ; RV64I-MEDIUM-NEXT:    #APP
2201 ; RV64I-MEDIUM-NEXT:    lw zero, 0(a0)
2202 ; RV64I-MEDIUM-NEXT:    #NO_APP
2203 ; RV64I-MEDIUM-NEXT:    ret
2204 entry:
2205   br label %label
2206
2207 label:
2208   tail call void asm sideeffect "lw zero, $0", "*A"(ptr elementtype(ptr) blockaddress(@constraint_A_with_local_1, %label))
2209   ret void
2210 }
2211
2212 define void @constraint_A_with_local_2() nounwind {
2213 ; RV32I-LABEL: constraint_A_with_local_2:
2214 ; RV32I:       # %bb.0: # %entry
2215 ; RV32I-NEXT:  .Ltmp7: # Block address taken
2216 ; RV32I-NEXT:  # %bb.1: # %label
2217 ; RV32I-NEXT:    lui a0, %hi(.Ltmp7+4)
2218 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp7+4)
2219 ; RV32I-NEXT:    #APP
2220 ; RV32I-NEXT:    lw zero, 0(a0)
2221 ; RV32I-NEXT:    #NO_APP
2222 ; RV32I-NEXT:    ret
2223 ;
2224 ; RV64I-LABEL: constraint_A_with_local_2:
2225 ; RV64I:       # %bb.0: # %entry
2226 ; RV64I-NEXT:  .Ltmp7: # Block address taken
2227 ; RV64I-NEXT:  # %bb.1: # %label
2228 ; RV64I-NEXT:    lui a0, %hi(.Ltmp7+4)
2229 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp7+4)
2230 ; RV64I-NEXT:    #APP
2231 ; RV64I-NEXT:    lw zero, 0(a0)
2232 ; RV64I-NEXT:    #NO_APP
2233 ; RV64I-NEXT:    ret
2234 ;
2235 ; RV32I-MEDIUM-LABEL: constraint_A_with_local_2:
2236 ; RV32I-MEDIUM:       # %bb.0: # %entry
2237 ; RV32I-MEDIUM-NEXT:  .Ltmp7: # Block address taken
2238 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
2239 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi37:
2240 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp7+4)
2241 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi37)
2242 ; RV32I-MEDIUM-NEXT:    #APP
2243 ; RV32I-MEDIUM-NEXT:    lw zero, 0(a0)
2244 ; RV32I-MEDIUM-NEXT:    #NO_APP
2245 ; RV32I-MEDIUM-NEXT:    ret
2246 ;
2247 ; RV64I-MEDIUM-LABEL: constraint_A_with_local_2:
2248 ; RV64I-MEDIUM:       # %bb.0: # %entry
2249 ; RV64I-MEDIUM-NEXT:  .Ltmp7: # Block address taken
2250 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
2251 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi37:
2252 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp7+4)
2253 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi37)
2254 ; RV64I-MEDIUM-NEXT:    #APP
2255 ; RV64I-MEDIUM-NEXT:    lw zero, 0(a0)
2256 ; RV64I-MEDIUM-NEXT:    #NO_APP
2257 ; RV64I-MEDIUM-NEXT:    ret
2258 entry:
2259   br label %label
2260
2261 label:
2262   call void asm "lw zero, $0", "*A"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_A_with_local_2, %label), i32 4))
2263   ret void
2264 }
2265
2266 define void @constraint_A_with_local_3() nounwind {
2267 ; RV32I-LABEL: constraint_A_with_local_3:
2268 ; RV32I:       # %bb.0: # %entry
2269 ; RV32I-NEXT:  .Ltmp8: # Block address taken
2270 ; RV32I-NEXT:  # %bb.1: # %label
2271 ; RV32I-NEXT:    lui a0, %hi(.Ltmp8+2000)
2272 ; RV32I-NEXT:    addi a0, a0, %lo(.Ltmp8+2000)
2273 ; RV32I-NEXT:    #APP
2274 ; RV32I-NEXT:    lw zero, 0(a0)
2275 ; RV32I-NEXT:    #NO_APP
2276 ; RV32I-NEXT:    ret
2277 ;
2278 ; RV64I-LABEL: constraint_A_with_local_3:
2279 ; RV64I:       # %bb.0: # %entry
2280 ; RV64I-NEXT:  .Ltmp8: # Block address taken
2281 ; RV64I-NEXT:  # %bb.1: # %label
2282 ; RV64I-NEXT:    lui a0, %hi(.Ltmp8+2000)
2283 ; RV64I-NEXT:    addi a0, a0, %lo(.Ltmp8+2000)
2284 ; RV64I-NEXT:    #APP
2285 ; RV64I-NEXT:    lw zero, 0(a0)
2286 ; RV64I-NEXT:    #NO_APP
2287 ; RV64I-NEXT:    ret
2288 ;
2289 ; RV32I-MEDIUM-LABEL: constraint_A_with_local_3:
2290 ; RV32I-MEDIUM:       # %bb.0: # %entry
2291 ; RV32I-MEDIUM-NEXT:  .Ltmp8: # Block address taken
2292 ; RV32I-MEDIUM-NEXT:  # %bb.1: # %label
2293 ; RV32I-MEDIUM-NEXT:  .Lpcrel_hi38:
2294 ; RV32I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp8+2000)
2295 ; RV32I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi38)
2296 ; RV32I-MEDIUM-NEXT:    #APP
2297 ; RV32I-MEDIUM-NEXT:    lw zero, 0(a0)
2298 ; RV32I-MEDIUM-NEXT:    #NO_APP
2299 ; RV32I-MEDIUM-NEXT:    ret
2300 ;
2301 ; RV64I-MEDIUM-LABEL: constraint_A_with_local_3:
2302 ; RV64I-MEDIUM:       # %bb.0: # %entry
2303 ; RV64I-MEDIUM-NEXT:  .Ltmp8: # Block address taken
2304 ; RV64I-MEDIUM-NEXT:  # %bb.1: # %label
2305 ; RV64I-MEDIUM-NEXT:  .Lpcrel_hi38:
2306 ; RV64I-MEDIUM-NEXT:    auipc a0, %pcrel_hi(.Ltmp8+2000)
2307 ; RV64I-MEDIUM-NEXT:    addi a0, a0, %pcrel_lo(.Lpcrel_hi38)
2308 ; RV64I-MEDIUM-NEXT:    #APP
2309 ; RV64I-MEDIUM-NEXT:    lw zero, 0(a0)
2310 ; RV64I-MEDIUM-NEXT:    #NO_APP
2311 ; RV64I-MEDIUM-NEXT:    ret
2312 entry:
2313   br label %label
2314
2315 label:
2316   call void asm "lw zero, $0", "*A"(ptr elementtype(i32) getelementptr (i8, ptr blockaddress(@constraint_A_with_local_3, %label), i32 2000))
2317   ret void
2318 }