Lines Matching refs:select

11   %sel = select i1 %cmp, i32 %x, i32 %y
17 ; CHECK:    %sel = select i1 %cmp, i32 %x, i32 %y
28   %sel = select i1 %cmp, float %div, float 2.0
33 ; CHECK:    br i1 %cmp, label %select.true.sink, label %select.end
34 ; CHECK:  select.true.sink:
36 ; CHECK:    br label %select.end
37 ; CHECK:  select.end:
38 ; CHECK:    %sel = phi float [ %div, %select.true.sink ], [ 2.000000e+00, %entry ]
46   %sel = select i1 %cmp, float 4.0, float %div
51 ; CHECK:    br i1 %cmp, label %select.end, label %select.false.sink
52 ; CHECK:  select.false.sink:
54 ; CHECK:    br label %select.end
55 ; CHECK:  select.end:
56 ; CHECK:    %sel = phi float [ 4.000000e+00, %entry ], [ %div, %select.false.sink ]
65   %sel = select i1 %cmp, float %div1, float %div2
70 ; CHECK:    br i1 %cmp, label %select.true.sink, label %select.false.sink
71 ; CHECK:  select.true.sink:
73 ; CHECK:    br label %select.end
74 ; CHECK:  select.false.sink:
76 ; CHECK:    br label %select.end
77 ; CHECK:  select.end:
78 ; CHECK:    %sel = phi float [ %div1, %select.true.sink ], [ %div2, %select.false.sink ]
82 ; But if the select is marked unpredictable, then don't turn it into a branch.
89 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP]], float [[DIV]], float 2.000000e+00, !unpredictable…
95   %sel = select i1 %cmp, float %div, float 2.0, !unpredictable !0
106   %sel = select i1 %cmp, float %add, float 7.0
110 ; CHECK:  %sel = select i1 %cmp, float %add, float 7.0
114 ; operand of the select, so we don't try to sink this. The fdiv cost is not
122   %sel = select i1 %cmp, float %add, float 8.0
126 ; CHECK:  %sel = select i1 %cmp, float %add, float 8.0
129 ; Do not transform the CFG if the select operands may have side effects.
138   %sel = select i1 %tobool, i64* %call1, i64* %call2
142 ; CHECK:  %sel = select i1 %tobool, i64* %call1, i64* %call2
149   %sel = select i1 %cmp, i32 %div1, i32 %div2
153 ; CHECK:  %sel = select i1 %cmp, i32 %div1, i32 %div2