mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-07-19 03:29:22 +00:00
9445e9aaa0
Change the keywords for the zext and sext parameter attributes to be zeroext and signext so they don't conflict with the keywords for the instructions of the same name. This gets around the ambiguity. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40069 91177308-0d34-0410-b5e6-96231b3b80d8
53 lines
1.1 KiB
LLVM
53 lines
1.1 KiB
LLVM
; RUN: llvm-as < %s | llc -march=ppc32 | not grep {extsh\\|rlwinm}
|
|
|
|
declare i16 @foo() signext
|
|
|
|
define i32 @test1(i16 signext %X) {
|
|
%Y = sext i16 %X to i32 ;; dead
|
|
ret i32 %Y
|
|
}
|
|
|
|
define i32 @test2(i16 zeroext %X) {
|
|
%Y = sext i16 %X to i32
|
|
%Z = and i32 %Y, 65535 ;; dead
|
|
ret i32 %Z
|
|
}
|
|
|
|
define void @test3() {
|
|
%tmp.0 = call i16 @foo() signext ;; no extsh!
|
|
%tmp.1 = icmp slt i16 %tmp.0, 1234
|
|
br i1 %tmp.1, label %then, label %UnifiedReturnBlock
|
|
|
|
then:
|
|
call i32 @test1(i16 0 signext)
|
|
ret void
|
|
UnifiedReturnBlock:
|
|
ret void
|
|
}
|
|
|
|
define i32 @test4(i16* %P) {
|
|
%tmp.1 = load i16* %P
|
|
%tmp.2 = zext i16 %tmp.1 to i32
|
|
%tmp.3 = and i32 %tmp.2, 255
|
|
ret i32 %tmp.3
|
|
}
|
|
|
|
define i32 @test5(i16* %P) {
|
|
%tmp.1 = load i16* %P
|
|
%tmp.2 = bitcast i16 %tmp.1 to i16
|
|
%tmp.3 = zext i16 %tmp.2 to i32
|
|
%tmp.4 = and i32 %tmp.3, 255
|
|
ret i32 %tmp.4
|
|
}
|
|
|
|
define i32 @test6(i32* %P) {
|
|
%tmp.1 = load i32* %P
|
|
%tmp.2 = and i32 %tmp.1, 255
|
|
ret i32 %tmp.2
|
|
}
|
|
|
|
define i16 @test7(float %a) zeroext {
|
|
%tmp.1 = fptoui float %a to i16
|
|
ret i16 %tmp.1
|
|
}
|