Home | History | Annotate | Download | only in Generic 
      1 ; RUN: opt -verify -S < %s
      2 
      3 ; Tests the name mangling performed by the codepath following
      4 ; getMangledTypeStr(). Only tests that code with the various manglings
      5 ; run fine: doesn't actually test the mangling with the type of the
      6 ; arguments. Meant to serve as an example-document on how the user
      7 ; should do name manglings.
      8 
      9 ; Exercise the most general case, llvm_anyptr_type, using gc.relocate
     10 ; and gc.statepoint. Note that it has nothing to do with gc.*
     11 ; functions specifically: any function that accepts llvm_anyptr_type
     12 ; will serve the purpose.
     13 
     14 ; function and integer
     15 define i32* @test_iAny(i32* %v) gc "statepoint-example" {
     16        %tok = call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32* %v)
     17        %v-new = call i32* @llvm.experimental.gc.relocate.p0i32(i32 %tok, i32 4, i32 4)
     18        ret i32* %v-new
     19 }
     20 
     21 ; float
     22 define float* @test_fAny(float* %v) gc "statepoint-example" {
     23        %tok = call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, float* %v)
     24        %v-new = call float* @llvm.experimental.gc.relocate.p0f32(i32 %tok, i32 4, i32 4)
     25        ret float* %v-new
     26 }
     27 
     28 ; array of integers
     29 define [3 x i32]* @test_aAny([3 x i32]* %v) gc "statepoint-example" {
     30        %tok = call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, [3 x i32]* %v)
     31        %v-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(i32 %tok, i32 4, i32 4)
     32        ret [3 x i32]* %v-new
     33 }
     34 
     35 ; vector of integers
     36 define <3 x i32>* @test_vAny(<3 x i32>* %v) gc "statepoint-example" {
     37        %tok = call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, <3 x i32>* %v)
     38        %v-new = call <3 x i32>* @llvm.experimental.gc.relocate.p0v3i32(i32 %tok, i32 4, i32 4)
     39        ret <3 x i32>* %v-new
     40 }
     41 
     42 %struct.test = type { i32, i1 }
     43 
     44 ; struct
     45 define %struct.test* @test_struct(%struct.test* %v) gc "statepoint-example" {
     46        %tok = call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, %struct.test* %v)
     47        %v-new = call %struct.test* @llvm.experimental.gc.relocate.p0struct.test(i32 %tok, i32 4, i32 4)
     48        ret %struct.test* %v-new
     49 }
     50 
     51 declare zeroext i1 @return_i1()
     52 declare i32 @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()*, i32, i32, ...)
     53 declare i32* @llvm.experimental.gc.relocate.p0i32(i32, i32, i32)
     54 declare float* @llvm.experimental.gc.relocate.p0f32(i32, i32, i32)
     55 declare [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(i32, i32, i32)
     56 declare <3 x i32>* @llvm.experimental.gc.relocate.p0v3i32(i32, i32, i32)
     57 declare %struct.test* @llvm.experimental.gc.relocate.p0struct.test(i32, i32, i32)
     58