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
9define void @foo() nounwind {
10entry:
11  br label %first
12
13second:                                           ; 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
20first:                                            ; 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