llvm/test/Bitcode/flags.ll

   1 ; RUN: llvm-as < %s | llvm-dis > %t0
   2 ; RUN: opt -S < %s > %t1
   3 ; RUN: diff %t0 %t1
   4 ; RUN: verify-uselistorder < %s
   5 ; PR6140
   6
   7 ; Make sure the flags are serialized/deserialized properly for both
   8 ; forward and backward references.
   9
  10 define void @foo() nounwind {
  11 entry:
  12   br label %first
  13
  14 second:                                           ; preds = %first
  15   %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 i64
  20   %ll = zext i32 %s to i64
  21   unreachable
  22
  23 first:                                            ; preds = %entry
  24   %a = bitcast i32 0 to i32                       ; <i32> [#uses=8]
  25   %uu = add nuw i32 %a, 0                         ; <i32> [#uses=0]
  26   %ss = add nsw i32 %a, 0                         ; <i32> [#uses=0]
  27   %uuss = add nuw nsw i32 %a, 0                   ; <i32> [#uses=0]
  28   %zz = add i32 %a, 0                             ; <i32> [#uses=0]
  29   %kk = zext nneg i32 %a to i64
  30   %rr = zext i32 %ss to i64
  31   br label %second
  32 }