diff options
Diffstat (limited to 'test/CodeGen/PowerPC/crbits.ll')
-rw-r--r-- | test/CodeGen/PowerPC/crbits.ll | 174 |
1 files changed, 174 insertions, 0 deletions
diff --git a/test/CodeGen/PowerPC/crbits.ll b/test/CodeGen/PowerPC/crbits.ll new file mode 100644 index 0000000000..998e940e8a --- /dev/null +++ b/test/CodeGen/PowerPC/crbits.ll @@ -0,0 +1,174 @@ +; RUN: llc -mcpu=pwr7 < %s | FileCheck %s +target datalayout = "E-m:e-i64:64-n32:64" +target triple = "powerpc64-unknown-linux-gnu" + +; FIXME: For a number of these we load (1, 0) for the isel into two registers, +; whereas if we reverse the condition, we could use only one register (using ZERO +; for 0 in the isel). + +; Function Attrs: nounwind readnone +define zeroext i1 @test1(float %v1, float %v2) #0 { +entry: + %cmp = fcmp oge float %v1, %v2 + %cmp2 = fcmp ole float %v2, 0.000000e+00 + %and5 = and i1 %cmp, %cmp2 + ret i1 %and5 + +; CHECK-LABEL: @test1 +; CHECK-DAG: fcmpu {{[0-9]+}}, 1, 2 +; CHECK-DAG: li [[REG1:[0-9]+]], 1 +; CHECK-DAG: lfs [[REG2:[0-9]+]], +; CHECK-DAG: li [[REG3:[0-9]+]], 0 +; CHECK-DAG: fcmpu {{[0-9]+}}, 2, [[REG2]] +; CHECK: crnor +; CHECK: crnor +; CHECK: crand [[REG4:[0-9]+]], +; CHECK: isel 3, [[REG1]], [[REG3]], [[REG4]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define zeroext i1 @test2(float %v1, float %v2) #0 { +entry: + %cmp = fcmp oge float %v1, %v2 + %cmp2 = fcmp ole float %v2, 0.000000e+00 + %xor5 = xor i1 %cmp, %cmp2 + ret i1 %xor5 + +; CHECK-LABEL: @test2 +; CHECK-DAG: fcmpu {{[0-9]+}}, 1, 2 +; CHECK-DAG: li [[REG1:[0-9]+]], 1 +; CHECK-DAG: lfs [[REG2:[0-9]+]], +; CHECK-DAG: li [[REG3:[0-9]+]], 0 +; CHECK-DAG: fcmpu {{[0-9]+}}, 2, [[REG2]] +; CHECK: crnor +; CHECK: crnor +; CHECK: crxor [[REG4:[0-9]+]], +; CHECK: isel 3, [[REG1]], [[REG3]], [[REG4]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define zeroext i1 @test3(float %v1, float %v2, i32 signext %x) #0 { +entry: + %cmp = fcmp oge float %v1, %v2 + %cmp2 = fcmp ole float %v2, 0.000000e+00 + %cmp4 = icmp ne i32 %x, -2 + %and7 = and i1 %cmp2, %cmp4 + %xor8 = xor i1 %cmp, %and7 + ret i1 %xor8 + +; CHECK-LABEL: @test3 +; CHECK-DAG: fcmpu {{[0-9]+}}, 1, 2 +; CHECK-DAG: li [[REG1:[0-9]+]], 1 +; CHECK-DAG: lfs [[REG2:[0-9]+]], +; CHECK-DAG: li [[REG3:[0-9]+]], 0 +; CHECK-DAG: fcmpu {{[0-9]+}}, 2, [[REG2]] +; CHECK: crnor +; CHECK: crnor +; CHECK: crandc +; CHECK: crxor [[REG4:[0-9]+]], +; CHECK: isel 3, [[REG1]], [[REG3]], [[REG4]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define zeroext i1 @test4(i1 zeroext %v1, i1 zeroext %v2, i1 zeroext %v3) #0 { +entry: + %and8 = and i1 %v1, %v2 + %or9 = or i1 %and8, %v3 + ret i1 %or9 + +; CHECK-DAG: @test4 +; CHECK: and [[REG1:[0-9]+]], 3, 4 +; CHECK: or 3, [[REG1]], 5 +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define zeroext i1 @test5(i1 zeroext %v1, i1 zeroext %v2, i32 signext %v3) #0 { +entry: + %and6 = and i1 %v1, %v2 + %cmp = icmp ne i32 %v3, -2 + %or7 = or i1 %and6, %cmp + ret i1 %or7 + +; CHECK-LABEL: @test5 +; CHECK-DAG: and [[REG1:[0-9]+]], 3, 4 +; CHECK-DAG: cmpwi {{[0-9]+}}, 5, -2 +; CHECK: li [[REG3:[0-9]+]], 1 +; CHECK: andi. {{[0-9]+}}, [[REG1]], 1 +; CHECK: li [[REG4:[0-9]+]], 0 +; CHECK: crorc [[REG5:[0-9]+]], +; CHECK: isel 3, [[REG3]], [[REG4]], [[REG5]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define zeroext i1 @test6(i1 zeroext %v1, i1 zeroext %v2, i32 signext %v3) #0 { +entry: + %cmp = icmp ne i32 %v3, -2 + %or6 = or i1 %cmp, %v2 + %and7 = and i1 %or6, %v1 + ret i1 %and7 + +; CHECK-LABEL: @test6 +; CHECK-DAG: andi. {{[0-9]+}}, 3, 1 +; CHECK-DAG: cmpwi {{[0-9]+}}, 5, -2 +; CHECK-DAG: cror [[REG1:[0-9]+]], 1, 1 +; CHECK: andi. {{[0-9]+}}, 4, 1 +; CHECK: li [[REG2:[0-9]+]], 1 +; CHECK: li [[REG3:[0-9]+]], 0 +; CHECK: crorc [[REG4:[0-9]+]], 1, +; CHECK: crand [[REG5:[0-9]+]], [[REG4]], [[REG1]] +; CHECK: isel 3, [[REG2]], [[REG3]], [[REG5]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define signext i32 @test7(i1 zeroext %v2, i32 signext %i1, i32 signext %i2) #0 { +entry: + %cond = select i1 %v2, i32 %i1, i32 %i2 + ret i32 %cond + +; CHECK-LABEL: @test7 +; CHECK: andi. {{[0-9]+}}, 3, 1 +; CHECK: isel [[REG1:[0-9]+]], 4, 5, 1 +; CHECK: extsw 3, [[REG1]] +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define float @test8(i1 zeroext %v2, float %v1, float %v3) #0 { +entry: + %cond = select i1 %v2, float %v1, float %v3 + ret float %cond + +; CHECK-LABEL: @test8 +; CHECK: andi. {{[0-9]+}}, 3, 1 +; CHECK: bclr 12, 1, 0 +; CHECK: fmr 1, 2 +; CHECK: blr +} + +; Function Attrs: nounwind readnone +define signext i32 @test10(i32 signext %v1, i32 signext %v2) #0 { +entry: + %tobool = icmp ne i32 %v1, 0 + %lnot = icmp eq i32 %v2, 0 + %and3 = and i1 %tobool, %lnot + %and = zext i1 %and3 to i32 + ret i32 %and + +; CHECK-LABEL: @test10 +; CHECK-DAG: cmpwi {{[0-9]+}}, 3, 0 +; CHECK-DAG: cmpwi {{[0-9]+}}, 4, 0 +; CHECK-DAG: li [[REG1:[0-9]+]], 0 +; CHECK-DAG: li [[REG2:[0-9]+]], 1 +; CHECK: crandc [[REG3:[0-9]+]], +; CHECK: isel 3, [[REG2]], [[REG1]], [[REG3]] +; CHECK: blr +} + +attributes #0 = { nounwind readnone } + |