// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
struct S {
int field1 : 5;
int field2 : 6;
int field3 : 3;
};
void use(bool cond, struct S s1, struct S s2, int val1, int val2) {
// CHECK-LABEL: define {{.*}}use{{.*}}(
// CHECK: %[[S1:.+]] = alloca %struct.S
// CHECK: %[[S2:.+]] = alloca %struct.S
// CHECK: %[[COND:.+]] = alloca i8
// CHECK: %[[VAL1:.+]] = alloca i32
// CHECK: %[[VAL2:.+]] = alloca i32
cond ? s1.field1 = val1 : s1.field2 = val2;
// Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// 'True', branch set the BF, branch to 'end'.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// 'False', branch set the OTHER BF, branch to 'end'.
// CHECK: [[FALSE]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// CHECK: [[END]]:
// There is nothing in the 'end' block associated with this, but it is the
// 'continuation' block for the rest of the function.
// Same test, has a no-op cast and parens.
(void)(cond ? s2.field1 = val1 : s2.field2 = val2);
// Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// 'True', branch set the BF, branch to 'end'.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S2]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S2]]
// CHECK: br label %[[END:.+]]
// 'False', branch set the OTHER BF, branch to 'end'.
// CHECK: [[FALSE]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S2]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S2]]
// CHECK: br label %[[END:.+]]
// CHECK: [[END]]:
// CHECK-NOT: phi
// There is nothing in the 'end' block associated with this, but it is the
// 'continuation' block for the rest of the function.
}
void use2(bool cond1, bool cond2, struct S s1, int val1, int val2, int val3) {
// CHECK-LABEL: define {{.*}}use2{{.*}}(
// CHECK: %[[S1:.+]] = alloca %struct.S
// CHECK: %[[COND1:.+]] = alloca i8
// CHECK: %[[COND2:.+]] = alloca i8
// CHECK: %[[VAL1:.+]] = alloca i32
// CHECK: %[[VAL2:.+]] = alloca i32
// CHECK: %[[VAL3:.+]] = alloca i32
cond1 ? s1.field1 = val1 : cond2 ? s1.field2 = val2 : s1.field3 = val3;
// First Condition setup, branch.
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND1]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE:.+]], label %[[FALSE:.+]]
// First 'True' branch, sets field1 to val1.
// CHECK: [[TRUE]]:
// CHECK: %[[VAL1LD:.+]] = load i32, ptr %[[VAL1]]
// CHECK: %[[VAL1TRUNC:.+]] = trunc i32 %[[VAL1LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL1TRUNC]], 31
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -32
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_VAL]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// First 'False' branch, starts second ignored expression.
// CHECK: [[FALSE]]:
// CHECK: %[[CONDLD:.+]] = load i8, ptr %[[COND2]]
// CHECK: %[[TO_BOOL:.+]] = trunc i8 %[[CONDLD]] to i1
// CHECK: br i1 %[[TO_BOOL]], label %[[TRUE2:.+]], label %[[FALSE2:.+]]
// Second 'True' branch, sets field2 to val2.
// CHECK: [[TRUE2]]:
// CHECK: %[[VAL2LD:.+]] = load i32, ptr %[[VAL2]]
// CHECK: %[[VAL2TRUNC:.+]] = trunc i32 %[[VAL2LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL2TRUNC]], 63
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 5
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -2017
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// Second 'False' branch, sets field3 to val3.
// CHECK: [[FALSE2]]:
// CHECK: %[[VAL3LD:.+]] = load i32, ptr %[[VAL3]]
// CHECK: %[[VAL3TRUNC:.+]] = trunc i32 %[[VAL3LD]] to i16
// CHECK: %[[BF_LOAD:.+]] = load i16, ptr %[[S1]]
// CHECK: %[[BF_VAL:.+]] = and i16 %[[VAL3TRUNC]], 7
// CHECK: %[[BF_SHIFT:.+]] = shl i16 %[[BF_VAL]], 11
// CHECK: %[[BF_CLEAR:.+]] = and i16 %[[BF_LOAD]], -14337
// CHECK: %[[BF_SET:.+]] = or i16 %[[BF_CLEAR]], %[[BF_SHIFT]]
// CHECK: store i16 %[[BF_SET]], ptr %[[S1]]
// CHECK: br label %[[END:.+]]
// CHECK: [[END]]:
// CHECK-NOT: phi
// Nothing left to do here.
}
// Catch the end of the IR. This prevents the CHECK-NOT above from matching a
// spurious "phi" in file paths printed in the output.
// CHECK-LABEL: attributes
Codebase Browser
llvm