Home | History | Annotate | Download | only in X86
      1 ; RUN: llc < %s -mcpu=generic -mtriple=i686-linux -verify-machineinstrs | FileCheck %s -check-prefix=X32-Linux
      2 ; RUN: llc < %s -mtriple=x86_64-linux-gnu -verify-machineinstrs | FileCheck %s -check-prefix=X64-Linux
      3 
      4 ; The HiPE compiler (i.e., the native code compiler of the Erlang/OTP system)
      5 ; adds a custom assembly prologue in order to efficiently manipulate the stack
      6 ; at runtime.
      7 
      8 ; Just to prevent the alloca from being optimized away.
      9 declare void @dummy_use(i32*, i32)
     10 
     11 define {i32, i32} @test_basic(i32 %hp, i32 %p) {
     12   ; X32-Linux-LABEL:       test_basic:
     13   ; X32-Linux-NOT:   calll inc_stack_0
     14 
     15   ; X64-Linux-LABEL:       test_basic:
     16   ; X64-Linux-NOT:   callq inc_stack_0
     17 
     18   %mem = alloca i32, i32 10
     19   call void @dummy_use (i32* %mem, i32 10)
     20   %1 = insertvalue {i32, i32} undef, i32 %hp, 0
     21   %2 = insertvalue {i32, i32} %1, i32 %p, 1
     22   ret {i32, i32} %1
     23 }
     24 
     25 define cc 11 {i32, i32} @test_basic_hipecc(i32 %hp, i32 %p) {
     26   ; X32-Linux-LABEL:       test_basic_hipecc:
     27   ; X32-Linux:       leal -156(%esp), %ebx
     28   ; X32-Linux-NEXT:  cmpl 76(%ebp), %ebx
     29   ; X32-Linux-NEXT:  jb .LBB1_1
     30 
     31   ; X32-Linux:       ret
     32 
     33   ; X32-Linux:       .LBB1_1:
     34   ; X32-Linux-NEXT:  calll inc_stack_0
     35 
     36   ; X64-Linux-LABEL:       test_basic_hipecc:
     37   ; X64-Linux:       leaq -232(%rsp), %r14
     38   ; X64-Linux-NEXT:  cmpq 144(%rbp), %r14
     39   ; X64-Linux-NEXT:  jb .LBB1_1
     40 
     41   ; X64-Linux:       ret
     42 
     43   ; X64-Linux:       .LBB1_1:
     44   ; X64-Linux-NEXT:  callq inc_stack_0
     45 
     46   %mem = alloca i32, i32 10
     47   call void @dummy_use (i32* %mem, i32 10)
     48   %1 = insertvalue {i32, i32} undef, i32 %hp, 0
     49   %2 = insertvalue {i32, i32} %1, i32 %p, 1
     50   ret {i32, i32} %2
     51 }
     52 
     53 define cc 11 {i32,i32,i32} @test_nocall_hipecc(i32 %hp,i32 %p,i32 %x,i32 %y) {
     54   ; X32-Linux-LABEL:       test_nocall_hipecc:
     55   ; X32-Linux-NOT:   calll inc_stack_0
     56 
     57   ; X64-Linux-LABEL:       test_nocall_hipecc:
     58   ; X64-Linux-NOT:   callq inc_stack_0
     59 
     60   %1 = add i32 %x, %y
     61   %2 = mul i32 42, %1
     62   %3 = sub i32 24, %2
     63   %4 = insertvalue {i32, i32, i32} undef, i32 %hp, 0
     64   %5 = insertvalue {i32, i32, i32} %4, i32 %p, 1
     65   %6 = insertvalue {i32, i32, i32} %5, i32 %p, 2
     66   ret {i32, i32, i32} %6
     67 }
     68