117 lines · plain
1; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s2 3define float @func1(float %a, float %b) {4; CHECK-LABEL: func1:5; CHECK: # %bb.0:6; CHECK-NEXT: fsub.s %s0, %s0, %s17; CHECK-NEXT: b.l.t (, %s10)8 %r = fsub float %a, %b9 ret float %r10}11 12define double @func2(double %a, double %b) {13; CHECK-LABEL: func2:14; CHECK: # %bb.0:15; CHECK-NEXT: fsub.d %s0, %s0, %s116; CHECK-NEXT: b.l.t (, %s10)17 %r = fsub double %a, %b18 ret double %r19}20 21define fp128 @func3(fp128 %a, fp128 %b) {22; CHECK-LABEL: func3:23; CHECK: # %bb.0:24; CHECK-NEXT: fsub.q %s0, %s0, %s225; CHECK-NEXT: b.l.t (, %s10)26 %r = fsub fp128 %a, %b27 ret fp128 %r28}29 30define float @func4(float %a) {31; CHECK-LABEL: func4:32; CHECK: # %bb.0:33; CHECK-NEXT: lea.sl %s1, -106325606434; CHECK-NEXT: fadd.s %s0, %s0, %s135; CHECK-NEXT: b.l.t (, %s10)36 %r = fadd float %a, -5.000000e+0037 ret float %r38}39 40define double @func5(double %a) {41; CHECK-LABEL: func5:42; CHECK: # %bb.0:43; CHECK-NEXT: lea.sl %s1, -107243110444; CHECK-NEXT: fadd.d %s0, %s0, %s145; CHECK-NEXT: b.l.t (, %s10)46 %r = fadd double %a, -5.000000e+0047 ret double %r48}49 50define fp128 @func6(fp128 %a) {51; CHECK-LABEL: func6:52; CHECK: # %bb.0:53; CHECK-NEXT: lea %s2, .LCPI{{[0-9]+}}_0@lo54; CHECK-NEXT: and %s2, %s2, (32)055; CHECK-NEXT: lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)56; CHECK-NEXT: ld %s4, 8(, %s2)57; CHECK-NEXT: ld %s5, (, %s2)58; CHECK-NEXT: fadd.q %s0, %s0, %s459; CHECK-NEXT: b.l.t (, %s10)60 %r = fadd fp128 %a, 0xL0000000000000000C00140000000000061 ret fp128 %r62}63 64define float @func7(float %a) {65; CHECK-LABEL: func7:66; CHECK: # %bb.0:67; CHECK-NEXT: lea.sl %s1, -838860968; CHECK-NEXT: fadd.s %s0, %s0, %s169; CHECK-NEXT: b.l.t (, %s10)70 %r = fadd float %a, 0xC7EFFFFFE000000071 ret float %r72}73 74define double @func8(double %a) {75; CHECK-LABEL: func8:76; CHECK: # %bb.0:77; CHECK-NEXT: lea %s1, -178; CHECK-NEXT: and %s1, %s1, (32)079; CHECK-NEXT: lea.sl %s1, -1048577(, %s1)80; CHECK-NEXT: fadd.d %s0, %s0, %s181; CHECK-NEXT: b.l.t (, %s10)82 %r = fadd double %a, 0xFFEFFFFFFFFFFFFF83 ret double %r84}85 86define fp128 @func9(fp128 %a) {87; CHECK-LABEL: func9:88; CHECK: # %bb.0:89; CHECK-NEXT: lea %s2, .LCPI{{[0-9]+}}_0@lo90; CHECK-NEXT: and %s2, %s2, (32)091; CHECK-NEXT: lea.sl %s2, .LCPI{{[0-9]+}}_0@hi(, %s2)92; CHECK-NEXT: ld %s4, 8(, %s2)93; CHECK-NEXT: ld %s5, (, %s2)94; CHECK-NEXT: fadd.q %s0, %s0, %s495; CHECK-NEXT: b.l.t (, %s10)96 %r = fadd fp128 %a, 0xLFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFF97 ret fp128 %r98}99 100define float @fsubs_ir(float %a) {101; CHECK-LABEL: fsubs_ir:102; CHECK: # %bb.0:103; CHECK-NEXT: fsub.s %s0, 0, %s0104; CHECK-NEXT: b.l.t (, %s10)105 %r = fsub float 0.e+00, %a106 ret float %r107}108 109define float @fsubs_ri(float %a) {110; CHECK-LABEL: fsubs_ri:111; CHECK: # %bb.0:112; CHECK-NEXT: fadd.s %s0, %s0, (2)1113; CHECK-NEXT: b.l.t (, %s10)114 %r = fsub float %a, 2.0e+00115 ret float %r116}117