mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-06 04:31:08 +00:00
32 lines
695 B
LLVM
32 lines
695 B
LLVM
|
; RUN: llvm-link -S %s %p/Inputs/type-unique-unrelated2.ll %p/Inputs/type-unique-unrelated3.ll | FileCheck %s
|
||
|
|
|
||
|
|
; CHECK: %t = type { i8* }
|
||
|
|
|
||
|
|
; CHECK: define %t @f2() {
|
||
|
|
; CHECK-NEXT: %x = call %t @f2()
|
||
|
|
; CHECK-NEXT: ret %t %x
|
||
|
|
; CHECK-NEXT: }
|
||
|
|
|
||
|
|
; CHECK: define %t @g2() {
|
||
|
|
; CHECK-NEXT: %x = call %t @g()
|
||
|
|
; CHECK-NEXT: ret %t %x
|
||
|
|
; CHECK-NEXT: }
|
||
|
|
|
||
|
|
; CHECK: define %t @g() {
|
||
|
|
; CHECK-NEXT: %x = call %t @f()
|
||
|
|
; CHECK-NEXT: ret %t %x
|
||
|
|
; CHECK-NEXT: }
|
||
|
|
|
||
|
|
; The idea of this test is that the %t in this file and the one in
|
||
|
|
; type-unique-unrelated2.ll look unrelated until type-unique-unrelated3.ll
|
||
|
|
; is merged in.
|
||
|
|
|
||
|
|
%t = type { i8* }
|
||
|
|
declare %t @f()
|
||
|
|
|
||
|
|
define %t @f2() {
|
||
|
|
%x = call %t @f2()
|
||
|
|
ret %t %x
|
||
|
|
}
|
||
|
|
|