[Bitcode] Add additional callbr tests (NFC)

Additional coverage for the auto-upgrade code in D129288.
This commit is contained in:
Nikita Popov 2022-07-11 16:45:29 +02:00
parent f54ca1f632
commit b51638b3fb
2 changed files with 28 additions and 0 deletions

View File

@ -15,3 +15,31 @@ normal:
fail:
ret i32 0
}
define i32 @test_asm_goto2(i32 %x){
entry:
; CHECK-TYPED: callbr void asm "", "r,i,i"(i32 %x, i8* blockaddress(@test_asm_goto2, %fail), i8* blockaddress(@test_asm_goto2, %fail2))
; CHECK-OPAQUE: callbr void asm "", "r,i,i"(i32 %x, ptr blockaddress(@test_asm_goto2, %fail), ptr blockaddress(@test_asm_goto2, %fail2))
; CHECK-NEXT: to label %normal [label %fail, label %fail2]
callbr void asm "", "r,i,i"(i32 %x, i8* blockaddress(@test_asm_goto2, %fail), i8* blockaddress(@test_asm_goto2, %fail2)) to label %normal [label %fail, label %fail2]
normal:
ret i32 1
fail:
ret i32 0
fail2:
ret i32 2
}
define i32 @test_asm_goto3(i32 %x){
entry:
; CHECK-TYPED: callbr void asm "", "r,i,i"(i32 %x, i8* blockaddress(@test_asm_goto3, %unrelated), i8* blockaddress(@test_asm_goto3, %fail))
; CHECK-OPAQUE: callbr void asm "", "r,i,i"(i32 %x, ptr blockaddress(@test_asm_goto3, %unrelated), ptr blockaddress(@test_asm_goto3, %fail))
; CHECK-NEXT: to label %normal [label %fail]
callbr void asm "", "r,i,i"(i32 %x, i8* blockaddress(@test_asm_goto3, %unrelated), i8* blockaddress(@test_asm_goto3, %fail)) to label %normal [label %fail]
normal:
ret i32 1
fail:
ret i32 0
unrelated:
ret i32 2
}

Binary file not shown.