test/Bitcode/flags.ll

   1 ; RUN: llvm-as < %s | llvm-dis > %t0
   2 ; RUN: opt -S < %s > %t1
   3 ; RUN: diff %t0 %t1
   4 ; PR6140
   5
   6 ; Make sure the flags are serialized/deserialized properly for both
   7 ; forward and backward references.
   8
   9 define void @foo() nounwind {
  10 entry:
  11   br label %first
  12
  13 second:                                           ; preds = %first
  14   %u = add nuw i32 %a, 0                          ; <i32> [#uses=0]
  15   %s = add nsw i32 %a, 0                          ; <i32> [#uses=0]
  16   %us = add nuw nsw i32 %a, 0                     ; <i32> [#uses=0]
  17   %z = add i32 %a, 0                              ; <i32> [#uses=0]
  18   unreachable
  19
  20 first:                                            ; preds = %entry
  21   %a = bitcast i32 0 to i32                       ; <i32> [#uses=8]
  22   %uu = add nuw i32 %a, 0                         ; <i32> [#uses=0]
  23   %ss = add nsw i32 %a, 0                         ; <i32> [#uses=0]
  24   %uuss = add nuw nsw i32 %a, 0                   ; <i32> [#uses=0]
  25   %zz = add i32 %a, 0                             ; <i32> [#uses=0]
  26   br label %second
  27 }