Home | History | Annotate | Download | only in Bitcode
      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 }
     28