1; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty 2; CHECK-NOT: error 3; CHECK-NOT: warning 4; RUN: verify-uselistorder < %s 5 6@a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1] 7@b = alias i1, getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2) 8 9; Check use-list order of constants used by globals. 10@glob1 = global i5 7 11@glob2 = global i5 7 12@glob3 = global i5 7 13 14define i32 @f32(i32 %a, i32 %b, i32 %c, i32 %d) { 15entry: 16 br label %first 17 18; <label 0>: 19 %eh = mul i32 %e, %1 20 %sum = add i32 %eh, %ef 21 br label %preexit 22 23preexit: 24 %product = phi i32 [%ef, %first], [%sum, %0] 25 %backto0 = icmp slt i32 %product, -9 26 br i1 %backto0, label %0, label %exit 27 28exit: 29 ret i32 %product 30 31first: 32 %e = add i32 %a, 7 33 %f = add i32 %b, 7 34 %g = add i32 %c, 8 35 %1 = add i32 %d, 8 36 %ef = mul i32 %e, %f 37 %g1 = mul i32 %g, %1 38 %goto0 = icmp slt i32 %g1, -9 39 br i1 %goto0, label %0, label %preexit 40 41; uselistorder directives 42 uselistorder i32 7, { 1, 0 } 43 uselistorder i32 %1, { 1, 0 } 44 uselistorder i32 %e, { 1, 0 } 45 uselistorder label %0, { 1, 0 } 46 uselistorder label %preexit, { 1, 0 } 47} 48 49define i1 @loada() { 50entry: 51 %a = load i1, i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2) 52 ret i1 %a 53} 54 55uselistorder i5 7, { 1, 0, 2 } 56uselistorder i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2), { 1, 0 } 57