1; Basic correctness test to check that instruction operands are encoded with 2; relative IDs. 3; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s 4; RUN: verify-uselistorder < %s 5 6; CHECK: FUNCTION_BLOCK 7; CHECK: INST_UNOP {{.*}}op0=1 8; CHECK: INST_RET {{.*}}op0=1 9define double @test_float_unops(double %a) nounwind { 10 %1 = fneg double %a 11 ret double %1 12} 13 14 15; CHECK: FUNCTION_BLOCK 16; CHECK: INST_BINOP {{.*}}op0=1 op1=1 17; CHECK: INST_BINOP {{.*}}op0=1 op1=1 18; CHECK: INST_BINOP {{.*}}op0=1 op1=1 19; CHECK: INST_RET {{.*}}op0=1 20define i32 @test_int_binops(i32 %a) nounwind { 21entry: 22 %0 = add i32 %a, %a 23 %1 = sub i32 %0, %0 24 %2 = mul i32 %1, %1 25 ret i32 %2 26} 27 28 29; CHECK: FUNCTION_BLOCK 30; CHECK: INST_CAST {{.*}}op0=1 31; CHECK: INST_BINOP {{.*}}op0=1 op1=1 32; CHECK: INST_BINOP {{.*}}op0=1 op1=1 33; CHECK: INST_BINOP {{.*}}op0=1 op1=1 34; CHECK: INST_BINOP {{.*}}op0=1 op1=1 35; CHECK: INST_RET {{.*}}op0=1 36define double @test_float_binops(i32 %a) nounwind { 37 %1 = sitofp i32 %a to double 38 %2 = fadd double %1, %1 39 %3 = fsub double %2, %2 40 %4 = fmul double %3, %3 41 %5 = fdiv double %4, %4 42 ret double %5 43} 44 45 46; CHECK: FUNCTION_BLOCK 47; skip checking operands of INST_GEP since that depends on ordering 48; 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=1 53define i1 @test_load(i32 %a, {i32, i32}* %ptr) nounwind { 54entry: 55 %0 = getelementptr inbounds {i32, i32}, {i32, i32}* %ptr, i32 %a, i32 0 56 %1 = load i32, i32* %0 57 %2 = icmp eq i32 %1, %a 58 ret i1 %2 59} 60 61; CHECK: Stream type: LLVM IR 62