File: x86-regcall-got.ll

package info (click to toggle)
llvm-toolchain-13 1%3A13.0.1-6~deb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 1,418,812 kB
  • sloc: cpp: 5,290,827; ansic: 996,570; asm: 544,593; python: 188,212; objc: 72,027; lisp: 30,291; f90: 25,395; sh: 24,900; javascript: 9,780; pascal: 9,398; perl: 7,484; ml: 5,432; awk: 3,523; makefile: 2,892; xml: 953; cs: 573; fortran: 539
file content (37 lines) | stat: -rw-r--r-- 1,353 bytes parent folder | download | duplicates (6)
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
; RUN: llc -O0 -mtriple=i386-unknown-linux-gnu -relocation-model=pic < %s | FileCheck %s

; Unbind the ebx with GOT address in regcall calling convention, or the following
; case will failed in register allocation by no register can be used.

;#define REGCALL __attribute__((regcall))
;int REGCALL func (int i1, int i2, int i3, int i4, int i5);
;int (REGCALL *fptr) (int, int, int, int, int) = func;
;int test() {
;    return fptr(1,2,3,4,5);
;}

@fptr = global i32 (i32, i32, i32, i32, i32)* @__regcall3__func, align 4

declare x86_regcallcc i32 @__regcall3__func(i32 inreg, i32 inreg, i32 inreg, i32 inreg, i32 inreg)

; Function Attrs: noinline nounwind optnone
define i32 @test() {
; CHECK-LABEL: test:
; CHECK:       .L0$pb:
; CHECK-NEXT:    popl %eax
; CHECK:       .Ltmp0:
; CHECK-NEXT:    addl    $_GLOBAL_OFFSET_TABLE_+(.Ltmp0-.L0$pb), %eax
; CHECK-NEXT:    movl    fptr@GOT(%eax), %eax
; CHECK-NEXT:    movl    (%eax), %ebx
; CHECK-NEXT:    movl    $1, %eax
; CHECK-NEXT:    movl    $2, %ecx
; CHECK-NEXT:    movl    $3, %edx
; CHECK-NEXT:    movl    $4, %edi
; CHECK-NEXT:    movl    $5, %esi
; CHECK-NEXT:    calll   *%ebx

entry:
  %0 = load i32 (i32, i32, i32, i32, i32)*, i32 (i32, i32, i32, i32, i32)** @fptr, align 4
  %call = call x86_regcallcc i32 %0(i32 inreg 1, i32 inreg 2, i32 inreg 3, i32 inreg 4, i32 inreg 5)
  ret i32 %call
}