File: vararg.mir

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.6-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,245,028 kB
  • sloc: cpp: 7,619,726; ansic: 1,434,018; asm: 1,058,748; python: 252,740; f90: 94,671; objc: 70,685; lisp: 42,813; pascal: 18,401; sh: 8,601; ml: 5,111; perl: 4,720; makefile: 3,675; awk: 3,523; javascript: 2,409; xml: 892; fortran: 770
file content (56 lines) | stat: -rw-r--r-- 2,472 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -O0 -mtriple=aarch64-unknown-linux -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=CHECK

--- |
  target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32"
  target triple = "aarch64-unknown-linux"

  %struct.__va_list = type { ptr, ptr, ptr, i32, i32 }

  define i32 @va_start(ptr %a, ...) {
  entry:
    %ap = alloca %struct.__va_list, align 8
    call void @llvm.lifetime.start.p0(i64 32, ptr %ap)
    call void @llvm.va_start.p0(ptr %ap)
    %vr_offs_p = getelementptr inbounds i8, ptr %ap, i64 28
    %vr_offs = load i32, ptr %vr_offs_p, align 4
    ret i32 %vr_offs
  }
...
---
name:            va_start
alignment:       16
legalized:       true
regBankSelected: true
tracksRegLiveness: true
fixedStack:
  - { id: 0, size: 4, alignment: 16 }
stack:
  - { id: 0, size: 56, alignment: 8 }
  - { id: 1, size: 128, alignment: 16 }
  - { id: 2, name: ap, size: 32, alignment: 8 }
body: |
  bb.0.entry:
    ; CHECK-LABEL: name: va_start
    ; CHECK: LIFETIME_START %stack.2.ap
    ; CHECK-NEXT: [[ADDXri:%[0-9]+]]:gpr64sp = ADDXri %stack.2.ap, 0, 0
    ; CHECK-NEXT: [[ADDXri1:%[0-9]+]]:gpr64common = ADDXri %stack.0, 0, 0
    ; CHECK-NEXT: STRXui [[ADDXri1]], [[ADDXri]], 0 :: (store (s64) into %ir.ap)
    ; CHECK-NEXT: [[ADDXri2:%[0-9]+]]:gpr64common = ADDXri %stack.0, 0, 0
    ; CHECK-NEXT: STRXui [[ADDXri2]], [[ADDXri]], 1 :: (store (s64) into %ir.ap + 8)
    ; CHECK-NEXT: [[ADDXri3:%[0-9]+]]:gpr64common = ADDXri %stack.0, 0, 0
    ; CHECK-NEXT: STRXui [[ADDXri3]], [[ADDXri]], 2 :: (store (s64) into %ir.ap + 16)
    ; CHECK-NEXT: [[MOVi32imm:%[0-9]+]]:gpr32 = MOVi32imm 0
    ; CHECK-NEXT: STRWui [[MOVi32imm]], [[ADDXri]], 6 :: (store (s32) into %ir.ap + 24, align 8)
    ; CHECK-NEXT: [[MOVi32imm1:%[0-9]+]]:gpr32 = MOVi32imm 0
    ; CHECK-NEXT: STRWui [[MOVi32imm1]], [[ADDXri]], 7 :: (store (s32) into %ir.ap + 28, basealign 8)
    ; CHECK-NEXT: [[LDRWui:%[0-9]+]]:gpr32 = LDRWui %stack.2.ap, 7 :: (dereferenceable load (s32) from %ir.vr_offs_p)
    ; CHECK-NEXT: $w0 = COPY [[LDRWui]]
    LIFETIME_START %stack.2.ap
    %0:gpr(p0) = G_FRAME_INDEX %stack.2.ap
    G_VASTART %0(p0) :: (store (s256) into %ir.ap, align 8)
    %1:gpr(s64) = G_CONSTANT i64 28
    %2:gpr(p0) = G_PTR_ADD %0, %1(s64)
    %3:gpr(s32) = G_LOAD %2(p0) :: (dereferenceable load (s32) from %ir.vr_offs_p)
    $w0 = COPY %3(s32)
...