| // RUN: tco %s | FileCheck %s |
| |
| func.func @test_box_typecode(%a: !fir.class<none>) -> i32 { |
| %0 = fir.box_typecode %a : (!fir.class<none>) -> i32 |
| return %0 : i32 |
| } |
| |
| // CHECK-LABEL: @test_box_typecode( |
| // CHECK-SAME: ptr %[[BOX:.*]]) |
| // CHECK: %[[GEP:.*]] = getelementptr { ptr, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}}, i{{.*}} }, ptr %[[BOX]], i32 0, i32 4 |
| // CHECK: %[[TYPE_CODE:.*]] = load i8, ptr %[[GEP]] |
| // CHECK: %[[TYPE_CODE_CONV:.*]] = sext i8 %[[TYPE_CODE]] to i32 |
| // CHECK: ret i32 %[[TYPE_CODE_CONV]] |
