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   unreachable
  20
  21 first:                                            ; preds = %entry
  22   %a = bitcast i32 0 to i32                       ; <i32> [#uses=8]
  23   %uu = add nuw i32 %a, 0                         ; <i32> [#uses=0]
  24   %ss = add nsw i32 %a, 0                         ; <i32> [#uses=0]
  25   %uuss = add nuw nsw i32 %a, 0                   ; <i32> [#uses=0]
  26   %zz = add i32 %a, 0                             ; <i32> [#uses=0]
  27   br label %second
  28 }