| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: llc --mtriple=loongarch32 -mattr=+f < %s | FileCheck %s --check-prefix=LA32 |
| ; RUN: llc --mtriple=loongarch64 -mattr=+f < %s | FileCheck %s --check-prefix=LA64 |
| |
| define i32 @test_get_rounding() nounwind { |
| ; LA32-LABEL: test_get_rounding: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA32-NEXT: srli.w $a0, $a0, 8 |
| ; LA32-NEXT: nor $a1, $a0, $zero |
| ; LA32-NEXT: srli.w $a1, $a1, 1 |
| ; LA32-NEXT: andi $a1, $a1, 1 |
| ; LA32-NEXT: xor $a0, $a0, $a1 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: test_get_rounding: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA64-NEXT: srli.d $a0, $a0, 8 |
| ; LA64-NEXT: nor $a1, $a0, $zero |
| ; LA64-NEXT: bstrpick.d $a1, $a1, 1, 1 |
| ; LA64-NEXT: xor $a0, $a0, $a1 |
| ; LA64-NEXT: ret |
| %rm = call i32 @llvm.get.rounding() |
| ret i32 %rm |
| } |
| |
| define i1 @test_get_rounding_sideeffect() nounwind { |
| ; LA32-LABEL: test_get_rounding_sideeffect: |
| ; LA32: # %bb.0: # %entry |
| ; LA32-NEXT: addi.w $sp, $sp, -16 |
| ; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill |
| ; LA32-NEXT: ori $a0, $zero, 1 |
| ; LA32-NEXT: bl fesetround |
| ; LA32-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA32-NEXT: srli.w $a0, $a0, 8 |
| ; LA32-NEXT: nor $a1, $a0, $zero |
| ; LA32-NEXT: srli.w $a1, $a1, 1 |
| ; LA32-NEXT: andi $a1, $a1, 1 |
| ; LA32-NEXT: xor $a0, $a0, $a1 |
| ; LA32-NEXT: beq $a0, $zero, .LBB1_2 |
| ; LA32-NEXT: # %bb.1: |
| ; LA32-NEXT: move $a0, $zero |
| ; LA32-NEXT: b .LBB1_3 |
| ; LA32-NEXT: .LBB1_2: # %if.end |
| ; LA32-NEXT: move $a0, $zero |
| ; LA32-NEXT: bl fesetround |
| ; LA32-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA32-NEXT: srli.w $a0, $a0, 8 |
| ; LA32-NEXT: nor $a1, $a0, $zero |
| ; LA32-NEXT: srli.w $a1, $a1, 1 |
| ; LA32-NEXT: andi $a1, $a1, 1 |
| ; LA32-NEXT: xor $a0, $a0, $a1 |
| ; LA32-NEXT: addi.w $a0, $a0, -1 |
| ; LA32-NEXT: sltui $a0, $a0, 1 |
| ; LA32-NEXT: .LBB1_3: # %return |
| ; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload |
| ; LA32-NEXT: addi.w $sp, $sp, 16 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: test_get_rounding_sideeffect: |
| ; LA64: # %bb.0: # %entry |
| ; LA64-NEXT: addi.d $sp, $sp, -16 |
| ; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill |
| ; LA64-NEXT: ori $a0, $zero, 1 |
| ; LA64-NEXT: pcaddu18i $ra, %call36(fesetround) |
| ; LA64-NEXT: jirl $ra, $ra, 0 |
| ; LA64-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA64-NEXT: srli.d $a0, $a0, 8 |
| ; LA64-NEXT: nor $a1, $a0, $zero |
| ; LA64-NEXT: bstrpick.d $a1, $a1, 1, 1 |
| ; LA64-NEXT: xor $a0, $a0, $a1 |
| ; LA64-NEXT: addi.w $a0, $a0, 0 |
| ; LA64-NEXT: beqz $a0, .LBB1_2 |
| ; LA64-NEXT: # %bb.1: |
| ; LA64-NEXT: move $a0, $zero |
| ; LA64-NEXT: b .LBB1_3 |
| ; LA64-NEXT: .LBB1_2: # %if.end |
| ; LA64-NEXT: move $a0, $zero |
| ; LA64-NEXT: pcaddu18i $ra, %call36(fesetround) |
| ; LA64-NEXT: jirl $ra, $ra, 0 |
| ; LA64-NEXT: movfcsr2gr $a0, $fcsr3 |
| ; LA64-NEXT: srli.d $a0, $a0, 8 |
| ; LA64-NEXT: nor $a1, $a0, $zero |
| ; LA64-NEXT: bstrpick.d $a1, $a1, 1, 1 |
| ; LA64-NEXT: xor $a0, $a0, $a1 |
| ; LA64-NEXT: addi.w $a0, $a0, 0 |
| ; LA64-NEXT: addi.d $a0, $a0, -1 |
| ; LA64-NEXT: sltui $a0, $a0, 1 |
| ; LA64-NEXT: .LBB1_3: # %return |
| ; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload |
| ; LA64-NEXT: addi.d $sp, $sp, 16 |
| ; LA64-NEXT: ret |
| entry: |
| %call = tail call i32 @fesetround(i32 noundef 1) |
| %0 = tail call i32 @llvm.get.rounding() |
| %cmp.not = icmp eq i32 %0, 0 |
| br i1 %cmp.not, label %if.end, label %return |
| |
| if.end: |
| %call1 = tail call i32 @fesetround(i32 noundef 0) |
| %1 = tail call i32 @llvm.get.rounding() |
| %cmp2.not = icmp eq i32 %1, 1 |
| br label %return |
| |
| return: |
| %retval.0 = phi i1 [ false, %entry ], [ %cmp2.not, %if.end ] |
| ret i1 %retval.0 |
| } |
| |
| declare i32 @llvm.get.rounding() |
| declare i32 @fesetround(i32 noundef) |