| // RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -Xllvm -sil-print-debuginfo -emit-sil %s | %FileCheck %s |
| |
| import macros |
| |
| // CHECK-LABEL: // testBitwiseOperations() |
| func testBitwiseOperations() { |
| // CHECK: %[[P0:.*]] = integer_literal $Builtin.Int64, -1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt64 (%[[P0]] : $Builtin.Int64), loc {{.*}} |
| _ = DISPATCH_TIME_FOREVER as CUnsignedLongLong |
| |
| // CHECK-NEXT: %[[P1:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P1]] : $Builtin.Int32), loc {{.*}} |
| _ = BIT_SHIFT_1 as CInt |
| // CHECK-NEXT: %[[P2:.*]] = integer_literal $Builtin.Int32, 4, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P2]] : $Builtin.Int32), loc {{.*}} |
| _ = BIT_SHIFT_2 as CInt |
| // CHECK-NEXT: %[[P3:.*]] = integer_literal $Builtin.Int64, 24, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P3]] : $Builtin.Int64), loc {{.*}} |
| _ = BIT_SHIFT_3 as CLongLong |
| // CHECK-NEXT: %[[P4:.*]] = integer_literal $Builtin.Int32, 2, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P4]] : $Builtin.Int32), loc {{.*}} |
| _ = BIT_SHIFT_4 as CUnsignedInt |
| |
| // CHECK-NEXT: %[[P5:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P5]] : $Builtin.Int32), loc {{.*}} |
| _ = RSHIFT_ONE as CUnsignedInt |
| // CHECK-NEXT: %[[P6:.*]] = integer_literal $Builtin.Int32, -2, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P6]] : $Builtin.Int32), loc {{.*}} |
| _ = RSHIFT_NEG as CInt |
| |
| // CHECK-NEXT: %[[P7:.*]] = integer_literal $Builtin.Int64, -4294967296, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt64 (%[[P7]] : $Builtin.Int64), loc {{.*}} |
| _ = XOR_HIGH as CUnsignedLongLong |
| |
| // CHECK-NEXT: %[[P8:.*]] = integer_literal $Builtin.Int32, 256, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P8]] : $Builtin.Int32), loc {{.*}} |
| _ = ATTR_BOLD as CInt |
| // CHECK-NEXT: %[[P9:.*]] = integer_literal $Builtin.Int32, 512, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P9]] : $Builtin.Int32), loc {{.*}} |
| _ = ATTR_ITALIC as CInt |
| // CHECK-NEXT: %[[P10:.*]] = integer_literal $Builtin.Int32, 1024, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P10]] : $Builtin.Int32), loc {{.*}} |
| _ = ATTR_UNDERLINE as CInt |
| } |
| |
| // CHECK-LABEL: // testIntegerArithmetic() |
| func testIntegerArithmetic() { |
| |
| // CHECK: %[[P0:.*]] = integer_literal $Builtin.Int32, 0, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P0]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_ZERO as CInt |
| // CHECK-NEXT: %[[P1:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P1]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_ONE as CInt |
| // CHECK-NEXT: %[[P2:.*]] = integer_literal $Builtin.Int32, 2, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P2]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_TWO as CInt |
| // CHECK-NEXT: %[[P3:.*]] = integer_literal $Builtin.Int32, -2, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P3]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_MINUS_TWO as CInt |
| // CHECK-NEXT: %[[P4:.*]] = integer_literal $Builtin.Int64, 169, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P4]] : $Builtin.Int64), loc {{.*}} |
| _ = ADD_MIXED_WIDTH as CLongLong |
| // CHECK-NEXT: %[[P5:.*]] = integer_literal $Builtin.Int64, 142, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P5]] : $Builtin.Int64), loc {{.*}} |
| _ = ADD_MIXED_SIGN as CLongLong |
| // CHECK-NEXT: %[[P6:.*]] = integer_literal $Builtin.Int32, -3, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P6]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_UNDERFLOW as CUnsignedInt |
| // CHECK-NEXT: %[[P7:.*]] = integer_literal $Builtin.Int32, 2, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P7]] : $Builtin.Int32), loc {{.*}} |
| _ = ADD_OVERFLOW as CUnsignedInt |
| |
| // CHECK-NEXT: %[[P8:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P8]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_ONE as CInt |
| // CHECK-NEXT: %[[P9:.*]] = integer_literal $Builtin.Int32, 0, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P9]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_ZERO as CInt |
| // CHECK-NEXT: %[[P10:.*]] = integer_literal $Builtin.Int32, -1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P10]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_MINUS_ONE as CInt |
| // CHECK-NEXT: %[[P11:.*]] = integer_literal $Builtin.Int64, 42, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P11]] : $Builtin.Int64), loc {{.*}} |
| _ = SUB_MIXED_WIDTH as CLongLong |
| // CHECK-NEXT: %[[P12:.*]] = integer_literal $Builtin.Int32, 51, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P12]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_MIXED_SIGN as CUnsignedInt |
| // CHECK-NEXT: %[[P13:.*]] = integer_literal $Builtin.Int32, -1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P13]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_UNDERFLOW as CUnsignedInt |
| // CHECK-NEXT: %[[P14:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $UInt32 (%[[P14]] : $Builtin.Int32), loc {{.*}} |
| _ = SUB_OVERFLOW as CUnsignedInt |
| |
| // CHECK-NEXT: %[[P15:.*]] = integer_literal $Builtin.Int32, 36, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P15]] : $Builtin.Int32), loc {{.*}} |
| _ = MULT_POS as CInt |
| // CHECK-NEXT: %[[P16:.*]] = integer_literal $Builtin.Int32, -12, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P16]] : $Builtin.Int32), loc {{.*}} |
| _ = MULT_NEG as CInt |
| // CHECK-NEXT: %[[P17:.*]] = integer_literal $Builtin.Int64, 8589934590, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P17]] : $Builtin.Int64), loc {{.*}} |
| _ = MULT_MIXED_TYPES as CLongLong |
| |
| // CHECK-NEXT: %[[P18:.*]] = integer_literal $Builtin.Int32, 128, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P18]] : $Builtin.Int32), loc {{.*}} |
| _ = DIVIDE_INTEGRAL as CInt |
| // CHECK-NEXT: %[[P19:.*]] = integer_literal $Builtin.Int32, 1, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int32 (%[[P19]] : $Builtin.Int32), loc {{.*}} |
| _ = DIVIDE_NONINTEGRAL as CInt |
| // CHECK-NEXT: %[[P20:.*]] = integer_literal $Builtin.Int64, 2147483648, loc {{.*}} |
| // CHECK: %{{.*}} = struct $Int64 (%[[P20]] : $Builtin.Int64), loc {{.*}} |
| _ = DIVIDE_MIXED_TYPES as CLongLong |
| } |
| |
| // CHECK-LABEL: // testIntegerComparisons() |
| func testIntegerComparisons() { |
| |
| // CHECK: %0 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %1 = struct $Bool (%0 : $Builtin.Int1), loc {{.*}} |
| _ = EQUAL_FALSE |
| // CHECK-NEXT: %2 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %3 = struct $Bool (%2 : $Builtin.Int1), loc {{.*}} |
| _ = EQUAL_TRUE |
| // CHECK-NEXT: %4 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %5 = struct $Bool (%4 : $Builtin.Int1), loc {{.*}} |
| _ = EQUAL_TRUE_MIXED_TYPES |
| |
| // CHECK-NEXT: %6 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %7 = struct $Bool (%6 : $Builtin.Int1), loc {{.*}} |
| _ = GT_FALSE |
| // CHECK-NEXT: %8 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %9 = struct $Bool (%8 : $Builtin.Int1), loc {{.*}} |
| _ = GT_TRUE |
| // CHECK-NEXT: %10 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %11 = struct $Bool (%10 : $Builtin.Int1), loc {{.*}} |
| _ = GTE_FALSE |
| // CHECK-NEXT: %12 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %13 = struct $Bool (%12 : $Builtin.Int1), loc {{.*}} |
| _ = GTE_TRUE |
| |
| // CHECK-NEXT: %14 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %15 = struct $Bool (%14 : $Builtin.Int1), loc {{.*}} |
| _ = LT_FALSE |
| // CHECK-NEXT: %16 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %17 = struct $Bool (%16 : $Builtin.Int1), loc {{.*}} |
| _ = LT_TRUE |
| // CHECK-NEXT: %18 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %19 = struct $Bool (%18 : $Builtin.Int1), loc {{.*}} |
| _ = LTE_FALSE |
| // CHECK-NEXT: %20 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %21 = struct $Bool (%20 : $Builtin.Int1), loc {{.*}} |
| _ = LTE_TRUE |
| } |
| |
| // CHECK-LABEL: // testLogicalComparisons() |
| func testLogicalComparisons() { |
| |
| // CHECK: %0 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %1 = struct $Bool (%0 : $Builtin.Int1), loc {{.*}} |
| _ = L_AND_TRUE |
| // CHECK-NEXT: %2 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %3 = struct $Bool (%2 : $Builtin.Int1), loc {{.*}} |
| _ = L_AND_FALSE |
| // CHECK-NEXT: %4 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %5 = struct $Bool (%4 : $Builtin.Int1), loc {{.*}} |
| _ = L_AND_TRUE_B |
| // CHECK-NEXT: %6 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %7 = struct $Bool (%6 : $Builtin.Int1), loc {{.*}} |
| _ = L_AND_FALSE_B |
| |
| // CHECK-NEXT: %8 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %9 = struct $Bool (%8 : $Builtin.Int1), loc {{.*}} |
| _ = L_OR_TRUE |
| // CHECK-NEXT: %10 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %11 = struct $Bool (%10 : $Builtin.Int1), loc {{.*}} |
| _ = L_OR_FALSE |
| // CHECK-NEXT: %12 = integer_literal $Builtin.Int1, -1, loc {{.*}} |
| // CHECK-NEXT: %13 = struct $Bool (%12 : $Builtin.Int1), loc {{.*}} |
| _ = L_OR_TRUE_B |
| // CHECK-NEXT: %14 = integer_literal $Builtin.Int1, 0, loc {{.*}} |
| // CHECK-NEXT: %15 = struct $Bool (%14 : $Builtin.Int1), loc {{.*}} |
| _ = L_OR_FALSE_B |
| } |