patternmatching.swift

// RUN: %swift -target x86_64-apple-macosx10.9 -primary-file %s -emit-ir -g -o - | FileCheck %s
// RUN: %swift -emit-sil -emit-verbose-sil -primary-file %s -o - | FileCheck %s --check-prefix=SIL-CHECK
func classifyPoint2(p: (Double, Double)) {
    func return_same (var input : Double) -> Double
    {
        return input; // return_same gets called in both where statements
    }


    switch p {
        case (0, 0):
          println("origin")
        case (0, _):
          println("on the Y axis")
          println("(0, \(p.1)) is on the y-axis")
          // FIXME: Verify that all variables end up in the appropriate scopes.
          // FIXME: metadata !{{{.*}}, metadata ![[SCOPEA:.*]], metadata !"x", {{.*}}} ; [ DW_TAG_auto_variable ] [x] [line [[@LINE+2]]]
          // FIXME: ![[SCOPEA]] = metadata !{{{.*}}, i32 [[@LINE+1]], {{.*}}} ; [ DW_TAG_lexical_block]
        case (_, 0):
          println("on the X axis")
        case (var x, var y) where
          // CHECK:   call double {{.*}}return_same{{.*}}, !dbg ![[LOC1:.*]]
          // CHECK: br {{.*}}, label {{.*}}, label {{.*}}, !dbg ![[LOC2:.*]]
          // CHECK: builtinStringLiteral{{.*}}, !dbg ![[LOC3:.*]]
          // CHECK: ![[LOC1]] = metadata !{i32 [[@LINE+2]], i32
          // CHECK: ![[LOC2]] = metadata !{i32 [[@LINE+1]], i32
                            return_same(x) == return_same(y):
          // CHECK: ![[LOC3]] = metadata !{i32 [[@LINE+1]], i32
          println("(\(x), \(y)) is on the + diagonal")
          // SIL-CHECK:  dealloc_stack{{.*}}line:[[@LINE-1]]:54:cleanup
          // Verify that the branch has a location >= the cleanup.
          // SIL-CHECK-NEXT:  br{{.*}}line:[[@LINE-3]]:54:cleanup
        case (var x, var y) where x == -y:
          println("on the - diagonal")
        case (var x, var y) where x >= -10 && x < 10 && y >= -10 && y < 10:
          println("near the origin")
        case (var x, var y):
          println("sqrt(\(x*x + y*y)) units from the origin")
          // CHECK-FIXME: metadata !{i32 [[@LINE+1]], i32
        }
  // CHECK: metadata !{i32 [[@LINE+1]], i32
    }