[dfsan] Fix non-determinism bug in non-zero label check annotator.

[oota-llvm.git] / test / Assembler / 2004-03-07-FunctionAddressAlignment.ll

diff --git a/test/Assembler/2004-03-07-FunctionAddressAlignment.ll b/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
index 909585cddf159bd0e722637e8b3049e27f1dcef3..7fa0802db405c9852be6867c60785bf849fcc49a 100644 (file)
--- a/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
+++ b/test/Assembler/2004-03-07-FunctionAddressAlignment.ll
@@ -1,15 +1,16 @@
-; RUN: llvm-upgrade < %s | llvm-as | llvm-dis | not grep cast
+; RUN: llvm-as < %s | llvm-dis | not grep ptrtoint
+; RUN: verify-uselistorder %s
 ; All of these should be eliminable
 
 
-int %foo() {
-       ret int and (int cast (int()* %foo to int), int 1)
+define i32 @foo() {
+       ret i32 and (i32 ptrtoint (i32()* @foo to i32), i32 1)
 }
 
-int %foo2() {
-       ret int and (int 1, int cast (int()* %foo2 to int))
+define i32 @foo2() {
+       ret i32 and (i32 1, i32 ptrtoint (i32()* @foo2 to i32))
 }
 
-bool %foo3() {
-       ret bool cast (bool()* %foo3 to bool)
+define i1 @foo3() {
+       ret i1 icmp ne (i1()* @foo3, i1()* null)
 }