X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FBitcode%2Ffunction-encoding-rel-operands.ll;h=1307dd4833770c3b5cc3816a605ec5c34760f720;hb=45a69610a7c13a3bd054e33742c1b2e3be52c332;hp=aedb0c32676f8efe8e508b37177aec3838f287ca;hpb=d9a3bad4487dee0b9ed1a0f5555dffe605826158;p=oota-llvm.git diff --git a/test/Bitcode/function-encoding-rel-operands.ll b/test/Bitcode/function-encoding-rel-operands.ll index aedb0c32676..1307dd48337 100644 --- a/test/Bitcode/function-encoding-rel-operands.ll +++ b/test/Bitcode/function-encoding-rel-operands.ll @@ -1,6 +1,7 @@ ; 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 @@ -34,16 +35,18 @@ define double @test_float_binops(i32 %a) nounwind { ; CHECK: FUNCTION_BLOCK -; skip checking operands of INST_INBOUNDS_GEP since that depends on ordering +; skip checking operands of INST_GEP since that depends on ordering ; between literals and the formal parameters. -; CHECK: INST_INBOUNDS_GEP {{.*}} +; 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 + %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