Changeset View
Changeset View
Standalone View
Standalone View
test/CodeGen/PowerPC/select-i1-vs-i1.ll
| Show First 20 Lines • Show All 1019 Lines • ▼ Show 20 Line(s) | |||||
| 1020 | 1020 | | |||
| 1021 | define ppc_fp128 @testppc_fp128eq(ppc_fp128 %c1, ppc_fp128 %c2, ppc_fp128 %c3, ppc_fp128 %c4, ppc_fp128 %a1, ppc_fp128 %a2) #0 { | 1021 | define ppc_fp128 @testppc_fp128eq(ppc_fp128 %c1, ppc_fp128 %c2, ppc_fp128 %c3, ppc_fp128 %c4, ppc_fp128 %a1, ppc_fp128 %a2) #0 { | ||
| 1022 | entry: | 1022 | entry: | ||
| 1023 | %cmp1 = fcmp oeq ppc_fp128 %c3, %c4 | 1023 | %cmp1 = fcmp oeq ppc_fp128 %c3, %c4 | ||
| 1024 | %cmp3tmp = fcmp oeq ppc_fp128 %c1, %c2 | 1024 | %cmp3tmp = fcmp oeq ppc_fp128 %c1, %c2 | ||
| 1025 | %cmp3 = icmp eq i1 %cmp3tmp, %cmp1 | 1025 | %cmp3 = icmp eq i1 %cmp3tmp, %cmp1 | ||
| 1026 | %cond = select i1 %cmp3, ppc_fp128 %a1, ppc_fp128 %a2 | 1026 | %cond = select i1 %cmp3, ppc_fp128 %a1, ppc_fp128 %a2 | ||
| 1027 | ret ppc_fp128 %cond | 1027 | ret ppc_fp128 %cond | ||
| 1028 | 1028 | | |||
| 1029 | ; FIXME: Because of the way that the late SELECT_* pseudo-instruction expansion | | |||
| 1030 | ; works, we end up with two blocks with the same predicate. These could be | | |||
| 1031 | ; combined. | | |||
| 1032 | | ||||
| 1033 | ; CHECK-LABEL: @testppc_fp128eq | 1029 | ; CHECK-LABEL: @testppc_fp128eq | ||
nemanjai: I don't think this comment is necessary here. It should suffice to just remove the FIXME… | |||||
Not Done Replyk. lei: k. | |||||
| 1034 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 6, 8 | 1030 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 6, 8 | ||
| 1035 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 5, 7 | 1031 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 5, 7 | ||
| 1036 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 2, 4 | 1032 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 2, 4 | ||
| 1037 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 1, 3 | 1033 | ; CHECK-DAG: fcmpu {{[0-9]+}}, 1, 3 | ||
| 1038 | ; CHECK: crand [[REG1:[0-9]+]], {{[0-9]+}}, {{[0-9]+}} | 1034 | ; CHECK: crand [[REG1:[0-9]+]], {{[0-9]+}}, {{[0-9]+}} | ||
| 1039 | ; CHECK: crand [[REG2:[0-9]+]], {{[0-9]+}}, {{[0-9]+}} | 1035 | ; CHECK: crand [[REG2:[0-9]+]], {{[0-9]+}}, {{[0-9]+}} | ||
| 1040 | ; CHECK: crxor [[REG3:[0-9]+]], [[REG2]], [[REG1]] | 1036 | ; CHECK: crxor [[REG3:[0-9]+]], [[REG2]], [[REG1]] | ||
| 1041 | ; CHECK: bc 12, [[REG3]], .LBB[[BB1:[0-9_]+]] | 1037 | ; CHECK: bc 12, [[REG3]], .LBB[[BB1:[0-9_]+]] | ||
| 1042 | ; CHECK: fmr 11, 9 | 1038 | ; CHECK: fmr 11, 9 | ||
| 1043 | ; CHECK: .LBB[[BB1]]: | | |||
| 1044 | ; CHECK: bc 12, [[REG3]], .LBB[[BB2:[0-9_]+]] | | |||
| 1045 | ; CHECK: fmr 12, 10 | 1039 | ; CHECK: fmr 12, 10 | ||
| 1046 | ; CHECK: .LBB[[BB2]]: | 1040 | ; CHECK: .LBB[[BB1]]: | ||
| 1047 | ; CHECK-DAG: fmr 1, 11 | 1041 | ; CHECK-DAG: fmr 1, 11 | ||
| 1048 | ; CHECK-DAG: fmr 2, 12 | 1042 | ; CHECK-DAG: fmr 2, 12 | ||
| 1049 | ; CHECK: blr | 1043 | ; CHECK: blr | ||
| 1050 | } | 1044 | } | ||
| 1051 | 1045 | | |||
| 1052 | define <2 x double> @testv2doubleslt(float %c1, float %c2, float %c3, float %c4, <2 x double> %a1, <2 x double> %a2) #0 { | 1046 | define <2 x double> @testv2doubleslt(float %c1, float %c2, float %c3, float %c4, <2 x double> %a1, <2 x double> %a2) #0 { | ||
| 1053 | entry: | 1047 | entry: | ||
| 1054 | %cmp1 = fcmp oeq float %c3, %c4 | 1048 | %cmp1 = fcmp oeq float %c3, %c4 | ||
| ▲ Show 20 Lines • Show All 742 Lines • Show Last 20 Lines | |||||
I don't think this comment is necessary here. It should suffice to just remove the FIXME comment. The reason I say that is that the user will not know that we once had this duplicate block issue.