test/CodeGen/MIR/X86/memory-operands.mir

   1 # RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
   2 # This test ensures that the MIR parser parses the machine memory operands
   3 # correctly.
   4
   5 --- |
   6
   7   define i32 @test(i32* %a) {
   8   entry:
   9     %b = load i32, i32* %a
  10     store i32 42, i32* %a
  11     ret i32 %b
  12   }
  13
  14   define void @test2(i32* %"a value") {
  15   entry2:
  16     %b = load i32, i32* %"a value"
  17     %c = add i32 %b, 1
  18     store i32 %c, i32* %"a value"
  19     ret void
  20   }
  21
  22   define i32 @volatile_inc(i32* %x) {
  23   entry:
  24     %0 = load volatile i32, i32* %x
  25     %1 = add i32 %0, 1
  26     store volatile i32 %1, i32* %x
  27     ret i32 %1
  28   }
  29
  30   define void @non_temporal_store(i32* %a, i32 %b) {
  31   entry:
  32     store i32 %b, i32* %a, align 16, !nontemporal !0
  33     ret void
  34   }
  35
  36   !0 = !{i32 1}
  37
  38   define i32 @invariant_load(i32* %x) {
  39   entry:
  40     %v = load i32, i32* %x, !invariant.load !1
  41     ret i32 %v
  42   }
  43
  44   !1 = !{}
  45
  46   define void @memory_offset(<8 x float>* %vec) {
  47   entry:
  48     %v = load <8 x float>, <8 x float>* %vec
  49     %v2 = insertelement <8 x float> %v, float 0.0, i32 4
  50     store <8 x float> %v2, <8 x float>* %vec
  51     ret void
  52   }
  53
  54   define void @memory_alignment(<8 x float>* %vec) {
  55   entry:
  56     %v = load <8 x float>, <8 x float>* %vec
  57     %v2 = insertelement <8 x float> %v, float 0.0, i32 4
  58     store <8 x float> %v2, <8 x float>* %vec
  59     ret void
  60   }
  61
  62   define double @constant_pool_psv(double %a) {
  63   entry:
  64     %b = fadd double %a, 3.250000e+00
  65     ret double %b
  66   }
  67
  68   declare x86_fp80 @cosl(x86_fp80) #0
  69
  70   define x86_fp80 @stack_psv(x86_fp80 %x) {
  71   entry:
  72     %y = call x86_fp80 @cosl(x86_fp80 %x) #0
  73     ret x86_fp80 %y
  74   }
  75
  76   attributes #0 = { readonly }
  77
  78   @G = external global i32
  79
  80   define i32 @got_psv() {
  81   entry:
  82     %a = load i32, i32* @G
  83     %b = add i32 %a, 1
  84     ret i32 %b
  85   }
  86
  87   define i32 @global_value() {
  88   entry:
  89     %a = load i32, i32* @G
  90     %b = add i32 %a, 1
  91     ret i32 %b
  92   }
  93
  94   define i32 @jumptable_psv(i32 %in) {
  95   entry:
  96     switch i32 %in, label %def [
  97       i32 0, label %lbl1
  98       i32 1, label %lbl2
  99       i32 2, label %lbl3
 100       i32 3, label %lbl4
 101     ]
 102   def:
 103     ret i32 0
 104   lbl1:
 105     ret i32 1
 106   lbl2:
 107     ret i32 2
 108   lbl3:
 109     ret i32 4
 110   lbl4:
 111     ret i32 8
 112   }
 113
 114   %struct.XXH_state64_t = type { i32, i32, i64, i64, i64 }
 115
 116   @a = common global i32 0, align 4
 117
 118   define i32 @tbaa_metadata() {
 119   entry:
 120     %0 = load i32, i32* @a, align 4, !tbaa !2
 121     %1 = inttoptr i32 %0 to %struct.XXH_state64_t*
 122     %total_len2 = bitcast %struct.XXH_state64_t* %1 to i32*
 123     %2 = load i32, i32* %total_len2, align 4, !tbaa !6
 124     ret i32 %2
 125   }
 126
 127   !2 = !{!3, !3, i64 0}
 128   !3 = !{!"int", !4, i64 0}
 129   !4 = !{!"omnipotent char", !5, i64 0}
 130   !5 = !{!"Simple C/C++ TBAA"}
 131   !6 = !{!7, !3, i64 0}
 132   !7 = !{!"XXH_state64_t", !3, i64 0, !3, i64 4, !8, i64 8, !8, i64 16, !8, i64 24}
 133   !8 = !{!"long long", !4, i64 0}
 134
 135   define void @aa_scope(float* nocapture %a, float* nocapture readonly %c) #1 {
 136   entry:
 137     %0 = load float, float* %c, align 4, !alias.scope !9
 138     %arrayidx.i = getelementptr inbounds float, float* %a, i64 5
 139     store float %0, float* %arrayidx.i, align 4, !noalias !9
 140     %1 = load float, float* %c, align 4
 141     %arrayidx = getelementptr inbounds float, float* %a, i64 7
 142     store float %1, float* %arrayidx, align 4
 143     ret void
 144   }
 145
 146   attributes #1 = { nounwind uwtable }
 147
 148   !9 = distinct !{!9, !10, !"some scope"}
 149   !10 = distinct !{!10, !"some domain"}
 150
 151 ...
 152 ---
 153 name:            test
 154 tracksRegLiveness: true
 155 liveins:
 156   - { reg: '%rdi' }
 157 body: |
 158   bb.0.entry:
 159     liveins: %rdi
 160   ; CHECK:      %eax = MOV32rm %rdi, 1, _, 0, _ :: (load 4 from %ir.a)
 161   ; CHECK-NEXT: MOV32mi killed %rdi, 1, _, 0, _, 42 :: (store 4 into %ir.a)
 162     %eax = MOV32rm %rdi, 1, _, 0, _ :: (load 4 from %ir.a)
 163     MOV32mi killed %rdi, 1, _, 0, _, 42 :: (store 4 into %ir.a)
 164     RETQ %eax
 165 ...
 166 ---
 167 name:            test2
 168 tracksRegLiveness: true
 169 liveins:
 170   - { reg: '%rdi' }
 171 body: |
 172   bb.0.entry2:
 173     liveins: %rdi
 174   ; CHECK: INC32m killed %rdi, 1, _, 0, _, implicit-def dead %eflags :: (store 4 into %ir."a value"), (load 4 from %ir."a value")
 175     INC32m killed %rdi, 1, _, 0, _, implicit-def dead %eflags :: (store 4 into %ir."a value"), (load 4 from %ir."a value")
 176     RETQ
 177 ...
 178 ---
 179 name:            volatile_inc
 180 tracksRegLiveness: true
 181 liveins:
 182   - { reg: '%rdi' }
 183 body: |
 184   bb.0.entry:
 185     liveins: %rdi
 186     ; CHECK: name: volatile_inc
 187     ; CHECK: %eax = MOV32rm %rdi, 1, _, 0, _ :: (volatile load 4 from %ir.x)
 188     ; CHECK: MOV32mr killed %rdi, 1, _, 0, _, %eax :: (volatile store 4 into %ir.x)
 189     %eax = MOV32rm %rdi, 1, _, 0, _ :: (volatile load 4 from %ir.x)
 190     %eax = INC32r killed %eax, implicit-def dead %eflags
 191     MOV32mr killed %rdi, 1, _, 0, _, %eax :: (volatile store 4 into %ir.x)
 192     RETQ %eax
 193 ...
 194 ---
 195 name:            non_temporal_store
 196 tracksRegLiveness: true
 197 liveins:
 198   - { reg: '%rdi' }
 199   - { reg: '%esi' }
 200 body: |
 201   bb.0.entry:
 202     liveins: %esi, %rdi
 203   ; CHECK: name: non_temporal_store
 204   ; CHECK: MOVNTImr killed %rdi, 1, _, 0, _, killed %esi :: (non-temporal store 4 into %ir.a)
 205     MOVNTImr killed %rdi, 1, _, 0, _, killed %esi :: (non-temporal store 4 into %ir.a)
 206     RETQ
 207 ...
 208 ---
 209 name:            invariant_load
 210 tracksRegLiveness: true
 211 liveins:
 212   - { reg: '%rdi' }
 213 body: |
 214   bb.0.entry:
 215     liveins: %rdi
 216   ; CHECK: name: invariant_load
 217   ; CHECK: %eax = MOV32rm killed %rdi, 1, _, 0, _ :: (invariant load 4 from %ir.x)
 218     %eax = MOV32rm killed %rdi, 1, _, 0, _ :: (invariant load 4 from %ir.x)
 219     RETQ %eax
 220 ...
 221 ---
 222 name:            memory_offset
 223 tracksRegLiveness: true
 224 liveins:
 225   - { reg: '%rdi' }
 226 body: |
 227   bb.0.entry:
 228     liveins: %rdi
 229   ; CHECK: name: memory_offset
 230   ; CHECK:      %xmm0 = MOVAPSrm %rdi, 1, _, 0, _ :: (load 16 from %ir.vec)
 231   ; CHECK-NEXT: %xmm1 = MOVAPSrm %rdi, 1, _, 16, _ :: (load 16 from %ir.vec + 16)
 232   ; CHECK:      MOVAPSmr %rdi, 1, _, 0, _, killed %xmm0 :: (store 16 into %ir.vec)
 233   ; CHECK-NEXT: MOVAPSmr killed %rdi, 1, _, 16, _, killed %xmm1 :: (store 16 into %ir.vec + 16)
 234     %xmm0 = MOVAPSrm %rdi, 1, _, 0, _ :: (load 16 from %ir.vec)
 235     %xmm1 = MOVAPSrm %rdi, 1, _, 16, _ :: (load 16 from %ir.vec + 16)
 236     %xmm2 = FsFLD0SS
 237     %xmm1 = MOVSSrr killed %xmm1, killed %xmm2
 238     MOVAPSmr %rdi, 1, _, 0, _, killed %xmm0 :: (store 16 into %ir.vec)
 239     MOVAPSmr killed %rdi, 1, _, 16, _, killed %xmm1 :: (store 16 into %ir.vec + 16)
 240     RETQ
 241 ...
 242 ---
 243 name:            memory_alignment
 244 tracksRegLiveness: true
 245 liveins:
 246   - { reg: '%rdi' }
 247 body: |
 248   bb.0.entry:
 249     liveins: %rdi
 250   ; CHECK: name: memory_alignment
 251   ; CHECK:      %xmm0 = MOVAPSrm %rdi, 1, _, 0, _ :: (load 16 from %ir.vec, align 32)
 252   ; CHECK-NEXT: %xmm1 = MOVAPSrm %rdi, 1, _, 16, _ :: (load 16 from %ir.vec + 16, align 32)
 253   ; CHECK:      MOVAPSmr %rdi, 1, _, 0, _, killed %xmm0 :: (store 16 into %ir.vec, align 32)
 254   ; CHECK-NEXT: MOVAPSmr killed %rdi, 1, _, 16, _, killed %xmm1 :: (store 16 into %ir.vec + 16, align 32)
 255     %xmm0 = MOVAPSrm %rdi, 1, _, 0, _ :: (load 16 from %ir.vec, align 32)
 256     %xmm1 = MOVAPSrm %rdi, 1, _, 16, _ :: (load 16 from %ir.vec + 16, align 32)
 257     %xmm2 = FsFLD0SS
 258     %xmm1 = MOVSSrr killed %xmm1, killed %xmm2
 259     MOVAPSmr %rdi, 1, _, 0, _, killed %xmm0 :: (store 16 into %ir.vec, align 32)
 260     MOVAPSmr killed %rdi, 1, _, 16, _, killed %xmm1 :: (store 16 into %ir.vec + 16, align 32)
 261     RETQ
 262 ...
 263 ---
 264 name:            constant_pool_psv
 265 tracksRegLiveness: true
 266 liveins:
 267   - { reg: '%xmm0' }
 268 constants:
 269   - id:          0
 270     value:       'double 3.250000e+00'
 271 body: |
 272   bb.0.entry:
 273     liveins: %xmm0
 274   ; CHECK: name: constant_pool_psv
 275   ; CHECK:      %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool)
 276   ; CHECK-NEXT: %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool + 8)
 277     %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool)
 278     %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool + 8)
 279     RETQ %xmm0
 280 ...
 281 ---
 282 name:            stack_psv
 283 tracksRegLiveness: true
 284 frameInfo:
 285   stackSize:       24
 286   maxAlignment:    16
 287   adjustsStack:    true
 288   hasCalls:        true
 289   maxCallFrameSize: 16
 290 fixedStack:
 291   - { id: 0, offset: 0, size: 10, alignment: 16, isImmutable: true, isAliased: false }
 292 body: |
 293   bb.0.entry:
 294     %rsp = frame-setup SUB64ri8 %rsp, 24, implicit-def dead %eflags
 295     CFI_INSTRUCTION .cfi_def_cfa_offset 32
 296     LD_F80m %rsp, 1, _, 32, _, implicit-def dead %fpsw
 297   ; CHECK: name: stack_psv
 298   ; CHECK: ST_FP80m %rsp, 1, _, 0, _, implicit-def dead %fpsw :: (store 10 into stack, align 16)
 299     ST_FP80m %rsp, 1, _, 0, _, implicit-def dead %fpsw :: (store 10 into stack, align 16)
 300     CALL64pcrel32 $cosl, csr_64, implicit %rsp, implicit-def %rsp, implicit-def %fp0
 301     %rsp = ADD64ri8 %rsp, 24, implicit-def dead %eflags
 302     RETQ
 303 ...
 304 ---
 305 name:            got_psv
 306 tracksRegLiveness: true
 307 body: |
 308   bb.0.entry:
 309   ; CHECK: name: got_psv
 310   ; CHECK: %rax = MOV64rm %rip, 1, _, @G, _ :: (load 8 from got)
 311     %rax = MOV64rm %rip, 1, _, @G, _ :: (load 8 from got)
 312     %eax = MOV32rm killed %rax, 1, _, 0, _
 313     %eax = INC32r killed %eax, implicit-def dead %eflags
 314     RETQ %eax
 315 ...
 316 ---
 317 name:            global_value
 318 tracksRegLiveness: true
 319 body: |
 320   bb.0.entry:
 321     %rax = MOV64rm %rip, 1, _, @G, _
 322   ; CHECK: name: global_value
 323   ; CHECK: %eax = MOV32rm killed %rax, 1, _, 0, _ :: (load 4 from %ir.G)
 324     %eax = MOV32rm killed %rax, 1, _, 0, _ :: (load 4 from %ir.G)
 325     %eax = INC32r killed %eax, implicit-def dead %eflags
 326     RETQ %eax
 327 ...
 328 ---
 329 name:            jumptable_psv
 330 tracksRegLiveness: true
 331 liveins:
 332   - { reg: '%edi' }
 333 jumpTable:
 334   kind:          label-difference32
 335   entries:
 336     - id:        0
 337       blocks:    [ '%bb.3.lbl1', '%bb.4.lbl2', '%bb.5.lbl3', '%bb.6.lbl4' ]
 338 body: |
 339   bb.0.entry:
 340     successors: %bb.2.def, %bb.1.entry
 341     liveins: %edi
 342
 343     %eax = MOV32rr %edi, implicit-def %rax
 344     CMP32ri8 killed %edi, 3, implicit-def %eflags
 345     JA_1 %bb.2.def, implicit killed %eflags
 346
 347   bb.1.entry:
 348     successors: %bb.3.lbl1, %bb.4.lbl2, %bb.5.lbl3, %bb.6.lbl4
 349     liveins: %rax
 350
 351     %rcx = LEA64r %rip, 1, _, %jump-table.0, _
 352   ; CHECK: name: jumptable_psv
 353   ; CHECK: %rax = MOVSX64rm32 %rcx, 4, killed %rax, 0, _ :: (load 4 from jump-table, align 8)
 354     %rax = MOVSX64rm32 %rcx, 4, killed %rax, 0, _ :: (load 4 from jump-table, align 8)
 355     %rax = ADD64rr killed %rax, killed %rcx, implicit-def dead %eflags
 356     JMP64r killed %rax
 357
 358   bb.2.def:
 359     %eax = MOV32r0 implicit-def dead %eflags
 360     RETQ %eax
 361
 362   bb.3.lbl1:
 363     %eax = MOV32ri 1
 364     RETQ %eax
 365
 366   bb.4.lbl2:
 367     %eax = MOV32ri 2
 368     RETQ %eax
 369
 370   bb.5.lbl3:
 371     %eax = MOV32ri 4
 372     RETQ %eax
 373
 374   bb.6.lbl4:
 375     %eax = MOV32ri 8
 376     RETQ %eax
 377 ...
 378 ---
 379 name:            tbaa_metadata
 380 tracksRegLiveness: true
 381 body: |
 382   bb.0.entry:
 383     %rax = MOV64rm %rip, 1, _, @a, _ :: (load 8 from got)
 384   ; CHECK-LABEL: name: tbaa_metadata
 385   ; CHECK:      %eax = MOV32rm killed %rax, 1, _, 0, _, implicit-def %rax :: (load 4 from %ir.a, !tbaa !2)
 386   ; CHECK-NEXT: %eax = MOV32rm killed %rax, 1, _, 0, _ :: (load 4 from %ir.total_len2, !tbaa !6)
 387     %eax = MOV32rm killed %rax, 1, _, 0, _, implicit-def %rax :: (load 4 from %ir.a, !tbaa !2)
 388     %eax = MOV32rm killed %rax, 1, _, 0, _ :: (load 4 from %ir.total_len2, !tbaa !6)
 389     RETQ %eax
 390 ...
 391 ---
 392 name:            aa_scope
 393 tracksRegLiveness: true
 394 liveins:
 395   - { reg: '%rdi' }
 396   - { reg: '%rsi' }
 397 body: |
 398   bb.0.entry:
 399     liveins: %rdi, %rsi
 400   ; CHECK-LABEL: name: aa_scope
 401   ; CHECK: %xmm0 = MOVSSrm %rsi, 1, _, 0, _ :: (load 4 from %ir.c, !alias.scope !9)
 402     %xmm0 = MOVSSrm %rsi, 1, _, 0, _ :: (load 4 from %ir.c, !alias.scope !9)
 403   ; CHECK-NEXT: MOVSSmr %rdi, 1, _, 20, _, killed %xmm0 :: (store 4 into %ir.arrayidx.i, !noalias !9)
 404     MOVSSmr %rdi, 1, _, 20, _, killed %xmm0 :: (store 4 into %ir.arrayidx.i, !noalias !9)
 405     %xmm0 = MOVSSrm killed %rsi, 1, _, 0, _ :: (load 4 from %ir.c)
 406     MOVSSmr killed %rdi, 1, _, 28, _, killed %xmm0 :: (store 4 into %ir.arrayidx)
 407     RETQ
 408 ...