57 lines · plain
1; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty2; CHECK-NOT: error3; CHECK-NOT: warning4; RUN: verify-uselistorder < %s5 6@a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1]7@b = alias i1, getelementptr ([4 x i1], ptr @a, i64 0, i64 2)8 9; Check use-list order of constants used by globals.10@glob1 = global i5 711@glob2 = global i5 712@glob3 = global i5 713 14define i32 @f32(i32 %a, i32 %b, i32 %c, i32 %d) {15entry:16 br label %first17 18; <label 0>:19 %eh = mul i32 %e, %120 %sum = add i32 %eh, %ef21 br label %preexit22 23preexit:24 %product = phi i32 [%ef, %first], [%sum, %0]25 %backto0 = icmp slt i32 %product, -926 br i1 %backto0, label %0, label %exit27 28exit:29 ret i32 %product30 31first:32 %e = add i32 %a, 733 %f = add i32 %b, 734 %g = add i32 %c, 835 %1 = add i32 %d, 836 %ef = mul i32 %e, %f37 %g1 = mul i32 %g, %138 %goto0 = icmp slt i32 %g1, -939 br i1 %goto0, label %0, label %preexit40 41; uselistorder directives42 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, ptr getelementptr ([4 x i1], ptr @a, i64 0, i64 2)52 ret i1 %a53}54 55uselistorder i5 7, { 1, 0, 2 }56uselistorder ptr getelementptr ([4 x i1], ptr @a, i64 0, i64 2), { 1, 0 }57