diff --git a/cranelift/filetests/isa/x86/binary64.cton b/cranelift/filetests/isa/x86/binary64.cton index faf4fe99ac..2a945ee17c 100644 --- a/cranelift/filetests/isa/x86/binary64.cton +++ b/cranelift/filetests/isa/x86/binary64.cton @@ -477,7 +477,7 @@ ebb0: ; Colocated functions. ; asm: call bar - ; call fn1() ; bin: e8 PCRel4(%bar-4) 00000000 + call fn1() ; bin: e8 PCRel4(%bar-4) 00000000 ; asm: lea 0x0(%rip), %rcx [-,%rcx] v400 = func_addr.i64 fn1 ; bin: 48 8d 0d PCRel4(%bar-4) 00000000 diff --git a/cranelift/filetests/isa/x86/legalize-call.cton b/cranelift/filetests/isa/x86/legalize-call.cton new file mode 100644 index 0000000000..adcb6a6ad1 --- /dev/null +++ b/cranelift/filetests/isa/x86/legalize-call.cton @@ -0,0 +1,15 @@ +; Test legalization of a non-colocated call in 64-bit non-PIC mode. +test legalizer +set is_64bit +set is_compressed +isa x86 haswell + +function %call() { + fn0 = %foo() +ebb0: + call fn0() + return +} + +; check: v0 = func_addr.i64 fn0 +; nextln: call_indirect sig0, v0()