62 lines · plain
1; RUN: llvm-as < %s | llvm-dis > %t02; RUN: opt -S < %s > %t13; RUN: diff %t0 %t14; RUN: verify-uselistorder < %s5; PR61406 7; Make sure the flags are serialized/deserialized properly for both8; forward and backward references.9 10define void @foo() nounwind {11entry:12 br label %first13 14second: ; preds = %first15 %u = add nuw i32 %a, 0 ; <i32> [#uses=0]16 %s = add nsw i32 %a, 0 ; <i32> [#uses=0]17 %us = add nuw nsw i32 %a, 0 ; <i32> [#uses=0]18 %z = add i32 %a, 0 ; <i32> [#uses=0]19 %hh = zext nneg i32 %a to i6420 %ll = zext i32 %s to i6421 %ff = uitofp nneg i32 %a to float22 %bb = uitofp i32 %s to float23 %jj = or disjoint i32 %a, 024 %oo = or i32 %a, 025 %tu = trunc nuw i32 %a to i1626 %ts = trunc nsw i32 %a to i1627 %tus = trunc nuw nsw i32 %a to i1628 %t = trunc i32 %a to i1629 %tuv = trunc nuw <2 x i32> %aa to <2 x i16>30 %tsv = trunc nsw <2 x i32> %aa to <2 x i16>31 %tusv = trunc nuw nsw <2 x i32> %aa to <2 x i16>32 %tv = trunc <2 x i32> %aa to <2 x i16>33 %ii = icmp samesign ult i32 %a, %z34 %iv = icmp samesign ult <2 x i32> %aa, %aa35 unreachable36 37first: ; preds = %entry38 %aa = bitcast <2 x i32> <i32 0, i32 0> to <2 x i32>39 %a = bitcast i32 0 to i32 ; <i32> [#uses=8]40 %uu = add nuw i32 %a, 0 ; <i32> [#uses=0]41 %ss = add nsw i32 %a, 0 ; <i32> [#uses=0]42 %uuss = add nuw nsw i32 %a, 0 ; <i32> [#uses=0]43 %zz = add i32 %a, 0 ; <i32> [#uses=0]44 %kk = zext nneg i32 %a to i6445 %rr = zext i32 %ss to i6446 %ww = uitofp nneg i32 %a to float47 %xx = uitofp i32 %ss to float48 %mm = or disjoint i32 %a, 049 %nn = or i32 %a, 050 %tuu = trunc nuw i32 %a to i1651 %tss = trunc nsw i32 %a to i1652 %tuss = trunc nuw nsw i32 %a to i1653 %tt = trunc i32 %a to i1654 %ttuv = trunc nuw <2 x i32> %aa to <2 x i16>55 %ttsv = trunc nsw <2 x i32> %aa to <2 x i16>56 %ttusv = trunc nuw nsw <2 x i32> %aa to <2 x i16>57 %ttv = trunc <2 x i32> %aa to <2 x i16>58 %icm = icmp samesign ult i32 %a, %zz59 %icv = icmp samesign ult <2 x i32> %aa, %aa60 br label %second61}62