Lines Matching full:select
252 ; Check that we propagate shadow for "select"
254 define i32 @Select(i32 %a, i32 %b, i32 %c) nounwind uwtable readnone sanitize_memory {
257 %cond = select i1 %tobool, i32 %a, i32 %b
261 ; CHECK: @Select
262 ; CHECK: select
263 ; CHECK-NEXT: select
267 ; Check that we propagate origin for "select" with vector condition.
268 ; Select condition is flattened to i1, which is then used to select one of the
273 %cond = select <8 x i1> %c, <8 x i16> %a, <8 x i16> %b
280 ; CHECK-ORIGINS: select i1
543 ; Check that shadow is OR'ed, and origin is Select'ed
566 ; CHECK-ORIGINS-NEXT: = select i1 {{.*}}, i32 {{.*}}, i32
