1 ; RUN: opt -verify -S < %s | FileCheck %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 token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i32* %v) 17 %v-new = call i32* @llvm.experimental.gc.relocate.p0i32(token %tok, i32 7, i32 7) 18 ret i32* %v-new 19 } 20 21 ; float 22 define float* @test_fAny(float* %v) gc "statepoint-example" { 23 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, float* %v) 24 %v-new = call float* @llvm.experimental.gc.relocate.p0f32(token %tok, i32 7, i32 7) 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 token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, [3 x i32]* %v) 31 %v-new = call [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token %tok, i32 7, i32 7) 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 token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, <3 x i32>* %v) 38 %v-new = call <3 x i32>* @llvm.experimental.gc.relocate.p0v3i32(token %tok, i32 7, i32 7) 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 token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, %struct.test* %v) 47 %v-new = call %struct.test* @llvm.experimental.gc.relocate.p0s_struct.tests(token %tok, i32 7, i32 7) 48 ret %struct.test* %v-new 49 } 50 51 ; literal struct with nested literal struct 52 define {i64, i64, {i64} }* @test_literal_struct({i64, i64, {i64}}* %v) gc "statepoint-example" { 53 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, {i64, i64, {i64}} *%v) 54 %v-new = call {i64, i64, {i64}}* @llvm.experimental.gc.relocate.p0sl_i64i64sl_i64ss.test(token %tok, i32 7, i32 7) 55 ret {i64, i64, {i64}}* %v-new 56 } 57 ; struct with a horrible name, broken when structs were unprefixed 58 %i32 = type { i32 } 59 60 define %i32* @test_i32_struct(%i32* %v) gc "statepoint-example" { 61 entry: 62 %tok = call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, %i32* %v) 63 %v-new = call %i32* @llvm.experimental.gc.relocate.p0s_i32s(token %tok, i32 7, i32 7) 64 ret %i32* %v-new 65 } 66 ; completely broken intrinsic naming due to needing remangling. Just use random naming to test 67 68 define %i32* @test_broken_names(%i32* %v) gc "statepoint-example" { 69 entry: 70 %tok = call fastcc token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.deadbeef(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, %i32* %v) 71 ; Make sure we do not destroy the calling convention when remangling 72 ; CHECK: fastcc 73 %v-new = call %i32* @llvm.experimental.gc.relocate.beefdead(token %tok, i32 7, i32 7) 74 ret %i32* %v-new 75 } 76 declare zeroext i1 @return_i1() 77 declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) 78 declare i32* @llvm.experimental.gc.relocate.p0i32(token, i32, i32) 79 declare float* @llvm.experimental.gc.relocate.p0f32(token, i32, i32) 80 declare [3 x i32]* @llvm.experimental.gc.relocate.p0a3i32(token, i32, i32) 81 declare <3 x i32>* @llvm.experimental.gc.relocate.p0v3i32(token, i32, i32) 82 declare %struct.test* @llvm.experimental.gc.relocate.p0s_struct.tests(token, i32, i32) 83 declare {i64, i64, {i64}}* @llvm.experimental.gc.relocate.p0sl_i64i64sl_i64ss.test(token, i32, i32) 84 declare %i32* @llvm.experimental.gc.relocate.p0s_i32s(token, i32, i32) 85 declare %i32* @llvm.experimental.gc.relocate.beefdead(token, i32, i32) 86 declare token @llvm.experimental.gc.statepoint.deadbeef(i64, i32, i1 ()*, i32, i32, ...) 87
