mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-25 00:29:20 +00:00
6606ad944b
Like r230414, add bitcode support including backwards compatibility, for an explicit type parameter to GEP. At the suggestion of Duncan I tried coalescing the two older bitcodes into a single new bitcode, though I did hit a wrinkle: I couldn't figure out how to create an explicit abbreviation for a record with a variable number of arguments (the indicies to the gep). This means the discriminator between inbounds and non-inbounds gep is a full variable-length field I believe? Is my understanding correct? Is there a way to create such an abbreviation? Should I just use two bitcodes as before? Reviewers: dexonsmith Differential Revision: http://reviews.llvm.org/D7736 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230415 91177308-0d34-0410-b5e6-96231b3b80d8
53 lines
1.4 KiB
LLVM
53 lines
1.4 KiB
LLVM
; Basic sanity test to check that instruction operands are encoded with
|
|
; relative IDs.
|
|
; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s
|
|
; RUN: verify-uselistorder < %s
|
|
|
|
; CHECK: FUNCTION_BLOCK
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_RET {{.*}}op0=1
|
|
define i32 @test_int_binops(i32 %a) nounwind {
|
|
entry:
|
|
%0 = add i32 %a, %a
|
|
%1 = sub i32 %0, %0
|
|
%2 = mul i32 %1, %1
|
|
ret i32 %2
|
|
}
|
|
|
|
|
|
; CHECK: FUNCTION_BLOCK
|
|
; CHECK: INST_CAST {{.*}}op0=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_BINOP {{.*}}op0=1 op1=1
|
|
; CHECK: INST_RET {{.*}}op0=1
|
|
define double @test_float_binops(i32 %a) nounwind {
|
|
%1 = sitofp i32 %a to double
|
|
%2 = fadd double %1, %1
|
|
%3 = fsub double %2, %2
|
|
%4 = fmul double %3, %3
|
|
%5 = fdiv double %4, %4
|
|
ret double %5
|
|
}
|
|
|
|
|
|
; CHECK: FUNCTION_BLOCK
|
|
; skip checking operands of INST_GEP since that depends on ordering
|
|
; between literals and the formal parameters.
|
|
; CHECK: INST_GEP {{.*}}
|
|
; CHECK: INST_LOAD {{.*}}op0=1 {{.*}}
|
|
; CHECK: INST_CMP2 op0=1 {{.*}}
|
|
; CHECK: INST_RET {{.*}}op0=1
|
|
define i1 @test_load(i32 %a, {i32, i32}* %ptr) nounwind {
|
|
entry:
|
|
%0 = getelementptr inbounds {i32, i32}* %ptr, i32 %a, i32 0
|
|
%1 = load i32* %0
|
|
%2 = icmp eq i32 %1, %a
|
|
ret i1 %2
|
|
}
|
|
|
|
; CHECK: Stream type: LLVM IR
|