diff options
Diffstat (limited to 'test/CodeGen/ARM/atomic-64bit.ll')
-rw-r--r-- | test/CodeGen/ARM/atomic-64bit.ll | 131 |
1 files changed, 86 insertions, 45 deletions
diff --git a/test/CodeGen/ARM/atomic-64bit.ll b/test/CodeGen/ARM/atomic-64bit.ll index a881d5f..9913f30 100644 --- a/test/CodeGen/ARM/atomic-64bit.ll +++ b/test/CodeGen/ARM/atomic-64bit.ll @@ -1,12 +1,16 @@ -; RUN: llc < %s -mtriple=armv7-apple-ios | FileCheck %s -; RUN: llc < %s -mtriple=thumbv7-none-linux-gnueabihf -verify-machineinstrs | FileCheck %s --check-prefix=CHECK-THUMB +; RUN: llc < %s -mtriple=armv7-apple-ios | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-LE +; RUN: llc < %s -mtriple=thumbv7-none-linux-gnueabihf | FileCheck %s --check-prefix=CHECK-THUMB --check-prefix=CHECK-THUMB-LE +; RUN: llc < %s -mtriple=armebv7 | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-BE +; RUN: llc < %s -mtriple=thumbebv7-none-linux-gnueabihf | FileCheck %s --check-prefix=CHECK-THUMB --check-prefix=CHECK-THUMB-BE define i64 @test1(i64* %ptr, i64 %val) { ; CHECK-LABEL: test1: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK: adds [[REG3:(r[0-9]?[02468])]], [[REG1]] -; CHECK: adc [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-LE: adds [[REG3:(r[0-9]?[02468])]], [[REG1]] +; CHECK-LE: adc [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE: adds [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE: adc [[REG3:(r[0-9]?[02468])]], [[REG1]] ; CHECK: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK: cmp ; CHECK: bne @@ -15,8 +19,10 @@ define i64 @test1(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test1: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB: adds.w [[REG3:[a-z0-9]+]], [[REG1]] -; CHECK-THUMB: adc.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-LE: adds.w [[REG3:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-LE: adc.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE: adds.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE: adc.w [[REG3:[a-z0-9]+]], [[REG1]] ; CHECK-THUMB: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK-THUMB: cmp ; CHECK-THUMB: bne @@ -30,8 +36,10 @@ define i64 @test2(i64* %ptr, i64 %val) { ; CHECK-LABEL: test2: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK: subs [[REG3:(r[0-9]?[02468])]], [[REG1]] -; CHECK: sbc [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-LE: subs [[REG3:(r[0-9]?[02468])]], [[REG1]] +; CHECK-LE: sbc [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE: subs [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE: sbc [[REG3:(r[0-9]?[02468])]], [[REG1]] ; CHECK: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK: cmp ; CHECK: bne @@ -40,8 +48,10 @@ define i64 @test2(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test2: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB: subs.w [[REG3:[a-z0-9]+]], [[REG1]] -; CHECK-THUMB: sbc.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-LE: subs.w [[REG3:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-LE: sbc.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE: subs.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE: sbc.w [[REG3:[a-z0-9]+]], [[REG1]] ; CHECK-THUMB: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK-THUMB: cmp ; CHECK-THUMB: bne @@ -55,8 +65,10 @@ define i64 @test3(i64* %ptr, i64 %val) { ; CHECK-LABEL: test3: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK-DAG: and [[REG3:(r[0-9]?[02468])]], [[REG1]] -; CHECK-DAG: and [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-LE-DAG: and [[REG3:(r[0-9]?[02468])]], [[REG1]] +; CHECK-LE-DAG: and [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: and [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: and [[REG3:(r[0-9]?[02468])]], [[REG1]] ; CHECK: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK: cmp ; CHECK: bne @@ -65,8 +77,10 @@ define i64 @test3(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test3: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB-DAG: and.w [[REG3:[a-z0-9]+]], [[REG1]] -; CHECK-THUMB-DAG: and.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-LE-DAG: and.w [[REG3:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-LE-DAG: and.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: and.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: and.w [[REG3:[a-z0-9]+]], [[REG1]] ; CHECK-THUMB: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK-THUMB: cmp ; CHECK-THUMB: bne @@ -80,8 +94,10 @@ define i64 @test4(i64* %ptr, i64 %val) { ; CHECK-LABEL: test4: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK-DAG: orr [[REG3:(r[0-9]?[02468])]], [[REG1]] -; CHECK-DAG: orr [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-LE-DAG: orr [[REG3:(r[0-9]?[02468])]], [[REG1]] +; CHECK-LE-DAG: orr [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: orr [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: orr [[REG3:(r[0-9]?[02468])]], [[REG1]] ; CHECK: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK: cmp ; CHECK: bne @@ -90,8 +106,10 @@ define i64 @test4(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test4: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB-DAG: orr.w [[REG3:[a-z0-9]+]], [[REG1]] -; CHECK-THUMB-DAG: orr.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-LE-DAG: orr.w [[REG3:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-LE-DAG: orr.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: orr.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: orr.w [[REG3:[a-z0-9]+]], [[REG1]] ; CHECK-THUMB: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK-THUMB: cmp ; CHECK-THUMB: bne @@ -105,8 +123,10 @@ define i64 @test5(i64* %ptr, i64 %val) { ; CHECK-LABEL: test5: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK-DAG: eor [[REG3:(r[0-9]?[02468])]], [[REG1]] -; CHECK-DAG: eor [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-LE-DAG: eor [[REG3:(r[0-9]?[02468])]], [[REG1]] +; CHECK-LE-DAG: eor [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: eor [[REG4:(r[0-9]?[13579])]], [[REG2]] +; CHECK-BE-DAG: eor [[REG3:(r[0-9]?[02468])]], [[REG1]] ; CHECK: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK: cmp ; CHECK: bne @@ -115,8 +135,10 @@ define i64 @test5(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test5: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB-DAG: eor.w [[REG3:[a-z0-9]+]], [[REG1]] -; CHECK-THUMB-DAG: eor.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-LE-DAG: eor.w [[REG3:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-LE-DAG: eor.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: eor.w [[REG4:[a-z0-9]+]], [[REG2]] +; CHECK-THUMB-BE-DAG: eor.w [[REG3:[a-z0-9]+]], [[REG1]] ; CHECK-THUMB: strexd {{[a-z0-9]+}}, [[REG3]], [[REG4]] ; CHECK-THUMB: cmp ; CHECK-THUMB: bne @@ -151,8 +173,10 @@ define i64 @test7(i64* %ptr, i64 %val1, i64 %val2) { ; CHECK-LABEL: test7: ; CHECK: dmb {{ish$}} ; CHECK: ldrexd [[REG1:(r[0-9]?[02468])]], [[REG2:(r[0-9]?[13579])]] -; CHECK-DAG: eor [[MISMATCH_LO:r[0-9]+]], [[REG1]], r1 -; CHECK-DAG: eor [[MISMATCH_HI:r[0-9]+]], [[REG2]], r2 +; CHECK-LE-DAG: eor [[MISMATCH_LO:r[0-9]+]], [[REG1]], r1 +; CHECK-LE-DAG: eor [[MISMATCH_HI:r[0-9]+]], [[REG2]], r2 +; CHECK-BE-DAG: eor [[MISMATCH_LO:r[0-9]+]], [[REG2]], r2 +; CHECK-BE-DAG: eor [[MISMATCH_HI:r[0-9]+]], [[REG1]], r1 ; CHECK: orrs {{r[0-9]+}}, [[MISMATCH_LO]], [[MISMATCH_HI]] ; CHECK: bne ; CHECK: strexd {{[a-z0-9]+}}, {{r[0-9]?[02468]}}, {{r[0-9]?[13579]}} @@ -163,8 +187,10 @@ define i64 @test7(i64* %ptr, i64 %val1, i64 %val2) { ; CHECK-THUMB-LABEL: test7: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB-DAG: eor.w [[MISMATCH_LO:[a-z0-9]+]], [[REG1]], r2 -; CHECK-THUMB-DAG: eor.w [[MISMATCH_HI:[a-z0-9]+]], [[REG2]], r3 +; CHECK-THUMB-LE-DAG: eor.w [[MISMATCH_LO:[a-z0-9]+]], [[REG1]], r2 +; CHECK-THUMB-LE-DAG: eor.w [[MISMATCH_HI:[a-z0-9]+]], [[REG2]], r3 +; CHECK-THUMB-BE-DAG: eor.w [[MISMATCH_HI:[a-z0-9]+]], [[REG1]] +; CHECK-THUMB-BE-DAG: eor.w [[MISMATCH_LO:[a-z0-9]+]], [[REG2]] ; CHECK-THUMB: orrs [[MISMATCH_HI]], [[MISMATCH_LO]] ; CHECK-THUMB: bne ; CHECK-THUMB: strexd {{[a-z0-9]+}}, {{[a-z0-9]+}}, {{[a-z0-9]+}} @@ -220,9 +246,11 @@ define i64 @test10(i64* %ptr, i64 %val) { ; CHECK: mov [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK: mov [[CARRY_HI:[a-z0-9]+]], #0 ; CHECK: mov [[OUT_HI:[a-z0-9]+]], r2 -; CHECK: cmp [[REG1]], r1 +; CHECK-LE: cmp [[REG1]], r1 +; CHECK-BE: cmp [[REG2]], r2 ; CHECK: movwls [[CARRY_LO]], #1 -; CHECK: cmp [[REG2]], r2 +; CHECK-LE: cmp [[REG2]], r2 +; CHECK-BE: cmp [[REG1]], r1 ; CHECK: movwle [[CARRY_HI]], #1 ; CHECK: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK: cmp [[CARRY_HI]], #0 @@ -237,11 +265,13 @@ define i64 @test10(i64* %ptr, i64 %val) { ; CHECK-THUMB-LABEL: test10: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] -; CHECK-THUMB: mov.w [[CARRY_LO:[a-z0-9]+]], #0 -; CHECK-THUMB: movs [[CARRY_HI:[a-z0-9]+]], #0 -; CHECK-THUMB: cmp [[REG1]], r2 +; CHECK-THUMB: mov.w [[CARRY_LO:[a-z0-9]+|lr]], #0 +; CHECK-THUMB: movs [[CARRY_HI:[a-z0-9]+|lr]], #0 +; CHECK-THUMB-LE: cmp [[REG1]], r2 +; CHECK-THUMB-BE: cmp [[REG2]], r3 ; CHECK-THUMB: movls.w [[CARRY_LO]], #1 -; CHECK-THUMB: cmp [[REG2]], r3 +; CHECK-THUMB-LE: cmp [[REG2]], r3 +; CHECK-THUMB-BE: cmp [[REG1]], r2 ; CHECK-THUMB: movle [[CARRY_HI]], #1 ; CHECK-THUMB: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK-THUMB: mov [[OUT_HI:[a-z0-9]+]], r3 @@ -265,9 +295,11 @@ define i64 @test11(i64* %ptr, i64 %val) { ; CHECK: mov [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK: mov [[CARRY_HI:[a-z0-9]+]], #0 ; CHECK: mov [[OUT_HI:[a-z0-9]+]], r2 -; CHECK: cmp [[REG1]], r1 +; CHECK-LE: cmp [[REG1]], r1 +; CHECK-BE: cmp [[REG2]], r2 ; CHECK: movwls [[CARRY_LO]], #1 -; CHECK: cmp [[REG2]], r2 +; CHECK-LE: cmp [[REG2]], r2 +; CHECK-BE: cmp [[REG1]], r1 ; CHECK: movwls [[CARRY_HI]], #1 ; CHECK: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK: cmp [[CARRY_HI]], #0 @@ -279,15 +311,16 @@ define i64 @test11(i64* %ptr, i64 %val) { ; CHECK: bne ; CHECK: dmb {{ish$}} - ; CHECK-THUMB-LABEL: test11: ; CHECK-THUMB: dmb {{ish$}} ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] ; CHECK-THUMB: mov.w [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK-THUMB: movs [[CARRY_HI:[a-z0-9]+]], #0 -; CHECK-THUMB: cmp [[REG1]], r2 +; CHECK-THUMB-LE: cmp [[REG1]], r2 +; CHECK-THUMB-BE: cmp [[REG2]], r3 ; CHECK-THUMB: movls.w [[CARRY_LO]], #1 -; CHECK-THUMB: cmp [[REG2]], r3 +; CHECK-THUMB-LE: cmp [[REG2]], r3 +; CHECK-THUMB-BE: cmp [[REG1]], r2 ; CHECK-THUMB: movls [[CARRY_HI]], #1 ; CHECK-THUMB: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK-THUMB: mov [[OUT_HI:[a-z0-9]+]], r3 @@ -311,9 +344,11 @@ define i64 @test12(i64* %ptr, i64 %val) { ; CHECK: mov [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK: mov [[CARRY_HI:[a-z0-9]+]], #0 ; CHECK: mov [[OUT_HI:[a-z0-9]+]], r2 -; CHECK: cmp [[REG1]], r1 +; CHECK-LE: cmp [[REG1]], r1 +; CHECK-BE: cmp [[REG2]], r2 ; CHECK: movwhi [[CARRY_LO]], #1 -; CHECK: cmp [[REG2]], r2 +; CHECK-LE: cmp [[REG2]], r2 +; CHECK-BE: cmp [[REG1]], r1 ; CHECK: movwgt [[CARRY_HI]], #1 ; CHECK: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK: cmp [[CARRY_HI]], #0 @@ -330,9 +365,11 @@ define i64 @test12(i64* %ptr, i64 %val) { ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] ; CHECK-THUMB: mov.w [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK-THUMB: movs [[CARRY_HI:[a-z0-9]+]], #0 -; CHECK-THUMB: cmp [[REG1]], r2 +; CHECK-THUMB-LE: cmp [[REG1]], r2 +; CHECK-THUMB-BE: cmp [[REG2]], r3 ; CHECK-THUMB: movhi.w [[CARRY_LO]], #1 -; CHECK-THUMB: cmp [[REG2]], r3 +; CHECK-THUMB-LE: cmp [[REG2]], r3 +; CHECK-THUMB-BE: cmp [[REG1]], r2 ; CHECK-THUMB: movgt [[CARRY_HI]], #1 ; CHECK-THUMB: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK-THUMB: mov [[OUT_HI:[a-z0-9]+]], r3 @@ -356,9 +393,11 @@ define i64 @test13(i64* %ptr, i64 %val) { ; CHECK: mov [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK: mov [[CARRY_HI:[a-z0-9]+]], #0 ; CHECK: mov [[OUT_HI:[a-z0-9]+]], r2 -; CHECK: cmp [[REG1]], r1 +; CHECK-LE: cmp [[REG1]], r1 +; CHECK-BE: cmp [[REG2]], r2 ; CHECK: movwhi [[CARRY_LO]], #1 -; CHECK: cmp [[REG2]], r2 +; CHECK-LE: cmp [[REG2]], r2 +; CHECK-BE: cmp [[REG1]], r1 ; CHECK: movwhi [[CARRY_HI]], #1 ; CHECK: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK: cmp [[CARRY_HI]], #0 @@ -375,9 +414,11 @@ define i64 @test13(i64* %ptr, i64 %val) { ; CHECK-THUMB: ldrexd [[REG1:[a-z0-9]+]], [[REG2:[a-z0-9]+]] ; CHECK-THUMB: mov.w [[CARRY_LO:[a-z0-9]+]], #0 ; CHECK-THUMB: movs [[CARRY_HI:[a-z0-9]+]], #0 -; CHECK-THUMB: cmp [[REG1]], r2 +; CHECK-THUMB-LE: cmp [[REG1]], r2 +; CHECK-THUMB-BE: cmp [[REG2]], r3 ; CHECK-THUMB: movhi.w [[CARRY_LO]], #1 -; CHECK-THUMB: cmp [[REG2]], r3 +; CHECK-THUMB-LE: cmp [[REG2]], r3 +; CHECK-THUMB-BE: cmp [[REG1]], r2 ; CHECK-THUMB: movhi [[CARRY_HI]], #1 ; CHECK-THUMB: moveq [[CARRY_HI]], [[CARRY_LO]] ; CHECK-THUMB: mov [[OUT_HI:[a-z0-9]+]], r3 |