Lines Matching refs:ALWAYS
2 ; RUN: opt < %s -indvars -replexitval=always -S | FileCheck %s --check-prefix=ALWAYS
13 ; ALWAYS-LABEL: @d(
14 ; ALWAYS-NEXT: entry:
15 ; ALWAYS-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i8, i8* [[C:%.*]], i64 -65535
16 ; ALWAYS-NEXT: [[TMP0:%.*]] = icmp ugt i8* [[C]], @a
17 ; ALWAYS-NEXT: [[UMAX:%.*]] = select i1 [[TMP0]], i8* [[C]], i8* @a
18 ; ALWAYS-NEXT: br label [[WHILE_COND:%.*]]
19 ; ALWAYS: while.cond:
20 ; ALWAYS-NEXT: br i1 false, label [[CONT:%.*]], label [[WHILE_END_LOOPEXIT:%.*]]
21 ; ALWAYS: cont:
22 ; ALWAYS-NEXT: switch i64 0, label [[WHILE_COND]] [
23 ; ALWAYS-NEXT: i64 -1, label [[HANDLER_POINTER_OVERFLOW_I:%.*]]
24 ; ALWAYS-NEXT: i64 0, label [[HANDLER_POINTER_OVERFLOW_I]]
25 ; ALWAYS-NEXT: ]
26 ; ALWAYS: handler.pointer_overflow.i:
27 ; ALWAYS-NEXT: [[A_MUX_LCSSA4:%.*]] = phi i8* [ [[UMAX]], [[CONT]] ], [ [[UMAX]], [[CONT]] ]
28 ; ALWAYS-NEXT: [[X5:%.*]] = ptrtoint i8* [[A_MUX_LCSSA4]] to i64
29 ; ALWAYS-NEXT: br label [[WHILE_END:%.*]]
30 ; ALWAYS: while.end.loopexit:
31 ; ALWAYS-NEXT: br label [[WHILE_END]]
32 ; ALWAYS: while.end:
33 ; ALWAYS-NEXT: ret void