Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / CodeGen / ARM / 2007-03-30-RegScavengerAssert.ll
1 ; RUN: llc < %s -march=arm -mtriple=arm-linux-gnueabi
2 ; PR1279
3
4         %struct.CUMULATIVE_ARGS = type { i32, i32, i32, i32, i32, i32 }
5         %struct.arm_stack_offsets = type { i32, i32, i32, i32, i32 }
6         %struct.eh_status = type opaque
7         %struct.emit_status = type { i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack*, i32, %struct.location_t, i32, i8*, %struct.rtx_def** }
8         %struct.expr_status = type { i32, i32, i32, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def* }
9         %struct.function = type { %struct.eh_status*, %struct.expr_status*, %struct.emit_status*, %struct.varasm_status*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.function*, i32, i32, i32, i32, %struct.rtx_def*, %struct.CUMULATIVE_ARGS, %struct.rtx_def*, %struct.rtx_def*, %struct.initial_value_struct*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, %struct.rtx_def*, i8, i32, i64, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, %struct.varray_head_tag*, %struct.temp_slot*, i32, %struct.var_refs_queue*, i32, i32, %struct.rtvec_def*, %struct.tree_node*, i32, i32, i32, %struct.machine_function*, i32, i32, i8, i8, %struct.language_function*, %struct.rtx_def*, i32, i32, i32, i32, %struct.location_t, %struct.varray_head_tag*, %struct.tree_node*, i8, i8, i8 }
10         %struct.initial_value_struct = type opaque
11         %struct.lang_decl = type opaque
12         %struct.language_function = type opaque
13         %struct.location_t = type { i8*, i32 }
14         %struct.machine_function = type { %struct.rtx_def*, i32, i32, i32, %struct.arm_stack_offsets, i32, i32, i32, [14 x %struct.rtx_def*] }
15         %struct.rtvec_def = type { i32, [1 x %struct.rtx_def*] }
16         %struct.rtx_def = type { i16, i8, i8, %struct.u }
17         %struct.sequence_stack = type { %struct.rtx_def*, %struct.rtx_def*, %struct.sequence_stack* }
18         %struct.temp_slot = type opaque
19         %struct.tree_common = type { %struct.tree_node*, %struct.tree_node*, %union.tree_ann_d*, i8, i8, i8, i8, i8 }
20         %struct.tree_decl = type { %struct.tree_common, %struct.location_t, i32, %struct.tree_node*, i8, i8, i8, i8, i8, i8, i8, i8, i32, %struct.tree_decl_u1, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.tree_node*, %struct.rtx_def*, i32, %struct.tree_decl_u2, %struct.tree_node*, %struct.tree_node*, i64, %struct.lang_decl* }
21         %struct.tree_decl_u1 = type { i64 }
22         %struct.tree_decl_u2 = type { %struct.function* }
23         %struct.tree_node = type { %struct.tree_decl }
24         %struct.u = type { [1 x i64] }
25         %struct.var_refs_queue = type { %struct.rtx_def*, i32, i32, %struct.var_refs_queue* }
26         %struct.varasm_status = type opaque
27         %struct.varray_head_tag = type { i32, i32, i32, i8*, %struct.u }
28         %union.tree_ann_d = type opaque
29 @str469 = external global [42 x i8]             ; <[42 x i8]*> [#uses=0]
30 @__FUNCTION__.24265 = external global [19 x i8]         ; <[19 x i8]*> [#uses=0]
31
32 declare void @fancy_abort()
33
34 define fastcc void @fold_builtin_bitop() {
35 entry:
36         br i1 false, label %cond_true105, label %UnifiedReturnBlock
37
38 cond_true105:           ; preds = %entry
39         br i1 false, label %cond_true134, label %UnifiedReturnBlock
40
41 cond_true134:           ; preds = %cond_true105
42         switch i32 0, label %bb479 [
43                  i32 378, label %bb313
44                  i32 380, label %bb313
45                  i32 381, label %bb313
46                  i32 383, label %bb366
47                  i32 385, label %bb366
48                  i32 386, label %bb366
49                  i32 403, label %bb250
50                  i32 405, label %bb250
51                  i32 406, label %bb250
52                  i32 434, label %bb464
53                  i32 436, label %bb464
54                  i32 437, label %bb464
55                  i32 438, label %bb441
56                  i32 440, label %bb441
57                  i32 441, label %bb441
58         ]
59
60 bb250:          ; preds = %cond_true134, %cond_true134, %cond_true134
61         ret void
62
63 bb313:          ; preds = %cond_true134, %cond_true134, %cond_true134
64         ret void
65
66 bb366:          ; preds = %cond_true134, %cond_true134, %cond_true134
67         ret void
68
69 bb441:          ; preds = %cond_true134, %cond_true134, %cond_true134
70         ret void
71
72 bb457:          ; preds = %bb464, %bb457
73         %tmp459 = add i64 0, 1          ; <i64> [#uses=1]
74         br i1 false, label %bb474.preheader, label %bb457
75
76 bb464:          ; preds = %cond_true134, %cond_true134, %cond_true134
77         br i1 false, label %bb474.preheader, label %bb457
78
79 bb474.preheader:                ; preds = %bb464, %bb457
80         %result.5.ph = phi i64 [ 0, %bb464 ], [ %tmp459, %bb457 ]               ; <i64> [#uses=1]
81         br label %bb474
82
83 bb467:          ; preds = %bb474
84         %indvar.next586 = add i64 %indvar585, 1         ; <i64> [#uses=1]
85         br label %bb474
86
87 bb474:          ; preds = %bb467, %bb474.preheader
88         %indvar585 = phi i64 [ 0, %bb474.preheader ], [ %indvar.next586, %bb467 ]               ; <i64> [#uses=2]
89         br i1 false, label %bb476, label %bb467
90
91 bb476:          ; preds = %bb474
92         %result.5 = add i64 %indvar585, %result.5.ph            ; <i64> [#uses=0]
93         ret void
94
95 bb479:          ; preds = %cond_true134
96         tail call void @fancy_abort( )
97         unreachable
98
99 UnifiedReturnBlock:             ; preds = %cond_true105, %entry
100         ret void
101 }