| // RUN: llgo -S -emit-llvm -o - %s | FileCheck %s |
| |
| package foo |
| |
| // CHECK: switch i32 |
| // CHECK-NEXT: i32 0, label %[[L0:.*]] |
| // CHECK-NEXT: i32 1, label %[[L1:.*]] |
| // CHECK-NEXT: i32 2, label %[[L2:.*]] |
| // CHECK-NEXT: ] |
| // CHECK: [[L0]]: |
| // CHECK-NEXT: ret i32 1 |
| // CHECK: [[L1]]: |
| // CHECK-NEXT: ret i32 2 |
| // CHECK: [[L2]]: |
| // CHECK-NEXT: ret i32 0 |
| func F1(x int32) int32 { |
| switch x { |
| case 0: |
| return 1 |
| case 1: |
| return 2 |
| case 2: |
| return 0 |
| } |
| panic("unreachable") |
| } |
| |
| // CHECK: switch i64 |
| // CHECK-NEXT: i64 0 |
| // CHECK-NEXT: ] |
| // CHECK: icmp eq i64 {{.*}}, 1 |
| func F2(x int64) bool { |
| return x == 0 || x == 0 || x == 1 |
| } |
| |
| // CHECK: switch i64 |
| // CHECK-NEXT: i64 0 |
| // CHECK-NEXT: ] |
| func F3(x int64) bool { |
| return x == 0 || x == 0 || x == 0 |
| } |
| |
| // CHECK: switch i64 |
| // CHECK-NEXT: i64 0 |
| // CHECK-NEXT: i64 1 |
| // CHECK-NEXT: i64 2 |
| // CHECK-NEXT: ] |
| // CHECK: icmp eq i64 {{.*}}, 3 |
| func F4(x int64) bool { |
| return x == 0 || x == 1 || x == 2 || x == 3 |
| } |
| |
| // CHECK-NOT: switch double |
| func F5(x float64) float64 { |
| switch x { |
| case 0: |
| return 1.0 |
| case 1.0: |
| return 0 |
| } |
| panic("unreachable") |
| } |