143 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 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 i649; 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, 014 ret i64 %ret15}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 i6422; CHECK-NEXT: call void @use(i64 [[RET]])23; CHECK-NEXT: [[V1:%.*]] = select i1 [[COND]], i64 2, i64 324; CHECK-NEXT: call void @use(i64 [[V1]])25; CHECK-NEXT: ret void26;27entry:28 %sel = select i1 %cond, { i64, i64 } {i64 1, i64 2}, { i64, i64 } {i64 0, i64 3}29 %v0 = extractvalue { i64, i64 } %sel, 030 call void @use(i64 %v0)31 %v1 = extractvalue { i64, i64 } %sel, 132 call void @use(i64 %v1)33 ret void34}35 36; TODO: it can be folded to zext i1 %cond to i6437define 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]], 142; CHECK-NEXT: [[B:%.*]] = insertvalue { i64, i64 } { i64 0, i64 poison }, i64 [[VAL]], 143; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND]], { i64, i64 } [[A]], { i64, i64 } [[B]]44; CHECK-NEXT: [[RET:%.*]] = extractvalue { i64, i64 } [[SEL]], 045; CHECK-NEXT: ret i64 [[RET]]46;47entry:48 %a = insertvalue { i64, i64 } { i64 1, i64 poison }, i64 %val, 149 %b = insertvalue { i64, i64 } { i64 0, i64 poison }, i64 %val, 150 %sel = select i1 %cond, { i64, i64 } %a, { i64, i64 } %b51 %ret = extractvalue { i64, i64 } %sel, 052 ret i64 %ret53}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 void64;65entry:66 %a0 = insertvalue { i64, i64 } poison, i64 %v1, 067 %a1 = insertvalue { i64, i64 } %a0, i64 %v2, 168 %b0 = insertvalue { i64, i64 } poison, i64 %v3, 069 %b1 = insertvalue { i64, i64 } %b0, i64 %v4, 170 %sel = select i1 %cond, { i64, i64 } %a1, { i64, i64 } %b171 %x = extractvalue { i64, i64 } %sel, 072 call void @use(i64 %x)73 %y = extractvalue { i64, i64 } %sel, 174 call void @use(i64 %y)75 ret void76}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]], 185; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]]86; CHECK-NEXT: [[TMP1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 187; 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, 192 %cmp = icmp eq i64 %elm1, %v93 %fca0 = insertvalue { ptr, i64 } poison, ptr %p1, 094 %fca1 = insertvalue { ptr, i64 } %fca0, i64 4294967294, 195 %select = select i1 %cmp, { ptr, i64 } %fca1, { ptr, i64 } %call96 %res = extractvalue { ptr, i64 } %select, 197 ret i64 %res98}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]], 1105; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]]106; CHECK-NEXT: [[TMP1:%.*]] = extractvalue { ptr, i64 } [[CALL]], 1107; CHECK-NEXT: [[RES:%.*]] = select i1 [[CMP]], i64 [[TMP1]], i64 4294967294108; CHECK-NEXT: ret i64 [[RES]]109;110 %call = call { ptr, i64 } @foo()111 %elm1 = extractvalue { ptr, i64 } %call, 1112 %cmp = icmp eq i64 %elm1, %v113 %fca0 = insertvalue { ptr, i64 } poison, ptr %p1, 0114 %fca1 = insertvalue { ptr, i64 } %fca0, i64 4294967294, 1115 %select = select i1 %cmp, { ptr, i64 } %call, { ptr, i64 } %fca1116 %res = extractvalue { ptr, i64 } %select, 1117 ret i64 %res118}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]], 1126; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[ELM1]], [[V]]127; CHECK-NEXT: [[FCA1:%.*]] = insertvalue { ptr, i64 } [[CALL2]], ptr [[P1]], 0128; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[CMP]], { ptr, i64 } [[CALL]], { ptr, i64 } [[FCA1]]129; CHECK-NEXT: [[RES:%.*]] = extractvalue { ptr, i64 } [[SELECT]], 1130; CHECK-NEXT: ret i64 [[RES]]131;132 %call = call { ptr, i64 } @foo()133 %call2 = call { ptr, i64 } @foo()134 %elm1 = extractvalue { ptr, i64 } %call, 1135 %cmp = icmp eq i64 %elm1, %v136 %fca1 = insertvalue { ptr, i64 } %call2, ptr %p1, 0137 %select = select i1 %cmp, { ptr, i64 } %call, { ptr, i64 } %fca1138 %res = extractvalue { ptr, i64 } %select, 1139 ret i64 %res140}141 142declare { ptr, i64 } @foo()143