57 lines
1.3 KiB
LLVM
57 lines
1.3 KiB
LLVM
|
; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty
|
||
|
|
; CHECK-NOT: error
|
||
|
|
; CHECK-NOT: warning
|
||
|
|
; RUN: verify-uselistorder < %s
|
||
|
|
|
||
|
|
@a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1]
|
||
|
|
@b = alias i1, getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2)
|
||
|
|
|
||
|
|
; Check use-list order of constants used by globals.
|
||
|
|
@glob1 = global i5 7
|
||
|
|
@glob2 = global i5 7
|
||
|
|
@glob3 = global i5 7
|
||
|
|
|
||
|
|
define i32 @f32(i32 %a, i32 %b, i32 %c, i32 %d) {
|
||
|
|
entry:
|
||
|
|
br label %first
|
||
|
|
|
||
|
|
; <label 0>:
|
||
|
|
%eh = mul i32 %e, %1
|
||
|
|
%sum = add i32 %eh, %ef
|
||
|
|
br label %preexit
|
||
|
|
|
||
|
|
preexit:
|
||
|
|
%product = phi i32 [%ef, %first], [%sum, %0]
|
||
|
|
%backto0 = icmp slt i32 %product, -9
|
||
|
|
br i1 %backto0, label %0, label %exit
|
||
|
|
|
||
|
|
exit:
|
||
|
|
ret i32 %product
|
||
|
|
|
||
|
|
first:
|
||
|
|
%e = add i32 %a, 7
|
||
|
|
%f = add i32 %b, 7
|
||
|
|
%g = add i32 %c, 8
|
||
|
|
%1 = add i32 %d, 8
|
||
|
|
%ef = mul i32 %e, %f
|
||
|
|
%g1 = mul i32 %g, %1
|
||
|
|
%goto0 = icmp slt i32 %g1, -9
|
||
|
|
br i1 %goto0, label %0, label %preexit
|
||
|
|
|
||
|
|
; uselistorder directives
|
||
|
|
uselistorder i32 7, { 1, 0 }
|
||
|
|
uselistorder i32 %1, { 1, 0 }
|
||
|
|
uselistorder i32 %e, { 1, 0 }
|
||
|
|
uselistorder label %0, { 1, 0 }
|
||
|
|
uselistorder label %preexit, { 1, 0 }
|
||
|
|
}
|
||
|
|
|
||
|
|
define i1 @loada() {
|
||
|
|
entry:
|
||
|
|
%a = load i1, i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2)
|
||
|
|
ret i1 %a
|
||
|
|
}
|
||
|
|
|
||
|
|
uselistorder i5 7, { 1, 0, 2 }
|
||
|
|
uselistorder i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2), { 1, 0 }
|