Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 34c4485b7479a12b5ef1cb15d27e96277e8a499a / . / test / CodeGen / Thumb2 / thumb2-branch.ll
blob: 4d9eda062f9e5cf13233c114b42d9ffa9e32b576 [file] [log] [blame]
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]1; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mattr=+thumb2 | FileCheck %s
Jim Grosbach25e6d482011-07-08 21:50:04 +0000[diff] [blame]2; If-conversion defeats the purpose of this test, which is to check conditional
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]3; branch generation, so use memory barrier instruction to make sure it doesn't
4; happen and we get actual branches.
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]5
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]6define i32 @f1(i32 %a, i32 %b, i32* %v) {
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]7entry:
8; CHECK: f1:
Benjamin Kramer823bdbc2009-10-31 19:22:24 +0000[diff] [blame]9; CHECK: bne LBB
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]10 %tmp = icmp eq i32 %a, %b ; <i1> [#uses=1]
11 br i1 %tmp, label %cond_true, label %return
12
13cond_true: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]14 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]15 store i32 0, i32* %v
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]16 ret i32 0
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]17
18return: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]19 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]20 ret i32 1
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]21}
22
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]23define i32 @f2(i32 %a, i32 %b, i32* %v) {
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]24entry:
25; CHECK: f2:
Benjamin Kramer823bdbc2009-10-31 19:22:24 +0000[diff] [blame]26; CHECK: bge LBB
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]27 %tmp = icmp slt i32 %a, %b ; <i1> [#uses=1]
28 br i1 %tmp, label %cond_true, label %return
29
30cond_true: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]31 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]32 store i32 0, i32* %v
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]33 ret i32 0
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]34
35return: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]36 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]37 ret i32 1
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]38}
39
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]40define i32 @f3(i32 %a, i32 %b, i32* %v) {
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]41entry:
42; CHECK: f3:
Benjamin Kramer823bdbc2009-10-31 19:22:24 +0000[diff] [blame]43; CHECK: bhs LBB
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]44 %tmp = icmp ult i32 %a, %b ; <i1> [#uses=1]
45 br i1 %tmp, label %cond_true, label %return
46
47cond_true: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]48 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]49 store i32 0, i32* %v
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]50 ret i32 0
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]51
52return: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]53 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]54 ret i32 1
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]55}
56
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]57define i32 @f4(i32 %a, i32 %b, i32* %v) {
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]58entry:
59; CHECK: f4:
Benjamin Kramer823bdbc2009-10-31 19:22:24 +0000[diff] [blame]60; CHECK: blo LBB
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]61 %tmp = icmp ult i32 %a, %b ; <i1> [#uses=1]
62 br i1 %tmp, label %return, label %cond_true
63
64cond_true: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]65 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]66 store i32 0, i32* %v
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]67 ret i32 0
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]68
69return: ; preds = %entry
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]70 call void @llvm.memory.barrier(i1 true, i1 true, i1 true, i1 true, i1 false)
Dan Gohman30fc5bb2010-05-03 14:35:47 +0000[diff] [blame]71 ret i32 1
Evan Cheng31b99dd2009-08-14 18:31:44 +0000[diff] [blame]72}
Jim Grosbach92bf81d2011-07-12 16:06:01 +0000[diff] [blame]73
74declare void @llvm.memory.barrier(i1, i1, i1, i1, i1) nounwind