llvm/test/Linker/intrinsics-with-unnamed-types.ll

   1 ; RUN: split-file %s %t
   2 ; RUN: llvm-as -o %t1.bc %t/f01.ll
   3 ; RUN: llvm-as -o %t2.bc %t/f02.ll
   4 ; RUN: llvm-link %t1.bc %t2.bc -o %t3.bc
   5 ; RUN: llvm-dis -o - %t3.bc | FileCheck %s
   6
   7 ; Make sure we can link files with clashing intrinsic names using unnamed types.
   8
   9 ;--- f01.ll
  10 %1 = type opaque
  11 %0 = type opaque
  12
  13 ; CHECK-LABEL: @test01(
  14 ; CHECK:       %c1 = call %0 @llvm.ssa.copy.s_s.0(%0 %arg)
  15 ; CHECK-NEXT:  %c2 = call %1 @llvm.ssa.copy.s_s.1(%1 %tmp)
  16
  17 define void @test01(%0 %arg, %1 %tmp) {
  18 bb:
  19   %c1 = call %0 @llvm.ssa.copy.s_s.0(%0 %arg)
  20   %c2 = call %1 @llvm.ssa.copy.s_s.1(%1 %tmp)
  21   ret void
  22 }
  23
  24 declare %0 @llvm.ssa.copy.s_s.0(%0 returned)
  25
  26 declare %1 @llvm.ssa.copy.s_s.1(%1 returned)
  27
  28 ; now with recycling of previous declarations:
  29 ; CHECK-LABEL: @test02(
  30 ; CHECK:       %c1 = call %0 @llvm.ssa.copy.s_s.0(%0 %arg)
  31 ; CHECK-NEXT:  %c2 = call %1 @llvm.ssa.copy.s_s.1(%1 %tmp)
  32
  33 define void @test02(%0 %arg, %1 %tmp) {
  34 bb:
  35   %c1 = call %0 @llvm.ssa.copy.s_s.0(%0 %arg)
  36   %c2 = call %1 @llvm.ssa.copy.s_s.1(%1 %tmp)
  37   ret void
  38 }
  39
  40 ;--- f02.ll
  41 %1 = type opaque
  42 %2 = type opaque
  43
  44 ; CHECK-LABEL: @test03(
  45 ; CHECK:      %c1 = call %3 @llvm.ssa.copy.s_s.2(%3 %arg)
  46 ; CHECK-NEXT: %c2 = call %2 @llvm.ssa.copy.s_s.3(%2 %tmp)
  47
  48 define void @test03(%1 %tmp, %2 %arg) {
  49 bb:
  50   %c1 = call %2 @llvm.ssa.copy.s_s.0(%2 %arg)
  51   %c2 = call %1 @llvm.ssa.copy.s_s.1(%1 %tmp)
  52   ret void
  53 }
  54
  55 declare %2 @llvm.ssa.copy.s_s.0(%2 returned)
  56
  57 declare %1 @llvm.ssa.copy.s_s.1(%1 returned)