Lines Matching refs:annotation
3 ; The branch in %cont has !annotation metadata. Make sure generated AND
4 ; has !annotation metadata.
8 ; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
9 ; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]], !annotation !0
10 ; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[C_1]], i1 [[C_2]], i1 false, !annotation !0
11 ; CHECK-NEXT: br i1 [[OR_COND]], label [[CONT1:%.*]], label [[TRAP:%.*]], !annotation !0
20 %c.1 = icmp ult i8* %a, %b, !annotation !0
21 br i1 %c.1, label %cont, label %trap, !annotation !0
24 %c.2 = icmp uge i8* %c, %d, !annotation !0
25 br i1 %c.2, label %cont1, label %trap, !annotation !0
36 ; The branch in %cont has !annotation metadata. Make sure generated OR
37 ; has !annotation metadata.
41 ; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[A:%.*]], [[B:%.*]], !annotation !0
42 ; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]], !annotation !0
43 ; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[C_1]], i1 true, i1 [[C_2]], !annotation !0
44 ; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
53 %c.1 = icmp ult i8* %a, %b, !annotation !0
54 br i1 %c.1, label %cont, label %trap, !annotation !0
57 %c.2 = icmp uge i8* %c, %d, !annotation !0
58 br i1 %c.2, label %trap, label %cont1, !annotation !0
69 ; The branch in %cont has !annotation metadata. Make sure generated negation
70 ; and OR have !annotation metadata.
74 ; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
76 ; CHECK-NEXT: [[C_2_NOT:%.*]] = xor i1 [[C_2]], true, !annotation !0
77 ; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]], !annotation !0
78 ; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[C_2_NOT]], i1 true, i1 [[C_3]], !annotation !0
79 ; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
88 %c.1 = icmp ult i8* %a, %b, !annotation !0
90 br i1 %c.2, label %cont, label %trap, !annotation !0
93 %c.3 = icmp uge i8* %c, %d, !annotation !0
94 br i1 %c.3, label %trap, label %cont1, !annotation !0
106 ; The branch in %cont has no !annotation metadata. Make sure generated negation
107 ; and OR do not have !annotation metadata.
111 ; CHECK-NEXT: [[C_1:%.*]] = icmp ult i8* [[A:%.*]], [[B:%.*]], !annotation !0
114 ; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8* [[C:%.*]], [[D:%.*]], !annotation !0
116 ; CHECK-NEXT: br i1 [[OR_COND]], label [[TRAP:%.*]], label [[CONT1:%.*]], !annotation !0
125 %c.1 = icmp ult i8* %a, %b, !annotation !0
127 br i1 %c.2, label %cont, label %trap, !annotation !0
130 %c.3 = icmp uge i8* %c, %d, !annotation !0