1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4define i64 @test_select_agg_constant_agg(i64 %val, i1 %cond) { 5; CHECK-LABEL: define i64 @test_select_agg_constant_agg( 6; CHECK-SAME: i64 [[VAL:%.*]], i1 [[COND:%.*]]) { 7; CHECK-NEXT: entry: 8; CHECK-NEXT: [[RET:%.*]] = zext i1 [[COND]] to i64 9; CHECK-NEXT: ret i64 [[RET]] 10; 11entry: 12 %sel = select i1 %cond, { i64, i64 } {i64 1, i64 2}, { i64, i64 } {i64 0, i64 3} 13 %ret = extractvalue { i64, i64 } %sel, 0 14 ret i64 %ret 15} 16 17define void @test_select_agg_constant_agg_multiuse(i64 %val, i1 %cond) { 18; CHECK-LABEL: define void @test_select_agg_constant_agg_multiuse( 19; CHECK-SAME: i64 [[VAL:%.*]], i1 [[COND:%.*]]) { 20; CHECK-NEXT: entry: 21; CHECK-NEXT: [[RET:%.*]] = zext i1 [[COND]] to i64 22; CHECK-NEXT: call void @use(i64 [[RET]]) 23; CHECK-NEXT: [[V1:%.*]] = select i1 [[COND]], i64 2, i64 3 24; CHECK-NEXT: call void @use(i64 [[V1]]) 25; CHECK-NEXT: ret void 26; 27entry: 28 %sel = select i1 %cond, { i64, i64 } {i64 1, i64 2}, { i64, i64 } {i64 0, i64 3} 29 %v0 = extractvalue { i64, i64 } %sel, 0 30 call void @use(i64 %v0) 31 %v1 = extractvalue { i64, i64 } %sel, 1 32 call void @use(i64 %v1) 33 ret void 34} 35 36; TODO: it can be folded to zext i1 %cond to i64 37define i64 @test_select_agg_constant(i64 %val, i1 %cond) { 38; CHECK-LABEL: define i64 @test_select_agg_constant( 39; CHECK-SAME: i64 [[VAL:%.*]], i1 [[COND:%.*]]) { 40; CHECK-NEXT: entry: 41; CHECK-NEXT: [[A:%.*]] = insertvalue { i64, i64 } { i64 1, i64 poison }, i64 [[VAL]], 1 42; CHECK-NEXT: [[B:%.*]] = insertvalue { i64, i64 } { i64 0, i64 poison }, i64 [[VAL]], 1 43; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND]], { i64, i64 } [[A]], { i64, i64 } [[B]] 44; CHECK-NEXT: [[RET:%.*]] = extractvalue { i64, i64 } [[SEL]], 0 45; CHECK-NEXT: ret i64 [[RET]] 46; 47entry: 48 %a = insertvalue { i64, i64 } { i64 1, i64 poison }, i64 %val, 1 49 %b = insertvalue { i64, i64 } { i64 0, i64 poison }, i64 %val, 1 50 %sel = select i1 %cond, { i64, i64 } %a, { i64, i64 } %b 51 %ret = extractvalue { i64, i64 } %sel, 0 52 ret i64 %ret 53} 54 55define void @test_select_agg_multiuse(i1 %cond, i64 %v1, i64 %v2, i64 %v3, i64 %v4) { 56; CHECK-LABEL: define void @test_select_agg_multiuse( 57; CHECK-SAME: i1 [[COND:%.*]], i64 [[V1:%.*]], i64 [[V2:%.*]], i64 [[V3:%.*]], i64 [[V4:%.*]]) { 58; CHECK-NEXT: entry: 59; CHECK-NEXT: [[X:%.*]] = select i1 [[COND]], i64 [[V1]], i64 [[V3]] 60; CHECK-NEXT: call void @use(i64 [[X]]) 61; CHECK-NEXT: [[Y:%.*]] = select i1 [[COND]], i64 [[V2]], i64 [[V4]] 62; CHECK-NEXT: call void @use(i64 [[Y]]) 63; CHECK-NEXT: ret void 64; 65entry: 66 %a0 = insertvalue { i64, i64 } poison, i64 %v1, 0 67 %a1 = insertvalue { i64, i64 } %a0, i64 %v2, 1 68 %b0 = insertvalue { i64, i64 } poison, i64 %v3, 0 69 %b1 = insertvalue { i64, i64 } %b0, i64 %v4, 1 70 %sel = select i1 %cond, { i64, i64 } %a1, { i64, i64 } %b1 71 %x = extractvalue { i64, i64 } %sel, 0 72 call void @use(i64 %x) 73 %y = extractvalue { i64, i64 } %sel, 1 74 call void @use(i64 %y) 75 ret void 76} 77 78declare void @use(i64) 79 80define i64 @test_extract_select_insert_left(ptr %p1, i64 %v) { 81; CHECK-LABEL: define i64 @test_extract_select_insert_left( 82; CHECK-SAME: ptr [[P1:%.*]], i64 [[V:%.*]]) { 83; CHECK-NEXT: [[CALL:%.*]] = call { ptr, i64 } @foo() 84; CHECK-NEXT: [[ELM1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1 85; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]] 86; CHECK-NEXT: [[TMP1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1 87; CHECK-NEXT: [[RES:%.*]] = select i1 [[CMP]], i64 4294967294, i64 [[TMP1]] 88; CHECK-NEXT: ret i64 [[RES]] 89; 90 %call = call { ptr, i64 } @foo() 91 %elm1 = extractvalue { ptr, i64 } %call, 1 92 %cmp = icmp eq i64 %elm1, %v 93 %fca0 = insertvalue { ptr, i64 } poison, ptr %p1, 0 94 %fca1 = insertvalue { ptr, i64 } %fca0, i64 4294967294, 1 95 %select = select i1 %cmp, { ptr, i64 } %fca1, { ptr, i64 } %call 96 %res = extractvalue { ptr, i64 } %select, 1 97 ret i64 %res 98} 99 100define i64 @test_extract_select_insert_right(ptr %p1, i64 %v) { 101; CHECK-LABEL: define i64 @test_extract_select_insert_right( 102; CHECK-SAME: ptr [[P1:%.*]], i64 [[V:%.*]]) { 103; CHECK-NEXT: [[CALL:%.*]] = call { ptr, i64 } @foo() 104; CHECK-NEXT: [[ELM1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1 105; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]] 106; CHECK-NEXT: [[TMP1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1 107; CHECK-NEXT: [[RES:%.*]] = select i1 [[CMP]], i64 [[TMP1]], i64 4294967294 108; CHECK-NEXT: ret i64 [[RES]] 109; 110 %call = call { ptr, i64 } @foo() 111 %elm1 = extractvalue { ptr, i64 } %call, 1 112 %cmp = icmp eq i64 %elm1, %v 113 %fca0 = insertvalue { ptr, i64 } poison, ptr %p1, 0 114 %fca1 = insertvalue { ptr, i64 } %fca0, i64 4294967294, 1 115 %select = select i1 %cmp, { ptr, i64 } %call, { ptr, i64 } %fca1 116 %res = extractvalue { ptr, i64 } %select, 1 117 ret i64 %res 118} 119 120define i64 @test_extract_select_insert_negative(ptr %p1, i64 %v) { 121; CHECK-LABEL: define i64 @test_extract_select_insert_negative( 122; CHECK-SAME: ptr [[P1:%.*]], i64 [[V:%.*]]) { 123; CHECK-NEXT: [[CALL:%.*]] = call { ptr, i64 } @foo() 124; CHECK-NEXT: [[CALL2:%.*]] = call { ptr, i64 } @foo() 125; CHECK-NEXT: [[ELM1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1 126; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]] 127; CHECK-NEXT: [[FCA1:%.*]] = insertvalue { ptr, i64 } [[CALL2]], ptr [[P1]], 0 128; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], { ptr, i64 } [[CALL]], { ptr, i64 } [[FCA1]] 129; CHECK-NEXT: [[RES:%.*]] = extractvalue { ptr, i64 } [[SELECT]], 1 130; CHECK-NEXT: ret i64 [[RES]] 131; 132 %call = call { ptr, i64 } @foo() 133 %call2 = call { ptr, i64 } @foo() 134 %elm1 = extractvalue { ptr, i64 } %call, 1 135 %cmp = icmp eq i64 %elm1, %v 136 %fca1 = insertvalue { ptr, i64 } %call2, ptr %p1, 0 137 %select = select i1 %cmp, { ptr, i64 } %call, { ptr, i64 } %fca1 138 %res = extractvalue { ptr, i64 } %select, 1 139 ret i64 %res 140} 141 142declare { ptr, i64 } @foo() 143