diff options
Diffstat (limited to 'test/CodeGen/SystemZ/cond-load-03.ll')
| -rw-r--r-- | test/CodeGen/SystemZ/cond-load-03.ll | 159 |
1 files changed, 0 insertions, 159 deletions
diff --git a/test/CodeGen/SystemZ/cond-load-03.ll b/test/CodeGen/SystemZ/cond-load-03.ll deleted file mode 100644 index 4cce92ea7188..000000000000 --- a/test/CodeGen/SystemZ/cond-load-03.ll +++ /dev/null @@ -1,159 +0,0 @@ -; Test LOCFH. See comments in asm-18.ll about testing high-word operations. -; -; RUN: llc < %s -verify-machineinstrs -mtriple=s390x-linux-gnu -mcpu=z13 \ -; RUN: -no-integrated-as | FileCheck %s - -declare void @foo(i32 *) - -; Test the simple case. -define void @f1(i32 *%ptr, i32 %limit) { -; CHECK-LABEL: f1: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhhe [[REG]], 0(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; ...and again with the operands swapped. -define void @f2(i32 *%ptr, i32 %limit) { -; CHECK-LABEL: f2: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhl [[REG]], 0(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %other, i32 %easy - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Check the high end of the aligned LOC range. -define void @f3(i32 *%base, i32 %limit) { -; CHECK-LABEL: f3: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhhe [[REG]], 524284(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %ptr = getelementptr i32, i32 *%base, i64 131071 - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Check the next word up. Other sequences besides this one would be OK. -define void @f4(i32 *%base, i32 %limit) { -; CHECK-LABEL: f4: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: agfi %r2, 524288 -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhhe [[REG]], 0(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %ptr = getelementptr i32, i32 *%base, i64 131072 - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Check the low end of the LOC range. -define void @f5(i32 *%base, i32 %limit) { -; CHECK-LABEL: f5: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhhe [[REG]], -524288(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %ptr = getelementptr i32, i32 *%base, i64 -131072 - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Check the next word down, with the same comments as f4. -define void @f6(i32 *%base, i32 %limit) { -; CHECK-LABEL: f6: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r3, 42 -; CHECK-DAG: agfi %r2, -524292 -; CHECK-DAG: clfi %r3, 42 -; CHECK: locfhhe [[REG]], 0(%r2) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %ptr = getelementptr i32, i32 *%base, i64 -131073 - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Try a frame index base. -define void @f7(i32 %alt, i32 %limit) { -; CHECK-LABEL: f7: -; CHECK: brasl %r14, foo@PLT -; CHECK: stepa [[REG:%r[0-5]]] -; CHECK: locfhhe [[REG]], {{[0-9]+}}(%r15) -; CHECK: br %r14 - %ptr = alloca i32 - call void @foo(i32 *%ptr) - %easy = call i32 asm "stepa $0", "=h"() - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Try a case when an index is involved. -define void @f8(i32 %limit, i64 %base, i64 %index) { -; CHECK-LABEL: f8: -; CHECK-DAG: stepa [[REG:%r[0-5]]] -; CHECK-DAG: clfi %r2, 42 -; CHECK: locfhhe [[REG]], 0({{%r[1-5]}}) -; CHECK: br %r14 - %easy = call i32 asm "stepa $0", "=h"() - %add = add i64 %base, %index - %ptr = inttoptr i64 %add to i32 * - %cond = icmp ult i32 %limit, 42 - %other = load i32, i32 *%ptr - %res = select i1 %cond, i32 %easy, i32 %other - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} - -; Test that conditionally-executed loads do not use LOC, since it is allowed -; to trap even when the condition is false. -define void @f9(i32 %limit, i32 *%ptr) { -; CHECK-LABEL: f9: -; CHECK-NOT: loc -; CHECK: lfh -; CHECK: br %r14 -entry: - %easy = call i32 asm "stepa $0", "=h"() - %cmp = icmp ule i32 %easy, %limit - br i1 %cmp, label %load, label %exit - -load: - %other = load i32, i32 *%ptr - br label %exit - -exit: - %res = phi i32 [ %easy, %entry ], [ %other, %load ] - call void asm sideeffect "stepb $0", "h"(i32 %res) - ret void -} |
