62 lines · plain
1; Basic correctness test to check that instruction operands are encoded with2; relative IDs.3; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s4; RUN: verify-uselistorder < %s5 6; CHECK: FUNCTION_BLOCK7; CHECK: INST_UNOP {{.*}}op0=18; CHECK: INST_RET {{.*}}op0=19define double @test_float_unops(double %a) nounwind {10 %1 = fneg double %a11 ret double %112}13 14 15; CHECK: FUNCTION_BLOCK16; CHECK: INST_BINOP {{.*}}op0=1 op1=117; CHECK: INST_BINOP {{.*}}op0=1 op1=118; CHECK: INST_BINOP {{.*}}op0=1 op1=119; CHECK: INST_RET {{.*}}op0=120define i32 @test_int_binops(i32 %a) nounwind {21entry:22 %0 = add i32 %a, %a23 %1 = sub i32 %0, %024 %2 = mul i32 %1, %125 ret i32 %226}27 28 29; CHECK: FUNCTION_BLOCK30; CHECK: INST_CAST {{.*}}op0=131; CHECK: INST_BINOP {{.*}}op0=1 op1=132; CHECK: INST_BINOP {{.*}}op0=1 op1=133; CHECK: INST_BINOP {{.*}}op0=1 op1=134; CHECK: INST_BINOP {{.*}}op0=1 op1=135; CHECK: INST_RET {{.*}}op0=136define double @test_float_binops(i32 %a) nounwind {37 %1 = sitofp i32 %a to double38 %2 = fadd double %1, %139 %3 = fsub double %2, %240 %4 = fmul double %3, %341 %5 = fdiv double %4, %442 ret double %543}44 45 46; CHECK: FUNCTION_BLOCK47; skip checking operands of INST_GEP since that depends on ordering48; between literals and the formal parameters.49; CHECK: INST_GEP {{.*}}50; CHECK: INST_LOAD {{.*}}op0=1 {{.*}}51; CHECK: INST_CMP2 {{.*}}op0=1 {{.*}}52; CHECK: INST_RET {{.*}}op0=153define i1 @test_load(i32 %a, {i32, i32}* %ptr) nounwind {54entry:55 %0 = getelementptr inbounds {i32, i32}, {i32, i32}* %ptr, i32 %a, i32 056 %1 = load i32, i32* %057 %2 = icmp eq i32 %1, %a58 ret i1 %259}60 61; CHECK: Stream type: LLVM IR62