| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152 |
- ; 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}, {i32, i32}* %ptr, i32 %a, i32 0
- %1 = load i32, i32* %0
- %2 = icmp eq i32 %1, %a
- ret i1 %2
- }
- ; CHECK: Stream type: LLVM IR
|
